Dag Prawitz, Is there a general concept of proof?
[July 26, 2011]
Summary
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.
Infos
-
Added by:
-
Updated on:
Dec. 1, 2015, midnight -
Duration:
01:25:23 -
Number of views:
201 -
Type:
-
Main language:
French -
Discipline(s):
