Un modèle formel de la syllogistique d'Aristote

Dans ce long article, paru en allemand en 1964, Kurt Ebbinghaus propose, dans la lignée des travaux de Paul Lorenzen, une reconstruction de la théorie du syllogisme à partir d'un modèle calculatoire. Dans ce modèle, les syllogismes sont pensés comme des règles et la question de la validité logique est formulée en termes de « procédure » et non en termes de « vérité ». L'intérêt de le traduire aujourd'hui pour la première fois n'est pas seulement qu'il offre de quoi mesurer combien Aristote ...