|
|
|
- Semantics and Syntax of Sentential Logic
- Truth Tables
- Rules of Inference
- Proofs and Counterexamples
- Axioms of Arithmetic
- Quantification
- Symbolizing English Sentences
- Consistency Proofs
- Independence
A standard introduction to
sentential and first-order logic, with additional material on
quantification, translation, and consistency proofs. The course is
available to students who have not yet begun the study of calculus.
M157 was originally offered to Stanford undergraduates as a
computer-based introduction to logic through the Institute for
Mathematical Studies in the Social Sciences (IMSSS) and the Department
of Philosophy. The course is text-only. (4 units)
Prerequisite: M013 or equivalent.
|
