Your English writing platform
Discover LudwigExact(31)
The reason why exact resemblance could be treated as a mere "pseudo" addition, moreover, was that it is an internal relation and so exists necessarily simply given the existence of its relata.
When we combine this result with the link between quantification and existence, we conclude that everything exists necessarily, which flies in the face of the assumption that we exist only contingently.
That is: Hence, under the actualist's understanding of existence, NE says that everything exists necessarily and hence (by the definitions of '∃' and '◇') that nothing can possibly fail to exist — ~∃x◇~E!x — from which it immediately follows, contrary to CB, that there are no contingent beings, beings (like us) for whom existence and nonexistence are equally possible.
For example, a being that is capable of non-existence is less great than a being that exists necessarily.
Trying to understand how God could need no cause, Christians claim that God exists necessarily.
But, all of them entail that God exists necessarily.
Similar(29)
Because negation of possibility is impossible, what is presupposed as existing must exist necessarily.
On such a conception, the truth-set of a proposition is the proposition itself, and issues about propositional existence remain: it may be held that propositions exist necessarily, or that their existence is in general world-relative.
Of course, under the assumption that no proposition can be true without existing, in particular under the assumption that they exist necessarily, for every world w, Fw = Tw, and the existence-set of a fact x is ts(x).
On one view, propositions exist necessarily, i.e. the existence-set of any proposition is W, the set of all possible worlds.
Conversely, everything that does not exist necessarily and therefore has a possible relation to existence is something that is possible, so that in order to exist it always and necessarily refers to a cause that makes it exist: a cause that justifies the fact that instead of being possible (mumkin) and therefore not already assigned to existence, the thing is qualified as existent.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com