В голову пришла очевидная (педагогическая) мысль:
Если вам говорят, что можно ограничиться семантикой естественного (да и обыденного) языка, и, при этом, не учитывать формальный, то приведите следующую структуру размышления.

Допустим, вероятность победы в лотерее составляет один к десяти тысяч в одном случае, и один к миллиарду в другом. Естественный язык укажет, что вероятность и там, и там предельно низкая. Для мышления в сфере русского, английского, французского языков отличий нет.

Однако тут интуиция здравого смысла может подвести. Нефункциональные (т.е. неиспользующиеся в обыденном, ненаучном мышлыении) математические единицы (например, фреймы, логарифмы, даже числы в виде больше условных десяти тысяч) удаляются из нашего понимания отношений предметов и структур. И без должной онтологии (следственно и семантикой, которая базируется на правилах вывода метатеоретического каркаса) мы не сможем продвинуться дальше условной арифметики.

Потому естественный язык не может претендовать на тотальную дескрипцию, которую нам хотят продать некоторые философы.