Went to D's, talked with tom7 about modal logic. I still, completely unrelated to my main research project, have this dream that there should exist a workable logic with a countable collection of box-like modalities of increasing "strength" in some sense that is the "grand unification" of classical and intuitionistic propositional logic. This being in a slightly (and perhaps not more than slightly) deeper sense than "oh, just add callcc to intuitionistic and you've got classical". Obviously I would have to figure out a way of expressing that with fewer scare-quotes, but still. The intuition is strong.
Went to D's, talked with tom7 about modal logic. I still, completely unrelated to my main research project, have this dream that there should exist a workable logic with a countable collection of box-like modalities of increasing "strength" in some sense that is the "grand unification" of classical and intuitionistic propositional logic. This being in a slightly (and perhaps not more than slightly) deeper sense than "oh, just add callcc to intuitionistic and you've got classical". Obviously I would have to figure out a way of expressing that with fewer scare-quotes, but still. The intuition is strong.
-
(no subject)
Finally back to normal again today, buncha interesting discussions at work. Free time is still getting eaten up by Learning Things I Don't Really…
-
(no subject)
There's something about the preposterous difficulty of language learning that I occasionally find paradoxically relaxing. So, obviously, what I am…
-
(no subject)
K had been reading "The Goldfinch" and some of the characters speak Polish and she noticed one said "Dziȩkujȩ" ("thank you") which is TOTALLY WRONG…
- Post a new comment
- 0 comments
- Post a new comment
- 0 comments
