Logic and Existence [Corrected Portion of an Article appearing in Proceedings of the Aristotelian Society Supplementary Volumes, Vol. 73 (1999)] [Book Review]
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Proceedings of the Aristotelian Society 100:321 - 343 (2000)
The paper defends the intelligibility of unrestricted quantification. For any natural number n, 'There are at least n individuals' is logically true, when the quantifier is unrestricted. In response to the objection that such sentences should not count as logically true because existence is contingent, it is argued by consideration of cross-world counting principles that in the relevant sense of 'exist' existence is not contingent. A tentative extension of the upward L?wenheim-Skolem theorem to proper classes is used to argue that a sound and complete axiomatization of the logic of unrestricted universal quantification results from adding all sentences of the form 'There are at least n individuals' as axioms to a standard axiomatization of the first-order predicate calculus.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Ian Rumfitt (1999). Logic and Existence: Ian Rumfitt. Aristotelian Society Supplementary Volume 73 (1):151–180.
Timothy Williamson (1999). Logic and Existence. Aristotelian Society Supplementary Volume 73 (1):181–203.
Philip Percival (2011). Predicate Abstraction, the Limits of Quantification, and the Modality of Existence. Philosophical Studies 156 (3):389-416.
Kit Fine (2006). Relatively Unrestricted Quantification. In Agustín Rayo & Gabriel Uzquiano (eds.), Absolute Generality. Oxford University Press. 20-44.
Stephen K. McLeod (2011). First-Order Logic and Some Existential Sentences. Disputatio 4 (31):255-270.
Timothy Williams (1999). Logic and Existence: Timothy Williams. Aristotelian Society Supplementary Volume 73 (1):181-203.
Massimiliano Carrara & Enrico Martino (2011). On the Infinite in Mereology with Plural Quantification. Review of Symbolic Logic 4 (1):54-62.
Michael Slote & Philip Pettit (1984). Satisficing Consequentialism. Proceedings of the Aristotelian Society, Supplementary Volumes 58:139-163+165-176.
John McDowell (1978). Are Moral Requirements Hypothetical Imperatives? Proceedings of the Aristotelian Society, Supplementary Volumes 52:13-29+31-42.
Timothy Williamson (2000). Existence and Contingency. Proceedings of the Aristotelian Society 100 (1):117–139.
Timothy Williamson (1988). Equivocation And Existence. Proceedings of the Aristotelian Society 88:109-127.
W. Kneale & G. E. Moore (1936). Symposium: Is Existence a Predicate? Aristotelian Society Supplementary Volume 15:154 - 188.
Paweł Garbacz (2000). W stronę Łukasiewicza. Filozofia Nauki 1.
Added to index2011-05-29
Total downloads27 ( #74,390 of 1,410,179 )
Recent downloads (6 months)3 ( #75,846 of 1,410,179 )
How can I increase my downloads?