Modal Ontological Argument Flashcards
What is modal logic
logic of modalities - necessity/possibility
what is neccesary p in modal logic
P is true in every possible world
what is a possible world
state of affairs for which every other state of affairs is either included or excluded
one possible world is the actual world (whatever is the case)
what are state of affairs
possible way things could be
some obtain some do not (I am not currently running but I could be = does not obtain)
what is possibly P in modal logic
p is true in at least one possible world
what is the accessibility relation
necessities don’t vary across worlds
de dicto vs de re modality
de dicto: of a proposition (2+2=4)
de re: of a being (neccesary being)
what is the modal ontological argument
1) modal logic
2) its possible that god exists
3) god exists if and only if it is necessary that God exists
4) hence, it is possible that it is necessary that god exists
5) hence it is necessary that god exists
what is Plantinga’s modal ontological argument
1) there is a possible world in which an unsurpassable greatness exists
2) it is necessarily true that ‘an unsurpassable greatness exists if and only if it is has maximal excellence in every possible world’
3) ‘whatever has maximal excellence is omnipotent, omniscient and omnibenevolent’ is true
4) hence, a being that possesses unsurpassable greatness is necessarily true in every world
what is the significance of S5 Modal logic
S5 modal logic implies that a necessity is necessary in all possible worlds