Hacker News new | ask | show | jobs
by matt_kantor 18 days ago
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?
1 comments
carodgers 18 days ago
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.
link
matt_kantor 17 days ago
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.
link
carodgers 17 days ago
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!
link