Cog QR

Introduction la logique et la smantique formelle
D. Bonnay & M. Cozic

DEC, ENS Ulm
20/9/06
CogMaster 2006-2007
D. Bonnay & M. Cozic (DEC, ENS Ulm)
logique & smantique
20/9/06
1 / 61
logique et sciences cognitives
logique et raisonnement : psychologie du raisonnement,

intelligence artificielle
logique et modlisation : reprsentation des croyances, des
changements de croyance, de la coordination sur la base des
croyances
logique et langage : syntaxe formelle, smantique formelle
logique & smantique
20/9/06
2 / 61
1. Quest-ce que la logique ?
logique & smantique
20/9/06
3 / 61
la notion dargument
La logique sintresse aux arguments

Un argument est la donne dune conclusion et dun ensemble de
prmisses censes la justifier :
Si Marie boit, Pierre trinque
Marie boit
Pierre trinque
Prmisses et conclusions sont des noncs ; un nonc est une
expression susceptible dtre vraie ou fausse.
La logique cherche caractriser parmi les arguments ceux qui
sont valides
logique & smantique
20/9/06
4 / 61
quelques arguments
Valides ou non ?
Marie boit
Pierre trinque
Tous les philosophes sont beaux

Descartes est beau
Descartes est philosophe

Pierre trinque
Marie boit
Tous les logiciens sont malins

Proust est un logicien
Proust est malin
logique & smantique
20/9/06
5 / 61
la notion dargument valide
Aristote sur la validit :

"...un syllogisme est un discours dans lequel, certaines
choses tant poses, quelque chose dautre que ces
donnes en rsulte ncessairement par le seul fait de
ces donnes." Premiers Analytiques, 24b18, trad. Tricot,
Vrin
Un argument valide est un argument dont la vrit des prmisses
entrane celle de la conclusion.
Un argument sain (sound) est un argument valide dont les
prmisses sont vraies.
logique & smantique
20/9/06
6 / 61
substitutions, 1

Marie boit
Pierre trinque
Si Marie boit, Marc aboit
Marie boit
Marc aboit
Si Marie boit, Marc aboit
Marie boit
Pierre trinque
Si Marie mord, Marc aboit

Marie mord
Marc aboit
Ou bien Marie boit, ou bien
Pierre trinque
Marie boit
Pierre trinque
Si ,
logique & smantique
20/9/06
7 / 61
substitutions, 2

Proust est malin
Tous les logiciens sont tatous
Proust est tatou
Tous les logiciens sont tatous
Ludwig est un logicien
Ludwig est un tatou
Certains logiciens sont malins

Proust est malin
Tous les P sont Q
a est P
a est Q
logique & smantique
20/9/06
8 / 61
les constantes logiques

2 classes de constantes logiques :
(i) les connecteurs propositionnels : "si..., alors...", "...et...", "...ou...", "il
est faux que..."
(ii) les quantificateurs : "tous...", "il existe...", "certains..."
2 logiques lmentaires :
(i) la logique propositionnelle (LP) qui traite exclusivement des
connecteurs propositionnels
(ii) la logique du premier ordre (LPO) qui traite des connecteurs
propositionnels et des quantificateurs
Dans chaque cas, on verra

(i) syntaxe : construction dun langage formel
(ii) smantique : assignation dune signification aux expressions du
langage formel
logique & smantique
20/9/06
9 / 61
logique propositionnelle
2. logique propositionnelle
logique & smantique
20/9/06
10 / 61
introduction
La LP traite des arguments dont la validit repose exclusivement

sur les connecteurs propositionnels
Dans ces arguments, seule importe la structure des noncs
complexes, pas la structure des noncs atomiques
La syntaxe de la LP considre donc les noncs atomiques
comme primitifs et sintresse aux combinaisons que lon peut en
faire avec les connecteurs
La syntaxe de la LP construit la notion de formule qui est la
contrepartie formelle de la notion dnonc (expression
susceptible dtre vraie ou fausse)
logique & smantique
20/9/06
11 / 61
syntaxe de LP
syntaxe de LP
Lalphabet du langage contient des formules atomiques p, q, r ...

des symboles de connecteurs , , , , et des parenthses
), (
Les formules sont dfinies ainsi:
(i) les formules atomiques sont des formules
(ii) si et sont des formules, alors ( ), ( ), ( ), ( )
et sont des formules
(iii) seules les expressions engendres par un nombre fini dapplication
de (i)-(ii) sont des formules
logique & smantique
20/9/06
12 / 61
syntaxe de LP
arbre de formation
Une formule se dcompose de manire unique jusquaux

formules atomiques qui la constituent. On peut le reprsenter via
larbre de formation dune formule.
Exemple : (p (q r ))
(p (q r ))
p
(q r )
q
logique & smantique
20/9/06
13 / 61
smantique de LP
La smantique est la partie de la logique qui soccupe de

linterprtation du langage formel
Dans le cas propositionnel, on assigne aux formules du langage
une valeur de vrit : le vrai (1) ou le faux (0)
La logique classique obit au principe de bivalence : toute
formule a une et une seule valeur de vrit
La valeur de vrit des formules atomiques est arbitraire ; en
revanche, une fois ces valeurs fixes, la valeur de vrit des
formules complexes dpend de la faon dont elles sont
composes.
logique & smantique
20/9/06
14 / 61
smantique de LP
la ngation
Supposons que V (p) = 1 ("il pleut" est vrai). Quelle est la valeur
de vrit de p ("il est faux quil pleuve") ?
V (p) = 0
Inversement, si V (p) = 0, alors
V (p) = 1
De manire gnrale, la ngation est un oprateur qui inverse la
valeur de vrit de la formule laquelle elle sapplique
V ()
1
0
V ()
0
1
logique & smantique
20/9/06
15 / 61
smantique de LP
la conjonction et la disjonction
Une conjonction ( ) est vraie uniquement quand les deux

membres sont vrais
Une disjonction ( ) est vraie ds que lun des membres est
vrai (disjonction "inclusive")
V ()
1
1
0
0
V ()
1
0
1
0
V (( ))
1
0
0
0
logique & smantique
V (( ))
1
1
1
0
20/9/06
16 / 61
smantique de LP
le conditionnel
Le conditionnel reflte (plus ou moins) le "si..., alors..." de la

langue naturelle.
Un conditionnel ( ) nest faux que lorsque lantcdent est
vrai et le consquent faux.
V ()
1
1
0
0
V ()
1
0
1
0
V (( ))
1
0
1
1
logique & smantique
20/9/06
17 / 61
smantique de LP
valuation
Une valuation atomique est une fonction qui assigne chaque

formule atomique une valeur de vrit.
Une valuation est une fonction qui assigne chaque formule une
valeur de vrit conformment linterprtation des connecteurs.
Il existe une et une seule valuation qui tend une valuation
atomique donne. Concrtement, si est une formule complexe
qui contient les formules atomiques p, q, r , alors une fois que la
valeur de vrit de p, q, r est fixe, celle de est dtermine.
logique & smantique
20/9/06
18 / 61
smantique de LP
exemple
Considrons la formule := (p q) et supposons que
V (p) = V (q) = 1. Quelle est la valeur de vrit de ?
p
1
q
1
q
0
(p q)
0
(p q)
1
On peut reprsenter les valeurs de vrits de pour toute

combinaison possible de valeurs de vrit de ses propositions
atomiques en une table de vrit :
p
1
1
0
0
q
1
0
1
0
q
0
1
0
1
(p q)
0
1
1
1
logique & smantique
(p q)
1
0
0
0
20/9/06
19 / 61
smantique de LP
tautologies & antilogies
Une formule est satisfiable sil existe une valuation qui la rend
vraie.
Exemple : (p q)
Une formule est tautologique ou valide si toute valuation la rend
vraie.
Exemple : (p p)
Une formule est antilogique ou contradictoire si aucune
valuation ne la rend vraie.
Exemple : (p p)
logique & smantique
20/9/06
20 / 61
smantique de LP
exemples
Une tautologie : (p p)
p p (p p)
1 0
1
0 1
1
Une antilogie : (p p)
p p (p p)
1 0
0
0 1
0
logique & smantique
20/9/06
21 / 61
smantique de LP
consquence logique
Retour lintuition de dpart : un argument est valide si la vrit

des prmisses entrane celle de la conclusion.
On dit quune valuation satisfait un ensemble de formules si elle
satisfait toutes les formules de .
a pour consquence logique si toute valuation qui satisfait
satisfait
logique & smantique
20/9/06
22 / 61
smantique de LP
exemple
= {p, (p q)} et = q.
Marie boit
Pierre trinque
p
1
1
0
0
q
1
0
1
0
(p q)
1
0
1
1
logique & smantique
20/9/06
23 / 61
logique du premier ordre
3. logique du premier ordre
logique & smantique
20/9/06
24 / 61
limites de la LP
Comment traiter largument suivant en LP ?

Proust est malin
Il faut associer chaque nonc une formule atomique - disons,
respectivement, p, q, r . Mais r nest pas consquence logique de
{p, q}.
Il faut une analyse plus fine de la structure des noncs.
logique & smantique
20/9/06
25 / 61
prdication & quantification

La prdication :
"Rudolf est logicien"
L(r )
"Rudolf est plus grand que Ludwig"
G(r , l)
deux classes de symboles :
- les symboles de constantes : a, b, c, ...
- les symboles de prdicat P (1) , Q (1) , R (1) , ..., P (n) , Q (n) , R (n) , ...
La quantification
"Il existe un logicien"
xL(x)
"Tout le monde est plus grand que Ludwig"
xG(x, l)
"Tout le monde aime quelquun"
xyA(x, y)
deux classes de symboles :
- symboles de variables x, y, z, ...
- quantificateurs : ,
logique & smantique
20/9/06
26 / 61
paraphrases, 1
Les propositions aristotliciennes :
A
E
I
O
Tout S est P
Nul S nest P
Quelque S est P
Quelque S nest pas P
Universelle affirmative
Universelle ngative
Particulire affirmative
Particulire ngative
Paraphrases :
"Tous les philosophes viendront"
"Quelque philosophe viendra"
"Aucun philosophe ne viendra"
"Quelque philosophe ne viendra pas"
logique & smantique
x(Px
x(Px
x(Px
x(Px
Sx)
Sx)
Sx)
Sx)
20/9/06
27 / 61
paraphrases, 2
"Paul aime quelquun"

"Paul est aim de quelquun"
"Tout le monde aime quelquun"
"Tous ceux qui aiment Paul aiment Marie"
"Paul naime personne"
"Paul aime quelquun qui aime Marie"
"Paul aime tous ceux qui aiment tout le monde"
logique & smantique
xApx
xAxp
xyAxy
x(Axp Axm)
xApx
x(Apx Axm)
x(yAxy Apx
20/9/06
28 / 61
syntaxe de LPO
Lalphabet de LPO contient

(i)
(ii)
(iii)
(iv)
(v)
(vi)
des symboles de constantes a, b, c...

des symboles de prdicats P (1) , Q (1) , R (1) , ..., P (n) , Q (n) , R (n) , ...
de variables x , y , z, ...
les connecteurs propositionnels , , , ,
les quantificateurs ,
des parenthses
Un langage du premier ordre est une spcification de (i)-(ii).

(iii)-(vi) sont communs tous les langages du premier ordre.
logique & smantique
20/9/06
29 / 61
syntaxe de LPO, suite
Un terme est une variable ou un symbole de constante.

Les formules sont dfinies ainsi :
(i) Si P (n) est un symbole de prdicat n-aire et t1 , ..., tn sont des
termes, alors P(t1 , ..., tn ) est une formule
(ii) Si et sont des formules, alors , ( ), etc. sont des
formules
(iii) Si est une formule, alors x et x sont des formules
(iv) Seules les expressions engendres par un nombre fini
dapplications de (i)-(iii) sont des formules.
logique & smantique
20/9/06
30 / 61
variables libres vs. lies
Diffrence importante entre les deux types de formules :

xB(x)
xyA(x, y)
B(x)
xA(x, y)
Les variables des formules de gauche sont toutes "sous la porte"

dun quantificateur ou lies. Certaines occurences de variables
sont au contraire libres dans les formules de de droite.
On appelle nonc (parfois formule close) une formule o toutes
les variables sont lies. Les noncs en ce sens correspondent
aux noncs au sens informel i.e. ils sont susceptibles dtre vrai
ou faux.
logique & smantique
20/9/06
31 / 61
smantique de LPO
En LP, on ne traite que de valeurs de vrit : la valeur de vrit

dune formule est dtermine par celles des formules qui la
composent. La smantique de la LPO doit tre enrichie car les
parties dune formule ne sont pas ncessairement des formules
elles-mmes
il faut interprter les symboles de constantes et les symboles
de prdicats
1re ide fondamentale : on se donne un domaine de discours M
- les symboles de constantes dnotent des lments du domaine
de de discours ;
- les symboles de prdicats n-aires dnotent des relations n-aires
sur M.
Intuitivement : une formule Pa est vraie si llment du domaine
dnot par a appartient lensemble dlments du domaines
dnot par P
logique & smantique
20/9/06
32 / 61
smantique de LPO
L-structures
Soit L un langage du premier ordre. Une L-structure

M = (M, I M ) est une paire constitue
(i) dun domaine (non vide) dindividus M
(ii) dune fonction dinterprtation I M
si c est un symbole de constante, alors I M (c) = c M M
si P (n) est un symbole de prdicat, alors I M (P) = P M M n
logique & smantique
20/9/06
33 / 61
smantique de LPO
exemple 1
Soit le langage L = (H, F , P, p, j, m, a).

M = ({Paul, Jacques, Marie, Anne}, I M ) o
I M (H) = {Paul, Jacques}
I M (F ) = {Marie, Anne}
I M (P) = {Jacques, Anne}
I M (p) = Paul, I N (j) = Jacques, I N (m) = Marie, I N (a) = Anne
Intuitivement,
M H(j), M 2 H(m)
M x(H(x) F (x)), M 2 xP(x)
logique & smantique
20/9/06
34 / 61
smantique de LPO
exemple 2
Soit le langage L = (O, E , c0 , c1 ). N = (N, I M ) o

I N (E) = {0, 2, 4, 6...}
I N (O) = {1, 3, 5, 7...}
I N (c0 ) = 0
I N (c1 ) = 1
Intuitivement,
N E (c0 ), N 2 E (c1 )
N x(O(x) E (x)), N 2 xE (x)
logique & smantique
20/9/06
35 / 61
smantique de LPO
assignations
Problme : si linterprtation dune formule est dtermine par

linterprtation de ses parties, comment construire linterprtation
dune formule comme xO(x) ?
De manire gnrale, le problme est dinterprter les formules
comportant des variables libres.
2nde ide fondamentale : lassignation : une assignation g(.)
associe chaque variable x un lment du domaine dinvididus
g(x) M.
On dfinit ensuite la notion de satisfaction dune formule par une
assignation. P(x) est par exemple satisfaite par toutes les
assignations qui assignent x lun des lements de P I .
logique & smantique
20/9/06
36 / 61
smantique de LPO
satisfaction
Soit L un langage du premier ordre, M une L-structure et g une
assignation. Pour une formule , on dfinit la satisfaction de
par lassignation g :
(i) si := Rt1 ...tk pour un symbole de prdicat R darit k et des
termes t1 , ..., tk , alors M, g ssi (t1M,g , ..., tkM,g ) R M
(ii) si := , alors M, g ssi M, g 2
(iv) := ( ), alors M, g ssi M, g et M, g
(v) si := xn , alors M, g ssi pour tout a M, M, g[xn a]
(vi) si := xn , alors M, g ssi il existe a M tq. M, g[xn a]
logique & smantique
20/9/06
37 / 61
smantique de LPO
vrit et validit
Si toutes les assignations satisfont , on dit que est vraie dans

M ou que M est un modle de . On le note
M
est valide si elle est satisfaite par toute assignation dans toute
L-structure. On le note

logique & smantique
20/9/06
38 / 61
smantique de LPO
exemple
Soit le langage L = (H, F , P, p, j, m, a).
M = ({Paul, Jacques, Marie, Anne}, I M ) o
I M (P) = {Jacques, Anne}
I M (p) = Paul, I N (j) = Jacques, I N (m) = Marie, I N (a) = Anne
g1 (x) = Paul
M, g1 Fm, M, g1 2 Fj
M, g1 2 Fx
M, g1 2 (Fx Px)
M, g1 Hx
M, g1 xFx
M, g1 x(Fx Hx)
g2 (x) = Anne
M, g2 Fm, M, g2 2 Fj
M, g2 Fx
M, g2 2 (Fx Px)
M, g2 2 Hx
M, g2 xFx
M, g2 x(Fx Hx)
logique & smantique
20/9/06
39 / 61
smantique de LPO
exemple
Soit le langage L1 = (P (1) , R (2) , c0 , c1 ). On peut linterprter dans la
L1 -structure N = (N, I N ) o
I N (P) = {0, 2, 4, 6...}
I N (R) => (lordre strict usuel sur les entiers)
I N (c0 ) = 0
I N (c1 ) = 1
g1 (x1 ) = 5, g1 (x2 ) = 2
N , g1 2 Rc1 x1
N , g1 Rx1 x2
N , g1 x1 x2 Rx2 x1
N , g1 2 x1 (Rx1 c0 Rc1 x1 )
g2 (x1 ) = 0, g2 (x2 ) = 3
N , g2 Rc1 x1
N , g2 2 Rx1 x2
N , g2 x1 x2 Rx2 x1
N , g2 2 x1 (Rx1 c0 Rc1 x1 )
logique & smantique
20/9/06
40 / 61
smantique de LPO
exemple
Soit le langage L2 = (H (1) , F (1) , A(2) , p, j, m, a). On peut linterprter
dans la L2 -structure M = ({Paul, Jacques, Marie, Anne}, I M ) o
I M (A) =
{(Marie, Paul), (Paul, Anne), (Jacques, Jacques), (Anne, Marie)}
I M (p) = Paul, I M (j) = Jacques, I M (m) = Marie, I M (a) = Anne
g1 (x1 ) = Paul, g1 (x2 ) = Marie
M, g1 2 Apx1
M, g1 x1 Ajx1
M, g1 2 x1 Ax1 x2
g2 (x1 ) = Anne, g2(x2 ) = Paul

M, g2 Apx1 ,
M, g2 x1 Ajx1
M, g2 2 x1 Ax1 x2
logique & smantique
20/9/06
41 / 61
logique et langue naturelle
4. logique et langue naturelle
logique & smantique
20/9/06
42 / 61
Logique et langage
On vient de voir un langage formel

sa syntaxe
sa smantique
Quel rapport avec le franais ?
on peut traduire les noncs du franais dans la logique du
premier ordre.
le projet de la linguistique formelle: voir le franais comme une
langue artificielle.
logique & smantique
20/9/06
43 / 61
La linguistique formelle
Richard Montague :
Il ny a selon moi aucune diffrence thorique importante
entre les langues naturelles et les langages artificiels des
logiciens.
Objectifs de la linguistique formelle :
syntaxe formelle caractriser de manire systmatique les noncs
grammaticaux dune langue donne.
smantique formelle sur la base de notre comprhension de la
syntaxe, rendre compte de manire compositionnelle de
la signification des phrases.
pragmatique formelle sur la base de notre comprhension de la
syntaxe et de la smantique, expliquer comment sont
utiliss les noncs.
logique & smantique
20/9/06
44 / 61
Premier problme (1)
Parallle syntaxe / smantique

"Tous les philosophes viendront"
"Certains philosophes viendront"
x(Px Sx)
x(Px Sx)
Des paraphrases diffrentes mais des constructions analogues :

P GN GV
GN Det N
GV VI
logique & smantique
20/9/06
45 / 61
Premier problme (2)
on voudrait une analyse uniforme et compositionnelle

Mme comportement syntaxique mme catgorie syntaxique.
Mme catgorie syntaxique mme catgorie smantique.
Composition des significations des units syntaxiques
indpendantes.
logique & smantique
20/9/06
46 / 61
Deuxime problme
Lexpressivit des langues naturelles

Trois philosophes viendront.
Ok:
x, y, z (x 6= y x 6= z y 6= z) (Px Py Pz) (Vx Vy Vz)
La plupart des philosophes viendront.
??
Impossible de paraphraser la plupart laide de , , = ...
logique & smantique
20/9/06
47 / 61
Quest-ce quun quantificateur ? (1)
M x (x)
ssi
il y a des objets du domaine qui satisfont (x)
ssi
{a |M|/M (x) [x a]} =
6
Premire gnralisation
Quantificateur comme prdicat de prdicat :
Q A, o A M.
logique & smantique
20/9/06
48 / 61
Cette analyse marche pour certains dterminants :

Certains philosophes viendront
ssi
Lensemble des philosophes qui viendront est non vide.
Mais elle ne marche pas pour tous :
Lensemble des philosophes qui viendront ? contient la
plupart des individus.
logique & smantique
20/9/06
49 / 61

Deuxime gnralisation
Quantificateur comme prdicat de relations :
Q A B, o A, B M.
Exemples :
Tous les A B.
ssi A B.
||Tous||M = {hA, Bi/A, B M, A B}
Certains A B.
ssi A B 6= .
||Certains||M = {hA, Bi/A, B M, A B 6= }
La plupart des A B.
ssi card(A B) > card(A B).
||La plupart||M = {hA, Bi/A, B M, card(A B) > card(A B)}
(notation : Qla plupart)
logique & smantique
20/9/06
50 / 61
La solution nos problmes (1)
Le problme de lexpressivit :
la plupart est un quantificateur relationnel part entire, qui nest

pas rductible un quantificateur non relationnel.
logique & smantique
20/9/06
51 / 61

Le problme dune analyse compositionnelle fidle la syntaxe :
Analys syntaxiquement comme :
P
GN
GV
Det
La plupart
des philosophes
Viendront
logique & smantique
20/9/06
52 / 61
Les valeurs smantiques ...

||[Det La plupart]|| = QLP
||[N des philosophes]|| = {a/a est un philosophe}=Phi
||[GN [Det La plupart][N des philosophes]]||
= {B/QLP Phi B}
= QLP Phi
||[GV viendront]|| = {a/a viendra} = Vien
||[S [GN [Det La plupart][N des philosophes]][GV viendront]]||
= QLP Phi Vien
logique & smantique
20/9/06
53 / 61
Le calcul des valeurs smantiques est parallle la drivation

syntaxique ...
P
GN QLP Phi
Det QLP
GV Vien
N Phi
logique & smantique
20/9/06
54 / 61
Le calcul des valeurs smantiques est parallle la drivation

syntaxique ...
P QLP Phi Vien
GN QLP Phi
Det QLP
GV Vien
N Phi
logique & smantique
20/9/06
55 / 61
Et aprs ?
Etudier les proprits smantiques des dterminants :

Expliquer des phnomnes linguistiques particuliers.
Identifier des universaux linguistiques.
Isoler des classes de dterminants.
Etudier le pouvoir expressif des langues naturelles.
logique & smantique
20/9/06
56 / 61
La monotonicit (1)
Tous les philosophes viendront lheure.

Tous les philosophes viendront.
Certaines personnes sont btes et mchantes.
Certaines personnes sont btes.
Q est monotone croissant droite ssi :
Q A B et B C implique Q A C.
logique & smantique
20/9/06
57 / 61
La monotonicit (2)
Aucun soldat naime pleurer.

Aucune soldat naime pleurer sans raison.
Peu de gens aiment la langue de buf.
Peu de gens aiment la langue de buf et les rognons.
Q est monotone dcroissant droite ssi :
Q A B et C B implique Q A C.
logique & smantique
20/9/06
58 / 61
Applications (1)
Expliquer des phnomnes linguistiques particuliers

Exemples : items polarit ngative.
Aucun policier na le moindre soupon.
Aucun policier qui a le moindre soupon ne le librerait.
? Tous les policiers ont le moindre soupon.
? Certains policiers ont le moindre soupon.
Les items polarit ngative sont permis dans les contextes
monotones dcroissants.
logique & smantique
20/9/06
59 / 61
Applications (2)
Identifier des universaux linguistiques
Tous
Certains
Beaucoup
Cinq
Deux ou quatre
Un nombre pair de
Contrainte de monotonicit : les dterminants lexicaliss dans les
langues naturelles expriment des quantificateurs monotone ou des
conjonctions de quantificateurs monotones.
logique & smantique
20/9/06
60 / 61
A suivre ...
logique & smantique
20/9/06
61 / 61

Cog QR

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Cog QR

Загружено:

Авторское право:

Доступные форматы

Introduction la logique et la smantique formelle

D. Bonnay & M. Cozic

D. Bonnay & M. Cozic (DEC, ENS Ulm)

logique & smantique

logique et sciences cognitives

logique et raisonnement : psychologie du raisonnement,

D. Bonnay & M. Cozic (DEC, ENS Ulm)

logique & smantique

1. Quest-ce que la logique ?

D. Bonnay & M. Cozic (DEC, ENS Ulm)

logique & smantique

La logique sintresse aux arguments

D. Bonnay & M. Cozic (DEC, ENS Ulm)

logique & smantique

Tous les philosophes sont beaux

Si Marie boit, Pierre trinque

Tous les logiciens sont malins

D. Bonnay & M. Cozic (DEC, ENS Ulm)

logique & smantique

la notion dargument valide

Aristote sur la validit :

D. Bonnay & M. Cozic (DEC, ENS Ulm)

logique & smantique

Si Marie boit, Pierre trinque

D. Bonnay & M. Cozic (DEC, ENS Ulm)

Si Marie mord, Marc aboit

logique & smantique

Tous les logiciens sont malins

D. Bonnay & M. Cozic (DEC, ENS Ulm)

Certains logiciens sont malins

logique & smantique

les constantes logiques

Dans chaque cas, on verra

D. Bonnay & M. Cozic (DEC, ENS Ulm)

logique & smantique

D. Bonnay & M. Cozic (DEC, ENS Ulm)

logique & smantique

La LP traite des arguments dont la validit repose exclusivement

D. Bonnay & M. Cozic (DEC, ENS Ulm)

logique & smantique

Lalphabet du langage contient des formules atomiques p, q, r ...

D. Bonnay & M. Cozic (DEC, ENS Ulm)

logique & smantique

Une formule se dcompose de manire unique jusquaux

D. Bonnay & M. Cozic (DEC, ENS Ulm)

logique & smantique

La smantique est la partie de la logique qui soccupe de

D. Bonnay & M. Cozic (DEC, ENS Ulm)

logique & smantique

D. Bonnay & M. Cozic (DEC, ENS Ulm)

logique & smantique

Une conjonction ( ) est vraie uniquement quand les deux

D. Bonnay & M. Cozic (DEC, ENS Ulm)

logique & smantique

Le conditionnel reflte (plus ou moins) le "si..., alors..." de la

D. Bonnay & M. Cozic (DEC, ENS Ulm)

logique & smantique

Une valuation atomique est une fonction qui assigne chaque

D. Bonnay & M. Cozic (DEC, ENS Ulm)

logique & smantique

On peut reprsenter les valeurs de vrits de pour toute

D. Bonnay & M. Cozic (DEC, ENS Ulm)

logique & smantique