ABSTRACT
Logical Consequence via Proofs. An examination of Prawitz’s proof-theoretic account of logical consequence, with attention to how it solves problems for proof-theoretic accounts raised by Tarski, Prior, and others. An introductory look at intuitionistic logic, which serves as a case study for thinking about philosophical issues surrounding fundamental logical disagreement.
