
BQM
8.4K posts

BQM
@PrayPuffPlay
Chaplain/tobacconist/sports enthusiast; Doctor of Ministry candidate @seuniversity https://t.co/6lUEZgBhHH


@sylevus @Accounted44 You are contingent. What you (or I, or anyone else) can imagine has no bearing on the metaphysical reality of the candidate being we’ve been talking about. There are possible worlds where humans, including us, never exist. The argument is still valid in those worlds.

































Major Premise 1: The Maximally Great Being (MGB) is defined as a being that exists necessarily if he exists at all. Formally: □(G → □G). Minor Premise 2: A contingent being is one that exists in some but not all possible worlds. Formally: ◇G ∧ ¬□G. Premise 3: In S5 modal logic, if something is possibly necessary, it is necessary. Formally: ◇□p → □p. This is what makes the modal ontological argument (MOA) non-probabilistic and binary. Premise 4: The Reverse Modal Ontological Argument (RMOA) mirrors the MOA only in form by beginning with ◇¬G (“it is possible that the MGB does not exist”). However, once the MGB is defined by □(G → □G), this “symmetry” collapses: asserting ◇¬G means claiming that a necessarily existent being is possibly nonexistent—an incoherent move in S5. In S5, ◇¬G → □¬G can only hold if the concept of an MGB is impossible (internally contradictory), not if it is merely “possibly false.” Premise 5: From (1) and (3), we derive that ◇G ⇒ □G; therefore, assuming ◇¬G directly conflicts with (1), because the MGB’s necessary existence precludes possible non-existence unless the very concept of maximal greatness is incoherent. Intermediate Conclusion 6: Thus, both {□(G → □G), ◇G ∧ ¬□G} and {□(G → □G), ◇¬G} are inconsistent in S5. A “contingent MGB” cannot exist. The only two coherent modal outcomes are: • □G (God necessarily exists), or • □¬G (God is impossible). Premise 7: Weaker modal systems (K, T, S4) restrict accessibility between possible worlds, preventing an evaluation of God from the entire modal landscape. Doing so implicitly localizes God to certain worlds and makes him contingent by definition (which, as established in the premises above, is impossible). Premise 8: Participation in the full ensemble of possible worlds is what grounds the MGB’s necessity. If you limit your modal field to partial accessibility, you lose transworld necessity and end up analyzing a regional deity—a “god” who was never the MGB in the first place. Final Conclusion 9: Therefore, moving the argument out of S5 into a weaker system is not an improvement but a retreat that confuses necessity with contingency and destroys the coherence of the MGB concept. The only serious metaphysical options in S5 are: - □G (God necessarily exists), or - □¬G (God is impossible). Coda 10 – Pascal’s Wager: Pascal’s Wager does not engage any of this real metaphysics. It treats “possibility” as a matter of personal risk assessment, not modal necessity. It’s a probabilistic parlor game beside the genuine philosophical contest of S5, where the question isn’t whether belief pays off but whether the MGB is possible or impossible in principle.





@Danish_SMF They are live challenges which fail to secure impossibility, leaving God possible, and therefore necessary. (Since he can’t be contingent.)


It’s not that complicated: Humans, unicorns, and chairs are contingent because they depend on external conditions and could coherently fail to exist. Logic, math, and intelligibility are necessary because they don’t depend on external conditions and their denial in any possible world is incoherent. Square circles or married bachelors are impossible because they actually are incoherent in any possible world.


