15-399, 80-317/617
Constructive Logic
Lecture 2: Judgments and Propositions

In this lecture we introduce judgments, propositions, and proofs and begin the discussion of the logical connectives. Following Martin-L&ouf and others, we apply to logic Wittgenstein's Principle of Verification, 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 ]