Abstract
In this paper, we examine some intuitive motivations to develop a para-consistent logic. These motivations are formally developed using semantic ideas, and we employ, in particular, bivaluations and truth-tables to characterise this logic. After discussing these ideas, we examine some applications of paraconsistent logic to various domains. With these motivations and applications in hand, the usefulness of paraconsistent logic becomes hard to deny.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arruda A.I. (1980). “A Survey of Paraconsistent Logic”, in Arruda, Chuaqui, and da Costa (eds.), pp. 1–41.
Arruda A.I. (1989). “Aspects of the Historical Development of Paraconsistent Logic”, in Priest, Routley and Norman (eds.), pp. 99–130.
Arruda A., Chuaqui R., and da Costa N.C.A. (eds.) (1980). Mathematical Logic in Latin America. Amsterdam: North-Holland.
Béziau J.-Y. (1990). “Logiques construites suivant les méthodes de da Costa”, Logique et Analyse 131-132, pp. 259–272.
Bishop E. (1967). Foundations of Constructive Analysis. New York: McGraw-Hill.
da Costa N.C.A. (1963). “Calculs propositionnels pour les systèmes formels inconsistants”, Comptes-rendus de l’Académie des Sciences de Paris 257, pp. 3790–3793.
____ (1986). “On Paraconsistent Set Theory”, Logique et Analyse 115, pp. 361–371.
da Costa N.C.A. (1989). “Mathematics and Paraconsistency (in Portuguese)”, Monografias da Sociedade Paranaense de Matemática 7. Curitiba: UFPR.
____ (2000). “Paraconsistent Mathematics”, in D. Batens, C. Mortensen, G. Priest and J.-P. Van Bendegem (eds.), Frontiers of Paraconsistency. Dordrecht: Kluwer Academic Publishers.
da Costa N.C.A. and Alves E.H. (1977). “A Semantic Analysis of the Calculi Cn”, Notre Dame Journal of Formal Logic 16, pp. 621–630.
da Costa N.C.A. and Béziau, J.-Y. (1994). “Théorie de la valuation”, Logique et Analyse 146, pp. 95–117.
da Costa, N.C.A. Béziau J.-Y. and Bueno O. (1995a). “Aspects of Paraconsistent Logic”, Bulletin of the Interest Group in Pure and Applied Logics 3, pp. 597–614.
____ (1995b). “Paraconsistent Logic in a Historical Perspective”, Logique et Analyse 150-151-152, pp. 111–125.
____ (1996). “Malinowski and Suszko on Many-Valuedness: On the Reduction of Many-Valuedness to Two-Valuedness,” Modern Logic 6, pp. 272–299.
____ (1998). Elements of Paraconsistent Set Theory (in Portuguese). Campinas: Coleção CLE.
da Costa N.C.A. and Bueno O. (1996). “Consistency, Paraconsistency and Truth (Logic, the Whole Logic and Nothing but the Logic)”, Ideas y Valores 100, pp. 48–60.
____ (1997). “Review of Chris Mortensen (1995)”, Journal of Symbolic Logic 62, pp. 683–685.
____ (2001). “Paraconsistency: Towards a Tentative Interpretation”, Theoria 16, pp. 119–145.
da Costa N.C.A., Bueno O. and Béziau J.-Y. (1995). “What is Semantics? A Brief Note on a Huge Question”, Sorites — Electronic Quarterly of Analytical Philosophy 3, pp. 43–47.
da Costa N.C.A., Bueno O. and French S. (1998). “Is There a Zande Logic?”, History and Philosophy of Logic 19, pp. 41–54.
da Costa N.C.A. and French S. (1988). “Belief and Contradiction”, Crítica XX, pp. 3–11.
____ (1989). “On the Logic of Belief”, Philosophy and Phenomenological Research XLIX, pp. 431–446.
____ (1990). “Belief, Contradiction and the Logic of Self-Deception”, American Philosophical Quarterly 27, pp. 179–197.
____ (1995). “Partial Structures and the Logic of the Azande”, American Philosophical Quarterly 32, pp. 325–339.
da Costa N.C.A. and Subrahmanian V.S. (1989). “Paraconsistent Logics as a Formalism for Reasoning About Inconsistent Knowledge Bases”, Artificial Intelligence in Medicine 1, pp. 167–174.
D’Ottaviano I. (1990). “On the Development of Paraconsistent Logic and da Costa’s Work”, Journal of Non-Classical Logic 7, pp. 89–152.
Dummett M. (1977). Elements of Intuitionism. Oxford: Clarendon Press.
French S. (1990). “Rationality, Consistency and Truth”, Journal of Non-Classical Logic 7, pp. 51–71.
Heyting A. (1971). Intuitionism: An Introduction. (3rd edition.) Amsterdam: North-Holland.
Mortensen C. (1995). Inconsistent Mathematics. Dordrecht: Kluwer Academic Publishers.
Poincaré H. (1905). Science and Hypothesis. New York: Dover.
Priest G., Routley R. and Norman J. (ed.) (1989). Paraconsistent Logic: Essays on the Inconsistent. Munich: Philosophia.
Suszko R. (1975). “Remarks on Lukasiewicz’s Three-Valued Logic”, Bulletin of the Section of Logic 4, pp. 87–90.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer
About this chapter
Cite this chapter
da Costa, N.C., Béziau, JY., Bueno, O. (2005). On the Usefulness of Paraconsistent Logic. In: Vanderveken, D. (eds) Logic, Thought and Action. Logic, Epistemology, and the Unity of Science, vol 2. Springer, Dordrecht. https://doi.org/10.1007/1-4020-3167-X_20
Download citation
DOI: https://doi.org/10.1007/1-4020-3167-X_20
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-2616-4
Online ISBN: 978-1-4020-3167-0
eBook Packages: Humanities, Social Sciences and LawSocial Sciences (R0)