4 ms·
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
by matt_kantor 4mo 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 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 4mo agoNo, 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 4mo agoIt 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 4mo agoOn 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!