*Logic* is the investigation of valid reasoning

#### Contents

- Applied (Informal) Logic
- Arguments
- Axiom Systems
- An
*axiom system*is a set of assumptions from which logical consequences are derived.

- An
- Conditional Logic
- The logic of
*if…then*.

- The logic of
- Decision Theory
- Alternative courses of action are assessed by the
*expected value*(probability times value) of their projected consequences.

- Alternative courses of action are assessed by the
- Modal Logic
- The logic and
*necessity*and*possibility*.

- The logic and
- Propositional Logic
- The logic of
*and, or, not,*and*if…then*(sort of)

- The logic of
- Predicate Logic
- The logic of
*all, some, none,*and*exists.* - The foundation of modern symbolic logic

- The logic of
- Probability Theory
- Syllogisms and Venn Diagrams