This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logi
A concise introduction to logic
โ Scribed by Hurley, Patrick J.; Watson, Lori
- Publisher
- Cengage Learning
- Year
- 2016
- Tongue
- English
- Leaves
- 754
- Edition
- Thirteenth edition
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Table of Contents
Content: Informal logic --
Basic concepts --
Language: meaning and definition --
Informal fallacies --
Formal logic --
Categorical propositions --
Categorical syllogisms --
Propositional logic --
Natural deduction in propositional logic --
Predicate logic --
Inductive logic --
Analogy and legal and moral reasoning --
Causality and Mill's methods --
Probability --
Statistical reasoning --
Hypothetical/scientific reasoning --
Science and superstition.
โฆ Subjects
Logic.
๐ SIMILAR VOLUMES
pt. 1: Informal logic. Basic concepts ; Language: meaning and definition ; Informal fallacies -- pt. 2. Formal logic. Categorical propositions ; Categorical syllogisms ; Propositional logic ; Natural deduction in propositional logic ; Predicate logic -- pt. 3. Inductive logic. Analogy and legal and