?
Современные формализованные реконструкции Онтологического аргумента (на примере подхода Э. Залты и П. Оппенгеймера)
.
Э. Залта и П. Оппенгеймер попытались создать свободное от модальных посылок прочтение рассуждения Ансельма Кентерберийского о существовании Бога, которое приводится во II главе Прослогиона. Несмотря на присутствие модальности в оригинальном тексте Ансельма (Нечто, более чего невозможно ничего помыслить), авторы обходят ее, заменяя процесс выведения актуальности Бога из возможности существования Бога на выведение существования Бога из Его бытия. С этой целью выражение «то, больше чего нельзя помыслить» получает роль определенной дескрипции. Используя логику предикатов с дескрипциями и несколькими специальными аксиомами, Залта и Оппенгеймер формализуют рассуждение Ансельма и демонстрируют, что, с формальной точки зрения, аргумент вполне корректен. Если же в качестве инструмента использовать теорию абстрактных объектов Залты и формализовать посылки аргумента так, чтобы они получили истинное прочтение, получим онтологический аргумент, следствие которого принципиально отлично от заключения Ансельма.
Ковалев Д. Ю., Чебышевский сборник 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 г.
Носачев П. Г., Религиоведение 2021 № 2 С. 66–74
Пятнадцать лет назад британский религиовед Кристофер Партридж предложил концепцию оккультуры. С тех пора она стала активно использоваться как рабочая модель для анализа форм бытования эзотерических элементов в современной культуре. Когда Партридж создавал свою концепцию, он опирался на ситуацию конца 90-х начала 2000-х годов, время, когда эзотерические элементы закреплялись в культуре. Дистанция, отделяющая нас от труда ...
Добавлено: 16 сентября 2021 г.