Textbook

Books Price Comparison (Including Amazon) - Guaranteed Lowest Prices on Books


 

Deduction: Introductory Symbolic Logic

 
 
 
 
Deduction: Introductory Symbolic Logic
Author: Daniel Bonevac
ISBN 13: 9780631227137
ISBN 10: 63122713
Edition: 2
Publisher: Wiley-Blackwell
Publication Date: 2002-11-22
Format: Paperback
Pages: 528
List Price: $72.95
 
 


Deduction is an efficient and elegant presentation of classical first-order logic. It presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague.


  • Efficient and elegant presentation of classical first-order logic.
  • Presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague.
  • Contains detailed, yet accessible chapters on extensions and revisions of classical logic: modal logic, many-valued logic, fuzzy logic, intuitionistic logic, counterfactuals, deontic logic, common sense reasoning, and quantified modal logic.
  • Includes problem sets, designed to lead students gradually from easier to more difficult problems.
  • Features web-based programs which give students symbolization problems, hints, grades, and demonstrations.

Further information and sample content is available on the supporting website: http://www.utexas.edu/cola/depts/philosophy/faculty/bonevac/deduction/