К ТЕОРЕТИКО-ТИПОВОЙ СЕМАНТИКЕ ДОКСИЧЕСКИХ КОНТЕКСТОВ
https://doi.org/10.25205/2541-7517-2018-16-1-33-47
Аннотация
Рассмотрены основные черты теоретико-типовой семантики (Ранта, Мартин-Лёф) и предложена формализация в этой семантике фразы Куайна о Ральфе из статьи «Кванторы и пропозициональные установки». Формализация позволяет избежать проблем квантификации в доксических контекстах, указанных Куайном.
Об авторе
О. А. Доманов
Институт философии и права СО РАН; Новосибирский государственный университет
Россия
Россия
Список литературы
1. Dummett M. A. E. What is a Theory of Meaning? // Mind and Language. Oxford Univ. Press, 1975.
2. Luo Z. Coercive subtyping // Journal of Logic and Computation. 1999. Vol. 9. No. 1. P. 105-130.
3. Luo Z. Formal semantics in modern type theories with coercive subtyping // Linguistics and Philosophy. 2012. Nov. Vol. 35. No. 6. P. 491-513.
4. Martin-Löf P. An intuitionistic type theory: Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980. Napoli: Biliopolis, 1984.
5. Martin-Löf P. An intuitionistic theory of types // Twenty-five years of constructive type theory. New York: Oxford Univ. Press, 1998. P. 127-172.
6. Quine W. Quantifiers and propositional attitudes // Journal of Philosophy. 1956. Vol. 53. Issue 5. P. 177-187.
7. Ranta A. Type-theoretical grammar. Clarendon Press, 1994.
8. Russell B. Mathematical logic as based on the theory of types // American Journal of Mathematics. 1908. Vol. 30. P. 222-262.
9. Schroeder-Heister P. Uniform Proof-Theoretic Semantics for Logical Constants (Abstract) // Journal of Symbolic Logic. 1991. Vol. 56. P. 1142.
Рецензия
Для цитирования:
Доманов О.А. К ТЕОРЕТИКО-ТИПОВОЙ СЕМАНТИКЕ ДОКСИЧЕСКИХ КОНТЕКСТОВ. Сибирский философский журнал. 2018;16(1):33-47. https://doi.org/10.25205/2541-7517-2018-16-1-33-47
For citation:
Domanov O.A. ON THE TYPE-THEORETICAL SEMANTICS OF BELIEF CONTEXTS. Siberian Journal of Philosophy. 2018;16(1):33-47. (In Russ.) https://doi.org/10.25205/2541-7517-2018-16-1-33-47
Просмотров:
155
Послать статью по эл. почте 