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.




Social Networks

Check the box to autoplay the video.
Check the box to loop the video.
Check the box to indicate the beginning of playing desired.
 Embed in a web page
 Share the link