?
Современные формализованные реконструкции Онтологического аргумента (на примере подхода Э. Залты и П. Оппенгеймера)
.
Э. Залта и П. Оппенгеймер попытались создать свободное от модальных посылок прочтение рассуждения Ансельма Кентерберийского о существовании Бога, которое приводится во II главе Прослогиона. Несмотря на присутствие модальности в оригинальном тексте Ансельма (Нечто, более чего невозможно ничего помыслить), авторы обходят ее, заменяя процесс выведения актуальности Бога из возможности существования Бога на выведение существования Бога из Его бытия. С этой целью выражение «то, больше чего нельзя помыслить» получает роль определенной дескрипции. Используя логику предикатов с дескрипциями и несколькими специальными аксиомами, Залта и Оппенгеймер формализуют рассуждение Ансельма и демонстрируют, что, с формальной точки зрения, аргумент вполне корректен. Если же в качестве инструмента использовать теорию абстрактных объектов Залты и формализовать посылки аргумента так, чтобы они получили истинное прочтение, получим онтологический аргумент, следствие которого принципиально отлично от заключения Ансельма.
Бурьян В. В., Черкасов Г. В., Вестник Пермского университета. Философия. Психология. Социология 2023 № 3 С. 404–413
В статье защищается фикционализм в философии математики, а именно утверждение, в соответствиис которым мы можем использовать математические теории и в то же время считать, что они ложны, иматематических объектов не существует. Математические объекты (числа, множества и функции)являются каузально изолированными от нас платоническими сущностями, находящимися внепространства, времени и психики. В связи с этим возникает два вопроса. ...
Добавлено: 16 марта 2026 г.
Ковалев Д. Ю., Чебышевский сборник 2025 Т. 26 № 3 С. 113–124
В статье определен императивный язык программирования, учитывающий аппаратные ограничения вычислителя с набором инструкций RV32I, заданы его синтаксис и аксиоматическая семантика в виде логики Хоара. Необходимость подобного языка определяется невозможностью напрямую применять формальные доказательства, проведенные для программ на языках, не учитывающих аппаратные ограничения, к транслированному коду, исполняющемуся на реальном аппаратном вычислителе. В то же время проведение ...
Добавлено: 5 ноября 2025 г.
Навильников Г. Е., HORIZON. Феноменологические исследования 2025 Т. 14 № 1 С. 20–48
В настоящей статье на основе рукописей Гуссерля о метафизике, телеологии и монадологии (главным образом, из XLII тома собрания сочинений) реконструируется вариант феноменологической теологии и встраивается в современную полемику посредством интерпретации, сочетающей постструктуралистскую и феноменологическую стратегии. На стороне постструктурализма выступает прочтение, предложенное в недавно опубликованном курсе Ж. Деррида «Феноменология, телеология, теология: Бог Гуссерля», где подчеркивается зависимость ...
Добавлено: 14 июля 2025 г.
Макарова И. В., Философия. Журнал Высшей школы экономики 2025 Т. 9 № 1 С. 349–393
Настоящая публикация представляет собой перевод третьей книги аристотелевского диалога «О философии» (Περὶ φιλοσοφίας), утраченного еще в поздней античности и реконструированного в настоящее время, а также поясняющего введения к нему. В третьей книге «О философии» Аристотель поднимает вопросы о природе души и мира и о том, как возможно познание мира и бога. Все это позволяет наблюдать, ...
Добавлено: 14 мая 2025 г.
Ковалев Д. Ю., В кн.: Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: современные проблемы, приложения и проблемы истории Материалы XXIII Международной конференции, посвящённой 80-летию профессора Александра Ивановича Галочкина и 75-летию профессора Владимира Григорьевича Чирского.: Тула: Тульский государственный педагогический университет им. Л.Н. Толстого, 2024. С. 74–78.
В работе определен императивный язык программирования, учитывающий аппаратные ограничения вычислителя с набором инструкций RV32I, заданы его синтаксис и аксиоматическая семантика в виде логики Хоара. Необходимость подобного языка определяется невозможностью напрямую применять формальные доказательства, проведенные для программ на языках, не учитывающих аппаратные ограничения, к транслированному коду, исполняющемуся на реальном аппаратном вычислителе. В то же время, проведение ...
Добавлено: 28 апреля 2025 г.
Васюков В. Л., В кн.: Эпоха академика В.С. Стёпина.: Мн.: Беларуская навука, 2024. С. 206–219.
Использование абстрактных объектов, как правило, применяемых в науч- ных исследованиях, согласно В.С.Стёпину, приводит к необходимости анализа их внутриязыковых связей и их отношения к практической деятельности. Научная теория получает объективное обоснование только тогда, когда каждый ее абстрактный объект может быть сопоставлен с некоторым реальным фрагментом действительности, исследуемой в теории. Однако между фрагментами объективной реальности, выделенными человеческой ...
Добавлено: 27 декабря 2024 г.
Otto W. F., Turin: Lindau, 2025.
Опубликованная впервые в Германии в 1955 году и никогда не переводившаяся на итальянский язык, книга Menschengestalt und Tanz (Человеческое тело и танец) собирает мысли великого немецкого филолога вокруг феномена танца не столько как перформативного акта, сколько как оригинального отклика. человеческого тела, чтобы удивляться бытию, божественному в вещах. Эссе помогает читателю открыть для себя танец как ...
Добавлено: 16 декабря 2024 г.
Платанова А. С., История философии 2024 Т. 29 № 2 С. 18–28
Категория смысла истории уже давно существует в европейской философии как одна из еефундаментальных тем, претерпевших за время своего развития множество коллизий. По-следнее столетие отмечено радикальным пересмотром подходов к этой теме как в филосо-фии истории, так и в традиции интеллектуальной истории. В XX в. исторический критицизмКанта был доведен немецкой мыслью до логического итога, так что утверждение ...
Добавлено: 29 ноября 2024 г.
Brandon C. L., Brick of Knowledge 2020
Готфрид Вильгельм Лейбниц (1646-1716) был одним из великих мыслителей семнадцатого и восемнадцатого веков и известен как последний «универсальный гений». Он внес глубокий и важный вклад в область метафизики, эпистемологии, логики, философии религии, а также математики, физики, геологии, юриспруденции и истории. Даже французский атеист и материалист восемнадцатого века Дени Дидро, чьи взгляды очень часто расходились с ...
Добавлено: 18 февраля 2024 г.
Shannon D., Brick of Knowledge 2022
Выражение «континентальный рационализм» охватывает группу взглядов, в большей или меньшей степени разделяемых рядом философов, которые активно работали на европейском континенте в течение последних двух третей XVII века и в начале XVIII века. Рационализм чаще всего описывается как эпистемологическая позиция. С этой точки зрения, чтобы быть рационалистом, необходимо по крайней мере одно из следующих условий: 1) ...
Добавлено: 18 февраля 2024 г.
Пирари Д., Leússein. Rivista Di Studi Umanistici 2013 Vol. 6 No. 3 P. 163–171
Добавлено: 7 февраля 2024 г.
Springer, 2024.
Добавлено: 31 января 2024 г.
Шелов-Коведяев Ф. В., В кн.: Вестник ТанаисаТ. 2. Вып. 5.: Ростов н/Д: Альтаир, 2019. С. 203–207.
В статье даётся новое – Φάνητι ἱερε(ί)α «приношение Фанету» – чтение граффито, опубликованного автором в 1979 году. Делается вывод, что названный здесь Фанет – синкретическое божество, alter ego «бога высочайшего внемлющего», а его имя, по сути, калькирует Тетраграмматон иудейского Б-га. ...
Добавлено: 26 октября 2022 г.
Champaign: Springer, 2020.
Добавлено: 20 октября 2022 г.
Ильющенко Е. В., Studia Religiosa Rossica: научный журнал о религии 2021 № 4 С. 55–69
В работе исследуется то, как долгая традиция доказательства бытия Бога выразилась в протестантской теологии на примере
творчества Пауля Тиллиха и Алвина Плантинги. Анализируется главным образом то, какие именно аспекты творчества этих двух мыслителей
можно отнести к доказательству бытия Бога, насколько их можно считать систематичными и завершенными, к какому виду доказательств они
относятся. Для того чтобы основательно говорить о ...
Добавлено: 18 сентября 2022 г.
Фролов К. Г., Философский журнал 2020 Т. 13 № 1 С. 69–79
В рамках предлагаемого исследования анализируются и раскрываются некоторые
существенные аспекты взаимодействия между этикой и метафизикой как особыми
разделами философского знания. Наглядным примером подобного взаимодействия
выступает моральная критика модального реализма Д. Льюиса. Исследование преследует две цели. С одной стороны, автор статьи намерен показать, насколько действенной и убедительной может быть моральная аргументация против некоторой
метафизической теории. С другой же стороны, имеется ...
Добавлено: 14 декабря 2021 г.
Оболевич Т. С., Studies in East European Thought 2021 Vol. 73 P. 155–168
Добавлено: 31 октября 2021 г.