It may or may not be relevant, but when we were discussing this offline the other day, you made a convincing case for those being a different type of axiom problem from the principle of induction. The principle of induction (as I think we all in fact agree) is inherently self-referential and any attempt to justify it assumes that it's true. (Whether or not that makes it inherently unjustifiable depends on one's definition of 'justifable', but that it, I think, a separate issue).
That's not true of the others, so I suspect that ciphergoth may not have the same problem with them.
no subject
Date: 2009-01-09 04:19 pm (UTC)It may or may not be relevant, but when we were discussing this offline the other day, you made a convincing case for those being a different type of axiom problem from the principle of induction. The principle of induction (as I think we all in fact agree) is inherently self-referential and any attempt to justify it assumes that it's true. (Whether or not that makes it inherently unjustifiable depends on one's definition of 'justifable', but that it, I think, a separate issue).
That's not true of the others, so I suspect that