An Introduction to Formal Logic: Chapters 1-7 |
---|

Smith (Peter) |

Source: Smith (Peter) - An Introduction to Formal Logic |

Paper - Abstract |

Paper Statistics | Colour-Conventions | Disclaimer |

__Contents__

- What is deductive logic? 1

→ 1.1 What is an argument? – 1

→ 1.2 Kinds of evaluation – 1

→ 1.3 Deduction vs. induction – 2

→ 1.4 Just a few more examples – 4

→ 1.5 Generalizing – 5

→ 1.6 Summary – 7

→ Exercises 1 – 7 - Validity and soundness – 9

→ 2.1 Validity defined again – 9

→ 2.2 Consistency, validity, and equivalence – 11

→ 2.3 Validity, truth, and the invalidity principle – 12

→ 2.4 Inferences and arguments – 14

→ 2.5 ‘Valid’ vs ‘true’ – 15

→ 2.6 What’s the use of deduction? 15

→ 2.7 An illuminating circle? – 17

→ 2.8 Summary – 18

→ Exercises 2 – 18 - Forms of inference – 20

→ 3.1 More forms of inference – 20

→ 3.2 Four simple points about the use of schemas – 22

→ 3.3 Arguments can instantiate many patterns – 24

→ 3.4 Summary – 26

→ Exercises 3 – 26 - Proofs – 27

→ 4.1 Proofs: first examples – 27

→ 4.2 Fully annotated proofs – 28

→ 4.3 Glimpsing an ideal – 30

→ 4.4 Deductively cogent multi-step arguments – 31

→ 4.5 Indirect arguments – 33

→ 4.6 Summary – 35

→ Exercises 4 – 36 - The counterexample method – 37

→ 5.1 ‘But you might as well argue . . . ’ – 37

→ 5.2 The counterexample method, more carefully – 38

→ 5.3 A ‘quantifier shift’ fallacy – 39

→ 5.4 Summary – 41

→ Exercises 5 – 41 - Logical validity – 42

→ 6.1 Topic neutrality – 42

→ 6.2 Logical validity, at last – 43

→ 6.3 Logical necessity – 44

→ 6.4 The boundaries of logical validity? 45

→ 6.5 Definitions of validity as rational reconstructions – 46

→ 6.6 Summary – 48

→ Exercises 6 – 48 - Propositions and forms – 49

→ 7.1 A definition: Fregean sense – 49

→ 7.2 A distinction: types vs tokens – 49

→ 7.3 A distinction: propositions vs assertions – 50

→ 7.4 Propositions as sentences, naively – 51

→ 7.5 Propositions as truth-relevant contents – 52

→ 7.6 Why we can be indecisive – 52

→ 7.7 Forms of inference again – 53

→ 7.8 Summary – 55

→ Interlude: From informal to formal logic – 56

**Text Colour Conventions (see disclaimer)**

- Blue: Text by me; © Theo Todman, 2019
- Mauve: Text by correspondent(s) or other author(s); © the author(s)

© Theo Todman, June 2007 - March 2019. | Please address any comments on this page to theo@theotodman.com. | File output: Website Maintenance Dashboard |

Return to Top of this Page | Return to Theo Todman's Philosophy Page | Return to Theo Todman's Home Page |