Téléchargement au format .pdf

L'ideographie fregeenne 33
genese psychologique, mais la meilleure methode de demonstration se
trouve a labase de la classication.
Son \Begrisschrift" est \un langage des formules pour la pensee pure". La
logique a toujours employe le langage ordinaire et elle reste tres proche de la grammaire.
Voila comment il caracterise la relation entre le langage de son systeme
logique et le langage ordinaire en justiant en m^eme temps son choix pour l'analyse
de la proposition dans la forme fonction { arguments.
Je crois que j'ai reussi a mieux etablir la relation entre mon ideographie
et le langage ordinaire. Il est facile de voir comment regarder
un contenu (propositionnel) comme une fonction de ses arguments et
comment ce processus conduit a la formation des concepts. Le remplacement
sujet { predicat par fonction { arguments s'impose.
Dans les trois premieres parties de ce sous-chapitre nous presentons l'ideographie
fregeenne comme systeme logique, sa theorie de la quantication et
une analyse de son systeme conceptuel telles qu'elles sont presentees dans \Les
fondements de l'arithmetique" et dans \Les lois de base de l'arithmetique".
2.2.1 La description de l'ideographie fregeenne
2.2.1.1 Le jugement
Les symboles utilises dans ce systeme logique sont de deux types :
{ ceux par lesquels nous nommons les dierents objets { les lettres.
{ ceux qui ont un sens totalement determine.
Le premier symbole introduit par Frege est concu pour exprimer le jugement ou
l'assertion. Pour Frege une proposition A est caracterisee du point de vue semantique
par un contenu propositionnel. Un jugement est forme par deux parties :
la partie du contenu et la partie d'assertion. Il y a des contenus qui ne peuvent
pas devenir des jugements, par exemple \maison".
Le symbole pour le jugement (assertion) est :
La barre horizontale represente la barre du contenu propositionnel. Le symbole
:
se lit : Le contenu propositionnel de A.
A