Hilary Putnam deals in this book with some of the most fundamental persistent problems in philosophy: the nature of truth, knowledge and rationality. His aim is to break down the fixed categories of thought which have always appeared to define and constrain the permissible solutions to these problems.

Anyone who has pondered the limitlessness of space and time, or the endlessness of numbers, or the perfection of God will recognize the special fascination of this question. Adrian Moore's historical study of the infinite covers all its aspects, from the mathematical to the mystical.

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)

In this book Saul Kripke brings his powerful philosophical intelligence to bear on Wittgenstein's analysis of the notion of following a rule.

First published in 1978, this reissue presents a seminal philosophical work by professor Putnam, in which he puts forward a conception of knowledge which makes ethics, practical knowledge and non-mathematic parts of the social sciences just as much parts of 'knowledge' as the sciences themselves. He also rejects the idea that knowledge can be demarcated from non-knowledge by the fact that the former alone adheres to 'the scientific method'. The first part of the book consists of Professor Putnam's John Locke (...) lectures, delivered at the University of Oxford in 1976, offering a detailed examination of a 'physicalist' theory of reference against a background of the works of Tarski, Carnap, Popper, Hempel and Kant. The analysis then extends to notions of truth, the character of linguistic enquiry and social scientific enquiry in general, interconnecting with the great metaphysical problem of realism, the nature of language and reference, and the character of ourselves. (shrink)

First published in 1971, Professor Putnam's essay concerns itself with the ontological problem in the philosophy of logic and mathematics - that is, the issue of whether the abstract entities spoken of in logic and mathematics really exist. He also deals with the question of whether or not reference to these abstract entities is really indispensible in logic and whether it is necessary in physical science in general.

Quine's arguments for the indeterminacy of translation rest on behaviorist presuppositions [AL 1/29/2004].

It is argued that the general thesis of realism is ill-defined, as are various versions of its denial. Only specific theses of the form There areK''s make clear sense. It is also argued that various efforts to deny realism always turn out to deny specific existential theses. Thus, it is argued, van Fraassen and Schwartz deny the existence of electrons.

Anyone who has pondered the limitlessness of space and time, or the endlessness of numbers, or the perfection of God will recognize the special fascination of this question. Adrian Moore's historical study of the infinite covers all its aspects, from the mathematical to the mystical.