Statements (31)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:philosophy
Modal property |
gptkbp:centralTo |
gptkb:Philosophy_of_language
Philosophy of science Essentialism Modal realism |
gptkbp:contrastsWith |
Contingency
Impossibility |
gptkbp:defines |
That which must be the case and cannot be otherwise
|
gptkbp:discusses |
gptkb:Aristotle
gptkb:David_Lewis gptkb:Leibniz gptkb:Saul_Kripke |
gptkbp:hasType |
Logical necessity
Metaphysical necessity Nomological necessity Physical necessity |
https://www.w3.org/2000/01/rdf-schema#label |
Necessity
|
gptkbp:opposedBy |
Contingency
|
gptkbp:relatedTo |
Possibility
|
gptkbp:studiedIn |
gptkb:Metaphysics
Modal logic |
gptkbp:symbolizedInLogic |
□ (box)
|
gptkbp:usedIn |
gptkb:Ethics
gptkb:law gptkb:philosophy Modal logic |
gptkbp:bfsParent |
gptkb:logic
gptkb:murder gptkb:Jo_Walton |
gptkbp:bfsLayer |
4
|