Nu se pretează? Nu contează! La noi puteți returna bunurile în 30 de zile
Cu un voucher cadou nu veți da greș. În schimbul voucherului, destinatarul își poate alege orice din oferta noastră.
30 de zile pentru retur bunuri
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.