Graduate studies at Western
|Abstract||“The expression ‘free logic’ is an abbreviation for the phrase ‘free of existence assumptions with respect to its terms, general and singular’.”1 Classical quantification theory is not a free logic in this sense, as its standard formulations commonly assume that every singular term in every model is assigned a referent, an element of the universe of discourse. Indeed, since singular terms include not only singular constants, but also variables2, standard quantification theory may be regarded as involving even the assumption of the existence of the values of its variables, in accordance with Quine’s famous dictum: “to be is to be the value of a variable”.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Karel Lambert (ed.) (1991). Philosophical Applications of Free Logic. Oxford University Press.
Alex Oliver & Timothy Smiley (2006). A Modest Logic of Plurals. Journal of Philosophical Logic 35 (3):317 - 348.
Philip Hugly & Charles Sayward (1987). Why Substitutional Quantification Does Not Express Existence. Theory and Decision 50:67-75.
Richard Brown (2008). Language, Thought, Logic, and Existence. CALIPSO (Conference Addresses of the Long Island Philosophical Society Online) 1 (2):http://myweb.brooklyn.liu.edu/mc.
Mirna Džamonja & Saharon Shelah (2003). Universal Graphs at the Successor of a Singular Cardinal. Journal of Symbolic Logic 68 (2):366-388.
Greg Frost-Arnold (2008). Too Much Reference: Semantics for Multiply Signifying Terms. [REVIEW] Journal of Philosophical Logic 37 (3):239 - 257.
Karel Lambert (1963). Quantification and Existence. Inquiry 6 (1-4):319-324.
Added to index2009-01-28
Total downloads30 ( #46,469 of 739,489 )
Recent downloads (6 months)1 ( #61,680 of 739,489 )
How can I increase my downloads?