On the brink of a paradox? (Q1100457)

The author reconstructs a second order predicate calculus from the system of Frege's Begriffsschrift, (using Frege's axioms and her own version of his Rules of Inference), then shows that this is equivalent to Robbin's system. The second part of the paper shows that his calculus is consistent. Lastly she considers the question (of van Heijenoort) of whether Frege does invite paradox, especially in his failure to distinguish different universes of discourse for different type of variables. She concludes that ``although the system is a consistent one, the interpretation of the system that is invited by the text does load to Russell's paradox''.