Introduction à la logique

Résumé : Parmi les travaux contemporains en sémantique du langage ordinaire, le "programme de Davidson " se distingue par sa portée philosophique : la théorie de la vérité que propose Davidson à titre de cadre sémantique s'épanouit en effet en une véritable philosophie du langage, connue sous le nom d'interprétation radicale. Cet ouvrage tente une évaluation critique du programme de Davidson, à partir d'une question à la fois historique et conceptuelle : quels ont les rapports entre le projet d'une théorie de la vérité "à la Tarski ", et celui d'une sémantique formelle du langage ordinaire ?

Résumé : L'idée de la logique est depuis toujours celle d'une théorie de la conséquence, et en particulier de la conséquence formelle et nécessaire : en un mot, de la conséquence " logique ". Mais sur quoi repose la logicité pure d'une conséquence ? La logique contemporaine classique répond : sur la préservation de la vérité. La logique pertinente (" Relevant Logic ") lui objecte qu'on est en droit de demander plus : un élément intensionnel de pertinence des prémisses pour la conclusion doit être pris en compte pour la validité des inférences. Et elle ajoute que cet élément est, serait-ce silencieusement, à l'?uvre dans nos inférences ordinaires, celles selon lesquelles nous raisonnons en fait. Peut-on formaliser, axiomatiquement, sémantiquement, ou par des systèmes de déduction, ce composant de la notion de conséquence ? C'est d'une telle question que traite cet ouvrage, dans le sillage de la " bible " des logiques pertinentes, Entailment, the Logic of Relevance and Necessity, d'Anderson et Belnap (1975, 1992 pour le Vol. 11). Cette question en ouvre bien sûr d'autres, certaines inattendues, par exemple : y a-t-il une, ou plusieurs négations distinctes ? Quelle est la portée des constructions sémantiques de structures de modèle ? Et finalement, c'est la question du pluralisme logique qui est posée, à travers la multiplicité des systèmes où s'incarnent différentes idées de ce qu'est la relation de conséquence. La position soutenue par cet ouvrage est celle d'un pluralisme modéré, faisant droit à l'unité de la logique, que le point de vue structural permet de mettre électivement en lumière.

A l'époque où se développent les techniques et les modes de pensée liés à l'informatique, l'intelligence artificielle et la modélisation mathématique des processus cognitifs, il importe, pour mieux maîtriser notre modernité, de comprendre son histoire. L'anthologie de Logique et fondements des mathématiques, dont cette première partie rassemble des textes couvrant la période 1850-1914, se propose de contribuer à cette tâche. Nombreuses sont les disciplines contemporaines qui peuvent être tenues pour le développement de ces recherches. Cet ouvrage présente des textes de Bolzano, De Morgan, Boole, Frege, Cantor, Peirce, Dedekind, Schröder, Hilbert, Russell, Richard, König, Baire, Borel, Hadamard, Lebesgue, Zermelo, Brouwer, Poincaré.