This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.

Reviews the scope, nature, and applications of the philosophical discipline, focusing on methods for distinguishing between valid and fallacious arguments and inferences.