Téléchargement au format .pdf

Chapitre 3
Critique de la quantication
fregeenne par les arguments des
ante-fregeens
... There is as much truth in beauty
as there isbeauty in truth.
F. Sommers
3.1 Introduction
Le systeme logique de Frege n'a pas contribueaudeveloppement de la logique
mathematique moderne, mais son systeme conceptuel a beaucoup inuence la
philosophie du langage.
Dans l'introduction de l'etude sur Frege de Michael Dummett [Dum73] on lit:
Il (Frege) a ete l'initiateur de la periode moderne dans l'etude de la logique. . .
La comprehension de la structure fondamentale du langage et, par consequence,
de la pensee, depend de l'explication correcte de la construction des propositions
et des relations entre elles. Cette explication est la t^ache de la logique. La logique
moderne contrairement aux grands systemes logiques anciens { l'antiquite
classique, l'Europe medievale, l'Inde { est capable d'une telle explication gr^ace
au mecanisme des quanticateurs et des variables liees. Malgre toutes les subtilites
des systemes anciens, leur analyse de la proposition n'atteint pas la profondeur
de l'analyse realisee par la logique moderne qui est capable de manipuler
un mecanisme general. La decouverte de ce mecanisme et sa signication pour le
langage est due a Frege m^eme s'il n'avait realise que cette t^ache, il aurait rendu
un grand service alaconnaissance humaine.