2015-16 Monsoon Semester, Ashoka University, Symbolic Logic

To be updated soon

Syllabus

Resources for Sentential Logic

Preliminary Definitions of Logical Concepts

Syntax

Semantics

Transcriptions

Semantic Definitions of Logical Concepts

Laws of Equivalence

Inference Rules for Natural Deduction

Definitions of Proof-Theoretic Concepts

A Guide for Constructing Derivations

Proof-Theoretic Definitions of Logical Concepts

Resources for Predicate Logic

Syntax

Loglish and Transcriptions

Semantics

Semantic Definitions of Logical Concepts

Example Syntax and Semantics Exercises

Laws of Equivalence

Definitions of Proof-Theoretic Concepts

Inference Rules for Natural Deduction

Proof-Theoretic Definitions of Logical Concepts

Source Materials for Resources

Bergmann, M., J. Moor, and J. Nelson 2008. The Logic Book, 5th Edn. New York: McGraw-Hill.

Teller, P. 1989. A Modern Formal Logic Primer, Vols I and II. Upper Saddle River, NJ: Prentice Hall.