<p>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/</p>

Deduction : Introductory Symbolic Logic

Daniel A. Bonevac

Mayfield Publishing Company

Reduction in the Abstract Sciences

Politics & Social Sciences

Philosophy

Ridgeview Pub. Co

See the best price to sell, buy, or rent books by Daniel A. Bonevac. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Daniel A. Bonevac

See the best price to sell, buy, or rent books by Daniel A. Bonevac. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Deduction : Introductory Symbolic Logic

Reduction in the Abstract Sciences