ARISTOTÉLICIENNE, NON ARISTOTÉLICIENNE, Logique (Aristotelian, Non-Aristotelian Logic)

ARISTOTÉLICIENNE, NON ARISTOTÉLICIENNE, Logique (Aristotelian, Non-Aristotelian Logic)

La notion de « logique aristotélicienne « doit être distinguée de l'oeuvre d'Aristote proprement dite. En effet, la logique d'Aris-tote²⁴, qui consiste en la théorie. du syllogisme, correspond à une petite partie de la logique des prédicats (le prédicat, ou attribut, est ce qui est affirmé du sujet d'une proposition) dans la logisti­que. moderne. Mais il faut entendre par logique aristotélicienne et logique non aristotélicienne deux manières différentes de cons­truire la logique, selon les axiomes que l'on adopte.

La logique aristotélicienne est une logique à deux valeurs. : le vrai et le faux, et elle est caractérisée par le principe dit du tiers exclu (tiers exclu, car il n'y a pas de tierce — troisième —proposition qui serait vraie, alors que les deux autres seraient fausses). Deux propositions dites contradictoires (par exemple : tous les hommes sont mortels — quelque homme n'est pas mortel) ne peuvent être vraies en même temps (ce qui est déjà le cas des propositions dites contraires), mais ne peuvent non plus être fausses en même temps : si l'une est vraie, l'autre est fausse et inversement. Au contraire, une logique non aristotélicienne aban­donne le principe du tiers exclu. Un des premiers exemples d'une

23. Universalité contestée par Malinowski et l'école culturaliste améri­caine, confirmée par l'étude de C. Lévi-Strauss, les Structures élémen­taires de la parenté (P.U.F., Paris, 1949), qui montre que la prohibition de l'inceste, règle commune à toutes les sociétés humaines, est la condition nécessaire pour qu'une culture se différencie de l'état de nature.

24. Par ses ouvrages de logique réunis sous le titre d'Organon (organe outil, instrument) Aristote (384-322 av. J.-C.) a orienté toute la pensée médiévale.