Téléchargement au format .pdf

40 La categorisation et la quantication dans la tradition logico-philosophique
Le symbole :
(A)
se lit : A a la propriete .
Donc, ce symbole represente l'assertion :
(A) = >
Le symbole
(A,B)
se lit : B est en relation avec A.
Donc,
(A,B) = >.
2.2.1.8 Les axiomes du systeme fregeen
Frege donne comme axiomes de son systeme un groupe de neuf axiomes, appeles
\lois de la pensee pure". Ce sont :
A
B
A A (B A)
La premiere loi de la conditionnalite
A
C
B
C
A
B
C
(C (B A)) ((C B) (C A))
La deuxieme loi de la conditionnalite