Synopsis
Proof and Consequence is a rigorous, elegant introduction to classical first-order natural deductive logic; it provides an accurate and accessible first course in the study of formal systems. The text covers all the topics necessary for learning logic at the beginner and intermediate levels: this includes propositional and quantificational logic (using Suppes-style proofs) and extensive metatheory, as well as over 800 exercises.
Proof and Consequence provides exclusive access to the software application Simon, an easily downloadable program designed to facilitate an intuitive understanding of classical logic through the generation and analysis of proofs. It also aids with the representation of natural language sentences in the formal language. Equipped with nearly all the exercises found in the text, Simon helps students work efficiently and effectively by detecting and explaining errors in solutions as they proceed. Students can also submit assignments, view their own records, and check their standing in the class.
The complete logic package includes:
- The logic textbook, Proof and Consequence
- A very helpful study guide to the textbook, containing extra exercises, Simple Simon
- Access, through Simon, to the grading software, Simon Says, that allows students to submit assignments and track their grades
"synopsis" may belong to another edition of this title.
About the Author
Ray Jennings is Professor of Philosophy at Simon Fraser University. He is the author of The Geneology of Disjunction (Oxford University Press, 1994).
Nicole Friedrich is a researcher in philosophy and computer science. She is also the curator of Simon Fraser’s Laboratory for Logic and Experimental Philosophy.
From the Back Cover
Proof and Consequence is a rigorous, elegant introduction to classical first-order natural deductive logic; it provides an accurate and accessible first course in the study of formal systems. The text covers all the topics necessary for learning logic at the beginner and intermediate levels: this includes propositional and quantificational logic (using Suppes-style proofs) and extensive metatheory, as well as over 800 exercises.
Proof and Consequence provides exclusive access to the software application Simon, an easily downloadable program designed to facilitate an intuitive understanding of classical logic through the generation and analysis of proofs. It also aids with the representation of natural language sentences in the formal language. Equipped with nearly all the exercises found in the text, Simon helps students work efficiently and effectively by detecting and explaining errors in solutions as they proceed. Students can also submit assignments, view their own records, and check their standing in the class.
The complete logic package includes:
- The logic textbook, Proof and Consequence
- A very helpful study guide to the textbook, containing extra exercises, Simple Simon
- Access, through Simon, to the grading software, Simon Says, that allows students to submit assignments and track their grades
"About this title" may belong to another edition of this title.
Search results for Proof and Consequence: An Introduction to Classical...
Stock Image
Proof and Consequence: An Introduction to Classical Logic
Seller: Half Price Books Inc., Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_475166882
Stock Image
Proof and Consequence: An Introduction to Classical Logic
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-1551115476