Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Baaz, M.: 1986, 'Kripke-Type Semantics for da Costa's Paraconsistent Logic Cω', Notre Dame Journal of Formal Logic 27(4), 523–524.
Batens, D.: 1995, 'Blocks, the Clue to Dynamic Aspects of Logic', Logique et Analyse 150–152, 285–328.
Batens, D.: 2000, 'A Survey of Inconsistency-adaptive Logics', in press.
Carnielli, W. A.: 1987, 'A Systematization of Finite Many-Valued Logics through the Method of Tableaux', The Journal of Symbolic Logic 52(2), 473–493.
Carnielli, W. A.: 1998a, The Logic Way to Inconsistency. Typescript, Campinas.
Carnielli, W. A.: 2000, 'Possible-Translations Semantics for Paraconsistent Logics', to appear in D. Batens, C. Mortensen and J.-P. Van Bendegem (eds), Frontiers of Paraconsistent Logic (Studies in Logic and Computation Series, 8).
Carnielli, W. A. and Lima-Marques, M.: 1992, 'Reasoning under Inconsistent Knowledge', Journal of Applied Non-Classical Logics 2(1), 49–79.
Carnielli, W. A. and Coniglio, M. E.: 1999, 'A Categorial Approch to the Combination of Logics', Manuscrito XXII, 64–94.
Carnielli, W. A. and Lima-Marques, M.: 1999, 'Society Semantics and Multiple-Valued Logics', in W. A. Carnielli and I. M. L. D'Ottaviano (eds), Proceedings of the XII EBL-Advances in Contemporary Logic and Computer Science, American Mathematical Society, Series Contemporary Mathematics, Vol. 235, pp. 33–52.
Carnielli, W. A. and Marcos, J.: 2000, 'Possible-Translations Semantics and Dual Logics', typescript.
Carnielli, W. A., Fariñas del Cerro, L., and Lima-Marques, M.: 1991, Contextual Negations and Reasoning with Contradictions', in Proceeding of the 12th International Joint Conference on Artificial Intelligence Morgan Kaufman, Sydney, pp. 532–537.
da Costa, N. C. A.: 1974, 'On the Theory of Inconsistent Formal Systems', Notre Dame Journal of Formal Logic 15, 497–510.
da Costa, N. C. A. and Alves, E. H.: 1977, 'A Semantical Analysis of the Calculi C n', Notre Dame Journal of Formal Logic XVI(4), 621–630.
da Costa, N. C. A. and Alves, E. H.: 1998, 'Paraconsistent Logic', in Stanislaw Jáskowski Memorial Symposium. Paraconsistent Logic, Logical Philosophy, Mathematics & Informatics at TorÚn, pp. 29–35.
da Costa, N. C. A., Bueno, O., and French, S.: 1998, 'Is there a Zande Logic?', History and Philosophy of Logic XIX(1), 41–54.
Hegel, G.: 1934, 'Wissenschaft der Logik. II.1', Verlag Felix Meiner, Leipzig.
Jaskowski, S.: 1948, 'Rachunek zdan' dla systemów dedukcyjnych sprzecznych', Studia Soc. Scient. Torunensis A15 55–77 (English translation in 1969).
Jaskowski, S.: 1969, 'Propositional Calculus for Contradictory Deductive Systems', Studia Logica 24, 143–157, (English translation of 1968).
Loparic, A. and Alves, E.: 1980, 'The Semantics of the Systems C n of da Costa', in A. I. Arruda, N. C. A. daCosta and A. M. Sette (eds), Proceedings of the Brazilian Conference on Mathematical Logic 3, Sociedade Brasileira de Lógica, São Paulo, pp. 161–172.
Lorenz, K.: 1968 Dialogspiele als semantische Grundlage von Logik-Kalkülen, in Lorenzen/Lorenz (1978), S. 96–162.
Lorenz, K.: 1984, 'Nagarjuna', in J. Mittelstraß (ed.), Enyzklopädie Philosophie und Wissenschaftstheorie, Metzler, Stuttgart/Weimar: Metzler 2, 955–957.
Lorenzen, P. and Lorenz, K.: 1978, Dialogische Logik, Wissenschaftliche Buchgesellschaft, Darmstadt.
Priest, G., Routley, R., and Norman, J. (eds): 1989, Paraconsistent Logic – Essays on the Inconsistent, Philosophia Verlag, München, München.
Lukasiewicz, J.: 1970, A System of Modal Logic, in L. Borkowski (ed.), Jan Lukasiewicz's Selected Works, North-Holland, Warsaw.
Rahman, S.: 1993, Ñber Dialoge, protologische Kategorien und andere Seltenheiten. Peter Lang, Frankfurt a. M., Berlin, New York, Paris, Wien.
Rahman, S.: 1998, 'Ways of Understanding Hugh MacColl's Concept of Symbolic Existence', Nordic Journal of Philosophical Logic 3(2), 35–58.
Rahman, S.: 1999a, 'Argumentieren mit Widersprüchen', in K. Buchholz and S. Rahman (eds), Wege zur Vernunft – Philosophieren zwischen Tätigkeit und Reflexion, Campus, Frankfurt a. M., S131–145.
Rahman, S.: 1999b, 'Fictions and Contradictions in the Symbolic Universe of Hugh Mac-Coll', in J. Mittelstraß (ed.), Die Zukunft des Wissens. XVII Deutscher Kongreß für Pholosophie. Konstanz 1999, iWorkshop-Contributions, UVK, Konstanz, pp. 614–620.
Rahman, S.: 2000, 'On Frege's Nightmare:Ways to Combine Paraconsistent and Intuitionistic Free Logic', to appear in H. Wansing (ed.), Essays on Non-Classical Logic, King's College University Press, London.
Rahman, S. and Heinzmann, G.: 2000, 'Adaptive Existence and Adaptive Paraconsistency', contribution to the GAP, 26-19.09.2000.
Rahman, S. and Rückert, H.: 1998–1999, 'Die pragmatischen Sinn-und Geltungskriterien der Dialogischen Logik beim Bewies des Adjunktionssatzes', Philosophia Scientiae 3(3), 145–170.
Rahman, S. and Rückert, H.: 1998, Dialogische Logik und Relevanz, FR 5.1 Philosophie, Universität des Saarlandes, Memo No. 27.
Rahman, S. and Rückert, H.: 2000, New Perspectives in Dialogical Logic, to appear as a special issue of Synthese with contributions from P. Blackburn, D. Gabbay, J. Woods, J. Hintikka, E. Krabbe, K. Lorenz, U. Nortmann, H. Prakken, S. Rahman, H. Rückert, G. Sandu, J. P. Van Bendegem and G. Vreeswijk.
Rahman, S. and Van Bendegem, J. P.: 2000, 'The Dynamics of Adaptive Paraconsistency', contribution to the II World Congress on Paraconsistency, Campinas, 10–13 May 2000.
Rahman, S., Rückert, H. and Fischmann, M.: 2000, 'On Dialogues and Ontology. The Digital Approach to Free Logic', to appear in Logique et Analyse.
Sette, A. M.: 1973, 'On the Propositional Calculus P1', Mathematica Japonicae 18(13), 173–180.
Sette, A. M. and Carnielli, W. A.: 1995, 'Maximal Weakly-Intuitionistic Logics', Studia Logica 5, 181–203.
Smullyan, R.: 1968, First Order-Logic, Springer Verlag, Heidelberg.
Van Bendegem, J. P.: 2000, 'Paraconsistency and Dialogue Logic. Critical Examination and Further Explorations', appears in Rahman and Rückert (eds).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rahman, S., Carnielli, W.A. The Dialogical Approach to Paraconsistency. Synthese 125, 201–232 (2000). https://doi.org/10.1023/A:1005294523930
Issue Date:
DOI: https://doi.org/10.1023/A:1005294523930