Modal Ontological Argument Flashcards

1
Q

What is modal logic

A

logic of modalities - necessity/possibility

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

what is neccesary p in modal logic

A

P is true in every possible world

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

what is a possible world

A

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)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

what are state of affairs

A

possible way things could be

some obtain some do not (I am not currently running but I could be = does not obtain)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

what is possibly P in modal logic

A

p is true in at least one possible world

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

what is the accessibility relation

A

necessities don’t vary across worlds

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

de dicto vs de re modality

A

de dicto: of a proposition (2+2=4)

de re: of a being (neccesary being)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

what is the modal ontological argument

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

what is Plantinga’s modal ontological argument

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

what is the significance of S5 Modal logic

A

S5 modal logic implies that a necessity is necessary in all possible worlds

How well did you know this?
1
Not at all
2
3
4
5
Perfectly