Rubrication

In my search for a Quantum Logic I’ve started looking at formalisations of logic for classical mechanics. This seems like a reasonable place to start.

Of course some of you know that you can easily get an intuisionistic logic from spatial operations where where meet and join are specified by intersection and union (almost, we have to be careful about boundaries). For more on how this is done and it’s connection with modal logic, look at thatlogicblog.

This is nearly enough to start reasoning about classical mechanics since we can view space as 4 dimensionally static. I haven’t worked through it yet since I’ve been a bit busy. I’ll update you later.

[Update: See The Logic of Space Part II ]

I’m without internet access yet again and I’m unlikely to get it for at least another week or two. You can expect the updates to be sparse until then.

On a related note, broadband penetration in Ireland is so bad that we are being overtaken by Slovenia and Hungary:

http://www.ofoghlu.net/log/archives/000648.html

The *number* of broadband companies is exploding though so hopefully things will improve. I, for one, will not hold my breath.