Element contents
Series: Elements in Philosophy and Logic
Free Logic
A Generalization
Published online by Cambridge University Press: 09 January 2025
Summary
Classical logic assumes that names are univocal: every name refers to exactly one existing individual. This Principle of Univocality has two parts: an existence assumption and a uniqueness assumption. The existence assumption holds that every name refers to at least oneindividual, and the uniqueness assumption states that every name refers to at most one individual. The various systems of free logic which have been developed and studied since the 1960s relax the existence assumption, but retain the uniqueness assumption. The present work investigates violations of both halves of the Principle of Univocality. That is, whereas the free logics developed from the 1960s are called 'free' because they are free of existential assumptions, the current Element generalizes this idea, to study logics that are free of uniqueness assumptions. We explore several versions of free logic, comparing their advantages and disadvantages. Applications of free logic to other areas of philosophy are explored.
- Type
- Element
- Information
- Series: Elements in Philosophy and LogicOnline ISBN: 9781009122764Publisher: Cambridge University PressPrint publication: 30 January 2025
References
Agar, N. (1993). What do frogs really believe? Australasian Journal of Philosophy, 71, 1–12.CrossRefGoogle Scholar
Antonelli, A. (2000). Proto-semantics for positive free logic. Journal of Philosophical Logic, 29(3), 277–294.CrossRefGoogle Scholar
Antonelli, A. (2007). Free quantification and logical invariance. Rivista di Estetica, 34, 61–73. doi.org/10.4000/estetica.3855.CrossRefGoogle Scholar
Arenhart, J., & Arroyo, R. (Eds.). (2023). Non-reflexive logics, non-individuals, and the philosophy of quantum mechanics. Cham: Springer.CrossRefGoogle Scholar
Bacon, A. (2013). Quantificational logic and empty names. Philosophers’ Imprint, 13(24), 1–21.Google Scholar
Barker-Plummer, D., Barwise, J., & Etchemendy, J. (2011). Language, proof, and logic (Second ed.). Stanford, CA: CSLI Publications.Google Scholar
Beall, J. C. (2018). The simple argument for subclassical logic. Philosophical Issues, 28, 30–54.CrossRefGoogle Scholar
Beall, J. C., & Restall, G. (2006). Logical pluralism. New York: Oxford University Press.Google Scholar
Bencivenga, E. (1981). Free semantics. In Chiara, M. L. Dalla (Ed.), Italian studies in the philosophy of science (Vol. 47, pp. 31–48). Dordrecht: Reidel.CrossRefGoogle Scholar
Bencivenga, E. (2002). Free logics. In Gabbay, D. M. & Guenthner, F. (Eds.), Handbook of philosophical logic (Second ed., pp. 147–196). Dordrecht: Kluwer.CrossRefGoogle Scholar
Bergman, K. (2023). Should the teleosemanticist be afraid of semantic indeterminacy? Mind and Language, 38, 296–314.CrossRefGoogle Scholar
Boghossian, P. (1992). Externalism and inference. Philosophical Issues, 2, 11–28.CrossRefGoogle Scholar
Bromwich, J. E., & Marcus, E. (2020). The anonymous professor who wasn’t. The New York Times, August 4. www.nytimes.com/2020/08/04/style/college-coronavirus-hoax.html.Google Scholar
Burge, T. (1988). Individualism and self-knowledge. Journal of Philosophy, 85, 649–665.CrossRefGoogle Scholar
Camp, J. (2002). Confusion: A study in the theory of knowledge. Cambridge, MA: Harvard University Press.CrossRefGoogle Scholar
Carnap, R. (1956). Meaning and necessity (Second ed.). Chicago, IL: University of Chicago Press.Google Scholar
Chakrabarti, A. (1997). Denying existence: The logic, epistemology and pragmatics of negative existentials and fictional discourse. Dordrecht: Kluwer.CrossRefGoogle Scholar
CIA (2016). Soviet jokes for the DDCI. CIA Freedom of Information Act Electronic Reading Room. December 27. www.cia.gov/readingroom/document/cia-rdp89g00720r000800040003-6.Google Scholar
Chang, H. (2003). Preservative realism and its discontents: Revisiting caloric. Philosophy of Science, 70, 902–912.CrossRefGoogle Scholar
Clapp, L., Reimer, M., & Spire, A. (2019). Negative existentials. In Gundel, J. & Abbott, B. (Eds.), The Oxford handbook of reference (pp. 203–235). New York: Oxford University Press.Google Scholar
Coliva, A., & Belleri, D. (2013). Some observations on François Recanati’s Mental Files. Disputatio, V, 103–113.Google Scholar
Dumitru, M., & Kroon, F. (2008). What to say when there is nothing to talk about. Crítica: Revista Hispanoamericana de Filosofía, 40, 97–109.Google Scholar
Dunn, J. M. (2021). R-Mingle is nice, and so is Arnon Avron. In Arieli, O. & Zamansky, A. (Eds.), Arnon Avron on semantics and proof theory of non-classical logics (pp. 141–165). Cham: Springer.CrossRefGoogle Scholar
Dunn, J. M., & Restall, G. (2002). Relevance logic. In Gabbay, D. M. & Guenthner, F. (Eds.), Handbook of philosophical logic (Second ed., Vol. 6, pp. 1–128). Dordrecht: Kluwer.Google Scholar
Feyerabend, P. (1981). Realism, rationalism and scientific method: Philosophical papers, vol. I. Cambridge: Cambridge University Press.Google Scholar
Field, H. (1973). Theory change and indeterminacy of reference. Journal of Philosophy, 70(4), 462–481.CrossRefGoogle Scholar
Fitting, M., & Mendelsohn, R. (1998). First-order modal logic. Dordrecht: Kluwer.CrossRefGoogle Scholar
Frost-Arnold, G. (2014). Can the pessimistic induction be saved from semantic anti-realism about scientific theory? British Journal for the Philosophy of Science, 65, 521–548.CrossRefGoogle Scholar
Frost-Arnold, G., & Beebe, J. (2020). Confused terms in ordinary language. Journal of Logic, Language, and Information, 29, 197–219.CrossRefGoogle Scholar
Gilbert, D. (2020). QAnon’s mysterious leader ‘Q’ is actually multiple people. Vice, December 16. www.vice.com/en/article/jgqj7x/qanons-mysterious-leader-q-is-actually-multiple-people.Google Scholar
Gómez-Torrente, M. (2019). Logical Truth. In Zalta, E. N. (Ed.), The Stanford encyclopedia of philosophy (Spring 2019 ed.). Metaphysics Research Lab, Stanford University, CA. https://plato.stanford.edu/archives/spr2019/entries/logical-truth/.Google Scholar
Gratzl, N. (2010). Sequent calculus for negative free logic. Studia Logica, 96, 331–348.CrossRefGoogle Scholar
Hardegree, G. (2016). Introduction to modal logic. https://courses.umass.edu/phil511-gmh/text.htm.Google Scholar
Hazen, A. P., & Pelletier, F. J. (2014). Gentzen and Jaśkowski natural deduction: Fundamentally similar but importantly different. Studia Logica, 102(6), 1103–1142.CrossRefGoogle Scholar
Hazen, A. P., & Pelletier, F. J. (2019). K3, Ł3, LP, RM3, A3, FDE, M: How to make many-valued logics work for you. In Omori, H. & Wansing, H. (Eds.), New essays on Belnap-Dunn logic. Cham: Springer.Google Scholar
Indrzejczak, A., & Zawidzki, M. (2021). Tableaux for free logics with descriptions. In Das, A. & Negri, S. (Eds.), Automated reasoning with analytic tableaux and related methods (pp. 56–73). Cham: Springer.CrossRefGoogle Scholar
Jeshion, R. (2015). Names not predicates. In Bianchi, A. (Ed.), On reference (pp. 225–250). New York: Oxford University Press.CrossRefGoogle Scholar
Kripke, S. (1977). Speaker’s reference and semantic reference. Midwest Studies in Philosophy, II, 255–276.CrossRefGoogle Scholar
Kaplan, D. (1990). Words. Proceedings of the Aristotelian Society, 64, 93–119.CrossRefGoogle Scholar
Kroon, F. (1991). Denotation and description in free logic. Theoria, 57, 17–41.CrossRefGoogle Scholar
Kuhn, T. (1977). Objectivity, value judgment, and theory choice. In The essential tension (pp. 320–339). Chicago, IL: University of Chicago Press.CrossRefGoogle Scholar
Kürbis, N. (2021). Definite descriptions in intuitionist positive free logic. Logic and Logical Philosophy, 30, 327–358.Google Scholar
Lambert, K. (1972). Notes on free description theory: Some philosophical issues and consequences. Journal of Philosophical Logic, 1(2), 184–191. DOI 10.1007/bf00650497.CrossRefGoogle Scholar
Lambert, K. (2001). Free logics. In Goble, L. (Ed.), The Blackwell guide to philosophical logic (pp. 258–279). Malden, MA: Blackwell.Google Scholar
Lambert, K. (2002). Foundations of the hierarchy of free description theories. In Free logic: Selected essays (pp. 69–91). Cambridge: Cambridge University Press.CrossRefGoogle Scholar
Lambert, K., & van Fraassen, B. C. (1972). Derivation and counterexample: An introduction to philosophical logic. Encino, CA: Dickenson Publishing Company.Google Scholar
Lawlor, K. (2007). A notional worlds approach to confusion. Mind and Language, 22(2), 150–172.CrossRefGoogle Scholar
Lehmann, S. (1994). Strict Fregean free logic. Journal of Philosophical Logic, 23, 307–336.CrossRefGoogle Scholar
Lehmann, S. (2002). More free logic. In Gabbay, D. M. & Guenthner, F. (Eds.), Handbook of philosophical logic (Second ed., pp. 197–259). Dordrecht: Kluwer.CrossRefGoogle Scholar
Łukasiewicz, J. (1970). On three-valued logic. In Borkowski, L. (Ed.), Selected works. Amsterdam: North-Holland Publishing.Google Scholar
MacFarlane, J. (2021). Philosophical logic: A contemporary introduction. New York: Routledge.Google Scholar
Magnus, P. D., Button, T., Loftis, J. R., Trueman, R., Thomas-Bolduc, A., & Zach, R. (2021). Forallx: Calgary. https://forallx.openlogicproject.org/forallxyyc.pdf.Google Scholar
Mares, E. (2020). Relevance logic. In Zalta, E. N. (Ed.), The Stanford encyclopedia of philosophy (Winter 2020 ed.). Metaphysics Research Lab, Stanford University. https://plato.stanford.edu/archives/win2020/entries/logic-relevance/.Google Scholar
McLeish, C. (2006). Realism bit by bit: Disjunctive partial reference. Studies in History and Philosophy of Science: Part A, 37, 171–190.CrossRefGoogle Scholar
Meyer, R., Bencivenga, E., & Lambert, K. (1982). The ineliminability of E! in free quantification theory without identity. The Journal of Philosophical Logic, 11, 229–231.CrossRefGoogle Scholar
Meyer, R., & Lambert, K. (1968). Universally free logic and standard quantification theory. The Journal of Symbolic Logic, 33, 8–26.CrossRefGoogle Scholar
Morscher, E., & Simons, P. (2001). Free logic: A fifty-year past and an open future. In Hieke, A. & Morscher, E. (Eds.), New essays in free logic (pp. 1–34). Dordrecht: Kluwer.CrossRefGoogle Scholar
Neander, K. (2017). A mark of the mental: A defence of informational teleosemantics. Cambridge, MA: MIT Press.CrossRefGoogle Scholar
Nolt, J. (2010). Free logic. Stanford Encyclopedia of Philosophy. http://plato.stanford.edu/entries/logic-free/.Google Scholar
OrphAnalytics (2020). Style analysis by machine learning reveals that two authors likely shared the writing of QAnon’s messages at two different periods in time. OrphAnalytics, December 15. www.orphanalytics.com/en/news/whitepaper202012/OrphAnalyticsQAnon2020.pdf.Google Scholar
Orlando, E. (2008). Fictional names without fictional objects. Crítica: Revista Hispanoamericana de Filosofía, 40, 111–127.Google Scholar
Paoletti, M. P. (2016). A sketch of (an actually serious) Meinongian presentism. Metaphysica, 17(1), 1–18.CrossRefGoogle Scholar
Pavlović, E., & Gratzl, N. (2021). A more unified approach to free logics. Journal of Philsophical Logic, 50, 117–148.CrossRefGoogle Scholar
Peacock, K., & Tedder, A. (2016). Identity, haecceity, and the Godzilla problem. In Payette, G. (Ed.), ‘Shut up,’ he explained: Essays in honour of Peter K. Schotch (pp. 63–79). London: College Publishers.Google Scholar
Pelletier, F. J., & Linsky, B. (2009). Russell vs. Frege on definite descriptions as singular terms. In Griffin, N. & Jacquette, D. (Eds.), Russell vs. Meinong: The legacy of “On Denoting”. New York: Routledge.Google Scholar
Piccinini, G., & Scott, S. (2010). Recovering what is said with empty names. Canadian Journal of Philosophy, 40(2), 239–274.CrossRefGoogle Scholar
Priest, G. (1995). Multiple denotation, ambiguity, and the strange case of the missing amoeba. Logique et Analyse, 150–152, 361–373.Google Scholar
Priest, G. (2009). Not to be. In Poidevin, R. L., Simons, P., McGonigal, A., & Cameron, R. (Eds.), The Routledge companion to metaphysics (pp. 234–245) New York: Routledge.CrossRefGoogle Scholar
Priest, G. (2016). Towards non-being (Second ed.). New York: Oxford University Press.CrossRefGoogle Scholar
Priest, G., Tanaka, K., & Weber, Z. (2022). Paraconsistent logic. In Zalta, E. N. (Ed.), The Stanford encyclopedia of philosophy (Spring 2022 ed.). Metaphysics Research Lab, Stanford University. https://plato.stanford.edu/archives/spr2022/entries/logic-paraconsistent/.Google Scholar
Restall, G. (2019). Generality and existence 1: Quantification and free logic. The Review of Symbolic Logic, 12(1), 1–29.CrossRefGoogle Scholar
Richardson, S. (2022). Sex contextualism. Philosophy, Theory, and Practice in Biology, 14(2). doi.org/10.3998/ptpbio.2096.CrossRefGoogle Scholar
Ripley, D. (2018). Blurring: an approach to conflation. Notre Dame Journal of Formal Logic, 59(2), 171–188.CrossRefGoogle Scholar
Routley, R. (1980). Exploring Meinong’s jungle and beyond. Canberra: Australian National University, RSSS.Google Scholar
Rowbottom, D. (2011). The instrumentalist’s new clothes. Philosophy of Science, 78(5), 1200–1211.CrossRefGoogle Scholar
Rowbottom, D. (2019). The instrument of science: Scientific anti-realism revitalized. New York: Routledge.CrossRefGoogle Scholar
Rowbottom, D. (2022). Can meaningless statements be approximately true? On relaxing the semantic component of scientific realism. Philosophy of Science, 1–18.Google Scholar
Sainsbury, M. (2004). Referring descriptions. In Reimer, M. & Bezuidenhout, A. (Eds.), Descriptions and beyond. New York: Oxford University Press.Google Scholar
Sainsbury, M. (2005). Reference without referents. New York: Oxford University Press.CrossRefGoogle Scholar
Sankey, H. (1993). Kuhn’s changing concept of incommensurability. British Journal for the Philosophy of Science, 44(4), 759–774.CrossRefGoogle Scholar
Sawyer, S. (2020). Names as predicates. In Biggs, S. & Geirsson, H. (Eds.), Routledge handbook of linguistic reference (pp. 198–212). New York: Routledge.CrossRefGoogle Scholar
Schock, R. (1968). Logics without existence assumptions. Stockholm: Almqvist and Wiksells.Google Scholar
Schroeter, L. (2007). The illusion of transparency. Australasian Journal of Philosophy, 85, 597–618.CrossRefGoogle Scholar
Schulte, P., & Neander, K. (2022). Teleological theories of mental content. In Zalta, E. N. (Ed.), The Stanford encyclopedia of philosophy (Summer 2022 ed.). Metaphysics Research Lab, Stanford University. https://plato.stanford.edu/archives/sum2022/entries/content-teleological/.Google Scholar
Smith, N. J. J. (2016). Truthier than thou: Truth, supertruth, and probability of truth. Noûs, 50(4), 740–758.CrossRefGoogle Scholar
Spencer, J. (2013). Unnecessary existents. Canadian Journal of Philosophy, 43, 766–775.CrossRefGoogle Scholar
Sullivan, M. (2012). Problems for temporary existence in tense logic. Philosophy Compass, 7(1), 43–57.CrossRefGoogle Scholar
Tedder, A. (2015). Axioms for finite collapse models of arithmetic. The Review of Symbolic Logic, 8(3), 529–539.CrossRefGoogle Scholar
Textor, M. (2016). Vacuous names in early analytic philosophy: Frege, Russell, Moore. Philosophy Compass, 11(6), 316–326. doi.org/10.1111/phc3.12322CrossRefGoogle Scholar
Troelstra, A. S., & van Dalen, D. (1988). Constructivism in mathematics (Vol. I). Amsterdam: Elsevier.Google Scholar
Unnsteinsson, E. (2022). Talking about: An intentionalist theory of reference. New York: Oxford University Press.CrossRefGoogle Scholar
van Fraassen, B. (1966a). The completeness of free logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 12, 219–234.CrossRefGoogle Scholar
van Fraassen, B. (1966b). Singular terms, truth-value gaps, and free logic. The Journal of Philosophy, 63, 481–495.CrossRefGoogle Scholar
van Fraassen, B. (1980). The scientific image. New York: Oxford University Press.CrossRefGoogle Scholar
Vickers, P. (2013). Understanding inconsistent science. New York: Oxford University Press.CrossRefGoogle Scholar
von Fintel, K. (2004). Would you believe it? The king of France is back! Presuppositions and truth-value intuitions. In Reimer, M. & Bezuidenhout, A. (Eds.), Descriptions and beyond (pp. 315–341). New York: Oxford University Press.CrossRefGoogle Scholar
von Wright, G. H. (Ed.). (1974). Ludwig Wittgenstein: Letters to Russell, Keynes and Moore (McGuinness, B., Trans.). Cornell, NY: Cornell University Press.Google Scholar
Williamson, T. (2002). Necessary existents. In O’Hear, A. (Ed.), Logic, thought, and language (pp. 233–251). Cambridge: Cambridge University Press.CrossRefGoogle Scholar
Williamson, T. (2013). Modal logic as metaphysics. New York: Oxford University Press.CrossRefGoogle Scholar
Woodruff, P. (1984). On supervaluations in free logic. Journal of Symbolic Logic, 49, 943–950.CrossRefGoogle Scholar
Wu, K. J. (1988). A basic free logic. Notre Dame Journal of Formal Logic, 29(4), 543–552.CrossRefGoogle Scholar
Yablo, S. (2006). Non-catastrophic presupposition failure. In Thomson, J. J. & Byrne, A. (Eds.), Content and modality: Themes from the philosophy of Robert Stalnaker. New York: Oxford University Press.Google Scholar
Yi, B.-U. (2005). The logic and meaning of plurals. Part I. Journal of Philosophical Logic, 34, 459–506.CrossRefGoogle Scholar
Zalta, E. (1983). Abstract objects: An introduction to axiomatic metaphysics. Dordrecht: Reidel.CrossRefGoogle Scholar