ABSTRACT
In the previous lecture we drew a distinction between understanding truth and the logical connectives realistically or ‘classically’ (i.e. in terms of classical truth and falsity) and understanding them quasi-intuitionalistically (i.e. in terms of provability in a theory, say, B1).
