Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [principia-mathematica]

The tag has no usage guidance.

2
votes
1answer
96 views

Why is ZFC not as susceptible to Gödel's incompleteness as was the Principia Mathematica?

So, from what little I have read (such as this answer), it appears to be that one reason why the program of Logicism, as laid out in the Principia Mathematica, failed was that its goals (of finding a ...
2
votes
4answers
759 views

In the construction of the Theory of Types, by what principle is “Socrates is a man is a man” judged nonsense?

While explaining why a function cannot take itself as an argument, I realize that the vicious-circle principle says nothing about why a function cannot take one of its values as argument. The ...
5
votes
1answer
504 views

What do logicists mean when they try to “reduce mathematics to logic”?

I've read a lot about Russell and other Logicism advocates and their trial to reduce math to logic. But what does that mean? We know that all known mathematics can be reduced to Set theory, is that ...
5
votes
1answer
169 views

What is the “intended project” in Appendix B of Principia Mathematica?

In Linsky's The Evolution of Principia Mathematica it is written, Chapter 6 studies in detail the content of Appendix B, On induction. The appendix consists of a technical proof that even without ...