SEMANTIQUE ET VERITE. De Tarski à Davidson

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.

Résumé : Ce manuel s'adresse à un public de non-spécialistes, particulièrement à des étudiants en philosophie et en sciences humaines, qui ne sont pas censés posséder un bagage mathématique important, mais sont désireux de maîtriser les notions de base et les techniques propres à la logique mathématique.

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é.