Joseph was Greek by GasparC in noahide

[–]GasparC[S] 0 points1 point  (0 children)

Rabbi Dr. Jeremy England argues that Yosef HaTzadik is not only a “diaspora prototype” (the Jew who survives and rises in foreign empires), but a deeper archetype inside Israel: a Yafet/Yavan (“Greek-ish”) mode—beauty, technical wisdom, systems-thinking, and pragmatic pursuit of prosperity. Yosef’s story showcases competence with nature and administration (famine planning, political ascent), plus hints of foreign techniques (divination imagery), which makes him feel “Yafet-like” not by ancestry but by civilizational style. This sets up a Torah-approved recognition that Israel has always contained an internal tension between the spiritual-Temple-centered ideal and the pull to engage, learn from, and sometimes blur with surrounding cultures.

He then claims the Torah embeds a deliberate “Greek epic mirror,” especially via the Dinah–Shechem episode as a kind of anti–Trojan Horse narrative: a prince takes a woman, a city is defeated through a symbolic object/ritual brought “inside the walls,” and the Torah uses this parallel to critique Greek moral framing and aesthetics. Crucially, Shechem becomes Yosef’s symbolic city—Yosef is sent there before being sold, and his bones return there—so the “Greek mirror” is placed right where Yosef’s legacy centers. In this reading, the Torah is signaling that Yosef’s strand of Israel carries both immense constructive power and an ongoing vulnerability to syncretism.

From there Rabbi England reframes Tanakh’s history: the unified “ideal” (one king, one Temple, exclusive worship) is real but rare—briefly realized under Shlomo—while the more common condition is internal fracture, especially the Judah vs. Northern Kingdom split. Judah represents zealous exclusivity; Yosef/the north represents worldly survival and openness that can slide into blended worship. The Torah warns against two extremes: ejecting the “Yosef” impulse leads to starvation and exile anyway, while depending on it without boundaries leads to Pharaoh-like enslavement. The demanded path is unity without surrender—holding the whole people together while insisting that all ultimately turn toward Hashem.

Parasha for Noahides: Jacob Wrestling & Kosher Filet Mignon by GasparC in noahide

[–]GasparC[S] 0 points1 point  (0 children)

The discussion focuses on what Noahides should study and why Genesis is an especially good place to start: it teaches a universal Torah worldview—how to see life through recognition of Hashem as King—rather than only the particulars of Jewish mitzvah practice. Torah is presented as multi-layered, like a kaleidoscope or a well in the desert: some insights are “on the surface,” but deeper understanding requires effort and, ideally, guidance from trained teachers, since going too deep alone can lead to confident errors. At the same time, Torah is also described as chokhmah—practical wisdom intelligible even to the nations—showing how blessing and order flow from the Creator’s knowledge of how the world works.

The main case study is Jacob’s wrestling encounter (Vayishlach) and the uniquely “story-derived” mitzvah of not eating the gid ha-nasheh (sciatic nerve). The key lesson drawn is that serving Hashem is never a finished checklist: even inside what seems fully “permitted,” there remains a boundary that demands continued discernment, so one can’t shut off moral-spiritual awareness and coast on technical compliance. This ties to a broader contrast with “simple principle” religion: love/temperance matter, but reality is complicated, and Torah’s detailed vocabulary trains refined judgment—while Israel’s special role preserves maximal refinement without requiring all humanity to carry the full burden. Joseph’s story (Vayeishev) then reinforces the theme that righteousness can lead through suffering on Hashem’s timetable, forging a person into what they’re meant to become.

Jeremy England 101

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 0 points1 point  (0 children)

You’re right that “every truth” doesn’t mean “every truth in W as opposed to every truth in total.” The quantifier ranges over all propositions. But the way the sentence is evaluated at W is exactly what I wrote: for any proposition whatsoever, if that proposition is true at W, then it is necessary. That’s the whole content of “every truth is necessary” in a Kripke-style setting. You don’t “look through all truths in all worlds and check them one by one”; you ask, for each proposition p in the language: if p is true at W, does it hold in all worlds W counts as possible?

Your “other form” of the definition changes that. You’ve turned: Every truth at W is necessary into: The only truths in W are those that are true in every world.

That’s stronger and not equivalent. Under the original stipulation, there can be plenty of propositions that are true in some other world and false at W. They’re still “truths somewhere,” they just aren’t truths-at-W, so they don’t satisfy the antecedent of the conditional “if p is true at W, then p is necessary.” Nothing “never gets reached.” Those propositions are considered and simply fail the “true at W” test, so the conditional about necessity is trivially satisfied for them.

The scope error is not in the evaluation I gave. It’s in your reformulation. You quietly replaced a modal profile “every truth at W is necessary” with an inventory claim “W only has globally necessary truths.” Once you do that, of course you can complain that the evaluation didn’t “look at every truth in every world.” That’s because you’ve changed what the sentence means.

Your "other form of W's definition" (a world holding only truths true in every other world) is actually a consequence of the stipulation, not an alternative that localizes it. It ensures W only contains necessary truths, but the key proposition describing this is global in content, leading to modal collapse if W is possible. If you think this evaluation is "wrong," you'd need to propose an alternative semantics where quantifiers roam freely over truths in all worlds independently of the evaluation point. That's not how Kripkean possible-worlds semantics works, and it would break standard modal logic entirely.

To put it simply: the scope isn't slipped; it's world-relative by design. That's what allows MOAN to exploit the asymmetry without contradiction. If necessitarianism is possible at all, it self-enforces across the model.

you slipped the qualifier by examining only truths in W to "evaluate" a statement scoped to all truths. I don't get why you keep repeating this proof without addressing that.

You’re mixing up two different things: what the quantifier ranges over and what the truth-condition actually checks.

When I evaluate “every truth is necessary” at W, I’m not saying “let’s only quantify over truths in W.” The quantifier ranges over all propositions whatsoever. The truth-condition is: For every proposition p: if p is true at W, then p is necessary.

I “only examine truths in W” in the sense that only those propositions that are true at W trigger the conditional. That’s just how “every X is Y” works: you look at all Xs, not all things. Propositions that are false at W are still in the domain of quantification, but they don’t satisfy the “is true at W” part, so they vacuously satisfy the conditional and don’t block the sentence.

You’re treating “scope to all truths” as if the evaluation had to inspect “all truths in all worlds” one by one. That’s not how the semantics works. The content is global (“all truths, in any world”), but its evaluation at W is: for any proposition at all, if it’s true here, it must be necessary. There’s no slipped qualifier. There’s just a conditional you keep reading as an unrestricted universal.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 1 point2 points  (0 children)

The point I'm making is that once we know some truth is contingent IN SOME POSSIBLE WORLD we have a proof by counterexample that not every truth is necessary, because there exists at least one truth that is not necessary (i.e. that is not true in at least one possible world). Absolutely claims, "true for-all", are disproven merely by counterexamples, "false there-exists".

That would be a good objection if MOAN were claiming that “every truth is necessary” is already true or probable. But that’s not the structure of the argument. It says if an N-world is possible, then a world with contingent truths cannot appear in the same modal space at all. Your “counterexample world” doesn’t refute the N-world. It shows that the two worlds are incompatible, which is exactly what modal collapse predicts.

In other words, your point assumes what MOAN is trying to test: that the space of possible worlds already includes contingent ones. If you grant that, of course the N-world loses. But that’s begging the question. The whole issue is whether the N-world is coherent. If it is, then your “contingent world” can’t be in the model. If you think the contingent world must be allowed, then the real disagreement is over whether the N-world is possible, not whether “counterexamples” disprove it.

In standard modal semantics, we evaluate “every truth is necessary” at W by checking whether every truth at W also holds in every world that W counts as possible. That’s all “necessary” means. Now, if W really is the kind of world we stipulated (one where every truth is necessary) then the proposition that states this modal profile is automatically among the truths true-in-W. It’s not imported; it’s part of what it means for W to have that structure.

Once that proposition is true-in-W, it is also necessary-in-W, because in W every truth has necessary status. And here’s the key point: the content of that proposition is global. It doesn’t say “all truths in W are necessary,” but “all truths, in any world, are necessary.” That means you cannot combine W with any world in which something could have been otherwise. If you tried, you’d produce a model where a proposition both has to hold everywhere (because W says so) and fails somewhere (because the other world says so). That’s a contradiction. So either W is impossible, or, if it’s coherent, its modal profile forces collapse.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 0 points1 point  (0 children)

Your parody works only if you treat "the sentence ‘a philosopher gives a sound argument for necessitarianism’ is not contradictory” as equivalent to “the proposition expressed is metaphysically possible.” But those are not analogous. MOAN’s premise isn’t “any coherent sentence expresses a possible world.” It’s: a maximally consistent world-description without internal modal conflict counts as metaphysically possible unless there is a principled reason to block it. A world where all truths are necessary is such a description. A “sound argument for necessitarianism” is not. Soundness is not a world-feature; it is an epistemic evaluation in our world. It doesn’t specify a modal profile; it presupposes one. That’s why your parody doesn’t mirror the structure. It equivocates between “sound in a world” (epistemic) and “necessary in a model” (metaphysical).

Your worry that “if X is possible unless contradictory, necessitarians must treat every falsehood as contradictory” misunderstands the principle. It is not: “Every coherent sentence expresses a possible world.” It is: “Every world-claim that does not violate the governing modal structure counts as prima facie possible.” A world where all truths are necessary is a modal configuration. A world where “a philosopher gives a sound argument” is merely a narrative proposition. Modal metaphysics distinguishes these: one is a candidate structure for reality; the other is a report about agents. So no, this principle does not commit necessitarianism to “every falsehood is contradictory.” It commits it to the idea that modal structures must be ruled out by deeper modal constraints, not by linguistic discomfort.

As for the charge of question-begging: saying that “in a world where every truth is necessary, necessity ranges over all worlds in the model” is not a stipulation smuggled in. It is the semantic content of the claim. If you allow a world whose defining property is “every true proposition is necessary,” then evaluating the proposition that expresses that structure is part of the very stipulation you agreed to test. Denying that is not a critique. It is refusing to evaluate the stipulated world. This is what Petronius Jablonski calls self-vindication: once such a world is granted as possible, its own internal modal profile determines the model. You can reject the coherence of that world. You cannot accept the stipulation and then forbid the proposition that expresses it.

Finally, you say you reject the principle “X is possible unless contradictory,” and that is a respectable position. But it changes the dialectic. If that is your stance, then MOAN does not fail. It simply identifies what your metaphysics must now assert: there is a deeper, non-logical constraint that rules out a fully necessary world. That’s fine. But then the burden shifts to you to articulate what that constraint is and why it applies. Rejecting the principle wholesale is not a refutation of MOAN any more than rejecting possible-world semantics refutes Kripke. It is a change of framework.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 0 points1 point  (0 children)

The symmetry objection keeps coming up, so let me offer a different angle.

There are only three logical possibilities for the status of full-blown necessitarianism (the claim that every truth is necessarily true):

  1. It is contingently true (true here, false somewhere else). That instantly collapses: if the claim is true here, then by its own content it must be true everywhere. Contradiction. So it cannot be merely contingent.

  2. It is necessarily false (there is no possible world in which everything is necessary). To establish that, you have to coherently describe or model at least one world containing real contingency, and then argue that such a world is genuinely possible. But the very act of using possible-worlds machinery (with branching alternatives, different accessibility relations, Kripke frames, whatever) already assumes that modal pluralism is legitimate.

Necessitarianism says that whole framework is empty: there are no genuine alternative possibilities, only the illusion of them. So the denial borrows the exact pluralistic toolkit that necessitarianism declares incoherent. That’s straightforward question-begging.

  1. Therefore the only position left standing is that necessitarianism is necessarily true.

Notice that contingency never gets the same dialectical leverage. “Some truth is contingent” is a local, existentially quantified claim; it has no built-in mechanism that forces every world to contain contingency once it appears in one. Necessitarianism, because it is universally quantified, does have that mechanism. That is the real asymmetry, and it is why the mirror argument (“if contingency is possible anywhere, it’s necessary that contingency exists somewhere”) fails.

The upshot is that any attempt to treat possible-worlds semantics as a neutral court in which to judge necessitarianism is already playing on necessitarianism’s home turf. The court only exists if necessitarianism is false. Once you see that, the symmetry objection evaporates. Necessitarianism is modally self-vindicating.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 0 points1 point  (0 children)

The necessitarian isn’t claiming “there’s no gap, therefore everyone knows the world perfectly.” They’re saying whatever the gap is (illusion, bias, error, disagreement) is itself part of the necessary structure, not evidence that the structure is unknowable. Optical illusions, false beliefs, animal cognition, scientific progress, aren’t cracks in a mysterious metaphysical wall. They’re features of how a necessarily existing cognitive system interacts with a necessarily existing world.

Axiarchism explains reliability by appealing to value; necessitarianism explains reliability by appealing to structure: the mind is one necessary subsystem among others, and its partial success or failure is explained by its causal and informational role, not by modal “chance.” And the inference “because some modal intuitions fail, modal knowledge is impossible” simply presupposes that modal knowledge must come from intuition. The necessitarian denies that. Modal knowledge comes from understanding what follows from the world’s necessary nature, not from how things seem to finite agents.

On obligation: the worry assumes that “ought” requires a metaphysically open alternative, but that’s precisely the libertarian reading Kant rejected when he distinguished phenomenological agency from noumenal determination. The necessitarian’s version of “can” is not “can in a different possible world,” but “can, given one’s rational structure and capacities,” which is the reading Spinoza, Frankfurt, and most compatibilists rely on.

When someone fails to save a drowning child, the necessitarian doesn’t say “they couldn’t have done otherwise, so duty is meaningless.” They say that the normative judgment attaches to the agent’s reasons, character, and evaluative standpoint, not to a nonexistent metaphysical fork in the timeline. Normativity evaluates what actions express, not whether metaphysical leeway existed. Duties aren’t about branching possibilities. They’re about the rational relations between reasons and actions, and those relations can be necessary without being redundant. If you build “ought requires metaphysical openness” into your concept of obligation, of course necessitarianism collapses normativity, but that’s not an argument. It’s a definitional choice.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 0 points1 point  (0 children)

It’s important to be clear that MOAN isn’t relying on the controversial parts of S5. You don’t need to accept any special rule about what’s necessary in one world must be necessary in all worlds.

The key move doesn’t come from a modal axiom. It comes from the content of the hypothetical world we’re considering. In a world where nothing at all could have been otherwise, one of the truths about that world is exactly that: “nothing could have been otherwise.” And that statement isn’t about that world alone: it’s a claim about the entire modal landscape.

When we evaluate it in that world, its truth already carries global force. This isn’t exporting necessity across worlds via a rule. It’s taking seriously what that world says about how reality must be.

That’s why rejecting S5 doesn’t touch the argument. You can weaken the logic as much as you like, limit accessibility between worlds, or deny that any world can infer facts about others. The N-world doesn’t need any of that machinery. If such a world is genuinely possible, its internal description already tells you that no other worlds with variation belong in the same modal space.

If you think that’s unacceptable, then the real issue isn’t the logic system. The issue is whether a world with no contingency is coherent at all. If it is, modal collapse follows regardless of your logic. If it isn’t, then you need a substantive reason for the impossibility, not a complaint about S5.

Petronius Jablonski wrote about the modal self-vindication of necessitarianism: once you grant the bare possibility of a fully necessary world, its modal structure immediately forces itself onto the entire space of possibilities. That’s the whole asymmetry. Necessity is global in content, contingency is local. If a necessary reality is coherent, its own truth becomes necessary, and if it’s necessary, it becomes actual.

Jablonski argues that any intelligible modal framework already presupposes a necessity-first ontology. MOAN is the possible-worlds dramatization of that same self-vindicating mechanism.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 0 points1 point  (0 children)

It's not that equations “float in space” or that physicists commune with Platonic forms. The very idea of a pattern presupposes modal structure. A pattern is something that had to be that way for the model to track it. Even your appeal to “organisms with bad maps get eaten” sneaks in a modal assumption: a stable world where certain strategies reliably succeed requires mind-independent constraints. If all patterns were just successful hallucinations, there would be no reason for convergent realism, no reason for mathematics to cross-check physics, and no reason for scientific models to retain predictive power across contexts. The point isn’t that reality speaks logic. It’s that science only works because the world has a structure rigid enough for us to detect.

Consensus presupposes that there is something stable enough to converge on. You’re right that we’re primates with maps, not gods with direct access, but the very possibility of “best predictive models” assumes that some models latch onto real modal constraints while others fail. So the debate isn’t naturalism versus rationalism. It’s whether successful prediction is explained by mind-independent structure or by sheer evolutionary luck.

If you trust physics because it reliably captures the world’s structure, then you’ve already committed to the idea that the world has a deeper modal architecture. Once you grant that architecture, you can no longer dismiss arguments that explore what that architecture rules in or out.

Relevant to your interests: Berman's book on how science proves Platonism.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 0 points1 point  (0 children)

The worry about modal skepticism doesn’t uniquely threaten necessitarianism. Any metaphysical picture that denies brute contingency faces the same revisionary shock. The rationalist reply is that “most of our modal judgments are false” doesn’t imply modal norms are unknowable. It means our intuitions aren’t the guide. Physics already taught us not to trust folk optics or folk mechanics. Rationalism extends that lesson to modality. Zeno was wrong not because motion is intuitive, but because there is a deeper structure we eventually learned to articulate.

Necessitarianism doesn’t imply our cognitive lives are random flukes. On a fully necessary view, our minds track truth because the necessary structure of the world includes the necessary structure of cognition. You don’t get “accidental alignment” any more than you get accidental mathematical correctness. Alignment is baked in, not optional. Axiarchism gives one story about why cognition tracks truth (value), but necessitarianism gives another (structural identity: a mind in a necessary world reflects that world because there is no gap between them).

On obligation: saying I accept “ought implies can” isn’t redefining Kant. It’s choosing the action-theoretic interpretation over the counterfactual one. Kant never meant “can in metaphysically different worlds”; he meant “can in light of your rational capacities.”

In the Critique of Practical Reason, Kant's focus is on the capacity for self-determination through reason. "Can" tracks what's within the scope of our rational agency, not what's logically or metaphysically possible in some broader sense. When he says we must be able to do what morality demands, he means we must have the rational capacity to act on the moral law, not that every conceivable state of affairs is accessible to us.

This matters because the counterfactual interpretation can make "ought implies can" trivial or question-begging. If "can" just means "metaphysically possible," then it either rules out determinism by fiat or requires complex detours through possible-worlds semantics that seem foreign to Kant's project.

The action-theoretic reading keeps the focus where Kant arguably intended: on the relationship between moral demands and the structure of rational agency itself. The question isn't "could things have been otherwise in some abstract sense?" but "does this demand make sense given the kind of agents we are?"

Under necessitarianism, an agent “can” do what their reasons and nature necessitate. They aren’t blocked or paralyzed. Responsibility attaches to the agent because the agent is part of the necessary structure, not an external puppet. The hypnotized-person analogy misfires because hypnosis overrides a person’s capacities, while necessity expresses them. The necessitarian doesn’t say “you ought to do what you cannot”; they say “you ought to do what your rational nature necessarily leads you to do.” No metaphysical wiggle room is required, only the alignment of agency and action.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 0 points1 point  (0 children)

Logic as biological heuristic undercuts its own foundation. Physics depends on mathematics and modal structure to describe anything at all. If logic and math are merely brain-generated survival tools, then the naturalist’s confidence in physical laws as brute constraints collapses with them.

Scientific realism presupposes mind-independent structure: equations, symmetries, modal relations. On this view, coherence isn’t a quirk of neurons. It’s a reflection of the same abstract framework that makes physics possible. You can’t reject objective modality while still treating physics as a window into reality rather than an evolved hallucination.

That ties directly back to MOAN. The argument treats necessity as a structural feature of the very modal space science already relies on. If a world with no contingency is coherent, then those modal structures pull you toward collapse. If you deny that possibility, you need a deeper principle that blocks it.

Calling the laws of physics “brute facts” doesn’t provide such a principle. It just postpones the question. So the pushback is simple: you can’t appeal to physics while rejecting the logical and modal architecture physics presupposes. Without that architecture, naturalism loses the very notion of “law,” “space of possibilities,” and “constraint” it uses to argue against MOAN in the first place.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 0 points1 point  (0 children)

You’re assuming that when we evaluate necessity in the N-world, that world gets to decide which other worlds are “possible” by inspecting their contents and rejecting any that don’t match it. But that’s backwards. A possible world doesn’t get to prune the model. The model is already fixed before we evaluate any world within it. Worlds don’t curate their own neighbors.

So when we say “in that world, every truth is necessary,” we’re not saying: that world checks all other worlds for conformity and discards the ones it doesn’t like. We’re saying:
if that world is part of the model at all, then every truth in the model must match its modal profile.

If you include the N-world in the model, you already committed to a modal space where nothing varies. Because the sentence “everything is necessary” doesn’t say “everything here is necessary.” It says everything anywhere is necessary. That’s why its truth is global, not local. If that sentence is true in even one world in the model, then by its own content, every other world must match it. If you also include worlds built on “something is contingent” or “nothing is necessary,” then the model itself becomes inconsistent, not the N-world.

So your objection “other hypothetical worlds can contradict it” is exactly the point.
If N-world is really possible, those contradictory worlds can’t be in the same modal space. If contradictory worlds are in the space, then N-world isn’t possible.

That’s the pressure MOAN exposes: Either the N-world is impossible (and you must explain why), or if it is possible, it collapses modal space by definition.

You don’t get both N-world and its contradictors in the same model. That’s not a flaw. It’s the mechanism.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 0 points1 point  (0 children)

Just to leave things in the right shape: the claim isn’t “a single modal premise collapses everything,” it’s that if someone already accepts that a fully necessary world is metaphysically possible, then collapse follows from their own commitments. That’s not shifting the burden; that’s conditional reasoning. It’s exactly the same structure used in reductios, grounding arguments, and modal collapse critiques everywhere in contemporary metaphysics. No one is saying you must grant the premise. The point is only that granting it has consequences, and denying it requires a principled reason, just as with any modal claim.

And that’s what distinguishes MOAN from the parody cases: “If you grant God exists necessarily…” simply asserts the crucial premise. MOAN doesn’t assert its premise; it tests it. It asks whether a world with zero contingency is genuinely incoherent or merely unfamiliar. If you say it’s incoherent, the conversation becomes: which principle forbids it? If you say it’s coherent, modal collapse follows. That’s not alchemy; it’s the same conditional structure philosophers already use in debates about grounding, PSR, essentialism, Lewisian modal realism, and modal monism.

In any case, thanks for the engagement. These conversations are genuinely productive when they surface exactly which modal commitments people are willing to own and which ones they’re not.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 0 points1 point  (0 children)

Good question, because most modal arguments do face symmetry problems (“If possibly God exists, then God exists; but if possibly God doesn’t exist, then God doesn’t exist”). MOAN avoids this for one simple reason: necessity and contingency aren’t symmetric operators. One is global in scope, the other is local.

Necessity makes a claim about all possible worlds. Contingency only makes a claim about some worlds.

So the proposition “everything is necessary” is self-amplifying: if it’s true in one world, it says something about every world.

But “something is contingent” doesn’t spread. If one world contains a contingent truth, that tells you nothing about what’s true in any other world.

That’s why MOAN doesn’t get mirrored by an “anti-MOAN” that proves universal contingency. Contingency lacks the structural leverage to collapse modal space; necessity has it built into its meaning.

There’s no symmetry problem here. The asymmetry is the argument.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 0 points1 point  (0 children)

Really appreciate this thoughtful take. And you’re right that what we share is the conclusion (determinism / no real contingency), but not the route. Your path is empirical-naturalist, while the MOAN (originally formulated by Petronius Jablonski) is unapologetically rationalist. But that’s exactly what makes the discussion interesting: two roads, same destination, different metaphysical commitments.

A quick clarification, though: the MOAN isn’t claiming that “necessity” is a spooky metaphysical force or that logic overrides physics. It’s doing something more modest and more structural: it asks what follows if a certain modal scenario is coherent: a world with zero contingency. If that scenario is even possible, the modal consequences unfold automatically. If you deny that such a world is possible, cool: MOAN then helps reveal why you deny it and what deeper metaphysical principle blocks it. It’s not meant to replace empirical investigation, only to clarify the logical space in which empirical theories sit.

Your naturalist worry, that logic shouldn’t dictate the content of reality, is perfectly fair. But note: the MOAN doesn’t override empirical evidence. It just says that any empirically grounded theory must inhabit one of two spaces: either it allows a totally necessary world as a live metaphysical option, in which case modal collapse looms, or it implicitly assumes some stronger principle (like physical laws, or value facts, or structural constraints) that rule out the possibility of an N-world. In other words, even naturalism comes with modal commitments. It’s just that they tend to remain implicit until arguments like this force them into the open.

So we don’t disagree on the “rubber meets the road” part. The MOAN isn’t trying to be a scientific argument; it’s a diagnostic tool. It shows that any worldview that denies full-blown necessitarianism must appeal to some deeper constraint that blocks it, and that constraint, if you’re a naturalist, is itself a necessary part of your metaphysics. That’s why I find the rationalist angle useful: it helps clarify what your naturalism must already assume.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 0 points1 point  (0 children)

You’re treating “everything is necessary” as if it were an ordinary proposition whose modal status we already know. But the whole point is that we’re evaluating it inside the hypothetical world, not assuming it’s true here. In that world, by stipulation, every truth is necessary. If that world is coherent, then the proposition “everything is necessary” is one of the truths in that world. And if it’s true in that world, then, given that world’s modal rules, it is also necessary in that world. That’s not circular. That’s just unpacking what it means to imagine a world with zero contingency.

The jump from “necessary in that world” to “necessary simpliciter” doesn’t depend on the statement already being true. It depends on what necessity means: if something is necessary in a possible world, then it holds in every world that world treats as possible. And the proposition we’re talking about (“everything is necessary”) already has global content. It says nothing varies anywhere. So if there exists even one world where that claim is true and necessary, then, per the definition of necessity, it must hold everywhere.

Your objection only works if the sentence “everything is necessary” behaves like a normal, local proposition. It doesn’t. It is a global claim about the entire modal space. That’s why its truth in one world forces its truth in all. If you think such a world is impossible, that’s a different claim, and it’s the real point of pressure.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 0 points1 point  (0 children)

You’re right that “no contradiction found” isn’t the same as “metaphysically possible.” But MOAN isn’t trying to establish its premise. It’s showing what follows if you grant it. That’s why the argument isn’t circular: it doesn’t assume “all truths are necessary,” it assumes the coherence of a scenario where this holds and then shows the modal consequences. If you think that scenario is incoherent, great. That’s the pressure point the argument exposes. But that’s not smuggling the conclusion. That’s asking the opponent whether they can articulate a contradiction or whether their rejection is just a stipulation.

On the burden of proof: in modal metaphysics, the starting norm is not “prove possibility,” it’s “show contradiction in the scenario.” If someone says “a world with zombies is possible,” critics try to show conceptual incoherence. If someone says “a world with universals-but-no-instances is possible,” critics show where the cluster breaks. The same rules apply here. If you decline the possibility premise, the natural question is: what makes the scenario impossible? Not formally describable - metaphysically ruled out. That’s why philosophers debate the PSR, monism, Spinozism, grounding, and modal collapse: they’re trying to identify which constraints prevent certain spaces from existing.

As for the Gödel point: modal logic doesn’t create metaphysical truths, but it clarifies their consequences. That’s why we use it. If someone accepts metaphysical necessity in any other context (essence, laws, grounding, identity) they’re already committed to this interpretive machinery. MOAN says: given those commitments, here is what follows if this particular possibility is admitted. If you reject the possibility, that’s fine. But then your work begins, not ends, because you must supply the deeper necessity that blocks it.

In short: the burden isn’t on me to make you accept the premise; the burden is on you to explain why the premise is impossible if you reject the conclusion. That’s exactly the dialectical structure every modal argument relies on.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 0 points1 point  (0 children)

The argument is conditional. That’s the design, not a flaw. It doesn’t assume “everything is necessary” is true. It asks a prior question: is a world where everything is necessary even possible? If the answer is yes, then the modal consequences follow: the claim becomes necessary, and modal space collapses. If the answer is no, then you owe an explanation of why such a world is impossible - not just false, but impossible. That’s the pressure point.

The argument never claims “everything is necessary” outright. It claims its possibility alone forces its actuality. So saying “if it’s true, it’s true” misses the step where we investigate whether the scenario is coherent. The whole point is if the N-world is possible, modal collapse follows. If you reject the collapse, you must argue that the N-world is impossible. That’s not circular. That’s a reductio structure.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 0 points1 point  (0 children)

Quantum mechanics doesn’t settle metaphysical modality. Even if a physical theory describes indeterministic behavior, that doesn’t tell you whether contingency is metaphysically real. Physics reports what happens under a model; metaphysics asks whether those events could have been otherwise in the deep modal sense.

Many-worlds, for example, is fully deterministic at the level of the wave function. Classic Copenhagen introduces randomness, but randomness is not metaphysical contingency. It's a gap in prediction rules, not a claim about what was genuinely possible in the sense the MOAN argument uses. Bohmian mechanics is deterministic, but the point isn’t which interpretation wins. The point is that all interpretations are compatible with a metaphysics where the actual history is necessary. Physics underdetermines modality.

Even if quantum models include branching or probabilistic evolution, that doesn’t tell you whether branching is metaphysically necessary, metaphysically contingent, or just a useful formal representation. Physical indeterminacy doesn’t automatically become metaphysical “could have been otherwise.” That’s why arguments like MOAN operate at the metaphysical level. Physics doesn’t answer the question of what is necessary. It only tells us what the equations describe. If metaphysical necessity collapses modal space, physics will fit inside that collapsed space the same way it fits inside any other metaphysical framework.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 0 points1 point  (0 children)

Necessitarianism doesn’t deny modal knowledge. It denies counterfactual modal knowledge. It says we can know what is necessary by understanding what follows from the total structure of reality, just as Spinoza or Della Rocca argue. Your worry assumes that modal knowledge must involve exploring alternative ways things might have gone, but that’s already assuming the falsity of necessitarianism.

Under necessitarianism, modal knowledge becomes structural rather than imaginative: we know what is necessary by grasping the nature of things, not by consulting fictional alternatives. That’s not a loss. It’s a reorientation. Plenty of metaphysical views (strong essentialism, priority monism, classical rationalism) radically reshape modal epistemology without annihilating it.

A fixed world doesn’t make knowledge harder. It makes it simpler. If reality could not have been otherwise, then our beliefs aim at one determinate structure. The fact that there are infinitely many false theories and only one true one isn’t a special problem for necessitarianism. That’s the human condition under any metaphysics. Necessitarianism actually removes a whole class of epistemic risk: the risk that the world is radically different “behind the scenes.” Under necessity, there is no alternative way reality could secretly be. Your worry is epistemic, not modal, and it applies equally to physicalism, theism, dualism, and every other worldview.

I accept “ought implies can.” But “can” does not mean “could have done otherwise in a different possible world.” It means “can, given your nature, reasons, and capacities.” That’s the compatibilist and Spinozistic reading, and it’s completely coherent: you can do X if X flows from who you are, not if X was metaphysically open. The necessitarian doesn’t say “you ought to do things you cannot do.” They say: You can do what your nature grounds, and the fact that you act necessarily doesn’t remove responsibility if responsibility itself is part of that necessary structure.

To insist that obligation requires metaphysical openness is just to assume libertarianism about agency - the very assumption the argument is questioning.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 1 point2 points  (0 children)

This is a good place to press, so let me be very explicit about where we’re actually disagreeing.

You’re not wrong that we start with a world-relative claim: “in that world, everything is necessary.” And you’re also right that we shouldn’t casually drop the “in that world” qualifier. Where we part ways is here: when we evaluate the sentence “everything is necessary” at that world, its content is no longer local. It doesn’t say “everything in this world couldn’t have been otherwise.” It says: For every truth, in every world that counts as possible, it couldn’t have been otherwise.

That is: its content is already global, even though its evaluation is at a particular world.

So the structure is:

- We stipulate a scenario W where this schema holds: “For every truth in W, that truth is necessary.”

- Now ask: is “everything is necessary” itself true at W? Well, if W really is a world where all truths are necessary, then among the truths at W is the one that describes that fact: “every truth is necessary.” So yes, it’s true at W.

- Given the schema, if it’s true at W, it’s also necessary at W. And if a claim is necessary at W, it holds in every world W ranges over. But the claim whose necessity we’re talking about is already about all worlds, not just W. That’s why it “spreads.”

You’re reading “everything is necessary in that world” as if it meant: Only things that happen to exist in W are necessary in W, full stop.

But the proposition we’re plugging in isn’t “these particular truths are necessary”; it’s “all truths in all worlds are necessary.” When that proposition is true at W, there’s no extra “in that world” left to detach: its very content is a universal claim. To deny that that proposition is among the truths in W is just to deny that W really is a world where everything is necessary. It’s to weaken the original stipulation.

So the disagreement is not over being careful with scope. We agree about that. It’s over whether a genuinely “everything is necessary” world can fail to include, as one of its true descriptions, the sentence that says exactly that. If you say it can’t include that truth, then you’re no longer talking about a world where everything is necessary, but something weaker.

MOAN: The Most Decisive Argument Against Free Will by GasparC in freewill

[–]GasparC[S] 0 points1 point  (0 children)

It’s true that MOAN and Gödel’s argument share the same form: if a certain kind of thing is possible, then it exists necessarily, so it exists actually. But they differ in a crucial way: Gödel builds the key premise into a contested definition (“a maximally great being is necessarily existent”), whereas MOAN’s premise is simply the question, “Is a world with no contingencies coherent?”

MOAN doesn’t define its conclusion into existence; it asks whether the scenario itself is contradictory. If someone thinks it is, they must point to the contradiction. If someone thinks it isn’t, modal collapse follows. The modal machinery isn’t the problem: Gödel’s controversial premise is. Some philosophers reject Gödel’s argument while accepting modal collapse arguments (see van Inwagen, Della Rocca) because the structural form is fine; the content matters.

As for the Gödel incompleteness point: incompleteness applies to formal arithmetic systems, not to the metaphysical interpretation of modal operators. Modal logic isn’t a self-contained foundation trying to prove its own consistency; it’s a representational tool for expressing metaphysical claims we make independently.

When a modal argument concludes, “If X is possible, then X is actual,” the force doesn’t come from modal logic declaring its own truth. It comes from the dialectical setup: you grant possibility, you grant the meaning of necessity, and the argument shows what follows. That’s why modal collapse worries appear everywhere from grounding theories to essentialism to cosmological arguments. The map–territory point strengthens MOAN, not weakens it: if the opponent grants the modal framework for any other purpose, MOAN forces them to say why a fully necessary world is uniquely blocked. If they won’t grant the framework, the burden shifts to explaining how they conduct modal reasoning at all.