15-399 Constructive Logic
Lecture 2: Judgments and Propositions

In this lecture we introduce judgments, propositions, and proofs and begin the discussion of the logical connectives. We follow the approach of Martin-Löf whereby the meaning of a proposition is determined by what counts as a verification of it.

Further reading:

On the Meanings of the Logical Constants and the Justifications of the Logical Laws
Per Martin-Löf
Nordic Journal of Philosophical Logic
Vol. 1, No. 1, pp. 11-60, 1996

[ Home | Schedule | Assignments | Handouts | Software | Overview ]

Frank Pfenning