skip to content
Introduction to logic Preview this item
ClosePreview this item
Checking...

Introduction to logic

Author: Paul William Herrick
Publisher: New York : Oxford University Press, ©2013.
Edition/Format:   Print book : EnglishView all editions and formats
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

Genre/Form: Textbooks
Document Type: Book
All Authors / Contributors: Paul William Herrick
ISBN: 9780199890491 0199890498
OCLC Number: 777001130
Notes: Includes index.
Description: 1 volume (unpaged) : illustrations ; 24 cm
Contents: unit I. The fundamental concepts of logic --
1. What is logic? --
2. Let's have an argument! --
3. The two basic types of argument --
4. How to evaluate a deductive argument --
5. How to evaluate an inductive argument --
6. Logical relations and concluding matters --
unit II. Categorical logic --
7. Logic take form : categorical logic version 1.0 --
8. The categorical syllogism --
9. Categorical logic version 2.0 ; Boole, Venn, and the Nineteenth-Century revolution in categorical logic --
unit III. Truth-functional logic --
10. Think like a stoic! : truth-functional logic version 1.0 --
11. Truth-functional logic version 1.1 : stoic logic takes form --
12. Truth-functional logic version 2.0 : the invention of formal languages in the Nineteenth Century --
13. From English to TL : techniques for great translations --
14. Truth-table analysis part 1 : truth tables for the operators --
15. Truth-table analysis part 2 : testing sentences for logical status --
16. Truth-table analysis part 3 ; testing arguments for validity --
17. Truth-table analysis part 4 : relations --
18. Modern truth-functional natural deduction part 1 : the first four rules --
19. Truth-functional natural deduction part 2 : four more inference rules --
20. Truth-functional deduction part 3 ; replacement rules --
21. Truth-functional deduction part 4 : indirect and conditional proof --
22. Premise-free proofs : (interlude) philosophy of logic --
unit IV. Predicate logic --
23. Predicate logic version 1.1 : Frege unites categorical and stoic logic --
24. Predicate logic version 1.2 : it's all about relationships --
25. Predicate logic version 1.3 : (to be or not to be) the logic of identity --
26. Natural deduction proofs with monadic predicates --
27. A semantical theory for predicate logic --
28. Conditional and indirect predicate proofs --
29. Proofs with overlapping quantifiers --
30. The summit : predicate logic with identity --
unit V. Informal and inductive logic --
31. The art of definition --
32. The informal fallacies --
33. The varieties of inductive reasoning --
34. Elementary probability theory --
unit VI. Modal logic --
35. elementary modal logic --
Appendices : A. Classical Indian logic --
B. Metalogic : the logic of logic --
C. Gödel's theorem : the power of logic revealed --
D. Logic and computers : how an idea in logic led to the digital computer and transformed the world.
Responsibility: Paul Herrick.

Reviews

Editorial reviews

Publisher Synopsis

I have been very satisfied with this textbook and its companion materials. I am using this text with second language learners, and while I'm sure it was not developed with this goal in mind, it is Read more...

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

Tags

Be the first.

Similar Items

Related Subjects:(2)

User lists with this item (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/777001130> # Introduction to logic
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "777001130" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.loc.gov/authorities/classification/BC108> ;
   schema:about <http://id.worldcat.org/fast/1002014> ; # Logic
   schema:about <http://id.loc.gov/authorities/subjects/sh85078106> ; # Logic
   schema:about <http://dewey.info/class/160/e23/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "2013" ;
   schema:creator <http://viaf.org/viaf/244428181> ; # Paul William Herrick
   schema:datePublished "2013" ;
   schema:description "unit I. The fundamental concepts of logic -- 1. What is logic? -- 2. Let's have an argument! -- 3. The two basic types of argument -- 4. How to evaluate a deductive argument -- 5. How to evaluate an inductive argument -- 6. Logical relations and concluding matters -- unit II. Categorical logic -- 7. Logic take form : categorical logic version 1.0 -- 8. The categorical syllogism -- 9. Categorical logic version 2.0 ; Boole, Venn, and the Nineteenth-Century revolution in categorical logic -- unit III. Truth-functional logic -- 10. Think like a stoic! : truth-functional logic version 1.0 -- 11. Truth-functional logic version 1.1 : stoic logic takes form -- 12. Truth-functional logic version 2.0 : the invention of formal languages in the Nineteenth Century -- 13. From English to TL : techniques for great translations -- 14. Truth-table analysis part 1 : truth tables for the operators -- 15. Truth-table analysis part 2 : testing sentences for logical status -- 16. Truth-table analysis part 3 ; testing arguments for validity -- 17. Truth-table analysis part 4 : relations -- 18. Modern truth-functional natural deduction part 1 : the first four rules -- 19. Truth-functional natural deduction part 2 : four more inference rules -- 20. Truth-functional deduction part 3 ; replacement rules -- 21. Truth-functional deduction part 4 : indirect and conditional proof -- 22. Premise-free proofs : (interlude) philosophy of logic -- unit IV. Predicate logic -- 23. Predicate logic version 1.1 : Frege unites categorical and stoic logic -- 24. Predicate logic version 1.2 : it's all about relationships -- 25. Predicate logic version 1.3 : (to be or not to be) the logic of identity -- 26. Natural deduction proofs with monadic predicates -- 27. A semantical theory for predicate logic -- 28. Conditional and indirect predicate proofs -- 29. Proofs with overlapping quantifiers -- 30. The summit : predicate logic with identity -- unit V. Informal and inductive logic -- 31. The art of definition -- 32. The informal fallacies -- 33. The varieties of inductive reasoning -- 34. Elementary probability theory -- unit VI. Modal logic -- 35. elementary modal logic -- Appendices : A. Classical Indian logic -- B. Metalogic : the logic of logic -- C. Gödel's theorem : the power of logic revealed -- D. Logic and computers : how an idea in logic led to the digital computer and transformed the world."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2261575306> ;
   schema:genre "Textbooks"@en ;
   schema:inLanguage "en" ;
   schema:name "Introduction to logic"@en ;
   schema:productID "777001130" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/777001130#PublicationEvent/new_york_oxford_university_press_2013> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2261575306#Agent/oxford_university_press> ; # Oxford University Press
   schema:workExample <http://worldcat.org/isbn/9780199890491> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/777001130> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/2261575306#Agent/oxford_university_press> # Oxford University Press
    a bgn:Agent ;
   schema:name "Oxford University Press" ;
    .

<http://id.worldcat.org/fast/1002014> # Logic
    a schema:Intangible ;
   schema:name "Logic"@en ;
    .

<http://viaf.org/viaf/244428181> # Paul William Herrick
    a schema:Person ;
   schema:familyName "Herrick" ;
   schema:givenName "Paul William" ;
   schema:name "Paul William Herrick" ;
    .

<http://worldcat.org/isbn/9780199890491>
    a schema:ProductModel ;
   schema:isbn "0199890498" ;
   schema:isbn "9780199890491" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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