Quineans have taken the basic expression of ontological commitment to be an assertion of the form '' x '', assimilated to theEnglish ''there is something that is a ''. Here I take the existential quantifier to be introduced, not as an abbreviation for an expression of English, but via Tarskian semantics. I argue, contrary to the standard view, that Tarskian semantics in fact suggests a quite different picture: one in which quantification is of a substitutional type apparently first proposed by (...) Geach. The ontological burden is borne by constant symbols, and truth is defined separately from reference. (shrink)

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

An account of Aristotle's syllogistic (including a full square of opposition and allowing for empty nouns) as an integral part of first-order predicate logic is lacking. Some say it is not possible. It is not found in the tradition stemming from ukasiewicz's attempt nor in less formal approaches such as Strawson's. The ukasiewicz tradition leaves Aristotle's syllogistic as an autonomous axiomatized system. In this paper Aristotle's syllogistic is presented within first-order predicate logic with special restricted quantifiers. The theory is not (...) motivated primarily by historical considerations but as an accurate account of categorical sentences along lines suggested by recent work on natural language quantifiers and themes from supposition theory. It provides logical forms which conform to grammatical ones and is intended as a rival to accounts of quantifiers in natural language that appeal to binary quantifiers, for example, Wiggins or to restricted quantifiers, for example, Neale. (shrink)