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.

Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung (...) für die weitere Forschung in der Beweistheorie auf das Endziel hin, unsere üblichen Methoden der Mathematik samt und sonders als widerspruchsfrei zu erkennen. Im Hinblick auf dieses Ziel möchte ich hervorheben, daß die zeit weilig aufgekommene Meinung, aus gewissen neueren Ergebnissen von GÖDEL folge die Undurchführbarkeit meiner Beweistheorie, als irrtüm lich erwiesen ist. Jenes Ergebnis zeigt in der Tat auch nur, daß man für die weitergehenden Widerspruchsfreiheitsbeweise den finiten Stand punkt in einer schärferen Weise ausnutzen muß, als dieses bei der Be trachtung der elementaren Formallsmen erforderlich ist. Göttingen, im März 1934 HILBERT Vorwort zur ersten Auflage Eine Darstellung der Beweistheorie, welche aus dem HILBERTschen Ansatz zur Behandlung der mathematisch-logischen Grundlagenpro bleme erwachsen ist, wurde schon seit längerem von HILBERT ange kündigt. (shrink)

This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject.

A respected Harvard logician and philosopher gathers together twenty-nine writings dealing with the foundations of mathematics, Rudolf Carnap, lin-guistics, ...

Things and Their Place in Theories Our talk of external things, our very notion of things, is just a conceptual apparatus that helps us to foresee and ...

Of course we all know now that mathematics has proved that logic doesn't really make sense, but Etchemendy (philosophy, Stanford Univ.) goes further and challenges the received view of the conceptual underpinnings of modern logic by arguing that Tarski's model-theoretic analysis of logical consequences is wrong. He may have found the soft underbelly of the dead horse. Annotation copyrighted by Book News, Inc., Portland, OR.

Kant's question 'How are synthetic judgments a priori possible?' pre- cipitated the Critique of Pure Reason. Question and answer notwith- standing, Mill and others persisted in doubting that such judgments were possible at all. At length some of Kant's own clearest purported.

In this book, Stephen Read sets out to rescue logic from its undeserved reputation as an inflexible, dogmatic discipline by demonstrating that its technicalities and processes are founded on assumptions which are themselves amenable to philosophical investigation. He examines the fundamental principles of consequence, logical truth and correct inference within the context of logic, and shows that the principles by which we delineate consequences are themselves not guaranteed free from error. Central to the notion of truth is the beguiling issue (...) of paradox. Its philosophical value, Read shows, lies in exposing the invalid assumption on which the paradox is built. Thinking About Logic also discusses logical puzzles which introduce questions relating to language, the world, and their relationship. (shrink)

For the faithful there is much to ponder. In this short book, based on lectures delivered in Spain in 1990, Quine begins by locating his work historically.

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 ...

This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject. The treatment of ordinal numbers has been strengthened and much simplified, especially in the theory of transfinite recursions, by adding an axiom and reworking the proofs. Infinite cardinals are treated anew in clearer and fuller terms than before. Improvements have been made all through the book; in various instances a proof has been shortened, a theorem strengthened, a space-saving (...) lemma inserted, an obscurity clarified, an error corrected, a historical omission supplied, or a new event noted. (shrink)

Thirty-two years ago W. V. Quine proposed a definition of 'logical truth' that has been widely repeated and reprinted. Quine himself seems to have recognized that this definition is wrong in detail; in section 1 we eliminate this fault. What has perhaps been less widely observed is that, in abandoning the model-theoretic account of logical truth in favor of a "substitutional" account, Quine's definition swells the ranks of the logical truths and makes the classification of a sentence as a logical (...) truth dependent both on the interpretation of its extralogical words and on the extralogical vocabulary available in the language. (shrink)

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.

Quine's areas of interest are panoramic, as this lively book amply demonstrates.

In the first section, I consider what several logicians say informally about the notion of logical consequence. There is significant variation among these accounts, they are sometimes poorly explained, and some of them are clearly at odds with the usual technical definition. In the second section, I first argue that a certain kind of informal account—one that includes elements of necessity, generality, and apriority—is approximately correct. Next I refine this account and consider several important questions about it, including the appropriate (...) characterization of necessity, the criterion for selecting logical constants, and the exact role of apriority. I argue, among other things, that there is no need to recognize a special logical sense of necessity and that the selection of terms to serve as logical constants is ultimately a pragmatic matter. In the third section, I consider whether the informal account I have presented and defended is adequately represented by the usual technical definition. I show that it is, and provably so, for certain limited ways of selecting logical constants. In the general case, however, there seems to be no way to be sure that the technical and informal accounts coincide. (shrink)

I am concerned with two theses of quine's which pertain to identity statements and names. My purpose is to prove that they are inconsistent, I.E., That not both can be true. The two theses are: (q1) (=a) can be treated as a simple predicate, And (q2) any statement of the form (a=a) is logically true.

This paper examines the connection between model-theoretic truth and necessary truth. It is argued that though the model-theoretic truths of some standard languages are demonstrably ''''necessary'''' (in a precise sense), the widespread view of model-theoretic truth as providing a general guarantee of necessity is mistaken. Several arguments to the contrary are criticized.

Now much revised since its first appearance in 1941, this book, despite its brevity, is notable for its scope and rigor.

SummaryMetatheory may be pursued immanently, i.e., within the object language, or transcendently in metalanguages. Immanently, the hierarchy of metalanguages gives way to a hierarchy of predicates. The immanent approach accentuates the symmetry between Russell's paradox and Cantor's theorem: class shortage versus predicate shortage. Appeal to metatheoretic models, in defining logical truth, gives way to appeal to substitutions of expressions of the object language. Can this be said also of set‐theoretic truth, despite predicate shortage? Equivalently: is substitutional quantification unscathed by predicate (...) shortage? Anyway substitutional quantification balks at impredicative cases. (shrink)