Доманов, О. А. Форма и формальные подходы в истории философии и современности

Авторы

  • Олег Анатольевич Доманов Института философии и права СО РАН

DOI:

https://doi.org/10.47850/RL.2020.1.2.52-59

Ключевые слова:

история философии, формальные подходы, теория типов, теория моделей

Аннотация

Понятие формы и связанные с ним относятся к важнейшим онтологическим понятиям Античности и Средневековья. Современные формальные подходы в логике, семантике и др. зависят от этой проблематики, но редко делают её специальным предметом исследования. В статье описывается, как средневековые дискуссии о понятии формы и сущности отражаются в современных подходах к формализации, выражаясь в противостоянии
субстанциалистской и конструктивистской парадигм.

Биография автора

Олег Анатольевич Доманов, Института философии и права СО РАН

кандидат философских наук, доцент, старший научный сотрудник Института философии и права СО РАН

Библиографические ссылки

Черняков, А. Г. (2001). Онтология времени. Бытие и время в философии Аристотеля, Гуссерля

и Хайдеггера. СПб.: Высшая религиозно-философская школа. 460 с.

Chernyakov, A. G. (2001). The Ontology of Time: Being and Time in the Philosophies of Aristotle, Husserl

and Heidegger. St. Petersburg. St. Petersburg School of Religion and Philosophy. 460 pp. (In Russ)

Benacerraf, P. (1965). What Numbers Could not Be. The Philosophical Review. Vol. 74. no. 1. pp. 47-73.

DOI: 10.2307/2183530.

Cross, R. (2013). Duns Scotus on Essence and Existence. In Pasnau, R. (ed.). Oxford Studies in Medieval

Philosophy. Vol. 1. Oxford. OUP. pp. 172-204. DOI: 10.1093/acprof:oso/9780199661848.003.0007.

Dummett, M. A. E. (1975). What is a Theory of Meaning? In Guttenplan, S. (ed.). Mind and Language.

Oxford. Oxford University Press. pp. 97-138.

Haaparanta, L. (1986). On Frege’s Concept of Being. In Knuuttila, S. and Hintikka, J. (eds.). The Logic

of Being: Historical Studies. Synthese Historical Library 28. Springer Netherlands. pp. 269-290.

Martin-Löf, P. (1984). An Intuitionistic Type Theory. Notes by Giovanni Sambin of a series of lectures

given in Padua, June 1980. Studies in Proof Theory. Napoli. Bibliopolis. 91 pp.

Martin-Löf, P. (1987). Truth of a Proposition, Evidence of a Judgement, Validity of a Proof. Synthese.

Vol. 73. pp. 407-420. DOI: 10.1007/BF00484985.

McLarty, C. (1993). Numbers Can Be Just What They Have To. Noûs. Vol. 27. no. 4. pp. 487-498. DOI:

2307/2215789. JSTOR: 2215789.

Piecha, T. and Schroeder-Heister, P. (eds.) (2015). Advances in Proof-Theoretic Semantics. Trends in

Logic 43. Springer. pp. VI, 283. DOI: 10.1007/978-3-319-22686-6.

Загрузки

Опубликован

2020-12-10

Как цитировать

Доманов, О. А. (2020). Доманов, О. А. Форма и формальные подходы в истории философии и современности. Respublica Literaria, 1(2), 52-59. https://doi.org/10.47850/RL.2020.1.2.52-59