Logic in Secondary Education
Argument for including Logic at the secondary school level.
|
Logic in Schools
Report on Bringing Logic to Secondary Schools.
|
Symbolic Logic
Rationale for teaching Symbolic Logic. Excerpt from Chapter 1 of the Notes.
|
Deduction
Explanation of differences between deduction and other forms of reasoning, e.g. abduction, induction, and analogy. Excerpt from Chapter 1 of the Notes.
|
Automation
A short history of automated logical reasoning and a few practical applications. Excerpt from Chapter 1 of the Notes.
|
