3 ms·
>In principle, First Order Logic and equivalent languages can represent anything that can be represented in natural language If you include a semantics for sup
by rwnspace 8y ago
>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'.