Chapitre 2: Logique ancienne des prdicats.

2.1 Thorie du concept ou du terme

Lunique exercice de cette partie consiste en llaboration de ce quon appelle des
arbres de Porphyre . Il convient de retenir une seule chose : les arbres de Porphyre ne
sont pas des classifications qui vont du tout la partie! mais du genre l"esp#ce.
On aura donc :
Voiture
Renault iat !une esp"ce de voiture#
$lio La%una Punto &rava !une esp"ce de iat#
Mais jamais :
Voiture
'oteur Roue !cest une partie de la voiture#
$ylindre $arburateur Pneu (ante !une partie de la roue#
2.2 Thorie du $ugement ou de la proposition
Voici quelques conseils :
- Lorsquon traduit une expression du lan%a%e naturel en proposition prdicative) il *aut
pouvoir claire+ent identi*ier : , le su-et
, la copule !tou-ours le verbe .tre #
, le prdicat.
- Les su-ets i+personnels ne sont donc pas accepts.
/x. : il neige ne peut pas .tre traduit par il est en train de neiger, Qui est en train de
nei%er 0 , +ais on pourrait dire) par exe+ple) la neige est en train de tomber.
2.% Thorie du raisonnement immdiat
A. Le Carr Logique : dduction par opposition
1ote : 2oute expression qui intervient dans un exercice doit en pre+ier lieu prendre la *or+e
dune proposition prdicative de type :
3 ! 2out 4 est P # / ! 3ucun 4 nest P #
I ! $ertains 4 sont P # 5 ! $ertains 4 ne sont pas P #
Exercices
2.3.1. Construire es opposes des propositions sui!antes et en dduire es !aeurs de !rit
en "onction de a !aeur de !rit de a proposition originae
a. 3ucune souris nest verte
b. 2.P. 2ous les ani+aux ne sont pas carnivores
c. 2.P. 6n +alheur narrive -a+ais seul
d. 2.P. Leau bout 7 899 de%rs
e. Il y a des canards sur la 4a+bre
*. 2ous les chats sont %our+ands
%. Peu dho++es corri%ent leurs d*auts
h. 1ul nest cens i%norer la loi
&olution du a.
a. 'ucune souris n"est verte
C"est une proposition de type ( ) universelle ngative *. &es trois opposes sont :
+ Contradictoire ) , * : - certaines souris sont vertes .
+ Contraire ) ' * : - toutes les souris sont vertes . ou - toute souris est verte .
+ &ubalterne ) / * : - certaines souris ne sont pas vertes .
- &i - aucune souris n"est verte . est !raie! alors sa contradictoire est fausse! sa
contraire est fausse et sa subalterne est vraie.
- &i elle est "ausse! sa contradictoire est vraie! on ne peut pas dterminer la valeur de
vrit de sa contraire! de m0me pour sa subalterne.
2.3.2. Les oppositions ogiques : es dductions immdiates proposes sont#ees correctes $
a. 4il est *aux quaucune personne albanophone nest de nationalit +acdonienne)
peut,on conclure quil est vrai que certains albanophones sont de nationalit
+acdonienne 0
b. 2P 4upposons quil est vrai que certains ho++es sont alls sur la lune. Peut,on conclure
quil est vrai que certains ho++es ne sont pas alls sur la lune 0
c. 2P 4il nest pas vrai que certaines toiles de Van :o%h peuvent .tres copies par des
*aussaires) peut,on dduire quil nest pas *aux quaucune toile de Van :o%h ne peut
.tre copie par des *aussaires 0
d. 2P 4il est vrai que certaines personnes pensent que le :4' est *ort utile) peut,on pour
autant prtendre quaucune personne ne pense que le :4' nest inutile 0
e. 4upposons quil est vrai que certaines baleines sont %racieuses. Peut,on conclure
quil est *aux quaucune baleine nest %racieuse 0
*. 4il est vrai que certains bel%es sont contre loccupation du 2ibet par la $hine) peut,
on conclure quil est vrai que certains bel%es ne sont pas contre loccupation du 2ibet
par la $hine 0
%. 4upposons quil est *aux que certains haren%s ne sont pas dsa%rables 7 +an%er.
Peut,on conclure quil est *aux quaucun haren% nest dsa%rable 7 +an%er 0
h. 4il est *aux de dire que toutes les voitures sont quipes dun allu+e,ci%are) est,il
correct de dire que certaines voitures ne sont pas quipes dun allu+e,ci%are 0
i. 4upposons quil est *aux que tous les pro*esseurs sont +chants. Peut,on conclure
quil est *aux que certains pro*esseurs sont +chants 0
-. 4il nest pas *aux de dire que certains avocats sont honn.tes) est,il valide den
dduire quil est vrai que certains avocats sont +alhonn.tes 0
;. 4il est vrai quaucun acte cri+inel ne doit rester i+puni) peut,on dire quil nest
pas *aux que certains actes cri+inels doivent rester i+punis 0
l. 4il est *aux que certains avocats nont pas de dipl<+e universitaire) est,il vrai que
tous les avocats ont un dipl<+e universitaire 0
&olution du a .
La 1
#re
proposition est une ( fausse et la 2
#me
proposition est une , vraie.
La dduction est correcte. (n effet! on se trouve dans la logique des contradictoires :
&i la ( est fausse! sa contradictoire , est ncessairement vraie.
2.3.3. %termine& par que's( t)pe's( de proposition's( 'ainsi que eur !aeur de !rit( on
peut rempacer * x + . ,ri"ie& ensuite si i ) a des soutions en commun.
a. x / vrai :
x 3 *aux :
x en co++un :
b. 2.P. x 5 vrai :
x / *aux :
x en co++un :
c. 2.P. x / 0 :
x I 0 :
x en co++un :
d. x 3 *aux :
x 5 vrai :
x en co++un :

e. x I vrai :
x / *aux :
x en co++un :
*. x / 0 :
e x 5 0 :
x en co++un :
&olution du a. :

a. - 1 . ( vrai : soit si - 1 . 2 ( vrai )principe d"identit*
soit si - 1 . 2 , fau1 )contradictoire*
- 1 . ' fau1 : soit si - 1 . 2 ' fau1 )principe d"identit*
soit si - 1 . 2 / vrai )contradictoire*
soit si - 1 . 2 ( vrai )contraire*
soit si - 1 . 2 , fau1 )subalterne*
- 1 . en commun : ( vrai et , fau1
-. %duction par con!ersion. o/!ersion et contraposition
3appel thorique
Con!ersion : on inverse su$et et prdicat.
/x : aucun S nest P devient aucun P n est S
5n peut convertir les / et les I) +ais -a+ais les 5.
Pour les 3) on parle de conversion par accident : la 3 devient une I.
tout S est P devient certains P sont S .
O/!ersion : on nie la copule et le prdicat.
/x : aucun S nest P devient tout S est non-P
5n peut obvertir toutes les propositions.
4ote :
, Lorsque lon *ait une obversion) on nie la copule ainsi que le prdicat.
Lobverse de tous les tigres sont carnivores est donc : aucun tigre nest non-carnivore.
3ttention : on a ni copule et prdicat) mais on n"a pas ni le su$et en disant -aucun tigre.5
4i on avait ni le su-et) on aurait trans*or+ ti%re en non,ti%re...
/n ralit) lorsquon nie la copule dune universelle) le tout devient aucun et
inverse+ent.
Contraposition : on nie le su$et ainsi que le prdicat et on inverse les deu1.
5n ne peut contraposer que la 3 =
/x : tous les tigres sont carnivores tous les non-carnivores sont des non-tigres
4ote : la conversion) lobversion et la contraposition sont trois +thodes pour dire la mme
chose autrement. $es oprations ne sont donc per+ises que lorsquelles noccasionnent aucun
chan%e+ent en ce qui concerne la valeur de vrit.
!/x : la contrapose dune 3 *ausse restera *ausse#
2.3.0. Construise& a con!erse. 1o/!erse et a contraposition des propositions sui!antes. si
toute"ois cea est permis
a. 2ous les voiliers sont des bateaux
b. 2.P. Les ho++es ne sont pas tous %nreux
c. 2.P. 'on chien ai+e les chats
d. 3ucun *ootballeur dune quipe nationale nest a+ateur
e. >uelques po"tes *urent de %rands a+oureux
*. Les %no+es sont des petits .tres +ystrieux et *ascinants
%. 3ucune rose nest laide
h. 2ous les castors ont une belle *ourrure
i. Il y a des +aisons abandonnes
&olution du a.
Tous les voiliers sont des bateau1 )proposition de type '*
Converse : )par accident* Certains bateau1 sont des voiliers
/bverse : 'ucun voilier n"est un non+bateau
Contrapose : Tous les non+bateau1 sont des non+voiliers