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