Hacker News new | past | comments | ask | show | jobs | submit login

Hi Mike!

The word "inferential" has to do with being able to be logically inferred, that is, deduced.

Russell's Principia Mathematica specified that each proposition must have an order to block paradoxes such as Russell's paradox.

See the article linked above for further explanation.




That doesn't explain why there must be such a restriction.




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: