Here’s a research project for you. Look at the physical interpretation of intuitionistic logic in the Markopoulou and Bell papers I mentioned yesterday, mix in Nuel Belnap’s really interesting account of an indeterministic relativistic universe in “Branching Space-time” and the Thomason point/history semantics for temporal logic motivated and justified in Belnap and Green’s wonderful Indeterminism and The Thin Red Line, and stir thoroughly.
Let me know what you cook up. I think it could be really interesting. In fact, you could come here as a graduate student and do a project just like this one. This would be a great M.A. or Ph.D. thesis topic.
I’m Greg Restall, and this is my personal website. I teach philosophy and logic as Professor of Philosophy at the University of Melbourne. ¶ Start at the home page of this site—a compendium of recent additions around here—and go from there to learn more about who I am and what I do. ¶ This is my personal site on the web. Nothing here is in any way endorsed by the University of Melbourne.