Abstract

There are expressions in natural language that are challenging for classical logic. I address one of them in this paper. It is an expression affirming two predicates with constants and negating the conjunction of those very predicates with the same constants. It is inconsistent in first-order predicate calculus. My proposal is that a non-axiomatic logic can deal with the expression with no difficulties. Just a few rules and concepts of that logic suffice. Based on the literature, I also resort to relations between certain statements in the non-axiomatic logic and the Stoic conditional.