The text contains an introduction to the deductive apparatus of logic without requiring any background in logic, philosophy, or mathematics. The author has placed emphasis on proof techniques which remain usable not only in the fragment of logic in which they can first be introduced, but throughout all extensions of that fragment. He refrained from using trees, tableaux or model-set constructions, since they are practically unusable in stating long and complicated mathematical proofs. In an intermediate logic course meant primarily for Philosophy Majors, and presupposing nothing beyond elementary symbolic logic, he has used all relevant materials in the text.
| ISBN: | 9781642875355 |
| Publication date: | 1st October 2020 |
| Author: | Eberle, Rolf A. |
| Publisher: | New Central Book Agency |
| Format: | Ebook |
The text contains an introduction to the deductive apparatus of logic without requiring any background in logic, philosophy, or mathematics. The author has placed emphasis on proof techniques which remain usable not only in the fragment of logic in which they can first be introduced, but throughout all extensions of that fragment. He refrained from using trees, tableaux or model-set constructions, since they are practically unusable in stating long and complicated mathematical proofs. In an intermediate logic course meant primarily for Philosophy Majors, and presupposing nothing beyond elementary symbolic logic, he has used all relevant materials in the text.
Logic and Proof Techniques is available in Ebook
Logic and Proof Techniques was written by Eberle, Rolf A. and published by New Central Book Agency
£85.00