| |
| |
| |
Logic and Truth | |
| |
| |
| |
Inferences: Assessment, Recognition, and Reconstruction | |
| |
| |
| |
Categorical Statements and Inferences | |
| |
| |
| |
Truth-functional Statements | |
| |
| |
| |
Truth Tables and Proofs | |
| |
| |
| |
Natural Deduction | |
| |
| |
| |
The Logic of Quantifiers | |
| |
| |
| |
Logic and Language | |
| |
| |
| |
Applied Inductive Analysis | |
| |
| |
| |
Mapping Premises and Conclusions | |
| |
| |
| |
The Square of Opposition and Standard-form Categorical | |
| |
| |
| |
Logic and Truth | |
| |
| |
| |
Truth Content and Logical Component | |
| |
| |
| |
Logic and Relationships | |
| |
| |
Exercise Set-1.2 | |
| |
| |
| |
Truth Content Errors, Logical Component Errors, and the Analysis of Inferences | |
| |
| |
Exercise Set-1.3 | |
| |
| |
| |
Reasoning, Judgment, and Deductive Analysis | |
| |
| |
Equivocation | |
| |
| |
Exercise Set-1.4 | |
| |
| |
| |
Deductive and Inductive Inferences | |
| |
| |
Deductive Inferences | |
| |
| |
Inductive Inferences | |
| |
| |
| |
Uncertainty and Inductive Analysis | |
| |
| |
Exercise Set-1.6 | |
| |
| |
Summary | |
| |
| |
Key Terms | |
| |
| |
Thinking Logically: The Problem of the Hats | |
| |
| |
Biography: The Women Who Programmed Eniac | |
| |
| |
Biography: Blaise Pascal | |
| |
| |
| |
Inferences: Assessment, Recognition, and Reconstruction | |
| |
| |
| |
The Role of New Evidence | |
| |
| |
Exercise Set-2.1 | |
| |
| |
| |
Inference Analysis and Evaluation | |
| |
| |
Exercise Set-2.2 | |
| |
| |
| |
Logical Structure | |
| |
| |
More on Equivocation and Stipulations | |
| |
| |
Logical Loop | |
| |
| |
Logical Possibilities | |
| |
| |
Adding New Premises | |
| |
| |
Exercise Set-2.3 | |
| |
| |
| |
Expanding Skills | |
| |
| |
Recognizing and Reconstructing Inferences | |
| |
| |
Exercise Set-2.4A | |
| |
| |
Explanations | |
| |
| |
Exercise Set-2.4B | |
| |
| |
Missing Information | |
| |
| |
Exercise Set-2.4C | |
| |
| |
Summary | |
| |
| |
Key Terms | |
| |
| |
Thinking Logically: A Classic Problem | |
| |
| |
Biography: Augusta Ada Byron | |
| |
| |
| |
Categorical Statements and Inferences | |
| |
| |
| |
Categorical Statements | |
| |
| |
Translating Ordinary Sentences into Categorical Statements | |
| |
| |
Diagramming Categorical Statements: Venn Diagrams | |
| |
| |
All Sare P | |
| |
| |
No Sare P | |
| |
| |
Some Sare P | |
| |
| |
Some Sare not P | |
| |
| |
Exercise Set-3.1 | |
| |
| |
| |
Categorical Syllogisms | |
| |
| |
Exercise Set-3.2 | |
| |
| |
Summary | |
| |
| |
Key Terms | |
| |
| |
Thinking Logically: A Group Problem Biography: Aristotle | |
| |
| |
Biography: John Venn | |
| |
| |
| |
Truth-functional Statements | |
| |
| |
| |
Logical Operators | |
| |
| |
Conjunction | |
| |
| |
Negation | |
| |
| |
Disjunction | |
| |
| |
Exercise Set-4.1A | |
| |
| |
Translations and Common Terms | |
| |
| |
Exercise Set-4.1B | |
| |
| |
| |
Conditional Statements | |
| |
| |
Understanding and Diagramming Conditional Statements | |
| |
| |
"If" and "Only if" | |
| |
| |
Exercise Set-4.2 | |
| |
| |
| |
Rules for Symbolic Notation | |
| |
| |
Well-formed Formulas | |
| |
| |
Exercise Set--4.3A | |
| |
| |
The Main Logical Operator | |
| |
| |
Exercise Set-4.3B | |
| |
| |
| |
Truth Tables for Complex Truth-functional Statements Order of Operations | |
| |
| |
| |
Contingent and Noncontingent Statements Tautology | |
| |
| |
Self-contradiction | |
| |
| |
Exercise Set-4.5A | |
| |
| |
Material Equivalence | |
| |
| |
Exercise Set-4.5B | |
| |
| |
| |
Logical Equivalence | |
| |
| |
Exercise Set-4.6 | |
| |
| |
| |
Contradictory, Consistent, and Inconsistent Statements | |
| |
| |
Exercise Set-4.7 | |
| |
| |
Summary | |
| |
| |
Key Terms | |
| |
| |
Thinking Logically: A Tricky Problem | |
| |
| |
Biography: The Stoi | |