16. Intuitionistic Logic
Intuitionistic logic studies reasoning in which a statement is accepted only when there is a construction, proof, or method that establishes it. The chapter begins with constructive semantics, where truth is understood through evidence rather than only through truth values, and this changes the interpretation of several familiar logical principles. Proof interpretation is then introduced to explain how formulas correspond to kinds of constructions, so that a proof of a...