Téléchargement au format .pdf

14 Introduction
Une approche fonctionnelle considere un concept comme un \operateur" et
un objet comme un \operande absolu". L'operateur est associe a la notion de
fonction, procedure, methode. Les objets peuvent ^etre vus comme des operandes
absolus. Ilyaunmonded'objets et un monde d'operateurs. Il a fallu les
relier, parce que chacun d'eux pris isolement ne permet pas d'apprehender de
tres nombreux problemes comme par exemple la predication, la quantication,
les modalites. C'est la logique combinatoire qui a propose une formalisation de
leur liaison.
1.3 Categorisation et quantication en logique
Une periodisation de l'histoire de la logique en tenant compte de sa problematique
nous conduit a distinguer les etapes suivantes :
1. Toute la periode de l'antiquite jusqu'au XIX eme siecle caracterisee par le
fait que la problematique se deploie sur deux axes :
celui du langage
celui du raisonnement.
2. Le debut de la periode de la \mathematisation " de la logique qui commence
avec Boole (1815-1864) et Peirce (1839-1914).
3. \Un tournant" avec Frege (1848-1925) son systeme logique ayant comme
but de fonder l'arithmetique echoue de ce point de vue, mais il represente
une mathematisation des notions comme quanticateur, variable liee, concept,
d'un c^ote et un systeme conceptuel pour l'analyse du langage de l'autre c^ote.
4. A partir de 1880, Dedekind, Peano et Russell continuentl'etude et l'analyse
du langage.
5. Dans \les annees 30", commence la periode des logiques non-classiques :
Gentzen (la deduction naturelle), Godel (theoremes d'indecidabilite) Lesniewski
(la mereologie), Turing (la calculabilite), Heyting et Kolmogorov
(la logique intuitionniste), Church ( - calcul) et Curry (la logique combinatoire).
6. Entre 1950 et 1960, apparaissent les logiques temporelles et modales.
7. Apres 1960, nouveaux developpements en logique voient le jour, a cause des
problemes poses par l'informatique theorique.