Nothing Is Nothing

👍 🇵🇸 ❤️ (3)
P1: Whatever that negates Logic, is not logically possible
P2: Nothing negates Logic
C: Therefore, Nothingness isn’t logically possible
P1: A possible world needs to be logically possible if we operate under a logically possible modality
P2: For there to be possible world, there needs to be something that exists in that possible world
P3: The set of x such that the members of x are all that exists and x is contingent
P4: If in a possible world x doesn’t exist, then in that possible world, there is nothing and a possible world with nothing cannot exist (P -> Q)
P5: In a possible world, x doesn’t exist (P)
P6: Therefore, in that possible world, there is nothing, and a possible world with nothing cannot exist.
C2: There is a necessarily existing being in all possible worlds