skip to content
Selected logic papers Preview this item
ClosePreview this item

Selected logic papers

Author: W V Quine
Publisher: Cambridge, Mass. : Harvard University Press, 1996.
Edition/Format:   Print book : English : Enlarged edView all editions and formats

W.V. Quine has contributed extensively to the substance, pedagogy and philosophy of mathematical logic. This text, reissued with eight additional essays, includes many of Quine's important works on  Read more...


(not yet rated) 0 with reviews - Be the first.

More like this


Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...


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.


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

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...


Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data

Primary Entity

<> # Selected logic papers
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "263625385" ;
   library:placeOfPublication <> ;
   library:placeOfPublication <> ; # Cambridge, Mass.
   schema:about <> ;
   schema:about <> ;
   schema:about <> ; # Logic, Symbolic and mathematical
   schema:bookEdition "Enlarged ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <> ; # Willard Van Orman Quine
   schema:datePublished "1996" ;
   schema:exampleOfWork <> ;
   schema:inLanguage "en" ;
   schema:name "Selected logic papers"@en ;
   schema:productID "263625385" ;
   schema:publication <> ;
   schema:publisher <> ; # Harvard University Press
   schema:workExample <> ;
   wdrs:describedby <> ;

Related Entities

<> # Harvard University Press
    a bgn:Agent ;
   schema:name "Harvard University Press" ;

<> # Cambridge, Mass.
    a schema:Place ;
   schema:name "Cambridge, Mass." ;

<> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;

<> # Willard Van Orman Quine
    a schema:Person ;
   schema:familyName "Quine" ;
   schema:givenName "Willard Van Orman" ;
   schema:givenName "W. V." ;
   schema:name "Willard Van Orman Quine" ;

    a schema:ProductModel ;
   schema:isbn "0674798376" ;
   schema:isbn "9780674798373" ;

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.