Caledonian: What I mean by “time” is whatever Eliezer means by it, and what I mean by “exist” is that thing that Eliezer says causality does but time doesn’t. It seems to me that time and causality are so intertwined that they are surely the same thing; if you have causality but not time, then I don’t understand what this “time” thing is that you don’t have.
Perhaps my first clue is your point that causality loops are logically possible. Perhaps time loops aren’t logically possible, and that’s one way in which the two are not the same. Perhaps I’m using a different mental dictionary than everyone else in these threads.
Caledonian: What I mean by “time” is whatever Eliezer means by it, and what I mean by “exist” is that thing that Eliezer says causality does but time doesn’t. It seems to me that time and causality are so intertwined that they are surely the same thing; if you have causality but not time, then I don’t understand what this “time” thing is that you don’t have.
When Eliezer says things like “Our equations don’t need a t in them, so we can banish the t and make our ontology that much simpler”, perhaps I need a better understanding of exactly what he’s proposing to banish.
Perhaps my first clue is your point that causality loops are logically possible. Perhaps time loops aren’t logically possible, and that’s one way in which the two are not the same. Perhaps I’m using a different mental dictionary than everyone else in these threads.