Its first section offers a paraphrase of Gottlob Frege, explaining the difference between a priori, a posteriori, synthetic, and analytic truths.
Its first section offers a paraphrase of Gottlob Frege, explaining the difference between a priori, a posteriori, synthetic, and analytic truths. This is followed by a lengthy lemma in epistemology which tries to demonstrate that mathematical objects exist, more or less, as Platonic forms. Its final section confesses that the rules given earlier contradict themselves and expresses hope for the resolution, in a perfect axiom set, of one of its coauthors' eponymous semantic paradoxes of self-reference. FTP, name this seminal text in formal logic and early set-theory, authored by Alfred N. Whitehead and Bertrand Russell.
Its first section offers a paraphrase of Gottlob Frege, explaining the difference between a priori, a posteriori, synthetic, and analytic truths.
{Principia Mathematica}