B2 · Episode 18 · 4:45
Logic and the Limits of Truth
This episode explores foundational questions in logic and mathematics through the work of Russell, Gödel, and Wittgenstein—examining axiomatic systems, the incompleteness theorem, the limits of language, and Popper’s criterion of falsifiability for scientific theories.
Source：Tranxen / skeptikon.fr · License：CC BY-SA 4.0
Transcript
Et bien ça en logique, on appelle ça un axiome.
In logic, this is called an axiom.
Et bien l'idée de Russell, c'était ça:
Russell’s idea was this:
en prenant le moins d'axiomes possible, qu'est- ce qu'on peut prouver?
What can we prove using as few axioms as possible?
Et bien, vous vous en rendez peut- être pas compte,
You may not realize it,
mais c'était une tannée de se faire ça.
but carrying it out took a full year.
Par exemple, 1+ 1= 2, ça
For example, the equation ‘1 + 1 = 2’
lui a pris 379 pages.
took him 379 pages to prove.
Et oui. Parce qu'en fait, il faut tout redéfinir,
Yes! Because in fact, everything must be redefined,
tout réécrire dans un langage logique et extrêmement précis.
all rewritten in an extremely precise logical language.
Tellement logique et tellement précis que personne ne le comprend vraiment.
So logical and so precise that almost no one truly understands it.
Mais au moins, c'est prouvé une bonne fois pour toutes.
But at least it’s been proven once and for all.
Ça sert à ça de faire des démonstrations,
The purpose of proofs is exactly this:
ça permet de le faire une fois et tous les autres ensuite n'auront pas besoin de le
prove something once,
refaire. L'idée de Russell et d'autres mathématiciens comme David Hilbert était
and everyone else thereafter won’t need to repeat it. Russell and other mathematicians—like David Hilbert—aimed to
qu'on pouvait créer un système d'axiomes parfait,
create a perfect system of axioms,
qui aurait pu être la base de tous les raisonnements logiques.
which could serve as the foundation for all logical reasoning.
Au final, leur quête était vouée à l'échec.
In the end, their quest was doomed to fail.
À chaque fois qu'on.
Each time we …
prouve quelque chose, on fait appel à des fondements qu'on doit eux- mêmes prouver,
prove something, we rely on foundational assumptions that themselves must also be proven,
et ainsi de suite.
and so on, endlessly.
C'est sans fin.
It goes on infinitely.
C'est vrai que ça paraît déjà fou comme projet, mais quand on est sceptique,
This project already sounds wildly ambitious—and when we’re skeptical,
il nous faut une preuve de tout.
we demand proof for everything.
Il fallait que quelqu'un prouve que cette quête était vouée à l'échec,
Someone had to prove that this quest was doomed to fail,
sinon elle ne s'arrêterait jamais.
otherwise it would never end.
Et cette personne, ça fut Kurt Gödel.
And this person was Kurt Gödel.
Pour résumer un peu le contexte,
To briefly summarize the context,
on a besoin pour démontrer quelque chose d'un système d'axiomes.
we need an axiomatic system to prove something.
Et un jour, Russell a mis en évidence un paradoxe,
One day, Russell uncovered a paradox,
ce qui fait qu'on a dû modifier le système d'axiomes de la théorie des ensembles.
which forced us to revise the axiomatic system of set theory.
Wow, attends, je comprends déjà plus rien là.
Wow, wait—I’m already totally lost here.
Oui, alors pour faire simple.
Yes—so let’s simplify things.
Russell a découvert un paradoxe.
Russell discovered a paradox.
La quête des fondements cherchait un système d'axiomes parfait,
The quest for foundations sought a perfect axiomatic system,
avec des axiomes qui ne bougeaient pas, qui ne créaient pas de paradoxes,
with unchanging axioms that generate no paradoxes,
et dans lequel on pouvait tout prouver, comme vrai ou faux.
and in which every statement could be proven either true or false.
Et quand il y a paradoxe, c'est donc que le système est imparfait.
So when a paradox arises, the system is flawed.
Ils ont donc dû modifier les axiomes,
They therefore revised the axioms,
ils étaient tous certains qu'ils touchaient au but.
and everyone was certain they were nearing the goal.
Et là, Gödel est arrivé, et il a démontré, avec une démonstration mathématique,
Then Gödel arrived and proved—with a rigorous mathematical proof—
que ce système n'existera jamais,
that such a system can never exist;
qu'à chaque fois qu'on voudrait créer un système d'axiomes,
each time we try to construct an axiomatic system,
on aura toujours des zones d'ombre, des choses qu'on ne pourra pas démontrer.
there will always be ‘blind spots’—statements we cannot prove.
Le champ de la vérité est infini,
The domain of truth is infinite,
il y aura toujours des questions sans réponse et des systèmes incomplets.
there will always be unanswered questions and incomplete systems.
Ce théorème, on aimerait bien se dire que c'est la preuve du scepticisme.
We might like to say this theorem is scientific proof of skepticism.
L'homme aura toujours des vérités qui lui seront inaccessibles,
Humans will always have truths inaccessible to them,
et maintenant on peut le dire de manière scientifique.
and now we can state it scientifically.
Non, on ne peut pas, parce que c'est une démonstration mathématique qui parle
No—we cannot, because it’s a mathematical proof about
d'axiomes mathématiques.
mathematical axioms.
On ne peut donc pas l'appliquer aux autres domaines.
So it cannot be applied to other fields.
Cette idée voyez pour être une excuse au relativisme, que tout se vaut,
This idea, you see, is often used as an excuse for relativism—the claim that everything is equally valid—
puisqu'on est sûr de rien.
since we can be certain of nothing.
Et ce théorème ne disait.
And this theorem actually states—
pas ça du tout.
something entirely different.
Avec tous les auteurs cités précédemment,
Together with the authors cited earlier,
on est quand même d'accord pour dire que non, en termes de connaissance,
we still agree that, in terms of knowledge,
tout ne se vaut pas.
not everything is of equal value.
C'est amusant de mettre en parallèle Gödel et une autre personne inspirée des
It’s interesting to compare Gödel with another thinker inspired by Russell’s work: Wittgenstein.
travaux de Russell, Wittgenstein.
Wittgenstein.
Alors, il a dit des choses assez complexes qu'on ne va pas développer ici,
He made some rather complex points—which we won’t develop here—
mais on peut citer deux choses.
but we can mention two key ideas.
Il montrait que le langage était limité.
First, he showed that language is inherently limited.
Quel que soit le langage qu'on utilise, il ne sera jamais complètement logique.
No matter which language we use, it can never be fully logical.
Et donc, lui aussi, il sera imparfait.
Thus, it too must be imperfect.
Et qu'il fallait clairement séparer les faits de l'éthique.
Second, he insisted we must clearly separate facts from ethics.
Parce que pour les jugements moraux,
Because when it comes to moral judgments,
il n'y a pas de méthode universelle pour départager le bon et le mauvais.
there is no universal method to distinguish right from wrong.
Et on retourne sur le principe de la guillotine de Hume.
This brings us back to Hume’s “guillotine” principle.
Le langage est ce qu'on utilise pour décrire la réalité,
Language is what we use to describe reality,
ce qui doit nous conduire à la prudence.
which should therefore prompt us to exercise caution.
Raison pour laquelle des philosophes comme Russell ont voulu créer un langage qui
That’s why philosophers like Russell tried to create a language
serait logiquement parfait.
that would be logically perfect.
Mais comme avec Gödel, cette ambition de la perfection a pris fin.
Yet, just as with Gödel, this ambition for perfection ultimately came to an end.
Les scientifiques prennent un temps considérable à définir leurs termes pour cette
For this reason, scientists spend considerable time defining their terms:
raison. On va préciser un maximum ce qu'on veut dire,
We strive to specify as precisely as possible what we mean,
parce que si on se contentait d'un mot,
because if we settled for just one word,
chacun aurait une image différente en tête. On ne peut pas s'en contenter si on veut
each person would picture something different.
être constructif.
We cannot settle for that if we want to be constructive.
C'est d'ailleurs une tendance qu'on trouve assez bien chez les philosophes.
This is actually a tendency commonly found among philosophers.
Comme quoi l'esprit critique, ça dépasse bien la science.
Thus, critical thinking clearly extends well beyond science.
En science, on ne cherche plus la vérité,
In science, we no longer seek absolute truth,
mais la meilleure approximation de la réalité, le meilleur modèle possible.
but rather the best possible approximation of reality—the most effective model.
Et bien sûr, on doit bien faire attention à ne pas confondre la carte avec la
Of course, we must be especially careful not to confuse the map with reality,
réalité, le modèle mathématique avec la réalité infiniment complexe.
nor the mathematical model with infinitely complex reality itself.
Et puisqu'on en est à parler de science,
Now that we’re speaking of science,
Karl Popper était un épistémologue.
Karl Popper was a philosopher of science.
C'est une discipline qui réfléchit aux méthodes,
It’s a discipline that reflects on research methods,
pour qu'elles soient plus efficaces et plus objectives.
aiming to make them more effective and more objective.
Et Popper cherchait à trouver le critère de la scientificité,
Popper sought to identify the criterion for scientific status—
le critère pour être science.
the essential criterion that makes something truly scientific.
Oui, rien que ça.
Yes—nothing less than that.
Parce qu'on est arrivé dans une époque où la science s'était séparée de la religion,
By then, science had separated from religion,
où elle a acquis ses lettres de noblesse.
and had earned its own distinguished standing.
Mais c'est là que des disciplines ont commencé à parler comme les discours
Yet precisely at this time, certain disciplines began imitating scientific language,
scientifiques pour faire plus sérieux.
to appear more serious and credible.
Ouais c'est comme dans les pubs où ils disent" telle lessive lave mieux,
Yeah—like in ads claiming, “Such-and-such detergent cleans better,
c'est scientifiquement prouvé".
scientifically proven.”
Popper a donc proposé un principe de scientificité.
Popper therefore proposed a principle of scientificity.
Pour être scientifique, une théorie doit être réfutable.
For a theory to be scientific, it must be falsifiable.
Si un domaine de la pensée produit des théories qui sont réfutables,
If a field of thought produces theories that are falsifiable,
et qui cherchent à trouver l'erreur dans la théorie pour pouvoir constamment la
and actively seeks errors in those theories to continually revise and improve them,
reformuler et l'améliorer, là on peut qualifier ce domaine de scientifique.
then that field may rightly be called scientific.