David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
“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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
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. 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 downloads61 ( #78,226 of 1,940,949 )
Recent downloads (6 months)3 ( #272,411 of 1,940,949 )
How can I increase my downloads?