ЗАМЕЧАНИЯ О ТЕОРИИ ТИПОВ В СЕМАНТИКЕ ПРОПОЗИЦИОНАЛЬНЫХ УСТАНОВОК

  • Олег Анатольевич Доманов Институт философии и права СО РАН
Ключевые слова: теория типов, теоретико-типовая семантика, пропозициональные установки, П.Мартин-Лёв, А.Ранта

Аннотация

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

Скачивания

Данные скачивания пока не доступны.

Литература

Cooper R., Ginzburg J. Type Theory with Records for Natural Language Semantics, in: The Handbook of Contemporary Semantic Theory. Wiley, 2015, pp. 376-407.

Edelberg, W. A Perspectivalist Semantics for the Attitudes, Noûs, 1995, vol. 29, no. 3, pp. 316-342.

Kaplan, D. Quantifying In, Synthese, 1968, vol. 19, no. 1⁄2, pp. 178-214.

Martin-Löf, P. Truth of a Proposition, Evidence of a Judgement, Validity of a Proof, Synthese, 1987, vol. 73, pp. 407-420.

Martin-Löf, P. On the Meanings of the Logical Constants and the Justifications of the Logical Laws, Nordic Journal of Philosophical Logic, 1996, vol. 1, no. 1, pp. 11-60.

Ranta, A. Type-theoretical grammar. Oxford: Clarendon Press, 1994. 226 pp.

Shulman, M. Homotopy Type Theory: A Synthetic Approach to Higher Equalities, in: Categories for the Working Philosopher. Oxford: Oxford University Press, 2017, pp. 36-57.
Опубликован
2019-03-21
Как цитировать
Доманов О. А. ЗАМЕЧАНИЯ О ТЕОРИИ ТИПОВ В СЕМАНТИКЕ ПРОПОЗИЦИОНАЛЬНЫХ УСТАНОВОК // Эпистемология и философия науки. 2019. Т. 55. № 4. С. 62–67.