Un Modèle Formel De La Syllogistique D'Aristote

Dans ce long article, paru en allemand en 1964, Kurt Ebbinghaus propose, dans la lignEe des travaux de Paul Lorenzen, une reconstruction de la thEorie du syllogisme A partir d'un modEle calculatoire. Dans ce modEle, les syllogismes sont pensEs comme des rEgles et la question de la validitE logique est formulEe en termes de « procEdure et non en termes de « vEritE . L'intErEt de le traduire aujourd'hui pour la premiEre fois n'est pas seulement qu'il offre de quoi mesurer combien Aristote est un grand logicien, parfaitement maItre des outils formels qu'il Elabore dans les Premiers Analytiques. Il permet d'attribuer A Kurt Ebbinghaus la vEritable paternitE de l'approche infErentialiste des Ecrits logiques d'Aristote, approche plus connue depuis les travaux de J. Corcoran ou de R. Smith, pourtant plus tardifs. Il ouvre enfin, A travers le concept de « preuve d'admissibilitE, une perspective proprement constructiviste sur la question de la complEtude chez Aristote.

• | Author: Kurt Ebbinghaus, Clément Lion
• | Publisher: College Publications
• | Publication Date: Dec 19, 2016
• | Number of Pages: 132 pages
• | Language: French
• | Binding: Paperback
• | ISBN-10: 184890231X
• | ISBN-13: 9781848902312