|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Формализованные языки и проблемы логической семантикикнига
- Автор: Смирнова Е.Д.
- Год издания: 1982
- Место издания: Издательство Московского университета Москва
- Объём: 182 страниц
- Аннотация: Книга посвящена систематическому исследованию формализованных языков и выявлению их роли в логике. Особое внимание уделяется разработке теории семантических категорий, распространению её на языки с кванторами и операторами, на базе чего проводится уточнение понятия логической формы. Дается тщательное доказательство основных теорем о выразительных и дедуктивных возможностях формализмов, исследуется философско-методологическое и теоретико-познавательное значение этих теорем. Выдвигается и разрабатывается новый метод анализа интенсиональных контекстов.
- Добавил в систему: Смирнова Елена Дмитриевна