Mathematical realism is the doctrine that mathematical objects really exist, that mathematical statements are either determinately true or determinately false, and that the accepted mathematical axioms are predominantly true. A realist understanding of set theory has it that when the sentences of the language of set theory are understood in their standard meaning, each sentence has a determinate truth value, so that there is a fact of the matter whether the cardinality of the continuum is א2 or whether there are (...) measurable cardinals, whether or not those facts are knowable by us. (shrink)

The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify (...) many concepts in contemporary mathematics, and thus that both first- and higher-order logics are needed to fully reflect current work. Throughout, the emphasis is on discussing the associated philosophical and historical issues and the implications they have for foundational studies. For the most part, the author assumes little more than a familiarity with logic comparable to that provided in a beginning graduate course which includes the incompleteness of arithmetic and the Lowenheim-Skolem theorems. All those concerned with the foundations of mathematics will find this a thought-provoking discussion of some of the central issues in the field today. (shrink)

A unified theory is offered to account for three types of definite descriptions: with singular, plural, & mass predicates, & to provide an account for the word the in descriptions. It is noted that B. Russell's analysis ("On Denoting," Mind, 1905, 14, 479-493) failed to account for plural & mass descriptions. The proposed theory differs from Russell's only by the substitution of the notation (less than or equal to) for Russell's =. It is suggested that for every predicate G there (...) is an appropriate "part of" or "some of" relation on the extension of G. For singular predicates, (less than or equal to) becomes just the identity relation =. The predicate G is formulated as "the G" & analyzed with the formula ((schwa)x) (Gx . (Gy (includes) yy (less than or equal to) x)), which accounts for all cases of definite descriptions. It is suggested that the primary use of the is not to indicate uniqueness, but totality. C. Ornatowski. (shrink)

Extension of the logical language to deliver plural reference and the logical relations that constitute knowledge of the singular and plural acquires empirical bite just in case it conforms with increasing precision to the syntax of the natural language and affords explanation of what speakers know about the distribution and meaning of plural expressions in their language. As for the syntax of natural language, this discussion, being none too precise, is guided throughout by just two considerations and their immediate consequences, (...) which is discussed at greater length in this article. The first, morpheme univocality, is that a morpheme despite its various syntactic and morphological contexts has a single meaning that supports all its occurrences. (shrink)

Syntactic Reductionism, as understood here, is the view that the ‘logical forms’ of sentences in which reference to abstract objects appears to be made are misleading so that, on analysis, we can see that no expressions which even purport to refer to abstract objects are present in such sentences. After exploring the motivation for such a view, and arguing that no previous argument against it succeeds, sentences involving generalized quantifiers, such as ‘most’, are examined. It is then argued, on this (...) basis, that Syntactic Reductionism is untenable. (shrink)

There is little doubt that a second-order axiomatization of Zermelo-Fraenkel set theory plus the axiom of choice (ZFC) is desirable. One advantage of such an axiomatization is that it permits us to express the principles underlying the first-order schemata of separation and replacement. Another is its almost-categoricity: M is a model of second-order ZFC if and only if it is isomorphic to a model of the form Vκ, ∈ ∩ (Vκ × Vκ) , for κ a strongly inaccessible ordinal.

With his customary incisiveness, W. V. Quine presents logic as the product of two factors, truth and grammar-but argues against the doctrine that the logical truths are true because of grammar or language. Rather, in presenting a general theory of grammar and discussing the boundaries and possible extensions of logic, Quine argues that logic is not a mere matter of words.

Mathematical realism is the doctrine that mathematical objects really exist, that mathematical statements are either determinately true or determinately false, and that the accepted mathematical axioms are predominantly true. A realist understanding of set theory has it that when the sentences of the language of set theory are understood in their standard meaning, each sentence has a determinate truth value, so that there is a fact of the matter whether the cardinality of the continuum is א2 or whether there are (...) measurable cardinals, whether or not those facts are knowable by us. (shrink)

George Boolos (1984, 1985) has extensively investigated plural quantifi- cation, as found in such locutions as the Geach-Kaplan sentence There are critics who admire only one another, and he found that their logic cannot be adequately formalized within the first-order predicate calculus. If we try to formalize the sentence by a paraphrase using individual variables that range over critics, or over sets or collections or fusions of critics, we misrepresent its logical structure. To represent plural quantification adequately requires the logical (...) resources of the full second-order predicate calculus. (shrink)

Machine generated contents note: Essay 1.

Barry Schein proposes combining a second-order treatment of plurals with DonaldDavidson's suggestion that there are positions for reference to events in ordinary predicates inorder to account for several of the more puzzling features of ...