Philosophie générale

Milieu du semestre devoir d’une heure exercice d’application

Bibliographie : élément de logique contemporaine, François Lepage - Presse universitaire de Montréal, troisième édition

Aristote

Logique : modélisation du raisonnement humain

A : « pomme est rouge »

B : « tout ce qui est rouge est un fruit »

A->B : la pomme est un fruit

Leibnitz : essaye de construire une langue universelle afin de modéliser notre pensée et notre raisonnement Langue universelle des pensées humaines.

Boole : calcul des proposition « classique »

Frege : prédicars « classique »

Logique « classique » : P1, principe de bivalence, un énonçé est ou vrai ou faux

P2 : principe de vérifontionnalité

Vdv = valeur de vérité de psi se calcule à partir de celles des composants

langage du calcul des propositions

L = (proposition, connecteurs)

Prop : p,q,r,t,s…

Connecteurs :

V « on » : binaire

V à l’envers « et » : connecteurs binaire

>  « non » : unaire

—> « implique » : binaire

Exemples :

p V q

p —> q

2) vérité d’un énonçé du calcul des prop

Ex : p Vinversé q est vrai ssi p est vrai et q est vrai

p V q vrai lorsque au moins l’une des deux (p ou q) est vraie

> p est vrai ssi p est faux

P -> q

Tables de vérité des connecteurs

>

>p p

F V

V F

Vinversé

P

V

V

F

F

Q

V

F

V

F

P Vinversé Q

V

F

F

F

Table de vérité de l’énonçé :

A= p V (q Vinversé r)

B

...