ЗАМЕЧАНИЯ О ТЕОРИИ ТИПОВ В СЕМАНТИКЕ ПРОПОЗИЦИОНАЛЬНЫХ УСТАНОВОК
Ключевые слова:
теория типов, теоретико-типовая семантика, пропозициональные установки, П.Мартин-Лёв, А.РантаАннотация
Статья содержит краткие комментарии по вопросам, затронутым в репликах на статью «Теория типов в семантике пропозициональных установок». Я соглашаюсь, что исходная статья не содержит новых методов решения проблем пропозициональных установок. Её целью является выработка способа их более удобного и эффективного описания. Теория типов обладает большей выразительностью по сравнению со многими традиционными подходами. Я соглашаюсь также, что связь предлагаемого подхода с операциями эпистемического субъекта требует прояснения, однако это свойство выбранного подхода, но не теории Мартин-Лёфа самой по себе. Что касается интуиционизма теории типов, то она не обязана быть интуиционистской по своей логике, однако для семантики важно, чтобы она сохраняла конструктивистский характер. Отношения теории типов и интенсиональной логики также требуют прояснения. По-видимому, она скорее близка к ситуационной семантике. Критика Е. Борисова и А. Родина вскрывает проблемы понятия функции связи контекстов. Важнейшим результатом обсуждения стало понимание того, что вместо этой функции более корректно использовать средства, подобные отношению двойников.
