Truth Values and Proof Theory

摘要

I present an account of truth values for classical logic, intuitionistic logic,and the modal logic S5, in which truth values are not a fundamental category from whichthe logic is defined, but rather, an idealisation of more fundamental logical features in theproof theory for each system. The result is not a new set of semantic structures, but anew understanding of how the existing semantic structures may be understood in termsof a more fundamental notion of logical consequence.