Dzieło · Filozofia analityczna
Principia mathematica
Matematyka wyprowadzona z logiki – twierdzenie, z którego wynika 1+1=2, pojawia się dopiero w *54.43, na stronie 379 pierwszego tomu.
Wprowadzenie
Russell and Whitehead worked on the book for about a decade; its three volumes appeared in 1910, 1912 and 1913, and the authors had to contribute to the printing costs. The aim was logicism: to derive mathematics from a small number of logical axioms and definitions. To avoid the paradox Russell had found in Frege’s system, the book uses a theory of types, which arranges entities and classes in levels, supplemented by the disputed axiom of reducibility. A planned fourth volume on geometry was never written. Its notation, adapted from Peano, shaped modern logic, and Gödel formulated his incompleteness theorems of 1931 for “Principia Mathematica and related systems”.
Czytaj pełny tekst
Wolny pełny tekst, często starsze wydanie lub przekład
Powiązania
Nawiązuje do
- Begriffsschrift1879 · Gottlob Frege
- Podstawy arytmetyki1884 · Gottlob Frege
Podjęte w
- Traktat logiczno-filozoficzny1921 · Ludwig Wittgenstein
- Logiczna budowa świata1928 · Rudolf Carnap
- A Modern Introduction to Logic (Nowoczesne wprowadzenie do logiki)1930 · Susan Stebbing
Odpowiedź w
- Podstawy ogólnej teoryi mnogości I1916 · Stanisław Leśniewski
- O formalnie nierozstrzygalnych zdaniach Principia Mathematica i pokrewnych systemów I1931 · Kurt Gödel
Więcej dzieł: Bertrand Russell
Stan na listopad 2026 · Ulepsz tę stronę · Jak powstaje Agora