Nicholas J. J. Smith

THE PROOF IS IN THE CHECKING

Abstract This paper investigates the question: what is a formal logical proof (in general—as opposed to: what is a formal proof in this or that specific proof system)? I begin by setting out a core conception of formal proof and substantiating its designation as ‘core’. The heart...