Several of these essays have been printed whole in journals; others are in varying degrees new. Two main themes run through them. One is the problem of meaning, particularly as involved in the notion of an analytic statement. The other is the notion of ontological, commitment, particularly as involved in the problem of universals.

This book is concerned with `the problem of existence in mathematics'. It develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. It explores the philosophical implications of such an approach through an examination of the writings of Field, Burgess, Maddy, Kitcher, and others.

How can the infinite, a subject so remote from our finite experience, be an everyday tool for the working mathematician? Blending history, philosophy, mathematics, and logic, Shaughan Lavine answers this question with exceptional clarity. Making use of the mathematical work of Jan Mycielski, he demonstrates that knowledge of the infinite is possible, even according to strict standards that require some intuitive basis for knowledge.

By far the most detailed surviving examination by any ancient Greek sceptic of epistemology and logic, this work critically reviews the pretensions of non-sceptical philosophers, to have discovered methods for determining the truth, either through direct observation or by inference from the observed to the unobserved. A fine example of the Pyrrhonist sceptical method at work, it also provides extensive information about the ideas of other Greek thinkers, which in many instances, are poorly preserved in other sources.

Shows that when Qyuine's criterion of ontological commitment is modified to allow for the legitimacy of substitutional quantification, two consequences follow: (i) fundamental questions of ontology cease to be settled by mere appeal to logical form and truth, and (ii) a powerful method for reducing ontological commitments becomes available.

If quantum mechanics (QM) is to be taken as an atomistic theory with the elementary particles as atoms (an ATEP), then the elementary particlcs must be individuals. There must then be, for each elementary particle a, a property being identical with a that a alone has. But according to QM, elementary particles of the same kind share all physical properties. Thus, if QM is an ATEP, identity is a metaphysical but not a physical property. That has unpalatable consequences. Dropping the (...) assumption that QM is an ATEP makes it possible to replace the assumption that elementary particles are individuals with the assumption that there are various kinds of elementary stuff that have smallest quantities — the smallest quantity of light, for example, is a photon. The problems about identity disappear, and the explanatory virtues of an ATEP are maintained. (shrink)

Peter Geach proposed a substitutional construal of quantification over thirty years ago. It is not standardly substitutional since it is not tied to those substitution instances currently available to us; rather, it is pegged to possible substitution instances. We argue that (i) quantification over the real numbers can be construed substitutionally following Geach's idea; (ii) a price to be paid, if it is that, is intuitionism; (iii) quantification, thus conceived, does not in itself relieve us of ontological commitment to real (...) numbers. (shrink)

For more than two generations, W. V. Quine has contributed fundamentally to the substance, the pedagogy, and the philosophy of mathematical logic. Selected Logic Papers, long out of print and now reissued with eight additional essays, includes much of the author's important work on mathematical logic and the philosophy of mathematics from the past sixty years.

It is persons who are ontologically committed. But a person is not ontologically committed by virtue of his character, his height, his social standing or whatever, but by virtue of the sentences he assents to. Hence we should look to sentences for a criterion of ontological commitment. This is precisely what is done by advocates of what I will call the Referential theory. In this paper I argue that the Referential theory faces serious objections related to the role paraphrase must (...) play in it. I then present a modified Referential theory and go on to discuss certain implications of the modified theory. More precisely, the paper divides up as follows. In §1 I present the Referential theory. In §2 I argue that it is in trouble over paraphrase. In §3 I consider a general objection to the arguments of §2. In §4 I present the modified theory. In §5 I consider the implications of the modified theory for polemic over what there is and for the existence of properties or universals. (shrink)

Note: This paper was originally read to a gathering of Catholic priests and it accordingly assumed throughout that Catholic dogmas are in fact true—not because this assumption could not reasonably be disputed, but because no one in the original audience was going to dispute it. It is hoped, however, that a discussion of the relation between logic and dogma from this point of view may be of some interest for those who do not share the author’s faith.