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)
Miniscule. It is a french no-dialogue cartoon about bugs. The sound effects are plenty (and excellent), however.
-
(no subject)
Omg Canadian animation! I like dinner for two, and of course who can forget The Cat Came Back. Also A Chairy Tale is technically stunning for…
-
MAN I BET I COULD WRESTLE A GOAT RIGHT NOW LET'S GO TO THE PETTING ZOO
Wait, no, alert and hyper is exactly how I'm not feeling. Had some delicious breakfast-for-dinner over at E'n'P, read some books about the history of…
- Post a new comment
- 0 comments
- Post a new comment
- 0 comments