Intuitionism and Semantic Anti-Realism

Analyse Brouwer's philosophical case against the law of excluded middle based on the nature of mathematical construction.

Evaluate the BHK interpretation as an alternative account of the meaning of logical connectives.

Analyse Dummett's argument that a theory of meaning must be grounded in the public manifestation of understanding.

Evaluate how Dummett's 'manifestation argument' provides a justification for intuitionistic logic over classical logic.

Assess whether the choice between classical and intuitionistic logic is a substantive philosophical dispute.