Posted: May 17, 2012 9:03 pm
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.
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.