Statements (49)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosophy
|
| gptkbp:centralTo |
gptkb:Counterfactuals
Contingency De dicto modality De re modality Epistemic possibility Essentialism Logical possibility Metaphysical possibility Modal nominalism Modal realism Necessity and possibility Transworld identity |
| gptkbp:contrastsWith |
Actual world
|
| gptkbp:debatedBy |
Philosophers
|
| gptkbp:describes |
Ways the world might have been
|
| gptkbp:formedBy |
gptkb:Kripke_semantics
gptkb:Lewis's_modal_realism |
| https://www.w3.org/2000/01/rdf-schema#label |
Possible Worlds
|
| gptkbp:influencedBy |
gptkb:Leibniz's_theory_of_compossibility
Modal logic developments |
| gptkbp:notableFigure |
gptkb:David_Lewis
gptkb:Leibniz gptkb:Ruth_Barcan_Marcus gptkb:Saul_Kripke gptkb:Robert_Stalnaker |
| gptkbp:relatedTo |
gptkb:Metaphysics
Modal logic |
| gptkbp:subjectOf |
gptkb:logic
gptkb:Philosophy_of_logic Philosophy of science Philosophical debate Accessibility relation Actualism vs. possibilism Counterfactual analysis Fictional worlds Identity across worlds Metaphysical analysis Modal epistemology Semantic theory Transworld causation Truth in possible worlds World-indexed properties |
| gptkbp:usedIn |
gptkb:Epistemology
gptkb:Philosophy_of_language gptkb:Philosophy_of_mind gptkb:Semantics |
| gptkbp:bfsParent |
gptkb:logic
|
| gptkbp:bfsLayer |
4
|