Contenu du cours

Analyse de certains principes et lois logiques remarquables (p. 285 du live Logique
et Philosophie).
Le principe de non contradiction.
Il sagit dun principe que nous avons dj rencontr lors de la discussion sur le
Tractatus de Wittgenstein : un mme objet ne peut pas au mme temps se trouver et
ne pas se trouver dans une certaine relation avec dautres objets (voir Sance 2).
Analyse de la condition au mme temps : en logique on travaille modulo
certaines idalisations; lune dentre elle est celle de considrer que tous les noncs
vrais se donnent au mme temps.
En ce sens, en logique on ne considre pas laspect diachronique li notre accs
ces vrits.
Autrement dit, en logique on procde comme en mathmatique: on considre que les
thormes sont des noncs dont la vrit est atemporelle, mme sils ont t
dmontrs un moment historique prcis et mme si la dmonstration correspond
un acte qui se droule dans le temps.
Deux versions du principe de non contradiction peuvent tre repres chez Aristote :
1. une version ontologique, portant sur lappartenance et la non appartenance
dun mme attribut (proprit) un mme sujet (Mtaphysique, , 7, 1005b) ;
2. une version linguistico-smantique, portant sur la vrit de deux propositions,
lune ngation de lautre ( [] les propositions opposes ne peuvent pas tre
vraies au mme temps , Mtaphysique, , 6, 1011b13-20).
La version ontologique peut tre reconduite une version linguistique, si lon
considre le jugement S(ujet) est P(rdicat) comme une analyse des propositions
atomiques (cest--dire des propositions qui ne sont pas ultrieurement analysable
en termes dautres propositions).
La proposition oppose, ou contraire, une certaine proposition S est P est la
proposition obtenue en appliquant un oprateur de ngation la copule est qui lie
le sujet et le prdicat. On obtient ainsi la proposition S nest pas P .
Pour linstant nous nallons pas (suivre Aristote et) faire une analyse de la structure
des propositions atomiques. Nous considrerons, en revanche, ces propositions

comme primitives et inanalysables. Nous considrerons toutefois la possibilit de

former des propositions complexes partir dautres propositions laide de certains
connecteurs propositionnels, tels que la ngation ( non ), la conjonction ( et ), la
disjonction ( ou ), limplication ( si .., alors.. ).
Selon cette approche (qui correspond lapproche adopt par ce quaujourdhui on
appelle la logique propositionnelle), la ngation agit au niveau de la proposition toute
entire et non pas au niveau de la copule. La ngation dune proposition p est
correspond ainsi la proposition non p .
La ngation est donc un oprateur unaire qui transforme une proposition en une
autre proposition.
De manire analogue, les autres connecteurs sont des oprateurs binaires qui
transforment deux propositions en une autre proposition. Par exemple, la conjonction
permet de prendre deux propositions p et q et dobtenir une nouvelle
proposition p et q . La disjonction permet de prendre deux propositions p et
q et dobtenir une nouvelle proposition p ou q .
En tenant compte de ces considrations, le principe de non contradiction peut tre
donc formul de la manire suivante :
non (p et non p).

Le principe du tiers exclu.

La version du principe du tiers exclu qui est donne par Aristote est une version
linguistique, car elle concerne laffirmation ou la ngation dun nonc. En outre on
ne parle pas explicitement de la valeur de vrit des noncs en jeu. La raison est
quAristote semble faire appel implicitement ce quon appelle la loi de bivalence.
Interprtation faible et interprtation forte de la loi de bivalence. (Pour plus de dtails
voir document concernant la loi de bivalence.)
En adoptant la loi de bivalence forte, on peut montrer que, quand on exprime le
principe du tiers exclu de la manire suivante
(p ou non p)

on peut montrer quil sagit dune proposition qui est toujours vraie, cest--dire quelle
est vraie dans tous les cas possibles.
En effet, selon le principe de bivalence forte, une proposition p est
ncessairement soit vraie soit fausse, et il ny a pas dautres cas possibles. Or, selon
ce mme principe, la proposition non p sera aussi soit vraie soit fausse. On a
donc que, si p est vraie, alors non p devra tre fausse sinon on pourrait
avoir que p et non p sont vraies au mme temps, ce qui est interdit par le
principe de non contradiction. En outre, il nest pas difficile de se convaincre (en
sappuyant sur nos intuitions grammaticales) quun nonc de la forme q ou r est
vrai quand au moins lun des deux disjoint est vrai (ce qui veut dire quil y a donc trois
cas possibles pour avoir quune disjonction est vraie : quand q est vrai, mais r
ne lest pas ; quand r est vrai, mais q ne lest pas ; quand la fois q et
r sont vrais). Mais alors, si p est vrai, (p ou non p) le sera aussi. Dautre
part, si non p est vrai, alors p devra tre fausse (sinon, encore une fois, on
sopposerait au principe de non contradiction), mais cela suffit pour avoir que (p ou
non p) est vraie. Or il ny a pas dautres cas possibles (car, comme nous lavons dit,
le principe de non contradiction interdit que p et non p soient vraies au mme
temps) ; nous avons donc dmontr que la proposition qui correspond au principe du
tiers exclu est toujours vraie.
Une loi (ou vrit) logique est une proposition qui est vraie dans tous les cas
possibles, o les cas possibles correspondent aux possibles assignations de valeurs
de vrit quon peut donner aux propositions qui forment la proposition en question.
Cest donc en ce sens quon peut dire que le principe du tiers exclu est une loi
logique. De la mme manire, on peut dmontrer que le principe de non
contradiction, formul comme non (p et non p) , est une loi logique.
Comme nous venons de le voir, si p est vrai, alors non p doit tre faux. En
gnral, lide est quen prsence du principe de bivalence forte, la ngation
renverse la valeur de vrit de la proposition laquelle elle sapplique : si p est
vrai, alors non p est faux, et si p est faux, alors non p est vrai. En outre, il
nest pas difficile de se convaincre (en sappuyant sur nos intuitions grammaticales)
quun nonc de la forme q et r est vrai quen un seul cas : quand tous les deux
conjoints sont vrais. Par consquent, p et non p sera faux et donc non (p et non
p) sera vrai. De la mme manire, si p est faux, alors non p est vrai. Par
consquent, p et non p sera faux et donc non (p et non p) sera vrai.
Quelques remarques sur la disjonction.

Il faut remarquer que les conditions de vrit que nous avons donn pour les
propositions de type disjonctif correspondent aux conditions de vrit qui permettent
de caractriser la disjonction inclusive (ce quen latin on indique avec vel ).
Il nest pas ncessaire de considrer aussi la disjonction exclusive (ce quen latin on
indique avec aut ) qui est caractrise par le fait dtre vraie quand seulement lun
des deux disjoints est vrai. En effet, elle peut tre simule laide de la ngation, de
la conjonction et de la disjonction inclusive (autrement dit, p aut q est quivalent
(p ou q) et non (p et q) ).

Le principe didentit.
Lidentit considre est une identit entre propositions. Pour tablir cette identit on
a recours limplication :
si p, alors p
Il sagit la fois dune identit syntaxique (concernant la forme de la proposition) et
smantique (concernant la valeur de vrit de la proposition). Pour dmontrer que le
principe didentit est une loi logique, il faut tablir les conditions de vrit pour
limplication.

Remarque: nous avons employ les lettres p, q, r, etc. comme des marques places
pour des propositions (ou noncs) atomiques. Ce qui veut dire quon peut instancier
lun des ces lettres seulement avec des propositions atomiques du langage naturel,
comme par exemple, La lune est verte , Il pleut , 2 plus 2 fait 4 , etc.
Dans la suite nous emploierons les lettres A, B, C, etc. comme des marques places
pour des propositions (ou noncs) quelconques. Ces lettres sont appeles des
lettres schmatiques.

Les conditions de vrit des propositions implicatives.

Limplication ( si , alors ) quon considre en logique (classique) est un
oprateur vro-fonctionnel: la vrit ou la fausset dune proposition implicative
dpend exclusivement des valeurs de vrit des propositions qui la composent; on ne
tient pas en considration dautres types de liens entre ces propositions, comme
peuvent tre des liens temporels, causales, de signification, etc.

Quand on crit si A, alors B on dit que A est lantcdent et B le consquent de

limplication.
Une proposition de la forme si A, alors B est vraie dans deux cas: quand A
est fausse ou quand B est vraie (mais A est fausse quand non A est vraie,
donc les conditions de vrit de si A, alors B correspondent, en ralit, aux
conditions de vrit de non A ou B ). Il y a donc un seul cas dans lequel la
proposition implicative est fausse, cest--dire quand A est vraie et B est
fausse.
Pour comprendre ce dernier point, considrons la loi du code de la route selon
laquelle, si la police trouve quon roule plus de 250 km/h, alors on perd 5 points
sur le permis . Il est vident que si la police trouve quon roule plus de 250 km/h
mais elle ne nous arrte pas pour nous retirer les 5 points, alors cela veut dire que la
loi est fausse. En revanche, la loi reste vraie mme si la police ne nous trouve pas
rouler plus de 250 km/h (il pourrait en effet se trouver quil ny avait pas de police
sur la route que nous avons parcouru) ou mme dans le cas o on nous retire 5
points sur le permis (il pourrait en effet se trouver quon nous retire ces points pour
une autre raison, qui na rien voir avec le fait quon roulait ou pas plus de 250
km/h.) Cela naffecterait pas la vrit de ce qui est dit par la loi en question.
Plus prcisment, la manire dtablir les conditions de vrit des noncs implicatifs
repose sur deux principes logiques plus gnraux :
1. le principe de lex falso quodlibet, selon lequel si une certaine proposition A
est (toujours) fausse, alors nimporte quelle autre proposition B sensuit
(nous analyserons plus en dtails ce principe lors de la prochaine sance) ;
2. le principe de la fortiori (ou monotonicit), selon lequel si B est vrai, alors il
continue rester vrai sous nimporte quelle autre condition A (lide est
que la vrit en logique nest pas rvisable, car elle est atemporelle ; voir ce
quon vient de dire au dbut de cette sance).
Il nest pas maintenant difficile de vrifier que le principe didentit pour les
propositions est une loi logique. Si p est vraie, alors le consquent de si p, alors
p est vrai et donc limplication est vraie. En revanche, si p est fausse, alors
lantcdent de si p, alors p est faux et donc limplication est encore une fois
vraie.