La logique dans l'antiquité
Informations[1]Les fondements de la logique sont à rechercher dans la Grèce Antique. Aristote, le premier, tout au moins pour les écrits qui nous sont parvenus, propose 64 raisonnements qu'il appelle des syllogismes[3] dont seuls 14 sont concluants. Ce nombre ne doit pas effrayer, il résulte simplement de la prise en compte (1) de possibilités de modifier l'ordre des propositions ; et (2) de propositions particulières (Quelque X est A) aussi bien qu'universelles (tout X est A). Ce sont des éléments que l'on ne retrouvera plus par la suite.
Un syllogisme est une suite de 3 propositions. Chaque proposition relie 2 termes pris parmi 3. La première proposition relie le premier terme avec le deuxième, la seconde relie le deuxième terme avec le troisième et la troisième proposition relie le premier terme avec le troisième.
La première est une prémisse : Ici, Socrate est un Homme
La seconde est aussi une prémisse: Tous les hommes sont mortels
La conclusion est naturelle : Socrate est mortel
