Apprentissage d'une langue étrangère/seconde. Tome 3, La méthodologie

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

Elle était la rancune, il était la culpabilité. Mais autrefois, ils étaient l'amour. Benjamin Jenkins n'a jamais oublié Isabella Grace, son premier amour, la seule à avoir su voir le véritable Ben derrière sa façade de charme et d'humour. Mais son monde, où se mêlent crimes et trahisons, était bien trop dangereux pour elle. Alors, Ben a disparu du jour au lendemain, sans la moindre explication. Depuis, son souvenir le hante chaque jour. Et ce, malgré la situation de plus en plus tendue au sein du réseau Scott, qui est sur le point de dégénérer. Mais Isabella non plus ne l'a pas oublié. La jeune femme décide de le contacter anonymement, espérant obtenir des réponses aux questions qui l'empêchent de tourner la page. Sans se douter qu'elle est sur le point de raviver des sentiments depuis longtemps enfouis sous la rancoeur... ni qu'elle s'expose à un danger des plus mortels. Mais devant cette nouvelle chance, Ben n'est pas sûr d'avoir la force, cette fois, de la laisser partir.

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.