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
]
fp@cs
Frank Pfenning
|