“When artificial intelligence researchers attempted to capture everyday statements of inference using classical logic they began to realize this was a difficult if not impossible task.”
I hope nobody’s doing this anymore. It’s obviously impossible. “Everyday statements of inference”, whatever that might mean, are not exclusively statements of first-order logic, because Russell’s paradox is simple enough to be formulated by talking about barbers. The liar paradox is also expressible with simple, practical language.
Commenting the article:
“When artificial intelligence researchers attempted to capture everyday statements of inference using classical logic they began to realize this was a difficult if not impossible task.”
I hope nobody’s doing this anymore. It’s obviously impossible. “Everyday statements of inference”, whatever that might mean, are not exclusively statements of first-order logic, because Russell’s paradox is simple enough to be formulated by talking about barbers. The liar paradox is also expressible with simple, practical language.