Posted: May 17, 2012 9:23 pm
There are two key types of legal expressions: terms, which intuitively represent objects, and formulas, which intuitively express predicates that can be true or false
http://en.m.wikipedia.org/wiki/Term_(first-order_logic)#section_2
And you are trying to claim that "god" and "square circle" are not terms, but formulas?...
My goodness.