Proof and Falsity

This book argues that the meaning of negation, perhaps the most important logical constant, cannot be defined within the framework of the most comprehensive theory of proof-theoretic semantics, as formulated in the influential work of Michael Dummett and Dag Prawitz. Nils Kurbis examines three approaches that have attempted to solve the problem - defining negation in terms of metaphysical incompat...