Abstract

The article examines the common interpretation of the axiom of reducibility in Principia Mathematica according to which the axiom cannot be considered as logical, which casts doubt on the success of the program of logicism. In particular, the ad hoc character attributed to the reducibility axiom is refuted and its explanatory role in substantiating Russell’s uniform approach to resolving set-theoretic and semantic paradoxes is affirmed. The key emphasis in the explanatory nature of the axiom of reducibility is placed on the intensional interpretation of mathematical discourse.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.