Téléchargement au format .pdf

L'ideographie fregeenne 39
A
B
C
C
B
A
B
A
B
La regle \BARBARA" est :
(c b) ((b a) (c a))
Elle est representee dans l'ideographie fregeenne par :
a
2.2.1.7 La fonction
La denition d'une fonction dans l'ideographie est donnee par :
Si dans une expression dont le contenu ne peut ^etre capable de
devenir un jugement, un symbole simple ou compose a plusieurs occurrences
et si on regarde ce symbole comme etant remplacable dans
toutes ses occurrences par quelque chose d'autre, alors nous appelons
\fonction" la partie invariante dans l'expression et \argument" la partie
remplacable. Par exemple :
Le nombre 20peut ^etre ecrit comme la somme de 4 carres.
Tout entier positif peut ^etre ecrit comme la somme de 4 carres.
La fonction est \^etre ecrit comme la somme de 4 carres". Le
concept \tout entier positif" est remplacable par le concept \le nombre
20". Ce dernier est l'argument. Les deux concepts ne sont pas des
concepts du m^eme rang.
Frege considere des fonctions d'une seule variable ou de plusieurs variables.
Pour lui le symbole \(A)" represente la fonction d'argument A.
c
a
b
b
c