Модальный коллапс
В модальной логике модальный коллапс — это состояние, при котором каждое истинное утверждение обязательно истинно , и наоборот; иными словами, не существует случайных истин или, другими словами, «все существует необходимо». [1] [2] В обозначениях модальной логики это можно записать как .
В контексте философии этот термин обычно используется при критике онтологических аргументов в пользу существования Бога и принципа божественной простоты . [1] [3] Например, онтологическое доказательство Гёделя содержит как теорема, которая в сочетании с аксиомами системы S5 приводит к модальному коллапсу. [4] Поскольку некоторые считают божественную свободу неотъемлемой частью природы Бога, а модальный коллапс отрицает концепцию свободы воли , это приводит к разрушению аргумента Гёделя. [5]
Ссылки
[ редактировать ]- ^ Jump up to: а б Томашевский, Кристофер (2019). «Разрушение аргумента о модальном коллапсе: о недействительном аргументе против божественной простоты» . Анализ . 79 (2): 275–284. дои : 10.1093/analys/any052 . ISSN 0003-2638 .
- ^ Шмид, Джозеф К. (2022). «Плодотворная смерть аргументов модального коллапса» (PDF) . Международный журнал философии религии . 91 (1): 3–22. дои : 10.1007/s11153-021-09804-z . ISSN 0020-7047 . S2CID 236427989 .
- ^ Бенцмюллер, Кристоф; Палео, BW (2016). «Онтологический модальный коллапс как коллапс площади оппозиции». Площадь оппозиции: краеугольный камень мысли . Исследования по универсальной логике. стр. 307–313. дои : 10.1007/978-3-319-45062-9_18 . ISBN 978-3-319-45061-2 . S2CID 42006078 .
- ^ Ковач, Сречко (2012), Шатковский, Мирослав (редактор), «15. Модальный коллапс в онтологическом доказательстве Гёделя» (PDF) , Ontological Proofs Today , de Gruyter, стр. 323–344, doi : 10.1515/9783110325881.323 , ISBN 978-3-11-032515-7 , получено 28 апреля 2022 г.
- ^ Педерсен, Дэниел Дж.; Лилли, Кристофер (2022). «Божественная простота, Божья свобода и предполагаемая проблема модального коллапса» . Журнал реформатской теологии . 16 (1–2): 127–147. дои : 10.1163/15697312-bja10028 . hdl : 2164/18891 . ISSN 1569-7312 . S2CID 248106829 .