  According to Dummett, the logical position of intuitionism corresponds to the philosophical position of anti-realism. The realist view of a recognition independent reality is the metaphysical counterpart of the view that all sentences are either true or false independent of our means of recognizing it. Following Dummett, major parts of proof-theoretic semantics are associated with anti-realism.