Résumé
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.