B2 · Episode 34 · 4:56
The Logical Foundations of Knowledge
This episode explores how Frege, Russell, Wittgenstein, and Gödel revolutionized our understanding of knowledge through formal logic, linguistic analysis, and the discovery of fundamental limits to provability and definition.
Source：Sismique · License：CC BY 3.0
Transcript
Son innovation majeure, c'est l'introduction de quantificateurs et de variables,
His major innovation is the introduction of quantifiers and variables,
qui permettent d'exprimer des idées complexes avec une précision sans précédent.
which allows us to express complex ideas with unprecedented precision.
Par un exemple, la phrase tous les hommes sont mortels, dans
For example, in traditional logic,
la logique traditionnelle, c'est difficile à formaliser.
the sentence ‘All humans are mortal’ is difficult to formalize.
C'est une phrase.
This is a sentence,
mais avec la logique de frege, on peut l'écrire comme pour tout x,
but with Frege’s logic, we can write it as: for every x,
si x est un homme, alors x est mortel.
if x is a human, then x is mortal.
Vous voyez la formalisation.
You see this formalization.
Donc ça permet d'analyser et de manipuler des raisonnements complexes avec une
Thus, it enables us to analyze and manipulate
rigueur nouvelle.
complex reasoning with a new level of rigor.
On ne se contente pas de phrases.
We no longer settle for mere sentences.
bertrand russell pousse lui cette idée un petit peu plus loin
Bertrand Russell pushes this idea a bit further;
dans ses principia mathematica il tente de montrer que toutes les mathématiques
in his *Principia Mathematica*, he attempts to show that all mathematics
peuvent être dérivées de la logique.
can be derived from logic.
C'est une sorte de tentative de donner aux maths,
This is an attempt to provide mathematics
et par extension à toute connaissance qui s'appuie sur les maths,
— and, by extension, all knowledge relying on mathematics —
des fondations inébranlables.
with unshakable foundations.
Par exemple, Russell montre comment on peut définir le nombre deux uniquement en
For instance, Russell shows how the number two can be defined
termes logiques, sans faire appel à aucune intuition mathématique.
solely in logical terms, without appealing to any mathematical intuition.
Alors je vous épargne le détail,
I’ll spare you the details,
mais c'est comme si on construisait tout l'édifice des mathématiques à partir de
but it’s as if we built the entire edifice of mathematics
briques logiques élémentaires.
from elementary logical building blocks.
Et pour l'épistémologie, c'est capital, puisque si Russell a raison,
And this is crucial for epistemology, because if Russell is right,
nous aurions alors une base solide pour construire toute notre connaissance du
we would then have a solid foundation
monde. Et ces travaux ouvrent la voie à la philosophie analytique,
for constructing all our knowledge of the world. These works pave the way for analytic philosophy,
qui va dominer la pensée anglo saxonne au XXe siècle.
which dominated Anglo-Saxon thought throughout the 20th century.
Alors quelle en est l'idée centrale?
So, what is its central idea?
De nombreux problèmes philosophiques peuvent être résolus ou dissous,
Many philosophical problems can be solved or dissolved,
c'est- à- dire qu'on considère que ce sont des faux problèmes,
that is, they are regarded as pseudo-problems;
par une analyse rigoureuse du langage et des concepts.
this is achieved through rigorous analysis of language and concepts.
Par exemple, au lieu de se demander« Qu'est- ce que la justice? »,
For example, instead of asking, ‘What is justice?’
on pourrait analyser comment nous utilisons le mot« juste» dans différents
we could analyze how we use the word ‘just’ in different contexts;
contextes. Et cette approche change radicalement notre façon d'aborder les questions
and this approach radically changes how we address philosophical questions,
philosophiques et, par extension,
and, by extension,
notre compréhension de la connaissance elle- même. Ludwig Wittgenstein poursuit
our understanding of knowledge itself. Ludwig Wittgenstein continues this reflection on language.
cette réflexion sur le langage.
Wittgenstein further develops this line of thought.
Wittgenstein affirme dans un premier temps, puisque il y a deux Wittgenstein,
Wittgenstein first argues—since he has two distinct phases of thought,
on va parler du premier, que les limites de notre langage sont les limites de notre
we’ll focus on the first—that the limits of our language are the limits of our world;
monde. Plus tard, il développe l'idée que le sens des mots réside dans leur usage.
later, he develops the idea that the meaning of words lies in their use.
Compliqué encore une fois.
Again, this is complicated.
Alors on va prendre l'exemple du mot je, J- E- U, un jeu.
So let’s take the word ‘game’—spelled J-E-U in French: jeu.
wittgenstein montre qu'il n'y a pas une définition unique qui englobe tous les jeux
Wittgenstein shows there is no single definition covering all games;
mais plutôt un air de famille entre différentes activités que nous appelons jeux.
rather, different activities we call ‘games’ share only a family resemblance.
Cette idée a des implications pour l'épistémologie aussi,
This idea also has implications for epistemology;
puisqu'elle suggère que nos connaissances sont profondément façonnées par le langage
it suggests that our knowledge is deeply shaped by the language we use;
que nous utilisons et que la quête de définitions précises et universelles peut être
and the quest for precise, universal definitions may be misleading;
trompeuse. Tout ça encore ça nous invite une fois de plus à réfléchir aux limites de
All this again invites us to reflect on
notre connaissance et à comment on
the limits of our knowledge, and on
peut faire mieux.
how we might do better.
Donc tout ce beau monde
So all these brilliant thinkers
est en quête de certitudes logiques, et puis ça progresse bien,
are seeking logical certainty—and making good progress,
ça progresse rapidement même,
indeed, rapid progress;
jusqu'à ce que Kurt Gödel vienne mettre un petit grain de sable avec son théorème
until, in 1931, Kurt Gödel introduces a small grain of sand with his incompleteness theorem,
d'incomplétude, publié en 1931.
throwing a small wrench into the works.
gödel démontre qu'il existe des limites fondamentales à ce que nous pouvons prouver,
Gödel demonstrates that there are fundamental limits to what we can prove,
même en mathématiques.
even within mathematics.
Concrètement, il montre que dans tout système mathématique suffisamment complexe
Concretely, he shows that in any mathematical system complex enough
pour inclure l'arithmétique,
to include arithmetic,
il y aura toujours des énoncés vrais qui ne peuvent pas être prouvés à l'intérieur
there will always be true statements that cannot be proven within
de ce système.
that system.
C'est comme si, même dans le domaine le plus rigoureux de la pensée humaine,
It’s as if, even in the most rigorous domain of human thought—
les maths, il restait toujours et inévitablement une part d'incertitude
mathematics—there remains inevitably an irreducible element of uncertainty.
irréductible. Et donc les implications philosophiques là encore sont très
And so, the philosophical implications are again very significant,
importantes puisque il suggère qu'il y aura toujours des vérités mathématiques qui
since it suggests that there will always be mathematical truths
échappent à notre capacité de preuve formelle.
beyond our capacity for formal proof.
Et donc ça, ça remet en question l'idée d'une connaissance mathématique complète et
And so, this challenges the idea of mathematical knowledge as complete and definitive.
définitive. Et certains ont même étendu ces implications au delà des maths,
And some have even extended these implications beyond mathematics,
arguant qu'elles pointent vers les limites fondamentales de la connaissance humaine
arguing that they point to fundamental limits of human knowledge in general.
en général. Alors ces développements en logique et en philosophie du langage ont
These developments in logic and the philosophy of language
profondément transformé notre compréhension des choses.
have profoundly transformed our understanding of things.
Ils nous ont donné de nouveaux outils pour analyser nos raisonnements,
They have given us new tools to analyze our reasoning,
mais ils nous ont aussi montré les limites inhérentes à nos systèmes de pensée.
but they have also shown us the inherent limits of our systems of thought.
Et ça c'est nouveau.
And this is something new.
La quête de certitude absolue se révèle être illusoire,
The quest for absolute certainty turns out to be illusory,
mais on a gagné une compréhension plus fine et plus nuancée de la nature de la
yet we have gained a finer, more nuanced understanding
connaissance.
of the nature of knowledge.