Posted: May 17, 2012 9:03 pm
by amkerman
Classical logic requires that each term denotes an existing object.

If square circles are defined as things which can't exist, the statement "if God(exists) then God is a square circle" is false, and the argument is invalid in classical logic from the start.