Existence and quantification reconsidered

Research output: Contribution to Book/Report typesChapterpeer-review

Abstract (may include machine translation)

Introduction 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.’ This view about how to represent or regiment these kinds of sentences will be familiar to philosophers; so familiar, in fact, that for many it will be taken as an established result. I think it should not be taken in this way, and my aim in this paper is to disentangle a number of different claims contained in this standard view, and to dispute some of them.

Original languageEnglish
Title of host publicationContemporary Aristotelian Metaphysics
PublisherCambridge University Press
Pages44-65
Number of pages22
ISBN (Electronic)9780511732256
ISBN (Print)9781107000643
DOIs
StatePublished - 1 Jan 2011
Externally publishedYes

Fingerprint

Dive into the research topics of 'Existence and quantification reconsidered'. Together they form a unique fingerprint.

Cite this