\

1. La logique d'Aristote

1.1 Les oeuvres logiques d'Aristote

La composition de l'organon orthodoxe tel qu'il se prsente depuis la fin de l'Antiquit:

1) Introduction, due Porphyre
2) Le trait des Catgories
3) Le trait De 1'Interprtation (Hermeneia)
4) Les Analytiques
4.1) Premiers Analytiques (en 2 livres)
4.2) Seconds Analytiques (en 2 livres)
5) Les Topiques (en 8 livres)
6) Des rfutations sophistiques
De tous ces traits, 2 sont essentials pour la logique:
- 1'Hermeneia (De l'Interprtation)
- Les Premiers Analytiques

L'ordre des traits de 1'Organon ne correspond pas l'ordre chronologique de leur

composition.

1.2 La proposition
Parmi les sons dous de sens que la voix peut profrer sont distingues
(1) les expressions simples et lmentaires
(2) les expressions complexes
Thse d'Aristote:
La formule 'S est P' doit tre prise d'autant de faons qu'il y a de diffrentes categories (c-d. autant de categories, autant d'espces d'attribution d'un prdicat un sujet).
Aristote compte 10 catgories:
la substance, la quantit, la qualit, la relation, le lieu, le temps, la position, la possession,
l'action, la passion

Selon la qualit la proposition se divise en 2 espces: l'affirmation et la ngation.

Quant la quantit 2 distinctions diffrentes sont faire:
- la proposition singulire et la proposition universelle (gnrale)
- la proposition universelle est subdivise en 3 espces:
universelle au sens restreint, particulire, indfinie

1.3 La thorie de l'opposition et la thorie de la conversion des propositions

Thorie systmatique des propositions opposes

Le fondement d'une telle thorie est constitue par le rapport de la ngation l'affirmation.
Une proposition a non pas une, mais deux opposes:
1) l'oppose contradictoirement
2) l'oppose comme sa contraire

La validit des rgles qui autorisent certaines inferences d'une proposition l'une de ces
opposes se base sur la vrit de certaines lois logiques:
La loi de contradiction: pas la fois p et non-p
La loi du tiers exclu: p ou non-p
La loi de l'altrnative: soit p soit non-p

Thorie de la conversion des propositions

La conversion est l'opration de permuter sujet et prdicat d'une proposition ( condition que
ces deux termes soient homognes, c--d. le sujet de meme que le prdicat un concept).
Si on combine cette convertibilit et inconvertibilit avec le caractre essentiel ou nonessentiel du prdicat, on obtient 4 cas possibles:
a)
b)
c)
d)

le prdicat marque l'essence; il est convertible

le prdicat marque l'essence; il est non-convertible
le prdicat ne marque pas l'essence; il est convertible
le prdicat ne marque pas l'essence: il est non-convertible

Observation finale:
-

L'universelle ngative se convertit simplement.

La particulire affirmative se convertit simplement.
L'universelle affirmative se convertit seulement partiellement.
La particulire ngative ne se convertit pas!

1.4 La thorie du syllogisme

Df. du syllogisme
Un syllogisme est un schma propositionnel complexe de forme hypothtique, qu'on peut
symboliser par l'implication (p~q)-.r o les letters p, q, r reprsentent des propositions
attributives lmentaires avec chacune 2 termes variables, tel que ce schma propositionnel
complexe donne toujours une proposition vraie quand on y remplace chaque variable par un
terme concret quelconque, mme si ce changement a pour effet de rendre fausse l'une ou
l'autre des prmisses ou les deux la fois et alors, eventuellement, la conclusion qu'on en
tire. (C'est pourquoi un tel syllogisme doit tre regard comme une loi logique.)
Les 3 figures de la syllogistique
lire figure: Il y a syllogisme de la lire figure "quand 3 termes sont entre eux dans des
rapports tels que le mineur soit contenu dans la totalit du moyen, et le moyen contenu, ou
non contenu, dans la totalit du majeur".
Cette figure compte 4 modes valuables:
1.1 Si A [est prdiqu] de tout B, et B de tout C, [il y a] ncessit que A soit prdiqu de tout
C.
1.2 Si A [n'est prdiqu] de nul B, mais B de tout C, [il en rsulte que] A n'appartiendra nul
C.
1.3 Que A appartienne tout B, et B quelque C:. . .[il y a] ncessit que A appartienne
quelque C.
1.4 Si A n'appartient nul B, mais B quelque C, [il y a] ncessit que A n'appartienne pas
quelque C.
2ime figure: Il y a syllogisme de la 2ime figure "quand un mme terme appartient un
sujet pris universellement, et n'appartient pas l'autre sujet pris universellement, ou lorsqu'il
appartient ou n'appartient pas tant l'un qu' l'autre des deux sujets pris universellement".
Cette figure compte elle-aussi 4 modes valuables:
2.1 Que M ne soit affirm de nul N, mais le soit de tout X:. . .ainsi N n'appartiendra nul X.
2.2 Si M [appartient] tout N, mais nul X, N n'appartiendra nul X.
2.3 Si M n'appartient nul N, mais quelque X, [il y a] ncessit que N n'appartienne pas
quelque X.
2.4 Si M appartient tout N, mais non quelque X, [il y a] ncessit que IV n'appartienne pas
quelque quelque X.

3ime figure: Il y a syllogisme de la 3ime figure "quand un terme appartient et qu'un autre
terme n'appartient pas un meme trme pris universellement, ou si l'un et l'autre
appartiennent, ou s'ils n'appartiennent ni l'un ni l'autre ce meme terme pris
universellement".

Cette figure compte 6 modes valuables:

3.1 Quand la fois P et R appartiennent tout S, [il en rsulte que] P appartiendra R par
ncessit.
3.2 Si R appartient tout S, et P aucun, il y aura syllogisme, [concluant] que, par ncessit,
P n'appartiendra pas quelque R.
3.3 Si R appartient tout S, et P quelqu'un, [il y a] ncessit que P appartienne quelque R.
3.4 Si R appartient quelque S, et P tout, [il y a] ncessit que P appartienne quelque R.
3.5 Si R appartient tout S, mais P pas quelqu'un, [il y a] ncessit que P n'appartienne pas
quelque R.
3.6 Si P n'appartient nul S, mais R quelque S, P n'appartiendra pas quelque R.
Df. du syllogisme parfait
Un syllogisme parfait est un syllogisme "qui n'a besoin de rien autre chose que ce qui est
pos dans les prmisses pour que la ncessit de la conclusion soit vidente".
Les 3 procds pour rduire les syllogisms de la 2ime et 3ime figure aux ceux de la
premire:
ler procd: la conversion
En permutant le sujet et le prdicat dans celle des prmisses qui n'est pas conforme l'ordre
de la premire figure - c--d. dans la majeure de la 2ime figure et dans la mineure pour la
3ime, on rtablit cet ordre.
2ime procd: la rduction l'impossible
Elle consiste supposer que le syllogisme en question n'est pas valable (c--d. supposer
que la conclusion y peut tre fausse quand les 2 prmisses y sont varies); et montrer que
dans ce cas les 2 prmisses pourraient tre mises en contradiction l'une avec l'autre: ce qui
est impossible puisqu'on les suppose toutes les 2 vraies. Par consequent, la supposition
initiale est fausse.
3ime procd: l'exposition (au sens d'extraction)
Le principe de ce procd est dans l'introduction, ct des termes donns, d'un terme
nouveau qui en est "extrait". Mais partir de l, l'analyse du procd est difficile et son
interpretation a donn lieu un nombre de controversies.

2.3 Les stociens

Les 5 syllogismes fondamentaux sont eux-mmes donns comme des non-dmontrs et ils
jouent le role de propositions premires dans un systme axiomatique, ds qu'ils ont t
transforms en des propositions de forme implicative.
Rappelons que les variables, symbolises ici par des nombres ordinaux, reprsentent des
propositions (et non pas des termes comme chez Aristote):
1.
2.
3.
4.
5.

Si le premier le second, or le premier, donc le second.

Si le premier le second, or pas le second, donc pas le premier.
Pas la fois le premier et le second, or le premier, donc pas le second.
Ou le premier ou le second, or le premier, donc pas le second.
Ou le premier ou le second, or pas le second, donc le premier.

On peut exprimer ces 5 syllogismes fondamentaux indmontrs dans notre langage logique
d'aujourd'hui comme suit:

Les implications qui les justifient, s'criraient comme suit: