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.

1125374976
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.

16.0 In Stock
Un modèle formel de la syllogistique d'Aristote

Un modèle formel de la syllogistique d'Aristote

Un modèle formel de la syllogistique d'Aristote

Un modèle formel de la syllogistique d'Aristote

Paperback

$16.00 
  • SHIP THIS ITEM
    In stock. Ships in 1-2 days.
  • PICK UP IN STORE

    Your local store may have stock of this item.

Related collections and offers


Overview

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.


Product Details

ISBN-13: 9781848902312
Publisher: College Publications
Publication date: 12/19/2016
Series: Cahiers , #24
Pages: 132
Product dimensions: 6.14(w) x 9.21(h) x 0.28(d)
Language: French
From the B&N Reads Blog

Customer Reviews