Téléchargement au format .pdf

94 Critique de la quantication fregeenne par les arguments des ante-fregeens
Sommers ne met pas en cause explicitement la position philosophique selon
laquelle les categoremes sont des expressions \completes", pourvues d'une signi-
cation et les syncategoremes des expressions \incompletes" dont la signication
est dependante des elements sur lesquels elles portent. Sa conclusion degagee
apres une etude comparative des dierentes positions philosophiques est:
{ M^eme si nous n'acceptons pas la classe des propositions atomiques comme
categorie a part, ces propositions ne contiennent que des elements categorematiques
{ La classe des categoremes est innie et l'appartenance a cette classe n'est
pas encore speciee par un principe universel
{ Il faut se concentrer sur les syncategoremes et les etudier.
Les dierences structurelles entre la LMP et la LFT comme formalismes sont
basees sur les hypotheses suivantes:
{ (1)
{ (2)
{ (3)
{ LFT. Les categoremes d'une proposition elementaire sont les termes
et non pas les noms, ni les predicats.
{ LMP. Les categoremes d'une proposition atomique sont les noms, et
les syncategoremes sont les predicats.
{ LFT. Toute proposition elementaire a deux termes.
{ LMP. Aucune hypothese.
{ LFT. Toute proposition elementaire contient une expression syncategorematique,
nommee \connecteur" qui lie les deux termes. Ce connecteur
est exprime dans les langues naturelles par les expressions \tout. . .
est" ou \il y a des . . . qui sont"
{ LMP. Les syncategoremes d'une proposition atomique sont les predicats.
La construction syntaxique de Sommers est basee sur deux idees fondamentales
: