## Find a copy in the library

Finding libraries that hold this item...

## Details

Document Type: | Book |
---|---|

All Authors / Contributors: |
W V Quine |

ISBN: | 0674798376 9780674798373 |

OCLC Number: | 263625385 |

Description: | xii, 307 pages ; 22 cm |

Contents: | 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). |

Responsibility: | W.V. Quine. |

## Reviews

*Editorial reviews*

Publisher Synopsis

[Quine] is at once the most elegant expounder of systematic logic in the older, pre-Godelian style of Frege and Russell, the most distinguished American recruit to logical empiricism, probably the contemporary American philosopher most admired in the profession, and an original philosophical thinker of the first rank...This is an amazing feat of condensation with something solid to say in its brief scope about every major topic of interest in modern formal logic. New York Review of Books What [Quine] is expert in is, of course, logic...What [this book offers] is a view of the expert at work. Selected Logic Papers shows him actually doing logic...Logic is not a guide to life, but then Quine has never maintained that it was. It is a powerful adjunct to empirical inquiry, whose proper use requires prior discipline; its virtue lies in the fact that if we supply it with truth, it will never yield falsehood. Few have shown the manner of its use with more authority. Partisan Review Read more...

*User-contributed reviews*