But also, "time is conceived as a linear, discrete succession of time instants". Idk if I'm comfortable committing to that

Seems plausible, but idk... who is to say...


(calling the metaphysics hotline) Hello. Hello I have a question? What is time

They should invent a search engine where I can type in a list of things which ought to be true of time and it will tell me if there's a temporal logic that satisfies those things

I am comfortable with the idea that the past is fixed and linear

The future might as well exist. The present? Who knows

Imo the present is something we are always arriving at, but never quite reach

@jordyd It makes a lot of sense if the things you are observing are program states (which is what LTL is used for a lot AFAIK). Probably an awful philosophical logic, tho.
@abs @jordyd If you don't believe in the Reals, you probably shouldn't believe in continuous time either. I'm not sure how you plan on slicing time any thinner than h/c, but you'd probably do so constructively. Or how else would you get an infinite number of intermediate time points between two moments in time?
@Koishi @abs @jordyd But a countable one, right? In any case, in our universe it seems reasonable to assume quantized time...

@thomate @abs @jordyd (feel free to ask to get untagged lol) what would the problem be with countability? :thonkan:

It's not a problem, but wouldn't the rationals be compatible with discrete time? For any rational number in time, you can build a discrete timeline leading to it. As opposed to like pi seconds from now.
@abs @jordyd

@thomate @abs @Koishi Yeah the rationals are discrete, tho in this context linear temporal logic seems to make the assumption that for every moment in time, there is a single "next" moment, which would not make sense for rational time

@jordyd @abs @Koishi Aha yes, that gets tricky. That sort of linearity is a very useful simplification, and even matches reality when quantum functions are collapsed, where you can construct such a linear timeline. But it's true, if you want to describe a state where a quantum function hasn't been resolved to a classical state, that's not linear.
Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!