Problems

Abstract Russell’s attempt to obey the Vicious Circle Principle must lead to the conclusion that there are only countably many propositional functions, but this conflicts with his axiom of reducibility. So we do better to reject the ramified type theory, and thereby dispense with both. The simple ty... View More