The dialogical approach to paraconsistency

Synthese 125 (1-2):201-232 (2000)
  Copy   BIBTEX


Being a pragmatic and not a referential approach tosemantics, the dialogical formulation ofparaconsistency allows the following semantic idea tobe expressed within a semi-formal system: In anargumentation it sometimes makes sense to distinguishbetween the contradiction of one of the argumentationpartners with himself (internal contradiction) and thecontradiction between the partners (externalcontradiction). The idea is that externalcontradiction may involve different semantic contextsin which, say A and ¬A have been asserted.The dialogical approach suggests a way of studying thedynamic process of contradictions through which thetwo contexts evolve for the sake of argumentation intoone system containing both contexts.More technically, we show a new, dialogical, way tobuild paraconsistent systems for propositional andfirst-order logic with classical and intuitionisticfeatures (i.e. paraconsistency both with and withouttertium non-datur) and present theircorresponding tableaux.



    Upload a copy of this work     Papers currently archived: 76,297

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

67 (#180,724)

6 months
1 (#450,425)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Walter Carnielli
University of Campinas

References found in this work

First-Order Logic.Raymond Merrill Smullyan - 1968 - Berlin, Germany: New York [Etc.]Springer-Verlag.
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.

View all 10 references / Add more references