A Logic of Direct Evidence Seminars/Workshops

Abstract

In the proof-theoretic study of logic, the notion of normal proof has been understood and investigated as a metalogical property. Usually we formulate a system of logic, identify a class of proofs as normal proofs, and show that every proof in the system reduces to a corresponding normal proof.

I will present a system of modal logic that is capable of expressing the notion of normal proof 'within the system itself.' That is, the system has a means for recognizing its own normal proofs, thereby making normal proofs an inherent property of the logic.