Initier les étudiants à la distinction entre vérité dans une interprétation et validité logique en s'appuyant sur la théorie du syllogisme formel d'Aristote

Viviane Durand-Guerrier (1)

1 IMAG - Institut Montpelliérain Alexander Grothendieck

Dans cette communication, je présenterai tout d'abord brièvement les éléments permettant de soutenir la thèse selon laquelle les principaux concepts fondamentaux de la sémantique logique sont déjà présents chez Aristote. Dans une deuxième partie, je présenterai les éléments consacrés à la théorie du syllogisme formel d'Aristote dans le cadre d'un module intitulé « Analyse logique des énoncés et des raisonnements mathématiques - Aspects épistémologique et didactique » proposé de 1994 à 2007 à des étudiants de licence et repris pour partie et adapté dans le cadre d'un module d'épistémologie en 2012-2013 à partir d'extraits des livres II (De l'Interprétation) et III (les Premiers analytiques) de l'Organon.

Mots clés: undergraduate mathematics education; logic; semantics; Aristotle formal syllogism's theory; logical validity; truth in an interpretation.

Mots clés: enseignement en licence; sémantique logique; théorie du syllogisme formel d'Aristote; validité logique; vérité dans une interprétation.

Domaines: Histoire et perspectives sur les mathématiques [math.HO]; Education

Viviane Durand-Guerrier. Initier les étudiants à la distinction entre vérité dans une interprétation et validité logique en s'appuyant sur la théorie du syllogisme formel d'Aristote. History and Pedagogy of Mathematics, Jul 2016, Montpellier, France. ⟨hal-01349240⟩