Statements (29)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Modal_property
gptkb:philosophy |
| 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 |
| 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:Living_Tribunal
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Necessity
|