Material Detail

Textbook for symbolic logic, beginning at a level appropriate for beginning students, continuing through Gödel's completeness and incompleteness theorems.  The text naturally divides into two volumes, the first for reasoning in logic, the second for reasoning about it. 

The first volume includes parts I and II of the text. Part I introduces the complete classical predicate calculus with equality, including both axiomatic and natural derivation systems. Part II transitions to methods for reasoning about logic, including direct reasoning from definitions and mathematical induction.

The second volume includes parts III and IV of the text. Part III develops basic results in classical metalogic, including the soundness and completeness of the predicate calculus. Part IV moves to Gödel’s incompleteness theorems: the first that, under certain constraints, no theory is sufficient to prove one of P or not-P for every sentence P of its language; the second that none is sufficient to prove its own consistency.

This will delete the comment from the database. This operation is not reversible. Are you sure you want to do it?

Thank you for reporting a broken "Go to Material" link in MERLOT to help us maintain a collection of valuable learning materials.

If you feel this material is inappropriate for the MERLOT Collection, please click SEND REPORT, and the MERLOT Team will investigate. Thank you!

You are being taken to the material on another site. This will open a new window.

Do not show me this again