Без заголовка

Два ответа: 1. Да, есть язык, которым описывается прагматика (если это формальная прагматика, то есть ее описывающий язык -- так же, как формальный синтаксис описывается каким-то языком типа древней нотации Бэкуса-Наура, и формальная семантика описывается каким-то языком типа логик. Но вот какой это язык я пока не понимаю, а логики мне намекают, что тоже логики -- тольо современные. У меня есть также идея, что современный подход к парсингу, где описывается одновременно pattern matching и rules что делать при нахождении паттернов -- parsing expression grammar -- это как раз и есть начальные заходы на такую прагматику, причем в связке с синтаксисом, но не понимаю, как там с семантикой. Но это нужно обсуждать с современными логиками, конечно, а не только программистами). 2. Поскольку логика и онтология, а также логика и прагматика стремительно скрещиваются, то можно аккуратно говорить об онтологическом статусе прагматических высказываний. И таких работ я уже несколько нашёл, но еще с ними не разбирался (тот же generative realism, помянутый в постинге). Хочу заметить, что не могу еще бегло отвечать на эти вопросы, я совсем недавно этой темой занимаюсь.