15-317 Constructive Logic
Lecture 9: Classical Logic

This lecture given by Dan Licata

In this lecture, we discuss classical logic and its relationship to intuitionistic logic.

• Reading: 09-10-classical.pdf, Sec 1-2
• Previous lecture: Proof Irrelevance
• Next lecture: Computational Meaning of Classical Logic
• Key concepts:
  • Law of excluded middle
  • Double-negation elimination
  • Contradication and falsehood judgments
  • Gödel-Gentzen translation

[ Home | Schedule | Assignments | Handouts | Software ]

fp@cs
Frank Pfenning