Proof-Theoretic Semantics for Non-Philosophers Logic ForAll, 15 Jun 2012 `Proof-theoretic semantics is an alternative to truth-condition semantics.' writes Peter Schroeder-Heister in the Stanford…