[carodgers]

Modus ponens holds regardless of whether it is assumed correct or not. By that, I mean that excepting contradictions, not only are no counterexamples known, but it is known that none will ever be found.

So I decline to adopt your convention of classifying it as an assumption. It might be more accurate to call it an observation.

[matt_kantor]

The domain of your claim was "in any universe, under any set of assumptions". I now take it that you assume (see what I did there?) that all universes are sound according to classical logic and can admit no contradictions. You might be interested in <https://plato.stanford.edu/entries/impossible-worlds>, an overview of philosophical thinking on that subject.

Separately, if you scrub "plus rules like modus ponens" from my previous comment, do you agree with the rest of it?

[carodgers]

No, again, I have made no assumptions. I have made the observation (as others may, just as easily) that no one will ever succeed in describing a scenario or a universe where modus ponens is violated.

[matt_kantor]

It seems like you don't actually want to engage with me in discussion. If I'm mistaken about that, please correct me (I enjoy talking about stuff like this and would love to understand your perspective). If not, that's fine too, but I don't want to waste my time.

[carodgers]

On other topics I imagine the conversation would flow better and, I hope, be just as lively and engaging. But to be direct, no, I'm not eager to continue when universes that admit contradictions are on the table. A conversation that permits contradictions is not likely to be productive. So I'll be content to just restate my point. Cheers!