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