Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic (La syllogistique d’Aristote du point de vue de la logique formelle moderne)

Introduction

Łukasiewicz rédigea le livre à Dublin et le publia chez Oxford University Press en 1951 ; la seconde édition, de 1957, ajouta des chapitres sur la syllogistique modale d’Aristote. Il soutient que les syllogismes d’Aristote ne sont pas des règles d’inférence mais des phrases conditionnelles (« si A appartient à tout B et B à tout C, alors A appartient à tout C »), et que la syllogistique est une théorie axiomatique reposant sur une logique propositionnelle qu’Aristote utilisait sans l’énoncer. Łukasiewicz formalisa le système dans sa notation et s’appuya sur des résultats de son élève Jerzy Słupecki pour montrer qu’il est décidable. Le livre renouvela l’étude de la logique ancienne. À partir des années 1970, John Corcoran et Timothy Smiley proposèrent de lire la syllogistique comme un système de déduction naturelle, lecture que beaucoup de spécialistes préfèrent aujourd’hui.

Liens

S’appuie sur

• Organonv. 350 av. J.-C. · Aristote

Autres œuvres de Jan Łukasiewicz

• 1920O logice trójwartościowej (Sur la logique à trois valeurs)