Principia Mathematica do *56

Recenzie čitateľov

V recenziách na Principia Mathematica sa zdôrazňuje jej prelomový vplyv v oblasti matematiky, logiky a filozofie, pričom sa poukazuje na jej historický význam ako základného textu, ktorý formoval modernú logiku a teóriu množín. Poukazuje sa však aj na to, že tento text má v súčasnosti prevažne historický význam a jeho archaický zápis môže byť pre súčasné publikum ťažko čitateľný.

⬤ Veľký historický význam pre rozvoj modernej logiky a teórie množín.
⬤ Vplyvné filozofické poznatky a argumenty sú stále relevantné pre súčasné diskusie.
⬤ Obsahuje prelomové myšlienky, ako je Russellova teória deskripcií a dôkladné spracovanie vzťahov.
⬤ Vyvoláva silné filozofické úvahy o matematike a logike.

⬤ Notácia je náročná pre tých, ktorí sa učili logiku po roku 1960, čo ju robí menej prístupnou.
⬤ Archaické písmo a nejasné cesty medzi tvrdeniami.
⬤ Významné filozofické zmätky a pravdepodobne chybné axiomatické voľby.
⬤ Chýbajú moderné pojmy ako teória modelov alebo metateória, čo vedie niektorých k tomu, že ju považujú skôr za historickú slepú uličku než za praktickú príručku.

(na základe 3 čitateľských recenzií)

Pôvodný názov:

Principia Mathematica to *56

Obsah knihy:

Veľká trojzväzková Principia Mathematica (CUP 1927) je zaslúžene najslávnejším dielom o základoch matematiky, aké bolo kedy napísané.

Jeho cieľom je odvodiť všetky základné tvrdenia logiky a matematiky z malého počtu logických predpokladov a prvotných myšlienok a stanoviť, že matematika je vývojom logiky. Tento skrátený text I.

dielu obsahuje materiál, ktorý je najdôležitejší pre úvodné štúdium logiky a filozofie matematiky (pokročilejší študenti sa samozrejme budú chcieť obrátiť na kompletné vydanie). Obsahuje celú úvodnú časť (v ktorej autori zdôvodňujú filozofické stanovisko, ktoré zaujali na začiatku svojej práce), celú časť I (v ktorej sú stanovené logické vlastnosti propozícií, propozičných funkcií, tried a vzťahov), časť A časti II (zaoberajúcu sa jednotkovými triedami a dvojicami) a dodatky A a C (v ktorých sa ďalej rozvíja argumentácia o teórii dedukcie a pravdivostných funkciách).