Abstract
The valuation of sentences containing non-denoting singular terms is obviously the fundamental question to be solved in the construction of a semantics for free logic.2 Besides being fundamental, this question is very difficult, for the notion of truth commonly applied in contemporary logic, i.e., the notion of truth as correspondence with reality, does not fit sentences cortaining references to ‘non-existing objects’,3 which, as such, cannot be constituents of reality. For this reason, a free semantics should provide, first of all, for a new conception of truth, or at least for a suitable generalization of the correspondence theory; but the efforts made until now have not achieved results which we can regard as completely satisfactory from a philosophical point of view.
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
Fitch, Frederick B. 1948, ‘Intuitionistic Modal Logic with Quantifiers’, Portugaliae Mathematica 7, 177–85.
Lambert, Karel 1963, ‘Existential Import Revisited’, Notre Dame Journal of Formal Logic 4, 288–92.
Lambert, Karel 1967, ‘Free Logic and the Concept of Existence’, Notre Dame Journal of Formal Logic 8, 133–44.
Leblanc, Hugues, and Thomason, Richmond H. 1968, ‘Completeness Theorems for Some Presupposition-Free Logics’, Fundamenta Mathematicae 62, 125–64.
Leonard, Henry S. 1956, ‘The Logic of Existence’, Philosophical Studies 7, 49–64.
Meyer, Robert K., and Lambert, Karel 1968, ‘Universally Free Logic and Standard Quantification Theory’, Journal of Symbolic Logic 33, 8–26.
Schock, Rolf 1964, ‘Contributions to Syntax, Semantics, and the Philosophy of Science’, Notre Dame Journal of Formal Logic 5, 241–89.
Schock, Rolf 1968, Logics Without Existence Assumptions. Stockholm, Almqvist and Wiskell.
van Fraassen, Bas C. 1966a, ‘The Completeness of Free Logic’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 12, 219–34.
van Fraassen, Bas C. 1966b, ‘Singular Terms, Truth-Value Gaps, and Free Logic’, Journal of Philosophy 67, 481–95.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1980 D. Reidel Publishing Company
About this chapter
Cite this chapter
Bencivenga, E. (1980). Free Semantics. In: Dalla Chiara, M.L. (eds) Italian Studies in the Philosophy of Science. Boston Studies in the Philosophy of Science, vol 47. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-8937-5_3
Download citation
DOI: https://doi.org/10.1007/978-94-009-8937-5_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-277-1073-4
Online ISBN: 978-94-009-8937-5
eBook Packages: Springer Book Archive