skip to content
An introduction to formal logic Preview this item
ClosePreview this item
Checking...

An introduction to formal logic

Author: Peter Smith
Publisher: Cambridge [u.a.] : Cambridge University Press, 2003.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

A highly accessible guide to the fundamental aims and basic elements of formal logic.

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: Einführung
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Peter Smith
ISBN: 0521008042 9780521008044 0521810337 9780521810333
OCLC Number: 249459898
Description: VIII, 357 S : graph. Darst
Contents: 1. What is logic?; 2. Validity and soundness; 3. Patterns of inference; 4. The counterexample technique; 5. Proofs; 6. Validity and arguments; 7. Three propositional connectives; 8. The syntax of PL; 9. The semantics of PL; 10. 'A's and 'B's, 'P's and 'Q's; 11. Truth functions; 12. Tautologies; 13. Tautological entailment; 14. PLC and the material conditional; 15. More on the material conditional; 16. Introducing PL trees; 17. Rules for PL trees; 18. PLC trees; 19. PL trees vindicated; 20. Trees and proofs; 21. Quantifiers; 22. QL introduced; 23. QL explored; 24. More QL translations; 25. Introducing QL trees; 26. The syntax of QL; 27. Q-valuations; 28. Q-validity; 29. More on QL trees; 30. QL trees vindicated; 31. Extensionality; 32. Identity; 33. The language QL=; 34. Descriptions and existence; 35. Trees for identity; 36. Functions.
Responsibility: Peter Smith.
More information:

Reviews

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

Tags

Be the first.
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/249459898> # An introduction to formal logic
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "249459898" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/707713#Place/cambridge_u_a> ; # Cambridge u.a.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/707713#Topic/logik> ; # Logik
   schema:about <http://id.loc.gov/authorities/classification/BC71> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/707713#Topic/logic> ; # Logic
   schema:about <http://id.worldcat.org/fast/1002014> ; # Logic
   schema:about <http://dewey.info/class/160/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/707713#Topic/formale_logik> ; # Formale Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/707713#Topic/lehrbuch> ; # Lehrbuch
   schema:about <http://experiment.worldcat.org/entity/work/data/707713#Topic/logik_swd_id_40362024> ; # Logik ; SWD-ID: 40362024
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/46145602393201360589> ; # Peter Smith
   schema:datePublished "2003" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/707713> ;
   schema:inLanguage "en" ;
   schema:name "An introduction to formal logic" ;
   schema:productID "249459898" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/249459898#PublicationEvent/cambridge_u_a_cambridge_university_press_2003> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/707713#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:url <http://catdir.loc.gov/catdir/toc/cam032/2003057283.html> ;
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0732/2003057283-b.html> ;
   schema:url <http://catdir.loc.gov/catdir/description/cam032/2003057283.html> ;
   schema:workExample <http://worldcat.org/isbn/9780521008044> ;
   schema:workExample <http://worldcat.org/isbn/9780521810333> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA3V0064> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/249459898> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/707713#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/707713#Place/cambridge_u_a> # Cambridge u.a.
    a schema:Place ;
   schema:name "Cambridge u.a." ;
    .

<http://experiment.worldcat.org/entity/work/data/707713#Topic/logik_swd_id_40362024> # Logik ; SWD-ID: 40362024
    a schema:Intangible ;
   schema:name "Logik ; SWD-ID: 40362024" ;
    .

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

<http://viaf.org/viaf/46145602393201360589> # Peter Smith
    a schema:Person ;
   schema:familyName "Smith" ;
   schema:givenName "Peter" ;
   schema:name "Peter Smith" ;
    .

<http://worldcat.org/isbn/9780521008044>
    a schema:ProductModel ;
   schema:isbn "0521008042" ;
   schema:isbn "9780521008044" ;
    .

<http://worldcat.org/isbn/9780521810333>
    a schema:ProductModel ;
   schema:isbn "0521810337" ;
   schema:isbn "9780521810333" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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