Selected Logic Papers
W. V. Quine(Author)
Harvard University Press
2nd Edition
Published on 3. April 1995
Book
Hardback
320 pages
978-0-674-79836-6 (ISBN)
Description
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 60 years.
More details
Edition
2nd Revised edition
Language
English
Place of publication
Cambridge, Mass
United States
Target group
College/higher education
Professional and scholarly
Edition type
Revised edition
Dimensions
Height: 210 mm
Width: 139 mm
Weight
444 gr
ISBN-13
978-0-674-79836-6 (9780674798366)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Whitehead and the Rise of Modern Logic (1941); Logic, Symbolic (1954); A Method of Generating Part of Arithmetic Without Use of Intuitive Logic (1934); Definition of Substitution (1936); Concatenation as a Basis for Arithmetic (1946); Set-theoretic Foundations for Logic (1936); Logic Based on Inclusion and Abstraction (1937); On Ordered Pairs and Relations (1945-46); On w-Inconsistency and a So-called Axiom of Infinity (1952); Element and Number (1941); On an Application of Tarski's Theory of Truth (1952); On Frege's Way Out (1954); Completeness of the Propositional Calculus (1937); On Cores and Prime Implicants of Truth Functions (1958); Two Theorems about Truth Functions (1951); On Boolean Functions (1949); On the Logic of Quantification (1945); A Proof Procedure for Quantification Theory (1954); Interpretations of Sets of Conditions (1953); Church's Theorem on the Decision Problem (1954); Quantification and the Empty Domain (1953); Reduction to a Dyadic Predicate (1953); Variables Explained Away (1960); Truth, Paradox, and Godel's Theorem (1992); Immanence and Validity (1991); MacHale on Boole (1985); Peirce's Logic (1989); Peano as Logician (1982); Free Logic, Description, and Virtual Classes (1994); The Inception of "New Foundations" (1987); Pythagorean Triples and Fermat's Last Theorem (1992).