Опыт формализации прагматики смыслатезисы доклада