Existence and Quantification Reconsidered

In Tuomas Tahko (ed.), Contemporary Aristotelian Metaphysics. Cambridge: pp. 44-65 (2012)
Download Edit this record How to cite View on PhilPapers
The currently standard philosophical conception of existence makes a connection between three things: certain ways of talking about existence and being in natural language; certain natural language idioms of quantification; and the formal representation of these in logical languages. Thus a claim like ‘Prime numbers exist’ is treated as equivalent to ‘There is at least one prime number’ and this is in turn equivalent to ‘Some thing is a prime number’. The verb ‘exist’, the verb phrase ‘there is’ and the quantifier ‘some’ are treated as all playing similar roles, and these roles are made explicit in the standard common formalization of all three sentences by a single formula of first-order logic: ‘(∃ x )[P( x ) & N( x )]’, where ‘P( x )’ abbreviates ‘ x is prime’ and ‘N( x )’ abbreviates ‘ x is a number’. The logical quantifier ‘∃’ accordingly symbolizes in context the role played by the English words ‘exists’, ‘some’ and ‘there is’
PhilPapers/Archive ID
Upload history
Archival date: 2016-09-26
View other versions
Added to PP index

Total views
263 ( #17,501 of 51,740 )

Recent downloads (6 months)
5 ( #48,309 of 51,740 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.