ABSTRACT
In the previous lectures I have argued that the formal logic of true and refers is captured by Tarskian semantics, but the concepts of truth and reference are undetermined by their formal logic. The notions of truth and reference can indeed be thought of as defined à la Tarski (for one’s own language); but it is only by examining our theory of the world, and specifically by examining the connections between truth and various kinds of provability or warranted assertibility as they are drawn within that theory itself, that one can determine whether the notions of truth and reference we employ are realist or idealist, ‘classical’ or ‘intuitionist’.
