Qu’est-ce que la logique ?

Por • 24 may, 2020 • Sección: Crítica

Brice Halimi

Hypothèse de travail : la logique comme discipline médiatrice entre la philosophie et les mathématiques. « Science des lois du raisonnement ». L’enjeu sous-jacent à cette définition est l’unité des règles usuelles du raisonnement ordinaire, d’une part, et des procédures de démonstration mathématique d’autre part. L’autre élément fondamental est la profonde historicité de la logique et son devenir-mathématique au XXe siècle. La logique comme discipline mathématique. Quel est son objet dans ce cas ? R : les théories mathématiques elles-mêmes (en tant que formalisées). Mais la logique n’est pas passée corps et biens aux mathématiques. De plus, l’utilisation d’outils et de méthodes mathématiques ne signifie pas que l’objet de la logique est lui-même mathématique. Logique comme calcul et logique comme langage (van Heijenoort) : cet enjeu est d’une certaine manière interne à la logique formelle (mathématisée).

LLPHI 624

Second semestre 2009

LLPHI 624 : Qu’est-ce que la logique – Département de …

file:///C:/Users/Personal/Downloads/QECQLL%20(4).pdf

Post to Twitter

Escribe un comentario