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 est un grand logicien, parfaitement ma tre des outils formels qu'il labore dans les Premiers Analytiques. Il permet d'attribuer Kurt Ebbinghaus la v ritable paternit de l'approche inf rentialiste des crits logiques d'Aristote, approche plus connue depuis les travaux de J. Corcoran ou de R. Smith, pourtant plus tardifs. Il ouvre enfin, travers le concept de « preuve d'admissibilit , une perspective proprement constructiviste sur la question de la compl tude chez Aristote.