Category Archives: Geek stuff

Under reconstruction

(Friday) I’m planning, over the next day or three, to experiment with updating Logic Matters with a classier new WordPress theme. I’m so far favouring the “Tarski” theme, not just because the name seems peculiarly appropriate for a logic blog, … Continue reading

Posted in Geek stuff | 3 Comments

TTP, CUP, and a shiny new MBA

I suppose it was mildly daft to plunge into blogging about Alan Weir’s  TTP just as the beginning of term looms. There’s now a flurry of other things which I really need to be thinking about, just as I’m getting … Continue reading

Posted in Books, Geek stuff | Leave a comment

One logician’s iPad

There’s a new page on this site, linked on the right, for anyone interested. And for the rest of you, I’ll try henceforth to keep the blog an iPad-free zone. Mind you, I’m only saying try … [Added] Well, since … Continue reading

Posted in Geek stuff | 1 Comment

Reading the iPad

Just a few thoughts, after five or six weeks of happy togetherness with my new iPad … It is no wonder that we love our books: in reading them, we cradle them close to our heart.1 Yes. And we similarly … Continue reading

Posted in Geek stuff | 9 Comments

PhilTeX group blog

One to watch if you are a philosophical LaTeX geek? —  PhilTeX, a fairly new group blog on possibly relevant LaTeX matters. I’ve added links on the blogroll here and on the LaTeX for Logicians pages.

Posted in Geek stuff | Leave a comment

Apologia pro iPad sua

(“Are you sure that ‘iPad’ is feminine?” Err …. Now you mention it, no. But let’s not fuss about that, eh?) Ok, I really didn’t intend to buy an iPad. Let alone buy one on the first day of availability … Continue reading

Posted in Geek stuff | 11 Comments

Shiny new L4L

Ok, that took less time than I thought it would. So there’s now an exciting new improved LaTeX for Logicians to gladden geeky hearts. There are some rough edges which will get smoothed, but it is functional. Now tell me … Continue reading

Posted in Geek stuff | 2 Comments

Blowing the dust off LaTeX for Logicians

The LaTeX for Logicians pages have been woefully ignored of late. But at last — as a bit occupational therapy while my brain is still in a jet-lagged mush — I’ve started moving the pages to this site, updating content … Continue reading

Posted in Geek stuff | Leave a comment

Work in progress

The plan is to port here the whole old Logic Matters site (including, the pages relating to my recent books and also LaTeX for Logicians) into one better organized, and much-easier-to-update, site. Watch this space. It may take a while … Meanwhile, … Continue reading

Posted in Geek stuff | Leave a comment

Apple Preview: fail

This might just save a few Mac-based LaTeX users some grief. Suppose you use TeXShop to typeset \documentclass[11pt,a4paper]{article}\begin{document} $\{0\} \to \{y = 0\}$\end{document} The result looks just fine in the TeXShop preview window onscreen (which calls on the Mac pdf … Continue reading

Posted in Geek stuff | 2 Comments