Logic, modal and otherwise.

Attending the Logic Summer School at the Australian National University has encouraged me to continue my studies of formal logic begun with the unit HPA292: Logic and Philosophy more informally on my own.

To this end, I purchased the Cambridge Tracts in Theoretical Computer Science book Modal Logic. My initial impressions are favourable, though I've not read much of the book.

I'll expound here in further detail on the merits of this book at a later time.

A new blog

I've decided that I'm going to start a new 'blog. Lately, I've been struck by the realisation that most of my reading is being wasted: I waste time reading random junk on the net and neglect the papers and occasional book to which I ought to be devoting my attentions.

In an attempt to spur myself into action, I will be writing this weblog my thoughts and impressions, perhaps even reviews in some sense, of the papers and books that I read.