Abstract
Some theorems of CQC=, such as those of the form (1.1) \(\exists x(x = \tau )\) and (1.2)\(\phi [\tau /x] \to \exists x\phi \), are often accused of introducing into that theory — and thus into the very core of ‘our logic’ — undesired ‘existential commitments’. However, the mere derivability of these sequences of symbols can hardly accomplish such a major feat by itself, and even when the theory is supplied with the usual ‘referential’ semantics, metaphysics is still far from being determined one way or another. (1.1) and (1.2) certainly require — by means of this semantics — that every singular term of the language receive an interpretation in the domain of quantification, but so what? The formal instrument does not specify the metaphysical counterpart of the relation between a symbol and its interpretation, nor does it tell you which things can or cannot belong to a domain of quantification. The formal instrument is neutral with respect to ail these questions, and thus by itself cannot introduce any metaphysical commitments, existential or otherwise.
Work for the completion of this paper was partly supported by aFaculty Fellowship of the School of Humanities, University of Califonia at Irvine. Thanks are due to Nuel belnap, Gerald Charlwood, Wilfrid Hodges, Karel Lambert and Brian Skyrms for comments on earlier drafts of the paper.
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
Belnap, N. D. Jr.: 1960, Review of Hintikka [1959a], J. Symbolic Logic 25, 88.
Bencivenga, E.: 1976, ‘Set theory and free logic’, J. Philosophical Logic 5, 1–15.
Bencivenga, E.: 1978a, 4A semantics for a weak free logic’, Notre Dame J. Formal Logic 19, 646–652.
Bencivenga, E.: 1978b, Tree semantics for indefinite descriptions’, J. Philosophical Logic 7, 389–405.
Bencivenga, E.: 1980a, ‘A weak free logic with the existence sign’, Notre Dame J. Formal Logic 21, 572–576.
Bencivenga, E.: 1980b, Una logica dei termini singolari, Boringhieri, Torino.
Bencivenga, E.: 1980c, ‘Free semantics for definite descriptions’, Logique et Analyse 23, 393–405.
Bencivenga, E.: 1981, ‘Free semantics’, Boston Studies in the Philosophy of Science 47, 31–48.
Bencivenga, E.: 1983, ‘Compactness of a supervaluational language’, J. Symbolic Logic ,384–386.
Burge, T.: 1974, ‘Truth and singular terms’, Nous 8, 309–325.
Carnap, R.: 1947, Meaning and Necessity, University of Chicago Press, Chicago.
Church, A.: 1965, Review of Lambert [1963], J. Symbolic Logic 30, 103–104.
Cocchiarella, N. B.: 1966, ‘A logic of possible and actual objects’, J. Symbolic Logic 31, 688.
Findlay, A. N.: 1963, Meinong’s Theory of Objects and Values, Oxford, Clarendon Press.
Fine, K.: 1981, ‘The permutation principle in quantificational logic’, unpublished manuscript.
Frege, G.: 1892, ‘Uber Sinn und Bedeutung’, Zeitschrift für Philosophic und philosophische Kritik 100, 25–50.
Grandy, R.: 1972, ‘A definition of truth for theories with intensional definite description operators’, J. Philosophical Logic 1, 137–155.
Hailperin, T.: 1953, ‘Quantification theory and empty individual–domains’, J. Symbolic Logic 18, 197–200.
Hintikka, K. J. J.: 1959a, ‘Existential presuppositions and existential commitments’, J. Philosophy 56, 125–137.
Hintikka, K. J. J.: 1959b, ‘Towards a theory of definite descriptions’, Analysis 19, 79–85.
Jaskowski, S.: 1934, ‘On the rules of supposition in formal logic’, Studia Logica 1, 5–32.
Lambert, K.: 1962, ‘Notes on E! Ill: A theory of descriptions’, Philosophical Studies 13, 51–59.
Lambert, K.: 1963, ‘Existential import revisited’, Notre Dame J. Formal Logic 4, 288– 292.
Lambert, K.: 1964, ‘Notes on E! IV: A reduction in free quantification theory with identity and descriptions’, Philosophical Studies 15, 85–88.
Lambert, K.: 1967, ‘Free logic and the concept of existence’, Notre Dame J. Formal Logic 8, 133–144.
Lambert, K.: 1972, ‘Notes on free description theories: some philosophical issues and consequences’, J. Philosophical Logic 1, 184–191.
Lambert, K.: 1981, ‘On the philosophical foundations of free logic’, Inquiry 24, 147– 203.
Leblanc, H. and Hailperin, T.: 1959, ‘Nondesignating singular terms’, Philosophical Review 68, 239–243.
Leblanc, H. and Thomason, R. H.: 1968, ‘Completeness theorems for some presuppo–sition–free logics’, Fundamenta Math. 62, 125–164.
Lejewski, C.: 1954, ‘Logic and existence’, British J. Philosophy of Science 5, 104–119.
Lejewski, C.: 1958, ‘On Lesniewski’s ontology’, Ratio 1, 150–176.
Leonard, H. S.: 1956, ‘The logic of existence’, Philosophical Studies 7, 49–64.
Luschei, E. C.: 1962, The Logical Systems of Lesniewski, North–Holland, Amsterdam.
Meinong, A.: 1904, ‘Über Gegenstandstheorie’, in Untersuchungen zur Gegenstands–theorie und Psychologie, Barth, Leipzig.
Meyer, R. K. and Lambert, K.: 1968, ‘Universally free logic and standard quantification theory’, J. Symbolic Logic 33, 8–26.
Mostowski, A.: 1951, ‘On the rules of proof in the pure functional calculus of the first order’, J. Symbolic Logic 16, 107–111.
Parsons, T.: 1980, Nonexistent Objects, Yale University Press, New Haven.
Posy, C.: 1982, ‘A free IPC is a natural logic’, Topoi 1, 30–43.
Quine, W. V. O.: 1939, ‘Designation and existence’, J. Philosophy 36, 701–709.
Quine, W. V. O.: 1940, Mathematical Logic, Harvard University Press, Cambridge.
Quine, W. V. O.: 1948, ‘On what there is’, Review of Metaphysics 2, 21–38.
Quine, W. V. O.: 1954, ‘Quantification and the empty domain’, J. Symbolic Logic 19, 177–179.
Routley, R.: 1966, ‘Some things do not exist’, Notre Dame J. Formal Logic 7, 251–276.
Routley, R.: 1980, Exploring Meinong’s Jungle and Beyond, Australian National Univer¬sity, Canberra.
Scales, R.: 1969, Attribution and Reference, Ph.D. Thesis, University of California at Irvine.
Schock, R.: 1964, ‘Contributions to syntax, semantics, and the philosophy of science’, Notre Dame J. Formal Logic 5, 241–289.
Schock, R.: 1968, Logics Without Existence Assumptions, Almqvist and Wiksell, Stockholm.
Scott, D.: 1967, ‘Existence and description in formal logic’, in R. Schoenman (ed.), Bertrand Russell, Philosopher of the Century, Allen and Unwin, London, pp. 181– 200.
Scott, D.: 1970, ‘Advice in modal logic’, in K. Lambert (ed.), Philosophical Problems in Logic, D. Reidel, Dordrecht, pp. 143–173.
Skyrms, B.: 1968, ‘Supervaluations: identity, existence, and individual concepts’, J. Philosophy 69, 477–482.
Strawson, P. F.: 1950, ‘On referring’, Mind 59, 320–344.
Strawson, P. F.: 1952, Introduction to Logical Theory, Methuen, London.
Trew, A.: 1970, ‘Nonstandard theories of quantification and identity’, J. Symbolic Logic 35, 267–294.
van Fraassen, B. C.: 1966a, ‘The completeness of free logic’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 12, 219–234.
van Fraassen, B.C.: 1966b, ‘Singular terms, truth–value gaps, and free logic’, J. Philosophy 67, 481–495.
van Fraassen, B. C.: 1968, ‘Presupposition, implication, and self–reference’, J. Philosophy 69, 136–152.
van Fraassen, B. C.: 1969, ‘Presuppositions, supervaluations, and free logic’, in K. Lambert (ed.), The Logical Way of Doing Things, Yale University Press, New Haven, pp. 67–91.
van Fraassen, B. C. and Lambert, K.: 1967, ‘On free description theory’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 13, 225–240.
Whitehead, A. N. and Russell, B.: 1910, Principia Mathematica, Vol. 1, Cambridge University Press, London.
Woodruff, P. W.: 1971, ‘Free logic, modality and truth’, unpublished manuscript.
Woodruff, P. W.: 1984, ‘On supervaluations in free logic’, J. Symbolic Logic 49, 943–950.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Bencivenga, E. (1986). Free Logics. In: Gabbay, D., Guenthner, F. (eds) Handbook of Philosophical Logic. Synthese Library, vol 166. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-5203-4_6
Download citation
DOI: https://doi.org/10.1007/978-94-009-5203-4_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-8801-5
Online ISBN: 978-94-009-5203-4
eBook Packages: Springer Book Archive