|Abstract||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)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Stephen K. McLeod (2011). First-Order Logic and Some Existential Sentences. Disputatio 4 (31):255-270.
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.
Friederike Moltmann (2010). On the Semantics of Existence Predicates. In Ingo Reich (ed.), Proceedings of Sinn und Bedeutung 15, Saarbruecken.
Timothy Williamson (1999). Logic and Existence. 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:54-62.
Ian Rumfitt (1999). Logic and Existence: Ian Rumfitt. Aristotelian Society Supplementary Volume 73 (1):151–180.
Alexander S. Karpenko (1989). Characterization of Prime Numbers in Łukasiewicz's Logical Matrix. Studia Logica 48 (4):465 - 478.
Daniel Pitteloud (2001). Existence of Prime Elements in Rings of Generalized Power Series. Journal of Symbolic Logic 66 (3):1206-1216.
Karel Lambert (1963). Quantification and Existence. Inquiry 6 (1-4):319-324.
Philip Hugly & Charles Sayward (1987). Why Substitutional Quantification Does Not Express Existence. Theory and Decision 50:67-75.
Mireille Staschok (2008). Non-Traditional Squares of Predication and Quantification. Logica Universalis 2 (1).
Added to index2011-09-28
Total downloads134 ( #3,299 of 549,196 )
Recent downloads (6 months)14 ( #4,618 of 549,196 )
How can I increase my downloads?