Questions de Logique et de Philosophie

Cet ouvrage aborde les principales questions de la philosophie traditionnelle par le recours aux outils analytiques fournis par la logique standard, les systèmes déductifs alternatifs ainsi que par la récente dialogique formelle. À travers l'étude analytique des problèmes, l'ouvrage dessine un parcours philosophique qui scande les grandes étapes du développement des logiques contemporaines. La vérité, question centrale de la réflexion gnoséologique, est ici redéfinie comme véridicité. On appréciera la logique formelle, traditionnellement consacrée à l'étude des objets mathématiques, sur les concepts cruciaux de classe et de structure, en analysant ainsi le statut du formalisme logique. Si l'interrogation ontologique se cristallise autour de la définition de l'existence, on examinera les modalités logiques qui requièrent ou non un engagement ontologique. De même, on spécifiera les procédures qui conduisent à des interprétations réalistes ou nominalistes des systèmes formels. Enfin on analysera les méthodes de définition de concepts et théories. L'enjeu sera celui du langage naturel à des fins de connaissance.