Reading Feferman & Feferman 'Alfred Tarski: life and logic', I've come across this passage (p.79) that I hope a logician would explain a bit further:
"Russell had found a fundamental inconsistency in Frege's system; to avoid contradictions and repair the program, in Principia Mathematica he introduced complicated restrictions on the form of its basic principles."
[it's this next sentence that provokes my Q:]
"But mathematics could no longer be reduced to logic when restricted in that way and so, to make up for the loss, Russell added some assumptions that were not clearly logical. This step then raised the question of whether Russell's repair of Frege's system could still be counted as fulfilling the logicist program; Russell, optimistically, believed that it did."
#Tarski #Russell #PrincipiaMathematica







