Authors: Jevtić, Filip 
Vujošević, Slobodan
Affiliations: Mathematics 
Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: Logic of the ontological argument
Journal: Belgrade Philosophical Annual
Issue: 35
First page: 111
Last page: 114
Issue Date: 2022
Rank: M24
ISSN: 0353-3891
DOI: 10.5937/BPA2235111J
Abstract: 
In his ontological argument Gödel says nothing about its underlying logic. The argument is modal and at least of second-order and since S5 axiom is used so it is widely accepted that the logic of the argument is the S5 second-order modal logic. However, there is a step in the proof in which Gödel applies the necessitation rule on the assumptions of the argument (see [3]). This is repeated by all o...
Keywords: Godel | ontological argument | modal logic | necessitatio
Publisher: Univerzitet u Beogradu - Filozofski fakultet - Institut za filozofiju

Show full item record

Page view(s)

36
checked on Jan 31, 2025

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons