?
Современные формализованные реконструкции Онтологического аргумента (на примере подхода Э. Залты и П. Оппенгеймера)
.
E. Zalta and P. Oppenheimer have created non-modal reading of the Anselm’s argument about the existence of God, The Ontological Argument. The authors have deduced the existence of God from his being. For this purpose, the term "that than which none greater can be conceived" used as a definite description. Through the predicate logic with the descriptions and several special axioms Zalta and Oppenheimer have formalized Anselm’s argument and demonstrate that from a formal point of view, his arguments is quite correct. But if we use as a tool the Theory of abstract objects we obtain the ontological argument, consequence of which is fundamentally different from the conclusion that Anselm has made.
Бурьян В. В., Cherkasov G., Вестник Пермского университета. Философия. Психология. Социология 2023 № 3 С. 404–413
В статье защищается фикционализм в философии математики, а именно утверждение, в соответствиис которым мы можем использовать математические теории и в то же время считать, что они ложны, иматематических объектов не существует. Математические объекты (числа, множества и функции)являются каузально изолированными от нас платоническими сущностями, находящимися внепространства, времени и психики. В связи с этим возникает два вопроса. ...
Added: March 16, 2026
Ковалев Д. Ю., Чебышевский сборник 2025 Т. 26 № 3 С. 113–124
In this paper, an imperative programming language considering some hardware limitations of a computer based on the RV32I instruction set is defined, including its syntax and semantics in a form of Hoare logic. The need for such language comes from the fact that formal proofs conducted for programs in languages not considering hardware limitations cannot ...
Added: November 5, 2025
Навильников Г. Е., HORIZON. Феноменологические исследования 2025 Т. 14 № 1 С. 20–48
This article draws on Husserl’s manuscripts on metaphysics, teleology, and monadology, primarily from Volume XLII of his Collected Works, to reconstruct a version of phenomenological theology and integrate it into contemporary philosophical discussions through a synthesis of poststructuralist and phenomenological approaches. From the poststructuralist perspective, I highlight the interpretation of J. Derrida's recently published course ...
Added: July 14, 2025
Makarova I., Философия. Журнал Высшей школы экономики 2025 Т. 9 № 1 С. 349–393
This publication presents a translation of the third book of Aristotle’s dialogue “On Philosophy” (Περὶ φιλοσοφίας), which was lost in late antiquity and has since been reconstructed, along with an accompanying explanatory introduction. In the third book of “On Philosophy”, Aristotle raises questions about the nature of the soul and the world, as well as ...
Added: May 14, 2025
Ковалев Д. Ю., В кн.: Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: современные проблемы, приложения и проблемы истории Материалы XXIII Международной конференции, посвящённой 80-летию профессора Александра Ивановича Галочкина и 75-летию профессора Владимира Григорьевича Чирского.: Тула: Тульский государственный педагогический университет им. Л.Н. Толстого, 2024. С. 74–78.
В работе определен императивный язык программирования, учитывающий аппаратные ограничения вычислителя с набором инструкций RV32I, заданы его синтаксис и аксиоматическая семантика в виде логики Хоара. Необходимость подобного языка определяется невозможностью напрямую применять формальные доказательства, проведенные для программ на языках, не учитывающих аппаратные ограничения, к транслированному коду, исполняющемуся на реальном аппаратном вычислителе. В то же время, проведение ...
Added: April 28, 2025
Aliyev A., Philosophia 2025 Vol. 53 P. 347–365
According to nihilism, musical works do not exist. Platonism, on the other hand, states that they do exist—qua abstract objects of some sort. Given that denying the existence of musical works is rather counterintuitive, it does not come as a surprise that nihilism is considerably less popular than platonism. This is not to say that ...
Added: April 19, 2025
Vasyukov V. L., В кн.: Эпоха академика В.С. Стёпина.: Мн.: Беларуская навука, 2024. С. 206–219.
Использование абстрактных объектов, как правило, применяемых в науч- ных исследованиях, согласно В.С.Стёпину, приводит к необходимости анализа их внутриязыковых связей и их отношения к практической деятельности. Научная теория получает объективное обоснование только тогда, когда каждый ее абстрактный объект может быть сопоставлен с некоторым реальным фрагментом действительности, исследуемой в теории. Однако между фрагментами объективной реальности, выделенными человеческой ...
Added: December 27, 2024
Otto W. F., Turin: Lindau, 2025.
First published in Germany in 1955 and never translated into Italian, Menschengestalt und Tanz (Human Body and Dance) collects the thoughts of the great German philologist around the phenomenon of dance not so much as a performative act but as an original response of the human body to the wonder of being, to the divine ...
Added: December 16, 2024
Платанова А. С., История философии 2024 Т. 29 № 2 С. 18–28
The category of the meaning of history has long existed in European philosophy as one of its fun-damental themes, which has undergone many collisions during its development. The last centuryhas been marked by a radical revision of approaches to this theme both in the philosophy of his-tory and in the tradition of intellectual history. In ...
Added: November 29, 2024
Brandon C. L., Brick of Knowledge 2020
First published Sat Dec 22, 2007; substantive revision Wed Jul 24, 2013
Gottfried Wilhelm Leibniz (1646–1716) was one of the great thinkers of the seventeenth and eighteenth centuries and is known as the last “universal genius”. He made deep and important contributions to the fields of metaphysics, epistemology, logic, philosophy of religion, as well as mathematics, ...
Added: February 18, 2024
Shannon D., Brick of Knowledge 2022
The expression “continental rationalism” refers to a set of views more or less shared by a number of philosophers active on the European continent during the latter two thirds of the seventeenth century and the beginning of the eighteenth. Rationalism is most often characterized as an epistemological position. On this view, to be a rationalist ...
Added: February 18, 2024
Pirari G., Leússein. Rivista Di Studi Umanistici 2013 Vol. 6 No. 3 P. 163–171
In the Eroici Furori Giordano Bruno originally reworks the myth of Actaeon's hunt, making Ovid's story a symbol of the spiritual path of the heroic subject, who, fired up with love for divine perfection, unleashes his faculties in a tension towards the Transcendent, which it resolves itself into the contemplative revelation of the One as present in ...
Added: February 7, 2024
Springer, 2024.
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021.
The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern ...
Added: January 31, 2024
Shelov-Kovedyaev F. V., В кн.: Вестник ТанаисаТ. 2. Вып. 5.: Ростов н/Д: Альтаир, 2019. С. 203–207.
The paper proposes the new – Φάνητι ἱερε(ί)α “offering to Phanes” – reading of graffito published by the author in 1979. He means now that the deity Phanes is alter ego of revered in Tanais “god highest heeding”, and his name is the calque of Judaic Tetragrammaton of God. ...
Added: October 26, 2022
Champaign: Springer, 2020.
The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. ...
Added: October 20, 2022
Ilyushchenko E., Studia Religiosa Rossica: научный журнал о религии 2021 № 4 С. 55–69
В работе исследуется то, как долгая традиция доказательства бытия Бога выразилась в протестантской теологии на примере
творчества Пауля Тиллиха и Алвина Плантинги. Анализируется главным образом то, какие именно аспекты творчества этих двух мыслителей
можно отнести к доказательству бытия Бога, насколько их можно считать систематичными и завершенными, к какому виду доказательств они
относятся. Для того чтобы основательно говорить о ...
Added: September 18, 2022
Frolov K., Философский журнал 2020 Т. 13 № 1 С. 69–79
The paper aims to analyze some aspects of the interaction between ethics and metaphysics
as separate parts of philosophical knowledge. A good example of this kind of interaction
can be found in case of moral criticism of D. Lewis’s modal realism. The study
has two aims. On the one hand, the author aims to show how effective and ...
Added: December 14, 2021
Obolevitch T., Studies in East European Thought 2021 Vol. 73 P. 155–168
Semyon Frank (1877–1950) opposed the Neo-Kantian School and admitted the real existence of the objects of cognition. He treated ontologism as essential to the entire movement of Russian religious philosophy. For Frank, one can only know about something thanks to the absolute, which exists prior to the knowing subject. Ontologism, affirming the priority of being ...
Added: October 31, 2021