Anotace
This course introduces the main ideas of logical analysis and foundations of mathematics as they are proposed in Bertrand Russell's and Alfred N. Whitehead's Principia Mathematica.
The course focuses on practical demonstration of three-step analysis (Peano arithmetic - Theory of classes - Logic) rather than on overall review of the philosophy of mathematics.