Gary Hardegree
(homepage)
Philosophy 513 - Math Logic I
(homepage)
UMass Amherst
General Info
On-Line TextBook
Gary Hardegree
Introduction to Metalogic
Chapter 0
: Overview
Chapter 1
: Formal Languages - 1
Chapter 2
: Formal Languages - 2
Chapter 3
: Mathematical Induction
Chapter 4
: Truth-Functional Logic
Chapter 5
: The Semantic Characterization of Logic
Chapter 6
: The Deductive Characterization of Logic
Chapter 7
: Abtract Logics
Chapter 8
: Axiom Systems for Classical Sentential Logic
Chapter 9
: Initial Theorems about Axiom System AS1
Chapter 10
: The Soundness Theorem for System AS1
Chapter 11
: The Completeness Theorem for System AS1
Chapter 12
: Summary of Results for CSL & AS1
Chapter 13
: The Syntax of Classical First-Order Logic
Chapter 14
: The Semantics of Classical First-Order Logic
Chapter 15
: Validity in Classical First-Order Logic
Chapter 16
: Axiom Systems for Classical First-Order Logic
Chapter 17
: Soundness Theorem for System AS1+Q
Chapter 18
: Completeness Theorem for Axiom System AS1+Q for CPL
Appendix 1
: Categorial Grammar
Appendix 2
: Theories of Strings
Appendix 3
: Summary of Set Theory
These require Adobe
Acrobat
Reader.
To download, click here.