I agree that “functional time” makes sense, but somehow, I like “logical time” better. It brings out the paradox: logical truth is timeless, but any logical system must have a proof ordering, which brings out a notion of time based on what follows from what.
I agree that “functional time” makes sense, but somehow, I like “logical time” better. It brings out the paradox: logical truth is timeless, but any logical system must have a proof ordering, which brings out a notion of time based on what follows from what.