Équipe Hypertextes et Textualité électronique
Laboratoire Communication et polique
TerminalfRessources terminologiques en langue française
Terminalf : page d'accueil
Les mémoires de terminologie : page d'accueil
Présentation des mémoires de terminologie
Visite guidée de la fiche de terminologie
Page d'accueil du mémoire
Interroger les termes traités dans ce mémoire
Français - AnglaisFiche complète du terme
Théorie de la preuve
Etude des relations de deductibilité entre des formules appartenant à des calculs logiques non interpretés.
(NADEAU Robert, Vocabulaire technique et analytique de l'épistémologie, Puf, 1999)
Langue : français
Catégorie grammaticale : loc.
Statut du terme en entrée : Langue spécialisée
Domaine : Philosophie analytique
Sous-domaine : Logique
Contexte : (…) la théorie de la preuve requière des moyens beaucoup moins fort que ceux qu'exigent l'étude d'un calcul ou système formel interprété via un modèle. (NADEAU Robert, Vocabulaire technique et analytique de l'épistémologie, Puf, 1999, p.712)
Équivalent anglais : proof theory
Retour à la page précédente.