A State-of-Affairs-Semantic Solution to the Problem of Extensionality in Free Logic

Journal of Philosophical Logic 49 (6):1091-1109 (2020)
  Copy   BIBTEX

Abstract

If one takes seriously the idea that a scientific language must be extensional, and accepts Quine’s notion of truth-value-related extensionality, and also recognizes that a scientific language must allow for singular terms that do not refer to existing objects, then there is a problem, since this combination of assumptions must be inconsistent. I will argue for a particular solution to the problem, namely, changing what is meant by the word ‘extensionality’, so that it would not be the truth-value that had to be preserved under the substitution of co-extensional expressions, but the state of affairs that the sentence described. The question is whether or not elementary sentences containing empty singular terms, such as ‘Vulcan rotates’, are extensional in the substitutivity sense. Five conditions are specified under which extensionality in the substitutivity sense of such sentences can be secured. It is demonstrated that such sentences are state-of-affairs-as-extension-related extensional. This implies that such sentences are also truth-value-related extensional in Quine’s sense, but not truth-value-as-extension-related extensional.

Similar books and articles

State-of-affairs Semantics for Positive Free Logic.Hans-Peter Leeb - 2006 - Journal of Philosophical Logic 35 (2):183-208.
Finite type structures within combinatory algebras.Inge Bethke - 1991 - Annals of Pure and Applied Logic 55 (2):101-123.
Topological Models for Extensional Partial Set Theory.Roland Hinnion & Thierry Libert - 2008 - Notre Dame Journal of Formal Logic 49 (1):39-53.
What Truth Depends on.Hannes Leitgeb - 2005 - Journal of Philosophical Logic 34 (2):155-192.
General Terms, Predicates and Extensionality.Karel Lambert - 1995 - Dialectica 49 (2‐4):195-202.
EM + Ext− + ACint is equivalent to ACext.Jesper Carlström - 2004 - Mathematical Logic Quarterly 50 (3):236-240.
Can First-Order Logical Truth be Defined in Purely Extensional Terms?Gary Ebbs - 2014 - British Journal for the History of Philosophy 22 (2):343-367.
Speech Acts and Non-Extensionality.A. C. Genova - 1976 - Review of Metaphysics 29 (3):401 - 430.
Extensionality and logicality.Gil Sagi - 2017 - Synthese (Suppl 5):1-25.
Extensionality of Proper Part Containment.Shieva Kleinschmidt - 2017 - Philosophical Quarterly 67 (269):835-844.
Proto-Semantics for Positive Free Logic.G. Aldo Antonelli - 2000 - Journal of Philosophical Logic 29 (3):277-294.
Formal Languages and Intensional Semantics.Sten Carl Lindstrom - 1981 - Dissertation, Stanford University
A note on Spector's quantifier-free rule of extensionality.Ulrich Kohlenbach - 2001 - Archive for Mathematical Logic 40 (2):89-92.

Analytics

Added to PP
2020-02-20

Downloads
295 (#68,461)

6 months
118 (#34,416)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Hans-Peter Leeb
University of Salzburg

Citations of this work

States of Affairs as Structured Extensions in Free Logic.Hans-Peter Leeb - forthcoming - Logic and Logical Philosophy:1.

Add more citations

References found in this work

Word and Object.Willard Van Orman Quine - 1960 - Cambridge, MA, USA: MIT Press.
Word and Object.Willard Van Orman Quine - 1960 - Les Etudes Philosophiques 17 (2):278-279.
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
Facts and tautological entailments.Bas C. Van Fraassen - 1969 - Journal of Philosophy 66 (15):477-487.

View all 12 references / Add more references