Dag Prawitz, Is there a general concept of proof?

Conférence plénière du 26 juillet - CLMPS 2011 / Plenary lecture, Tue. 26 July - CLMPS 2011

Notions of formal proofs are usually proposed as attempts to capture truth or provability within a certain domain. More seldom does one try to capture the epistemic process by which we get to know that a sentence or proposition is true. The lecture will try to do that, and will in this way approach questions concerning a general notion of proof for a language.