Téléchargement au format .pdf

116 Critique de la quantication fregeenne par les arguments des post-fregeens
accorde un m^eme poids a la logique et a la grammaire dans l'etude du langage
: la grammaire applicative et cognitive de J.-P. Descles [Des90b]. Dans sa
semantique fonctionnelle le paradigme sujet{predicat est couvert par le paradigme
de fonction{arguments parce que la logique combinatoire permet le passage de
l'un a l'autre. Donc l'analyse de la proposition en sujet{predicat n'est qu'une
autre interpretation particuliere (avec des contraintes en plus) de l'interpretation
fregeenne. Le mecanisme formel dans la logique combinatoire est presente en
4.4.4.1. Le sujet est un argument complexe du predicat qui a son tour est un
predicat complexe.
4.3.3 Y a-t-il d'autres operateurs que les connecteurs logiques?
Les presentations de la logique classique{la theorie des modeles et la theorie
de la demonstration considerent les connecteurs logiques ^ _ : comme des
operateurs sans le dire explicitement. Mais leur denition syntaxique et semantique
leur confere ce r^ole. Les dicultes semantiques dans la denition des quanticateurs
ne permettent pas de les considerer tout de suite comme des operateurs.
Prenons la regle d'introduction du quanticateur 8 (voir le chapitre 7):
(x)
(8x)(x)
L'ecriture ne permet pas de voir un operateur dans le quanticateur. Une logique
sans variable, une logique des operateurs permet l'interpretation des quanticateurs
comme operateurs. C'est la logique combinatoire. Donc, en plus des
connecteurs logiques il y a d'autres operateurs : les operateurs de quantication.
Il y a d'autres \operations de la cognition" qui peuvent ^etre interpretees comme
des operateurs : la construction de l'objet typique, la construction d'un objet
plus determinea partir d'un objet plus ou moins determine moins determineque
celui-la (voir le chapitre 6). Toutes ces \operations cognitives" doivent tenir d'une
logique des operateurs ou le calcul du premier ordre represente une partie moins
detaillee (avec moins de primitive). La LDO qui essaie de couvrir cet espace vide.
4.3.4 Le statut de la quantication
La quantication fregeenne et son utilisation dans une semantique du langage
presente les desavantages suivants :
{ Du point de vue semantique elle ne tient pas compte de la typicalite, d'ou
sa inadequation linguistique