Téléchargement au format .pdf

L'ideographie fregeenne 49
{ Nous considerons l'equivalence posee par Frege entre :
X(a)
a
et
X(a)
comme une expression globale des deux regles d'introduction et d'elimination
du quanticateur universel dans la deduction naturelle (voir le chapitre
7).
L'utilisation des quanticateurs pour lier les variables et leur denir une portee
est la plus importante caracteristique de la logique moderne et elle represente
l'outil qui a rendu la logique, en tant que langage, superieure non seulement au
langage ordinaire, mais m^eme aux autres symbolismes algebriques.
Le mecanisme de la quantication, considere comme un grand acquis de
la logique moderne tel qu'il est deni par Frege, a fait du calcul du premier
ordre un outil pour l'etude des fondements des mathematiques et egalement une
semantique formelle des langues naturelles. En ce qui concerne sa deuxieme valence,
il s'est avere bient^ot insusant pour une analyse approfondie des langues
naturelles. La quantication fregeenne est adequate pour l'analyse du langage
mathematique, mais elle eace des categories linguistiques importantes pour
l'analyse du langage ordinaire et pour une formalisation de cette analyse. Et surtout
la categorisation traditionnelle sujet { predicat est eacee par cette theorie
de la quantication. Une remise en cause de cette theorie a ete faite par les postfregeens
qui ont essaye de construire des formalismes qui unient les acquis de
la theorie traditionnelle de la quantication avec les necessites imposees par la
linguistique. Un de ces formalismes est presente dans le chapitre 3.
2.2.3 Le systeme conceptuel fregeen
\C'est seulement dans le contexte d'une proposition
qu'un nom tient lieu de quelque chose."
G. Frege, Les fondements de l'arithmetique.
Dans l'avant-propos du livre \Philosophie de la logique" [Dum92], Michael
Dummett disait :
Au cours de la premiere moitiedece siecle, la philosophie occidentale
s'est fragmentee plus qu'elle ne l'a jamais fait dans son histoire.
Des signes avant-coureurs montrent que l'on est en train de remedier