David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Philosophical Studies 156 (3):389-416 (2011)
For various reasons several authors have enriched classical first order syntax by adding a predicate abstraction operator. “Conservatives” have done so without disturbing the syntax of the formal quantifiers but “revisionists” have argued that predicate abstraction motivates the universal quantifier’s re-classification from an expression that combines with a variable to yield a sentence from a sentence, to an expression that combines with a one-place predicate to yield a sentence. My main aim is to advance the cause of predicate abstraction while cautioning against revisionism. In so doing, however, I shall pursue a secondary aim by conveying mixed blessings to those who hold the view that in the logical sense of “existence” some existing object is such as to exist contingently. Advocates of this view must concede Williamson’s recent contention that the domain of unrestricted objectual quantification could not have been narrower than it is actually, but predicate abstraction affords them some hope of accommodating this concession
|Keywords||Predicate abstraction Quantification Modality Existence Singular proposition Logical form|
|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
Jay David Atlas (1977). Negation, Ambiguity, and Presupposition. Linguistics and Philosophy 1 (3):321 - 336.
Henk Barendregt (1997). The Impact of the Lambda Calculus in Logic and Computer Science. Bulletin of Symbolic Logic 3 (2):181-215.
Ermanno Bencivenga & Peter W. Woodruff (1981). A New Modal Language with the Λ Operator. Studia Logica 40 (4):383 - 389.
Richard L. Cartwright (2013). On Singular Propositions. Canadian Journal of Philosophy 27 (sup1):67-83.
Kit Fine (2005). Modality and Tense. Oxford University Press.
Citations of this work BETA
No citations found.
Similar books and articles
Edgar Morscher (1985). Was Existence Ever a Predicate? Grazer Philosophische Studien 25:269-284.
Bert Mosselmans (2008). Aristotle's Logic and the Quest for the Quantification of the Predicate. Foundations of Science 13 (3-4):195-198.
John N. Martin (1995). Existence, Negation, and Abstraction in the Neoplatonic Hierarchy1. History and Philosophy of Logic 16 (2):169-196.
Andrea Cantini (1993). Extending the First-Order Theory of Combinators with Self-Referential Truth. Journal of Symbolic Logic 58 (2):477-513.
Guy Politzer (2003). No Problem for Aristotle's Subject and Predicate. Behavioral and Brain Sciences 26 (3):298-299.
Crispin Wright (2007). On Quantifying Into Predicate Position: Steps Towards a New (Tralist) Perspective. In Mary Leng, Alexander Paseau & Michael D. Potter (eds.), Mathematical Knowledge. Oxford University Press. 150--74.
Stephen K. McLeod (2011). First-Order Logic and Some Existential Sentences. Disputatio 4 (31):255-270.
Kit Fine (2002). The Limits of Abstraction. Oxford University Press.
Ian Rumfitt & Timothy Williamson (2000). Logic and Existence [Corrected Portion of an Article Appearing in Proceedings of the Aristotelian Society Supplementary Volumes, Vol. 73 (1999)]. [REVIEW] Proceedings of the Aristotelian Society 100:321 - 343.
M. J. Cresswell (2006). Now is the Time. Australasian Journal of Philosophy 84 (3):311 – 332.
Fabrice Correia (2007). Modality, Quantification, and Many Vlach-Operators. Journal of Philosophical Logic 36 (4):473 - 488.
Alistair Knott (2003). Do Sensorimotor Processes Have Reflexes in Sentence Syntax as Well as Sentence Semantics? Behavioral and Brain Sciences 26 (3):294-295.
Added to index2010-11-18
Total downloads59 ( #31,600 of 1,410,272 )
Recent downloads (6 months)5 ( #46,139 of 1,410,272 )
How can I increase my downloads?