Téléchargement au format .pdf

106 Critique de la quantication fregeenne par les arguments des ante-fregeens
{G+A 2 +F
FSNP
{G+(+F+A 2 )
R2
(8 x)(Gx! (+F+A 2 x) R1
(8 x)(Gx! ((9 y)(Fy^ A 2 x y)))
2. Un marin donnait un cadeau a chaque enfant.
LFT
+M+D 3 {E+C
+M+({E+(+C+D 3 ))
FNSP
LMP
(9 x)(Mx^ ((8 y)Ey! (9 z) (C z ^ D 3 x y z)))
La traduction de LFT en LMP:
+M+D 3 {E+C
FSNP
+M+({E+(+C+D 3 ))
R1
(9 x)(Mx^ ({E+(+C+D 3 x))) R2
(9 x)(Mx^ ((8 y) E y ! (+C+D 3 x y))) R1
(9 x)(Mx^ ((8 y) E y ! (9 z) (C z ^ D 3 x y z)))
3. Venus est l'etoile du matin.
LFT
+V+(E+M)
+V+(M+E)
LMP
(E (M V))
((^etre (du matin etoile)) Venus)
4. Tout ce qui brille n'est pas d'or.
FNSP
LFT
B{O
B{O
LMP
(9x) (Bx^ (: Ox))
FNSP
La traduction de LFT en LMP:
B{O
(9 x)(B x ^ (- O))
(9 x)(Bx^ (: O x))
5. Un editeur lit tout ce qui est ecrit par un auteur d'une trilogie.
LFT
R1