Bernard Bolzano
Les vérités existent en soi, que quelqu’un les pense ou non, et la logique étudie comment elles se déduisent les unes des autres.
Repères
Prêtre et mathématicien de Prague : les propositions et les vérités existent « en soi », indépendamment du fait d’être pensées – un précurseur de la logique moderne.
Idées clés
- Propositions en soi
- Conséquence logique
- Paradoxes de l’infini
Ouvrir dans la carte stellaire
Influence
Influences reçues de 2
Aristote
influencé par
Commentators trace Bolzano’s objective relation of ground and consequence (Abfolge) among truths to Aristotle’s demonstrative science; unlike Aristotle, he admitted infinite chains of grounds (Wissenschaftslehre, 1837). B. Bolzano, Wissenschaftslehre (1837); S. Roski, Bolzano’s Conception of Grounding (2017); SEP “Bernard Bolzano”
Attestation: brouillon IA
Aristote › 384–322 av. J.-C.
Gottfried Wilhelm Leibniz
influencé par
Bolzano, called ‘the Bohemian Leibniz’ in his lifetime, developed a monadology of simple substances which, unlike Leibniz’s monads, have location in space (Athanasia, 1827). B. Bolzano, Athanasia oder Gründe für die Unsterblichkeit der Seele (1827); P. Simons, “Bolzano’s Monadology”; SEP “Bernard Bolzano”
Attestation: brouillon IA
Gottfried Wilhelm Leibniz › 1646–1716
A influencé 1
Edmund Husserl
a influencé ✓
Husserl took from Bolzano’s Wissenschaftslehre (1837) the propositions and truths in themselves, ideal unities independent of thinking, for his critique of psychologism (Prolegomena, 1900). E. Husserl, Logische Untersuchungen I: Prolegomena zur reinen Logik (1900); B. Bolzano, Wissenschaftslehre (1837); SEP “Bernard Bolzano”
Attestation: aussi dans Wikidata · Wikidata
Edmund Husserl › 1859–1938
Critique
Critiques adressées à 1
Emmanuel Kant
a critiqué
Bolzano rejected Kant’s grounding of mathematics in pure intuitions of space and time and sought proofs from concepts alone (Beyträge zu einer begründeteren Darstellung der Mathematik, 1810). B. Bolzano, Beyträge zu einer begründeteren Darstellung der Mathematik (1810), appendix “Über die Kantische Lehre von der Construction der Begriffe durch Anschauungen”; Wissenschaftslehre (1837); SEP “Bernard Bolzano”
Attestation: brouillon IA
Emmanuel Kant › 1724–1804
Œuvres
Propositions en soi, vérité et conséquence logique – une logique indépendante de la psychologie.
Position
Bolzano sépara la logique de la psychologie. Une proposition en soi est ce qui est dit ou pensé, et non l’acte de penser : elle est vraie ou fausse que quiconque la saisisse ou non, et les vérités en soi forment le contenu objectif de toute science. Sur cette base, il définit la conséquence logique en faisant varier systématiquement les parties des propositions, anticipant des idées que Tarski rendit plus tard précises. En mathématicien, il donna des définitions rigoureuses de la continuité et démontra des théorèmes centraux de l’analyse, et ses Paradoxes de l’infini préparèrent la voie à la théorie des ensembles de Cantor. En grande partie ignoré de son vivant, il influença plus tard Husserl et l’école polonaise de logique.
Vie et contexte
Bernard Bolzano naquit à Prague en 1781, fils d’un marchand d’art italien et d’une mère de langue allemande. Il étudia les mathématiques et la théologie, fut ordonné prêtre en 1805 et nommé à la nouvelle chaire de science de la religion de Prague. Soupçonné de rationalisme par les autorités de Vienne, il fut révoqué en 1819 et interdit de publication. Il vécut en grande partie chez des amis à la campagne et mourut à Prague en 1848.
Autres œuvres principales
- Rein analytischer Beweis (traduction propre : « Démonstration purement analytique », 1817)
- Athanasia, oder Gründe für die Unsterblichkeit der Seele (traduction propre : « Athanasia, ou Raisons de l’immortalité de l’âme », 1827)
- Lehrbuch der Religionswissenschaft (traduction propre : « Manuel de science de la religion », 1834)
- Les Paradoxes de l’infini (1851)
État en novembre 2026 · Sources · Améliorer cette page · Comment Agora est faite