>In principle, First Order Logic and equivalent languages can represent anything that can be represented in natural language

If you include a semantics for supervaluationism (Sorites paradox, Keefe on vagueness)!

Thinking of it, I'd love to train a NN against human responses to '"is this a heap, yes/no?" +/-1 grain, repeat'.