Types, Tableaux and Godel’s God
E504790
"Types, Tableaux and Godel’s God" is a philosophical logic book by Melvin Fitting that uses tools from modal logic, type theory, and tableau methods to analyze and formalize Gödel’s ontological argument for the existence of God.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Types, Tableaux and Godel’s God canonical | 1 |
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf |
book
ⓘ
logic textbook ⓘ philosophy of religion book ⓘ |
| aimsTo |
clarify the logical assumptions behind Gödel’s argument
ⓘ
provide rigorous formal systems for ontological reasoning ⓘ |
| analyzesWorkOf | Kurt Gödel NERFINISHED ⓘ |
| author | Melvin Fitting NERFINISHED ⓘ |
| concerns |
existence of God
ⓘ
ontological arguments ⓘ |
| contributesTo |
applications of tableau methods in modal logic
ⓘ
applications of type theory in philosophy ⓘ debate on the validity of Gödel’s ontological proof ⓘ |
| discusses |
formal properties of divine attributes
ⓘ
necessity and possibility in the context of God’s existence ⓘ |
| examines | logical structure of Gödel’s ontological argument ⓘ |
| field |
logic
ⓘ
mathematical logic ⓘ modal metaphysics ⓘ philosophy ⓘ philosophy of religion ⓘ |
| focusesOn | formal analysis of Gödel’s ontological proof ⓘ |
| genre | academic monograph ⓘ |
| hasForm |
academic text
ⓘ
printed book ⓘ |
| hasSubject |
formal semantics
ⓘ
higher-order logic ⓘ ontological proof formalization ⓘ proof theory ⓘ |
| intendedAudience |
logicians
ⓘ
philosophers ⓘ students of modal logic ⓘ students of philosophy of religion ⓘ |
| language | English ⓘ |
| mainTopic |
Gödel’s ontological argument
ⓘ
formalization of ontological arguments ⓘ modal logic ⓘ philosophical logic ⓘ tableau methods ⓘ type theory ⓘ |
| relatedTo |
modal ontological arguments
ⓘ
possible worlds semantics ⓘ proof search via tableaux ⓘ |
| usesTool |
modal logic
ⓘ
tableau proof systems ⓘ type theory ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.