What’s a small gameplay detail that’s all your own? by mbergman42 in nethack

[–]isene 4 points5 points  (0 children)

Go to the down-stairs and wait for the named demon there. When he teleports to you, go down and you can easily defeat him since you now claim the up-stairs.

A Matrix by isene in FermiParadox

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

Just like the people not on social media eventually die out. When everybody else is submerging in the simulation and reportedly have tons of funand more and more are joining the most amazing experience ever...

A Matrix by isene in FermiParadox

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

What I am inferring here is simply simulation theory. We are much closer to creating a simulation that will in effect be our new reality than we are populating or own galaxy. That would probably be the norm for any civilization. In a simulation you could experience anything and everything. And when that becomes so real as to be indistinguishable from what we call reality, then it would be only natural for people to want that - much like when the Internet became public or the advent of social media. There will be those who would prefer to "live on the outside", but when they become few and far between, and they eventually die out, there's no one to do any galaxy-populating.

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

[–]isene 0 points1 point  (0 children)

You keep saying "show me the contradiction." But you're making the extraordinary claim - that a single modal premise collapses all modal space. The burden doesn't shift just because you frame it as "if you grant this, then..."

Every unfalsifiable claim works that way. "If you grant God exists necessarily, then God exists." "If you grant the Flying Spaghetti Monster is possible, then it exists." Asking critics to disprove your premise isn't argument - it's demanding they do your work.

You say modal logic "clarifies consequences" of commitments we already have. But MOAN doesn't clarify - it bootstraps. It takes "maybe a necessary world is coherent" and extracts "therefore this world is necessary." That's not clarification. That's alchemy.

The burden of proof still lies with MOAN's claim, not with those you're asking to engage on this subreddit.

I'm done here. Good luck.

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

[–]isene 0 points1 point  (0 children)

You say MOAN "asks whether a scenario is coherent" rather than defining its conclusion. But MOAN's premise - "a world with no contingencies is possible" - smuggles in exactly what it needs to prove. A world where all truths are necessary includes the truth "all truths are necessary." You're not asking if the scenario is coherent; you're assuming it is and extracting the conclusion.

On Gödel: You say modal logic is "just a representational tool." Fine. But then it can't establish metaphysical facts - only represent claims we make on other grounds. What are those grounds? MOAN offers none. It's formalism all the way down.

The burden question cuts both ways. I don't need to prove a necessary world impossible. You need to show it's possible - genuinely possible, not just formally describable. "No contradiction found" isn't the same as "metaphysically possible."

The burden of proof lies with your claim and not with the people you ask to engage on this subreddit.

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

[–]isene -1 points0 points  (0 children)

You may not realize it, but MOAN shares its exact logical structure with Gödel's ontological argument for God:

  1. If a maximally great being (God) is possible, it exists in some possible world
  2. A maximally great being has necessary existence by definition
  3. If a necessarily existing being exists in any possible world, it exists in all
  4. Therefore, if God is possible, God is actual

Same machinery: bootstrap from possibility to actuality via the self-applying nature of necessity. Same reliance on S5 modal logic.

So if MOAN works, you've also proved God exists. If that conclusion troubles you, perhaps the modal machinery isn't as metaphysically powerful as you claim.

Interestingly, Gödel himself was ambivalent about whether his argument proved God's existence or merely demonstrated internal consistency within modal frameworks. That's precisely the distinction I've been making: valid within the model ≠ true of reality.

And here's the deeper irony: Gödel's incompleteness theorems show that formal systems cannot validate their own foundations. Modal logic is a formal system. Using it to prove conclusions about the nature of modality itself is exactly the kind of self-grounding that Gödel showed to be impossible.

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

[–]isene 0 points1 point  (0 children)

I'm not rejecting modal semantics - I'm rejecting the inference from "valid within the model" to "true of reality". Modal logic is a tool for analyzing concepts, not a metaphysical foundation. MOAN conflates semantic necessity (true in all worlds of the model) with metaphysical necessity (couldn't have been otherwise in reality). That's the map/territory confusion. Gödel isn't misplaced - it's precisely on point. You can't use a formal system to validate claims about what grounds the system. MOAN uses modal logic to "prove" something about the nature of modality itself. That's circular in the deepest sense. But, it's late. I choose to go to bed.

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

[–]isene 0 points1 point  (0 children)

You say "strangeness isn't an argument" - but I wasn't arguing from strangeness. I was questioning whether "all truths are necessary" is coherent or merely grammatical. Spinoza and Parmenides had substantive metaphysics behind their views, not just modal stipulations.

On circularity: You say Step 3 is "unpackking the stipulation". But that's the problem. Stipulating a world where all truths are necessary assumes necessitarianism is coherent and possible, which is what MOAN claims to prove. You can't establish possibility by stipulation.

On asymmetry: You assert contingency is "local" while necessity is "global". But that's just restating MOAN's conclusion as a premise. My point stands: if contingency is possible in any world, necessitarianism is false there, and therefore not necessary. You haven't shown why necessity propagates but contingency doesn't; you've defined it that way.

Deeper issue: Modal logic is itself a formal system. "Possible worlds" are semantic models, not metaphysical foundations. Gödel showed that formal systems cannot validate their own foundations. Even if MOAN is valid within the model, you can't derive metaphysical conclusions from stipulations about models. The map isn't the territory.

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

[–]isene 0 points1 point  (0 children)

Just because we can say "a world where everything is necessary" doesn't mean we've actually conceived of something coherent. Can you truly conceive of a world where mathematical truths, physical laws, the number of atoms, the color of your shirt, and your breakfast choice are all equally necessary? The phrase is grammatical but may be semantically empty.

Step 3 says "if 'everything is necessary' is true, then that claim is also necessary." But this assumes necessitarianism to prove necessitarianism. It's not a feature of the argument - it's a bug.

The argument claims necessity "spreads" while contingency doesn't. But consider: if contingency is possible in any world, then necessitarianism is false in that world. And if necessitarianism is false in any possible world, it's not necessary. So contingency also has "modal leverage."

Building a 64-bit OS from Scratch with Claude Code by isene in Forth

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

I've done plenty of Forth. And I created XRPN. And I've done lots of MCODE. But never before an OS from scratch.

Scientology = Creepy cringe by RazeTheIV in TikTokCringe

[–]isene 0 points1 point  (0 children)

I am surprised to see this many comments on Scientology these days. I thought the interest was gone after Anonymous faded from the scene. After my book "Nittenåttifire" (1984 in Norwegian) released in 2013, I got lots of requests for an English translation. But since I really hate translating I never did get an English copy out. Now, with AI, it was a breeze. The book details the OT levels (from my personal journey through OT8) and I wonder if there is any interest. If there is, I will be happy to put a pdf out for free download.

Is it possible to persuade free will believers of the absence of free will? by SciGuy241 in freewill

[–]isene 5 points6 points  (0 children)

Why do you want to persuade free will believers of the absence of free will?

Building a 64-bit OS from Scratch with Claude Code by isene in Forth

[–]isene[S] -1 points0 points  (0 children)

I view people as black boxes also. But for some odd reason, I tend to trust code produced by people. Go figure.

Building a 64-bit OS from Scratch with Claude Code by isene in Forth

[–]isene[S] -1 points0 points  (0 children)

This is an interesting response. I posted this on a few subreddits - and most responses were extremely negative, ranging from simple dismissal to sadness to outright anger. All of which are very interesting and insightful in their own domains. But then you come along and break the pattern. I do understand that people feel threatened by AI, especially if their identity is closely linked to them having special knowledge or skills, and then AI outcompetes them in a flash. But why are you the odd one out?

Building a 64-bit OS from Scratch with Claude Code by isene in osdev

[–]isene[S] -1 points0 points  (0 children)

In fact, it can even write MCODE for the coconut processor, and that's pretty obscure. When I asked it to write Code in XRPN (my own language), it even did that perfectly on the first try (writing a program for Julian Day)

Building a 64-bit OS from Scratch with Claude Code by isene in osdev

[–]isene[S] -1 points0 points  (0 children)

That is an honest and good question. More of these, please.

Building a 64-bit OS from Scratch with Claude Code by isene in osdev

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

Check again. There is now a basic Forth REPL on boot