“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)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Why Substitutional Quantification Does Not Express Existence.Philip Hugly & Charles Sayward - 1987 - Theory and Decision 50:67-75.
Language, Thought, Logic, and Existence.Richard Brown - 2007 - CALIPSO (Conference Addresses of the Long Island Philosophical Society Online) 1 (2):http://myweb.brooklyn.liu.edu/mc.
Universal Graphs at the Successor of a Singular Cardinal.Mirna Džamonja & Saharon Shelah - 2003 - Journal of Symbolic Logic 68 (2):366-388.
Added to index2009-01-28
Total downloads63 ( #80,894 of 2,152,270 )
Recent downloads (6 months)2 ( #281,162 of 2,152,270 )
How can I increase my downloads?