НОВАЯ АНАЛИТИЧЕСКАЯ ФИЛОСОФИЯ: КОММЕНТАРИЙ К СТАТЬЕ О. А. ДОМАНОВА
Ключевые слова:
теория типов, семантика, квантификация, аналитическая философия
Аннотация
Статья представляет собой комментарий на статью О. А. Доманова, посвящённую использованию современной теории типов для анализа квантификации в непрозрачных контекстах. В статье коротко указываются недавние попытки использования теории типов для решения ряда философских проблем. В статье высказывается мнение о том, что использование теории типов, имеющей ряд существенных преимуществ перед классической логикой и теорией множеств, представляет собой весьма перспективное направление разработки философских проблем в духе аналитической философии. Кроме того, в статье указывается ряд моментов, на которые хотелось бы получить разъяснения автора комментируемой статьи.
Скачивания
Данные скачивания пока недоступны.
Литература
Awodey, S. "Structuralism, Invariance, and Univalence", Philosophia Mathematica, 2014, vol. 22, no. 1, pp. 1-11.
Bencmüller, C., Paleo, B. W. "Automating Godel’s Ontological Proof of God’s Existence with Higher-order Automated Theorem Provers", in: Shaub, T. et al. (eds.). ECAI 2014 -21st European Conference on Artificial Intelligence. Prague: IOS Press, pp. 93-98.
Corfield, D. "Expressing „The Structure of" in Homotopy Type Theory", Synthese. forthcoming.
Dummett, M. "Truth", in: Dummett, M. Truth and Other Enigmas. Cambridge, Mass.: Cambridge University Press, 1978, pp. 1-24.
Lamberov, L.D. "Osnovaniya matematiki: teoriya mnozhestv vs. teoriya tipov" , Filosofiya nauki -Philosophy of Science, 2017, vol. 72, no. 1, pp. 41-60.
Russell, B. Our Knowledge of the External World. Chicago: The Open Court, 1915. 245 pp.
Shulman, N. "Homotopy Type Theory: A Synthetic Approach to Higher Equalities", in: Landry, E. (ed.). Categories for the Working Philosopher. Oxford: Oxford University Press, forthcoming.
Univalent Foundations Program, The. Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced Study, 2013.
Bencmüller, C., Paleo, B. W. "Automating Godel’s Ontological Proof of God’s Existence with Higher-order Automated Theorem Provers", in: Shaub, T. et al. (eds.). ECAI 2014 -21st European Conference on Artificial Intelligence. Prague: IOS Press, pp. 93-98.
Corfield, D. "Expressing „The Structure of" in Homotopy Type Theory", Synthese. forthcoming.
Dummett, M. "Truth", in: Dummett, M. Truth and Other Enigmas. Cambridge, Mass.: Cambridge University Press, 1978, pp. 1-24.
Lamberov, L.D. "Osnovaniya matematiki: teoriya mnozhestv vs. teoriya tipov" , Filosofiya nauki -Philosophy of Science, 2017, vol. 72, no. 1, pp. 41-60.
Russell, B. Our Knowledge of the External World. Chicago: The Open Court, 1915. 245 pp.
Shulman, N. "Homotopy Type Theory: A Synthetic Approach to Higher Equalities", in: Landry, E. (ed.). Categories for the Working Philosopher. Oxford: Oxford University Press, forthcoming.
Univalent Foundations Program, The. Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced Study, 2013.
Опубликован
2019-03-21
Как цитировать
Ламберов Л. Д. НОВАЯ АНАЛИТИЧЕСКАЯ ФИЛОСОФИЯ: КОММЕНТАРИЙ К СТАТЬЕ О. А. ДОМАНОВА // Эпистемология и философия науки. 2019. Т. 55. № 4. С. 48-52.
Раздел
Panel Discussion
