Téléchargement au format .pdf

124 Critique de la quantication fregeenne par les arguments des post-fregeens
La logique combinatoire est un systeme formel applicatif avec des entites
speciques { les combinateurs. Les combinateurs et l'application conferent a
ce systeme un caractere particulier { le caractere operatoire.
Deux caracteristiques se degagent en ce qui concerne la logique combinatoire
par rapport aux autres logiques et, surtout, par rapport a la logique classique
dans sa presentation standard :
{ La construction abstraite des objets qui sont les arguments des predicats
est internalisee par l'operation d'application
{ La structure de la construction et le processus deductif sont geres fonctionnellement
par les combinateurs.
Si on se refere au langage de la presentation de la logique combinatoire
elle peut ^etre vue comme un langage applicatif. Si on se refere a sa partie
operatoire, elle peut ^etre vue comme un systeme d'operateurs et, particulierement,
un systeme de combinateurs. Ce sont les deux c^otes complementaires delalogique
combinatoire. La logique combinatoire peut ^etre consideree comme \une
logique de l'action" par opposition a la logique classique qui est \une logique
de la description". A cause du fait que la logique combinatoire va au-dela des
inferences etdecrit le niveau de ses objets (Obs) elle peut ^etre consideree comme
une prelogique. Si l'ensemble des operateurs ne contient que les combinateurs
elementaires, la logique combinatoire est appelee logique combinatoire pure. Ce
systeme peut ^etre etendu par :
{ L'addition d'operandes absolus particuliers : une cha^ne de symboles, une
proposition, un objet complexe, un objet physique, etc.
{ L'addition des operateurs particuliers d'un certain domaine (l'operateur de
dierenciation, d'integration, l'operateur r { en analyse mathematique, les
operateurs grammaticaux { en linguistique etc.)
Formaliser un domaine particulier par la logique combinatoire c'est construire
une logique combinatoire etendue (systeme applicatif particulier) par :
{ La description d'une representation particuliere
{ L'extension de l'ensemble des operateurs par des operateurs speciques du
domaine
{ La construction d'une interpretation particuliere (optionnellement).