Proof and Truth

Abstract

L'A. mesure la compatibilite de la these deflationniste et de l'utilisation logique de la verite comme signe d'une force demonstrative. Examinant le statut du predicat de verite chez Godel et Tarski, d'une part, et soulignant le role de la notion de consequence logique dans la theorie de la preuve et dans la theorie du modele, d'autre part, l'A. etudie les conditions de conservatisme et d'extensibilite dans les cas de la verite arithmetique, de la verite pragmatique et de la verite de l'explication, dans le cadre de la logique du premier ordre et de la logique du second-ordre

Cite this work

No public copy is stored for this record, so only the metadata is cited.

Stored only when both papers are in the corpus — 94 citations exist upstream.