Téléchargement au format .pdf

126 Critique de la quantication fregeenne par les arguments des post-fregeens
Distance :
X 0 = X
X 1 = BX
X 2 = BX 1
.
X n+1 =
BX n
Le principe d'extensionnalite:
Si, pour tout U, X U = Y U, alors X = Y
Un ensemble minimal de combinateurs :
Tous les combinateurs de base peuvent ^etre construits uniquementavecK etS
(et des parentheses) :
I
B
W
C
SKK
S(KS)K
SS(K(SKK))
S(BBS)(KK)
B(BS)B
(((B))B(KK)
4.4.4 Solutions des quelques problemes par la logique combinatoire
4.4.4.1 Le passage entre (Q x) (P y x) et (P S) dans la logique combinatoire
La logique combinatoire par ses proprietes de nature fonctionnelle permet le passage
de l'expression applicative associee a une proposition generale a l'expression
applicative de la m^eme proposition, mais en mettant en evidence les expressions
applicatives correspondant au sujet et au predicat. Si l'expression applicative
correspondante a la proposition generale est:
(Q x) (P y x)
ou Q est un quanticateur et P un predicat binaire
le passage a laforme
(P' S )
est: