Leibniz's metaphysics of modality

E404583

Leibniz's metaphysics of modality is his philosophical account of possibility, necessity, and contingency grounded in the notion of possible worlds and the principle that God actualizes the best of all compossible worlds.

All labels observed (4)

How this entity was disambiguated

Statements (48)

Predicate Object
instanceOf component of Leibniz's philosophy ⓘ
metaphysical theory ⓘ
theory of modality ⓘ
articulatedIn Discourse on Metaphysics ⓘ
Monadology ⓘ
Theodicy ⓘ
asserts contingent truths involve infinite analysis ⓘ
impossibility involves contradiction ⓘ
necessary truths are analytic in principle ⓘ
possibility is grounded in logical consistency ⓘ
basedOn possible worlds ⓘ
principle of non-contradiction ⓘ
principle of sufficient reason ⓘ
claims God actualizes the best of all compossible worlds ⓘ
God surveys all possible worlds ⓘ
the actual world is the best possible world ⓘ
concerns contingency ⓘ
necessity ⓘ
possibility ⓘ
connectedTo Leibniz's optimism ⓘ
Leibniz's principle of the best ⓘ
defines contingent truth ⓘ
necessary truth ⓘ
possible truth ⓘ
developedBy Gottfried Wilhelm Leibniz ⓘ
distinguishes truths of fact ⓘ
truths of reason ⓘ
groundedIn divine intellect ⓘ
divine will ⓘ
historicalPeriod early modern philosophy ⓘ
holdsThat contingent truths are true in the actual world but not in all possible worlds ⓘ
necessary truths are true in all possible worlds ⓘ
possible truths are true in at least one possible world ⓘ
includesConcept best of all possible worlds ⓘ
complete concept of an individual ⓘ
compossibility ⓘ
divine choice of worlds ⓘ
truth in all possible worlds ⓘ
truth in some possible world ⓘ
influenced 20th-century analytic metaphysics ⓘ
possible-worlds semantics in modal logic ⓘ
theories of necessity and possibility ⓘ
relatesTo Leibniz's doctrine of monads ⓘ
Leibniz's theodicy ⓘ
Leibniz's theory of truth ⓘ
usesConcept complete individual concept ⓘ
compossibility of substances ⓘ
pre-established harmony ⓘ

How these facts were elicited

Referenced by (4)

Full triples — surface form annotated when it differs from this entity's canonical label.

Gödel's ontological proof → relatedTo → Leibniz's ontological argument ⓘ
linked to: Leibniz's metaphysics of modality
Leibnizian rationalism → associatedWith → Leibnizian metaphysics ⓘ
linked to: Leibniz's metaphysics of modality
calculus ratiocinator → influencedBy → Leibniz’s metaphysics of concepts ⓘ
linked to: Leibniz's metaphysics of modality