Talk:Carroll Paradox
Jump to navigation
Jump to search
The statement of this needs to be rewritten.
The source of this paradox is the assumption of modus ponens without having included it as an axiom (or something else axiomatic from which MP itself can be derived).
As the current impementation of our logical axioms stands in ProofWiki, there is no paradox. --prime mover 00:41, 10 November 2011 (CST)