Téléchargement au format .pdf

Conclusions 107
E=editeur, L 2 = lire, Ec 2 =ecrire, A 2 = auteur (vu comme relation), T =
trilogie.
+E+(L 2 {(Ec 2 +(A 2 + T)))
+E+({(+(+T+A 2 )+Ec 2 )+L 2 ) FNSP
LMP
(9 x) (E x ^ (8 y) ((9 z) (9 w) (( T w ^ A 2 zw)^ Ec 2 yz)! L 2 x y))
La traduction de LFT en LMP:
+E+(L 2 -(Ec 2 +(A 2 + T)))
FSNP
+E+({(+(+T+A 2 )+Ec 2 )+L 2 )
R1
(9 x)(Ex^ ({(+(+T+A 2 )+Ec 2 )+L 2 x) R2
(9 x)(Ex^ (8 y)(+(+T+A 2 )+Ec 2 y) ! L 2 x y)) R1
(9 x) ( E x ^ (8 y) (( 9 z)((+T+A 2 z) ^ Ec 2 yz)! L 2 x R1
y))
(9 x) ( E x ^ (8 y) ((9 z)(9 w) ((T w ^ A 2 zw)^ Ec 2 yz)
! L 2 x y))
6. Le syllogisme.
Sartre est un philosophe fameux.
Sartre est un romancier.
Ilyaunromancier qui est un philosophe fameux
+S+P
+S+R
+R+P
L'ensemble-compteur est respectivement:
+S+P
+S+R
{(+R+P)
Si on transforme la deuxieme premisse en { S + P (en appliquant au terme
singulier +Slequanticateur libre, il devient { S) cet ensemble est:
+S+P
{S+R
{(+R+P)
Il verie les conditions d'inconsistance, donc l'inference est valide.
3.4 Conclusions
Il y a une these fondamentale dans la logique traditionnelle pre-fregeenne que
toute proposition cognitive du langage naturel est soit elle m^eme canonique, soit
elle peut ^etre paraphraser dans une proposition canonique. Les logiciens doivent
denir la forme canonique et les linguistes doivent specier des regles pour la
paraphrase.
F.Sommers denit cette forme canonique par la forme primitive de la proposition
: