Journées de logique et philosophie

Le lecteur trouvera ici rassemblés les textes des communications présentées lors des Journées de Logique et Philosophie qui se sont tenues à Aix-en-Provence en mai 1991, à l'initiative de l'équipe d'Épistémologie Comparative. Nous avions souhaité montrer que la tradition comparatiste demeurait bien vivante après le départ de G. Granger pour le Collège de France, en particulier dans l'approche philosophique des systèmes formels, en suscitant la rencontre entre logiciens, informaticiens, et philosophes. Et cela tant du point de vue d'une actualité plus ou moins circonstancielle et conjecturale (sciences dites cognitives, point de vue informaticien sur la logique et les mathématiques), que du point de vue d'une philosophie instruite, justement, par la comparaison réfléchie des ouvrages du présent entre eux et à la lumière de l'histoire. Nos trois journées exploraient trois thèmes : Le statut de la logique, logique et programmation, machines et pensée symbolique.