Téléchargement au format .pdf

La semantique de la quantication 207
q
A
; E
2 fg
2 f(N 1 g)
q; ;;;;;;;;;;;;;;;;;;;;;
S
N 0 N 0
S
I
q
@
@@@@@@@@@@@@@@@@@@@@@
@
2 fg
q
O
2 f(N 1 g)
Figure 7.2: Le carre d'Aristote pour les operateurs illatifs de quantication
2 fg:
Extf Extg
L'interpretation de cette relation est : tous les objets qui tombent sous
f tombentegalement sous g .
1 f : Extf \ U 6= ?
L'interpretation de cette relation est : il existe au moins un objet de
l'univers du discours qui tombe sous f .
2 fg: Extf \ Extg 6= ?
L'interpretation de cette relation est : il existe au moins un objet qui
tombe simultanement sous f et sous g .
Le carre d'Aristote est celui de la gure 7.2.
On a les relations :