Abstract
Paraconsistent logics are characterized by rejection of ex falso quodlibet, the principle of explosion, which states that from a contradiction, anything can be derived. Strikingly these logics have found a wide range of application, despite the misgivings of philosophers as prominent as Lewis and Putnam. Such applications, I will argue, are of significant philosophical interest. They suggest ways to employ these logics in philosophical and scientific theories. To this end I will sketch out a ‘naturalized semantic dialetheism’ following Priest’s early suggestion that the principles governing human natural language may well be inconsistent. There will be a significant deviation from Priest’s work, namely, the assumption of a broadly Chomskyan picture of semantics. This allows us to explain natural language inconsistency tolerance without commitment to contentious views in formal logic.
Similar content being viewed by others
References
Abe, J., et al. (2006). Intelligent paraconsistent logic controller and autonomous mobile robot Emmy II. In Lecture notes in computer science (Vol. 4252, pp. 851–857).
Batens D. et al (2000) A Survey of Inconsistency-Adaptive Logics. In: Batens D. et al. (Eds.) Frontiers of Paraconsistent Logics. Research Studies Press Ltd, Baldock
Beall, J. C., Priest, G., Armour-Garb, B. (Eds.) (2004) The law of non-contradiction: New philosophical essays. Clarendon Press, Oxford
Beall J. C. (2004) At the Intersection of Truth and Falsity. In: Beall J. C., Priest G., Armour-Garb B. (Eds.) The law of non-contradiction: New philosophical essays. Clarendon Press, Oxford, pp 1–19
Bertossi, L., Hunter, A., & Schaub, T. (2004). Introduction to inconsistency tolerance. In L. Bertossi, A. Hunter & T. Schaub (Eds.), Inconsistency tolerance. Berlin: Springer.
Bremer M. (2005) An introduction to paraconsistent logics. Peter Lang, Frankfurt am Main
Brown B. (2002) On paraconsistency. In: Jacquette D. (Ed.) A companion to philosophical logic. Blackwell, New York, p 629
Burge, T. (1979). Individualism and the mental. In Midwest studies in philosophy (Vol. 4, pp. 73–121).
Chomsky N.: (1995a) Language and nature. Mind 104: 1–61
Chomsky N. (1995b) The minimalist program. The MIT Press, Cambridge, MA
Chomsky, N. (2007). Approaching UG from below. In U. Sauerland & H. Martin Grtner (Eds.), Interfaces + Recursion = Language? (pp. 1–29). New York: Mouton de Gruyter.
Chomsky, N. (1997). Language and thought. In Perspectives on power (pp. 1–30). Montreal: Black Rose Books.
Da Costa N. (1974) On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic XV(4): 497–510
Da Costa, N., Krause, D., & Bueno, O. (2004) Paraconsistent logics and paraconsistency: Technical and philosophical developments. In CLE E-Prints (Vol. 4, No. 3).
Davidson D. (1967) Truth and meaning. Synthese 17: 304–323
Gold E. M. (1967) Language identification in the limit. Information and Control 10(5): 447–474
Hewitt C. (2008) ORGs for scalable, robust, privacy-friendly cloud computing. IEEE Internet Computing 12(5): 96–99
Hornstein N., Nunes J., Grohman K. (2005) Understanding minimalism. Cambridge University Press, Cambridge
Imam, F., MacCaull, W., & Kennedy, M. A. (2007). Merging healthcare ontologies: inconsistency tolerance and implementation issues. In CBMS: Twentieth IEEE international symposium on computer-based medical systems (CBMS’07) (pp. 530–535).
Kassoff, M., & Genesereth, M. (2007). Predicalc: A logical spreadsheet management system. The Knowledge Engineering Review, 22(3).
Lewis D. (1982) Logic for equivocators. Nous 16(3): 431–441
Lewis D. (2004) Letters to Beall and Priest. In: Beall J. C., Priest G., Armour-Garb B. (Eds.) The law of non-contradiction: New philosophical essays. Clarendon Press, Oxford, pp 176–177
Ludlow P. (1999) Semantics, tense and time. MIT Press, Cambridge, MA
Mares E. (2004) Semantic Dialetheism. In: Beall J. C., Priest G., Armour-Garb B. (Eds.) The law of non-contradiction: New philosophical essays. Clarendon Press, Oxford, pp 264–275
McGilvray J. (1998) Meanings are syntactically individuated and found in the head. Mind & Language 13(2): 225–280
Priest G. (1987) In contradiction: A study of the transconsistent. Martinus Nijhoff Publishers Group, Dordrecht
Priest G. (2001) An introduction to non-classical logic. Cambridge University Press, Cambridge
Priest G. (1991) Minimally inconsistent LP. Studia Logica 50(2): 321–331
Priest G. (1997) Sylvan’s Box. Notre Dame Journal of Formal Logic LXII(4): 573–582
Putnam H. (2000) Rethinking mathematical necessity. In: Crary A., Read R. (Eds.) The New Wittgenstein. Routledge, London, pp 218–231
Putnam H. (1975) The meaning of ’Meaning’. Minnesota Studies in the Philosophy of Science 7: 131–193
Read S. (1988) Relevant logic. Basil Blackwell, New York
Rodriguez A. (2004) Inconsistency issues in spatial databases. In: Bertossi L., Hunter A., Schaub T. (Eds.) Inconsistency tolerance. Springer, Berlin, pp 237–269
Stainton R. (2006) Meaning and reference: Some Chomskian themes. In: Lepore E., Smith B. (Eds.) The Oxford handbook of philosophy of language. Oxford University Press, Oxford, pp 913–940
Stainton, R. (2011). In defense of public languages. Linguistics and Philosophy, 34(5), 479–488
Young, C. A. (2007). Spreadsheets using logic instead of math may revolutionize data management. Stanford Report. http://news.stanford.edu/news/2007/april25/logic-042507.html. Accessed 25 April.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
McGinnis, N.D. The Unexpected Applicability of Paraconsistent Logic: A Chomskyan Route to Dialetheism. Found Sci 18, 625–640 (2013). https://doi.org/10.1007/s10699-012-9294-7
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10699-012-9294-7