Другие журналы на сайте ИНТЕЛРОС

Журнальный клуб Интелрос » Эпистемология & философия науки » №4, 2018

Доманов О.А.
Замечания о теории типов в семантике пропозициональных установок
Просмотров: 165

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

Архив журнала
эп№1, 2020№4, 2019№3, 2019№2, 2019№4, 2018№1, 2019№3, 2018№1, 2018№2, 2018№4, 2017№3, 2017№2, 2017№1, 2017№4, 2016№3, 2016№2, 2016№4, 2015№2, 2012№1, 2012№4, 2011№3, 2011№2, 2011№1, 2011№4, 2010№3, 2010№2, 2010№1, 2010№4, 2009№3, 2009№1, 2009
Поддержите нас
Журналы клуба