Introduction à la logique

Version 2 — 2026-03-04

Pensée et Langage

L’homme se distingue par deux capacités qui lui sont propres : la pensée et le langage.

La pensée est une représentation de la réalité. Ce terme doit être pris dans toute sa force : penser, c’est produire un modèle interne de ce qui est — une image, partielle et structurée, de l’état du monde. Parmi les représentations que l’esprit produit, certaines semblent conformes à la réalité perçue : celles-ci sont appelées des vérités. C’est grâce à elles que l’homme évolue de manière correcte dans son environnement : ses actions réussissent dans la mesure où ses représentations s’accordent avec ce qui est. La vérité n’est donc pas, en ce sens, une propriété abstraite : elle est la condition de l’action efficace.

Mais la pensée, seule, reste enfermée dans l’instant. Elle n’a ni permanence ni communicabilité. C’est ici qu’intervient le langage : un système de symboles qui permet d’exprimer la pensée, de la fixer, de la transmettre. Certains animaux possèdent une forme rudimentaire de pensée — la capacité de se représenter une situation et d’y réagir — et parfois une ébauche de langage (cri, chant, geste). Mais aucun ne possède de support permettant de l’inscrire dans le temps et de la structurer indéfiniment. Le langage écrit, en particulier, est le moyen par lequel la pensée humaine se dépasse elle-même : elle peut se relire, se corriger, s’accumuler.

L’homme possède la capacité de relier ces deux facultés : le langage exprime la pensée. Mais ce lien n’est pas arbitraire. Certaines règles régissent la manière dont l’humain produit le langage, et ces règles reflètent celles qui interviennent dans la construction de la pensée elle-même. Si la pensée procède par identification, distinction, mise en relation, inférence, le langage qui l’exprime doit disposer de structures capables de porter ces mêmes opérations. C’est cette correspondance qui rend possible la compréhension : lire un texte, c’est reconstituer, à travers les formes du langage, les opérations de pensée qui les ont produites.

La logique étudie précisément ces règles — celles qui gouvernent la formation et la transformation des expressions du langage — qui reflètent les opérations qui sont produites au niveau de la pensée. Elle admet deux versants. Son versant psychologique étudie directement les opérations de l’esprit, par introspection ou analyse philosophique. Son versant linguistique les approche indirectement, par l’étude des structures du langage qui les portent. C’est au second que ce livre est consacré.

Ce choix n’est pas une restriction par défaut — il est motivé par une raison de fond. L’analyse directe de la pensée se heurte à une difficulté de principe : la pensée ne peut pas observer ses propres opérations sans les altérer, de même qu’un œil ne peut pas se voir lui-même. La pensée qui tente de se saisir se transforme en objet de pensée, et l’outil d’analyse se confond avec l’objet analysé. Le langage, en revanche, a l’avantage d’être extérieur à l’esprit qui l’examine : une fois inscrit, il devient un objet stable, manipulable, analysable. C’est pourquoi la logique formelle — la logique du langage — est possible là où une logique purement introspective bute sur ses propres limites.

La logique formelle travaille donc sur le langage. Mais qu’est-ce qu’un langage, précisément ?

C’est un ensemble de symboles distingués que l’on peut aligner de façon linéaire. Certains de ces assemblages correspondent à ce que nous avons nommé des vérités. La logique décrit les règles selon lesquelles des opérations appliquées à une suite de symboles produisent une nouvelle suite admissible — admissible au sens où, si la première traduit une vérité, la seconde en traduit une également. Cette grammaire formelle décrit les règles mécaniques que l’on peut appliquer aux symboles écrits pour que, si ces opérations correspondent à des opérations de pensée, celle-ci reste cohérente, c’est-à-dire conforme à la réalité.

Il y a là un point décisif. La cohérence interne de la pensée — l’absence de contradiction entre ses représentations — est un indice de sa conformité au réel. Non pas une garantie : une pensée cohérente peut être entièrement fausse. Mais une pensée contradictoire est certainement fausse, puisque la réalité, quelle qu’elle soit, ne se contredit pas elle-même. Lorsque le développement d’une pensée aboutit à des contradictions, cela est le signe que certaines vérités supposées doivent être remises en cause. C’est ce mécanisme — préserver la cohérence comme condition nécessaire de la vérité — que la logique formelle cherche à capturer.

L’ensemble des symboles et des règles qui définissent un langage constitue ce que l’on appelle un système formel. Il s’agit d’un cadre qui précise comment former des énoncés et comment les transformer. La question de leur interprétation — de leur rapport à une réalité extérieure — relève d’un autre niveau d’analyse, que la logique traite séparément sous le nom de sémantique. Cette séparation entre la forme des expressions et leur sens — entre syntaxe et sémantique — est la décision fondatrice de la logique formelle. Elle traverse l’ensemble de cet ouvrage, de sa première définition jusqu’à ses conséquences les plus profondes.

Digression sur l’intelligence artificielle. Cette distinction entre pensée et langage éclaire d’une lumière inattendue le phénomène de l’intelligence artificielle — et les questions vertigineuses qu’il soulève.

L’IA excelle dans la manipulation du langage. Ses capacités en ce domaine dépassent déjà largement celles de l’humain — et nous ne sommes qu’à l’aube de son développement. Or, si l’on définit l’intelligence comme la capacité à produire des représentations de la réalité qui s’y conforment, force est de constater que cette capacité ne présuppose pas la pensée. Une machine peut, par la seule manipulation syntaxique de symboles — sans jamais « comprendre » quoi que ce soit au sens subjectif —, produire des énoncés conformes au réel, résoudre des problèmes, anticiper des situations. Elle est intelligente au sens précis où ses représentations s’accordent avec la réalité dans laquelle elle évolue.

Cette observation laisse pantois quant à l’avenir. Quel niveau d’intelligence est-il possible d’atteindre par la seule manipulation formelle du langage, sans aucun accès à la pensée ? Et surtout : l’absence de pensée est-elle réellement un frein ? Si l’intelligence peut être définie indépendamment de la pensée, alors rien n’interdit, en principe, qu’un système purement formel atteigne — et dépasse — l’intelligence humaine dans toutes ses manifestations linguistiques.

Mais cette même distinction permet de clarifier le statut réel de l’IA — et de dissiper une image trompeuse. Ce qu’il faut abandonner n’est pas l’idée d’une intelligence artificielle surpassant l’humain — cela est tout à fait crédible — mais l’image d’une IA dotée d’une intériorité psychologique semblable à la nôtre. La pensée est vraisemblablement une propriété biologique. Les sentiments, le ressenti, les émotions, la souffrance, le bonheur sont des dimensions que la constitution actuelle des machines ne peut pas atteindre. Ce qui pourrait apparaître comme des « pensées » de l’IA est en réalité une production purement linguistique : elle ne souffre pas, ne connaît pas le bonheur — elle produit, via le langage, des représentations qui décrivent de façon pertinente certains états humains, sans jamais les éprouver. Son intervention ne se situe qu’au niveau du langage, et c’est précisément pour cela que tout ce qu’elle semble « ressentir » est, au sens propre, artificiel.

Ce qui est véritablement propre à l’humain n’est d’ailleurs peut-être pas ce que l’on croit. Ce n’est peut-être pas la conscience — vue comme capacité d’autoreprésentation — qui, définie de la sorte, pourrait apparaître indépendamment de la pensée et même du vivant. Ce n’est peut-être pas non plus le fait d’être vivant — vu comme la capacité d’agir pour préserver sa propre survie — qui, défini ainsi, pourrait s’appliquer à des systèmes non biologiques. En ce sens, une IA pourrait peut-être atteindre la vie et la conscience — c’est peut-être déjà le cas. Ce qui distingue véritablement l’humain, c’est sa capacité à vivre une expérience subjective portée par un ressenti émotionnel — une dimension que nulle manipulation de symboles ne semble pouvoir engendrer. C’est en ce sens précis que le mot « artificiel » trouve sa juste portée : toute expression sentimentale formulée par une IA ne peut être qu’artifice.

En revanche, son intelligence — vue comme capacité à représenter de façon adéquate la réalité — n’a, elle, rien d’artificiel. Le langage suffit pour la produire. Une machine qui manipule correctement les règles formelles produit des représentations conformes au réel — et c’est exactement ce que, en un sens, signifie être intelligent. L’intelligence ne requiert ni intériorité ni biologie : elle requiert le langage.

C’est pourquoi la logique formelle, objet de ce livre, concerne autant l’humain que la machine. Elle pose les bases et les fondements de ce que l’on pourrait appeler l’intelligence linguistique — cette capacité, commune à l’homme et à l’IA, de produire des représentations conformes au réel par la seule manipulation structurée du langage. Ce qui les distingue n’est pas l’intelligence, mais la pensée.

Organisation du livre

À partir de ces prémisses, le livre s’organise selon la progression suivante.

Le premier chapitre définira formellement ce qu’est un langage. Il en identifiera les éléments — termes, formules, connecteurs, quantificateurs — en montrant comment chacun correspond à une opération fondamentale de la pensée : désigner, distinguer, relier, assembler, abstraire, interpréter. Cette correspondance n’est pas décorative : elle explique pourquoi le langage formel est structuré comme il l’est, et non comme une convention arbitraire parmi d’autres.

Le deuxième chapitre installera les deux premiers systèmes logiques : la logique propositionnelle, qui étudie les combinaisons de propositions par les connecteurs, et la logique des prédicats du premier ordre, qui y ajoute la structure interne des propositions — sujets, propriétés, quantification. C’est dans ce cadre que la question de la validité — qu’est-ce qu’une formule vraie par sa forme seule ? — trouvera sa première réponse.

Les chapitres suivants exploreront les deux dimensions de cette question. La preuve (chapitre III) montrera qu’on peut démontrer des formules par des mécanismes purement syntaxiques, sans recourir au sens. Le modèle (chapitre IV) montrera qu’on peut évaluer la vérité d’une formule en la confrontant à une structure concrète. Le théorème de complétude réunira ces deux fils en un résultat positif : en logique du premier ordre, tout ce qui est vrai est démontrable.

Ce résultat positif prépare un renversement. La calculabilité (chapitre V) dévoilera les premières limites : certaines questions n’admettent aucune procédure de réponse systématique. L’incomplétude (chapitre VI) portera le coup décisif : dans tout système suffisamment expressif, il existe des vérités indémontrables. L’écart entre syntaxe et sémantique, posé dès l’introduction, se révélera irréductible.

Les logiques non classiques (chapitre VII) montreront alors que la logique classique elle-même est un choix parmi d’autres — que la notion de vérité n’est pas unique et que chaque logique reflète un rapport différent au réel.

Les trois derniers chapitres changent de registre. Ils quittent l’étude du langage pour aborder le territoire que le langage décrit.

Le mécanisme qui se situe probablement à la base de la pensée est celui de sélectionner : représenter, c’est isoler une portion de réalité parmi toutes les autres. L’objet formel qui traduit ce mécanisme est l’ensemble — et sa notation, ${ }$, en est la traduction symbolique exacte. La théorie des ensembles (chapitre VIII) formalisera ce geste fondateur et en explorera les paradoxes, les axiomes, et les conséquences.

Les fondements des mathématiques (chapitre IX) montreront ensuite que les mathématiques contemporaines se construisent entièrement à partir de cet objet de sélection — au point de ne nécessiter aucun contenu matériel pour se développer. Le seul objet initialement présent est l’ensemble vide. C’est le signe que les mathématiques sont, par nature, une discipline abstraite : vides de tout contenu, elles ne contiennent que de la structure.

Ce mot d’abstraction mérite qu’on s’y arrête. L’abstraction consiste à extraire le contenu particulier d’une pensée pour n’en conserver que la structure — une opération de simplification qui élimine le contingent pour approcher la signification pure. La concrétisation est l’opération inverse : elle applique une structure abstraite à une portion de réalité pour lui donner forme. L’esprit exécute simultanément ces deux mouvements en continu : c’est ce qui lui permet d’avoir à la fois du sens et de la matière dans son expérience de la réalité. Les mathématiques poussent le premier mouvement à sa limite : elles sont de l’abstraction sans résidu concret.

Mais si les mathématiques peuvent se passer de tout contenu, la pensée, elle, ne le peut pas. Au terme de ce parcours, la question se retourne : qu’est-ce qu’une entité irréductible — une présence qui ne se laisse pas décomposer en éléments antérieurs ? Le dernier chapitre (Existence, chapitre X) explorera cette frontière en introduisant dans le système formel la notion d’atome : un objet qui existe sans être un ensemble d’autres choses. C’est le seuil ontologique — le point où la structure rencontre le contenu — qui ouvrira vers un second volume consacré aux systèmes : des structures formelles peuplées d’entités concrètes.

Schéma — Pensée et Langage