La quantification constitua dès la Begriffsschrift de G. Frege un des outils fondateurs de la logique moderne. Si son évolution fut longtemps dominée par le point de vue métathéorique de la théorie des modèles et par l’importance de la notion de dépendance relative des quantificateurs (notamment avec les travaux de Skolem), la question d’une caractérisation déductive adéquate ainsi que celle de l’interprétation des quantificateurs (objectuelle, substitutionnelle, catégorielle…) restent plus que jamais des thèmes d’importance de la réflexion contemporaine.
• En réunissant une dizaine de personnalités* de la recherche en logique, linguistique formelle, informatique et philosophie du langage, ce colloque vise à mettre en évidence l’importance d’une réflexion commune sur un objet théorique qui traverse l’essentiel des applications diverses d’une discipline dont l’unité ne va aujourd’hui plus de soi.
Christiane Tripet
Institut de logique
Université de Neuchâtel
Tél. 41 32 718 18 58
christiane.tripet@unine.ch
