Cours de Logique
Cours de Logique
Cours de Logique
0. INTRODUCTION
0.1. LOGIQUE FORMELLE
P
Ex :
Le concept distinct est celui qui fait connaitre les éléments qui
composent son objet. Au cas contraire, il compose est confus.
Le concept particulier est celui qui est pris dans une partie
seulement de son extension.
Exemple :
Exemple :
Exemple :
Ainsi, on aura :
- Le jugement apodictique énonce est fait qui est, mais qui est et
est ainsi nécessairement.
Exemple : Socrate est un homme
- Le jugement assertorique énonçant un fait qui est, mais qui
est contingent, car il pouvait n’est pas être ainsi.
Exemple :Okitayeta est philosophe.
- Le jugement problématique énonçant un fait possible, car il
n’existe pas encore là où il n’a pas encore eu lieu.
Exemple : Kalulu sera le président de la RD. Congo.
II.3.4. DU POINT DE VUE DE LA COMPLEXITE DU JUGEMENT
- La proposition négative
Exemple : tous les hommes ne sont pas forts.
II.4.2. DU POINT DE VUE DE LA QUANTITE
A
O
E
I
UNIVRSELLES
PARTICULIERES
CONTRAIRES
SUBCONTRAIRES
SUBALTERNES
SUBALTERNES
Dans les affirmatives (A), « le sujet est pris dans toute son
extension, mais le prédicat n’est pas que dans une partie de
son extension.
Exemple : l’homme est mortel.
(universel) (particulier)
→ A →1
3.2. L’ARGUMENT
3.5.1. Définition
M G ou T
P ou t M
Négative
Pour rappel
M G majeure
P M mineure
P G Conclusion
M G majeure
M P Mineure
3.5.4.4. Quatrième figure
AAA Barbara
ALL Darii
EAE celerent
EIO Ferio
1ereFigure
BARBARA DARII CELARENT FERIO
AEE Camestres
EAE Cesare
EIO Festino
ADO Baroco
pas G
pas H pas H
[25]
AAI Darapti
AII Datisi
EAO Felapton
EIO Ferison
IAI Disamis
OAO Borcardo
AAI Bamalip
AEE Celemes
EAO Fesapo
EIO Fresison
IAI Dimatis
[26]
4ème Figure
(Suggérés par Aristote mais Introduite par son successeur
Théophraste
BAMALIP (BARBARI) DIMARIS (DIMATIS) CAMENES (CALENTES)
FESAPO FRESISON
Or il est travailleur.
Or elle se couche
Or il est travailleur
[28]
3.6.7.1. L’Enthymème
EXERCICES
I-Dites si les syllogismes suivant sont valides et précisez, s’ils
le sont, leurs figures.
(Or) _________________________________
(Donc) ____________________________________
3. _____________________________
(Donc)_____________________________________________
(Or) _________________________________________
hommes
II)
logiciens
vainqueur
hommes
sourire
de la pensée symbolique
se représentant le monde.
vers un objet
Inconscientes
I. La formalisation
a) La proposition singulière
Est celle dont le sujet est un nom. Ex. Paul est malade (ba)
a b
Le fait d’être malade est reconnu à Paul les premières lettres de
l’alphabet sont utilisées (a,b,c,d,) elles sont des consonnes
individuelles.
V la disjonction (ou)
≡ (L’équivalence) équivaut
γ x(Ex → (x)
Эx (cx л Ix)
n = le nombre de variables.
(p ≡ q)
111
010
⌠(p→q)л~ q⌡→ ~ p.
1 11 00 1 0
1 00 01 1 0
0 11 00 1 1
0 10 11 1 1
BIBLIOGRAPHIE SOMMAIRE
1. ARISTOTE, La métaphysique. Traduction de jules Barthélémy
saint-Hilaire revue et annotée par Mathias. Introduction et
dossier de Jean-Louis poirier, paris, presses pocket(Agora),
1991.
2. CARATINI, R. (dir), bordas encyclopédie.3 : philosophie et
religions. Préface de George pascal, paris, bordas, 1968.
3. JOLIVET, R. cours de philosophie, 4ème édition, paris,
Emmanuel vitte. 1948
4. MAYOLA Mavunga Lwanga, logique et argumentation.
Rhétoricité de la palabre et de l’analyse sociale, Kinshasa,
science et discursivité, 2003.
5. MUTUNDA Mwembo, Elément de logique. Préface de
Barthélémy Pangadianga, Kinshasa, Médiaspaul, 2006.
6. NKOMBE OLEKO, F. Essai de logique générative, nouvelle
édition revue et corrigée. Préface de Jean Onaotsho Kawende,
Lubumbashi, Médiaspaul (Puication universitaire-cours),
2006.
[39]