Posted: May 17, 2012 3:01 pm
How do you know, in this example, that he can't exist? A premise is it's own entity in a logic statement. It's validity as a premise is not contingent upon any other premises. That's how deductive logic works.