Concept tag
#tense-logic
-
What do Prior’s four tense operators actually say, in plain words?
The game I'm building now has a time loop: the player relives the same afternoon and has to work out what will happen, what already happened, and what has always been true in the loop. A friend who did a logic minor…
Started by Hsieh Wei-ting5 replies -
Reading group: McTaggart’s ‘The Unreality of Time’ and Prior’s ‘Thank Goodness That’s Over’
I spend most of my free time on modal and many-valued logics, and I owe a great deal to Arthur Prior, who founded tense logic partly because he thought the A-series was real and needed a logic of its own. So I…
Started by Tomasz Szewczak5 replies