> костылей формальной семантики, от натужности моделей анализа дискурса, от дебрей лексикографии
Нооо Вишенкаа... Вы с Матемагом просто о разных вещах говорите. Все эти сложности по-прежнему не имеют отношения к принципиальной неформализуемости. Даже если человечество никогда не осилит формализовать естественные языки, даже если для этого требуется вычислительное время и пространство, превосходящее возраст и размеры вселенной, это по-прежнему не имеет отношения к принципиальной неформализуемости.
Ну, к теоретической. В том ее понимании, которое сейчас есть в матлогике.