Bonevac, Daniel
Deduction: Introductory Symbolic Logic
- ISBN 13:
- 9780631227137
- author:
- Bonevac, Daniel
- format:
- Paperback
- publisher:
- Wiley-Blackwell
- language:
- English
- Publication Year:
- 2002
- Pages:
- 528
- Dimensions:
- 21.8 x 15.5 x 3.8 cm
- Genre:
- Logic
- Condition:
- New
- Availability:
- Item usually sent within 10 working days
Description
Deduction Introductory Symbolic Logic presents an efficient and elegant presentation of classical first-order logic.
It combines a truth tree system based on the work of Jeffrey with a natural deduction system inspired by Kalish and Montague.
The book also covers extensions and revisions of classical logic, including modal logic, many-valued logic, fuzzy logic, intuitionistic logic, counterfactuals, deontic logic, common sense reasoning, and quantified modal logic. Problem sets are included to help students progress gradually from easier to more difficult problems.
Related Products
Related Products
Deductive Logic
Goldfarb, Warren
£33.86
Deductive Logic by Warren D. Goldfarb is a comprehensive introduction to truth-functional and predicate logic, presented in a lively yet rigorous manner. The text features clear examples and...
Out of stock
Symbolic Logic
Carroll, Lewis
£15.61
Symbolic Logic and the Game of Logic is a unique blend of logical thought and whimsical charm. This collection brings together two works that showcase the author's innovative approach to logic,...
Logic with Trees: Introduction to Symbolic Logic
Howson, Colin
£46.68
Logic With Trees is a comprehensive introduction to modern formal logic, presenting the formal material in a clear and accessible way. The book covers a range of topics, including truth-functional...
An Introduction to Symbolic Logic
Langer, Susanne K.
£21.33
This clear and concise introduction to symbolic logic is suitable for anyone looking to understand mathematical logic without requiring prior knowledge of mathematics. You can learn to use...
Introduction to Logic and to the Methodology of Deductive Sciences
Tarksi, Alfred
£11.39
Introduction to Logic and to the Methodology of Deductive Sciences by Alfred Tarski is an undergraduate textbook that explores the deductive method in its first part, before delving into applications...