Posted: May 17, 2012 8:41 pm
by Thommo
amkerman wrote:I hope you can understand why classical logic can not help with shrunks argument as he is using a term "square circle" which is an empty set.

Why are you avoiding the question?

Can you agree that "existence is not a predicate" is categorically a true statement about classical logic then I assume, as that is definitively shown in them? What logic are you working from?

(and no, there's absolutely no problem with defining square circles in classical logic, they are defined in classical logic)