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’
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
First-Order Logic and Some Existential Sentences.Stephen K. McLeod - 2011 - Disputatio 4 (31):255-270.
Logic and Existence [Corrected Portion of an Article Appearing in Proceedings of the Aristotelian Society Supplementary Volumes, Vol. 73 (1999)]. [REVIEW]Ian Rumfitt & Timothy Williamson - 2000 - Proceedings of the Aristotelian Society 100:321 - 343.
On the Semantics of Existence Predicates.Friederike Moltmann - 2010 - In Ingo Reich (ed.), Proceedings of Sinn und Bedeutung 15, Saarbruecken.
Logic and Existence.Timothy Williamson - 1999 - Aristotelian Society Supplementary Volume 73 (1):181–203.
On the Infinite in Mereology with Plural Quantification.Massimiliano Carrara & Enrico Martino - 2010 - Review of Symbolic Logic 4 (1):54-62.
Characterization of Prime Numbers in Łukasiewicz's Logical Matrix.Alexander S. Karpenko - 1989 - Studia Logica 48 (4):465 - 478.
Existence of Prime Elements in Rings of Generalized Power Series.Daniel Pitteloud - 2001 - Journal of Symbolic Logic 66 (3):1206-1216.
Why Substitutional Quantification Does Not Express Existence.Philip Hugly & Charles Sayward - 1987 - Theory and Decision 50:67-75.
Non-Traditional Squares of Predication and Quantification.Mireille Staschok - 2008 - Logica Universalis 2 (1):77-85.
Added to index2011-09-28
Total downloads142 ( #31,376 of 2,146,978 )
Recent downloads (6 months)8 ( #91,177 of 2,146,978 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.