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.
- On the Meanings of the Logical Constants and the Justifications of the Logical Laws
Nordic Journal of Philosophical Logic
Vol. 1, No. 1, pp. 11-60, 1996