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
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
Written by an accomplished teacher, scholar, and writer, Simple Logic is unique in its sensitivity to today's student audience; it provides philosophical writing samples that are interesting and relev
Featuring selections from around the globe, Introduction to World Philosophy: A Multicultural Reader provides a diverse and engaging introduction to five key areas of philosophy: ethics, philosophy of