Тимофеева М.К. Естественные и формальные языки: логико-философский анализ

Новосибирск: Институт математики СО РАН, 2003. — 200 с.Книга посвящена проблеме определения и сравнения понятий “естественный язык”, “формальный язык”. Критерии такой классификации ищутся в области индивидуального восприятия реальных процессов использования языков. Вместе с тем анализ семиотических характеристик указанных (психологических) процессов носит логико-философский характер. Определения названных классов языков даны в терминах аксиоматических систем.
Рассматриваются прикладные аспекты проблемы, значимые для формализации процессов использования естественных языков
Книга исследует язык в междисциплинарном плане и адресована представителям разных направлений, прежде всего — специалистам в области философии, логики, лингвистики, когнитивных наук, информатики.