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

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
Summary:

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

Rating:

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

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; 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 Read more...

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

Tags

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

<http://www.worldcat.org/oclc/263625385> # Selected logic papers
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "263625385" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/259115#Place/cambridge_mass> ; # Cambridge, Mass.
   schema:about <http://id.loc.gov/authorities/classification/B945> ;
   schema:about <http://dewey.info/class/160/> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:bookEdition "Enlarged ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/27070554> ; # Willard Van Orman Quine
   schema:datePublished "1996" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/259115> ;
   schema:inLanguage "en" ;
   schema:name "Selected logic papers"@en ;
   schema:productID "263625385" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/263625385#PublicationEvent/cambridge_mass_harvard_university_press_1996> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/259115#Agent/harvard_university_press> ; # Harvard University Press
   schema:workExample <http://worldcat.org/isbn/9780674798373> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/263625385> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/259115#Agent/harvard_university_press> # Harvard University Press
    a bgn:Agent ;
   schema:name "Harvard University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/259115#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
   schema:name "Cambridge, Mass." ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/27070554> # 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" ;
    .

<http://worldcat.org/isbn/9780674798373>
    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.