2017-18 Monsoon Semester, Ashoka University, Symbolic Logic
Preliminaries
Ch. 1 Preliminary Definitions and Principles
Sentential Logic
Ch. 3 A Guide for Constructing Truth Tables
Ch. 3 & Ch 5, Sec. 1 Truth-Functional Definitions of Logical Concepts
Ch. 6, Sec. 1-3 Inference Rules of SP
Ch. 6, Sec. 6 A Guide for Constructing Proofs in the Proof System for SL
Ch. 6, Sec. 7 Definitions of Proof-Theoretic Concepts in SP
Quantified Logic
Ch. 4 Canonical Paraphrases of QL (Loglish)
Ch. 5, Sec. 2-5 Semantics of QL
Ch. 5, Sec. 4 Model-Theoretic Definitions of Logical Concepts
Slides on Reasoning with Models in QL
Ch. 6, Sec. 7 Definitions of Proof-Theoretic Concepts in QP
Ch. 6, Sec. 4-5 Inference Rules of QP
© 2016 T. Scott Dixon All Rights Reserved