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
- Publisher
- Thomson;Wadsworth
- Year
- 2008
- Tongue
- English
- Leaves
- 709
- Edition
- 10th ed
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Synopsis
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 moral reasoning ; Causality and Mill's methods ; Probability ; Statistical reasoning ; Hypothetical/scientific reasoning ; Science and superstition.
โฆ Table of Contents
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 moral reasoning
Causality and Mill's methods
Probability
Statistical reasoning
Hypothetical/scientific reasoning
Science and superstition.
โฆ Subjects
Logik;;Logic
๐ SIMILAR VOLUMES