Category Archives: Geek stuff

Nerdy annoyance

Lost a number of hours, too many, on a mysterious LaTeX problem. It turns out that fitch.sty (useful for setting Fitch-style proofs) loads a package mdwtab.sty which isn’t fully compatible with the standard tabular environment (useful for setting truth-tables). So when … Continue reading

Posted in Geek stuff | Leave a comment

Setting tableaux using prooftrees.sty

[Updated] The first edition of IFL was typeset using FrameMaker (long since defunct on a Mac), so I’m having to LaTeX the second edition from scratch. I’m using Clea Rees’s fairly new package prooftrees.sty for downward-branching tableaux, a.k.a. truth-trees, since this seems … Continue reading

Posted in Geek stuff | Leave a comment

Generating truth-tables in LaTeX

I have just added to the “Logicians’ miscellany” page of LaTeX for Logicians a new heading “Help for generating truth-tables”. There is now a link there to a Truth Table Generator webpage by Michael Rieppel. This page contains a JavaScript program … Continue reading

Posted in Geek stuff | 3 Comments

Duet Display again

I posted about this six months ago. But let me repeat myself, by way of a public service announcement! If you have e.g. a MacBook of some description (or indeed a Windows machine), and an iPad, you can use the … Continue reading

Posted in Geek stuff | Leave a comment

Reaching peak Apple: the Macbook 2016

I have not wanted to post about the really pretty miserable political news even though it has been much occupying my thoughts (for I have nothing new or insightful to add about Brexit,  about the incompetent narcissist supposedly leading the Labour … Continue reading

Posted in Geek stuff | Leave a comment

New package for setting proof tableaux

Suppose you want to typeset (using LaTeX of course) a proof tree that looks something like this: Maybe that’s an answer to some exercise for students, which is why you want a tree fully annotated with line numbers, justifications on the right, and … Continue reading

Posted in Geek stuff | Leave a comment

Apple nerd note: Duet Display

If you have e.g. a MacBook of some description (or indeed a Windows machine), and an iPad, you can use the iPad as an additional display. Duet Display works over a USB cable, so is much much smoother and less flakey … Continue reading

Posted in Geek stuff | Leave a comment

LaTeX for Logicians refresh

As a bit of distraction from all the other logic-related things I really ought to be doing, I’ve just been tidying the LaTeX for Logicians pages for the first time for a good while. After a bit of re-arrangement here, some … Continue reading

Posted in Geek stuff | Leave a comment

The Open Logic Text

As you will very probably have already seen, The Open Logic Project (a team of serious and good people) has now made available an early public version of an open-source collaborative logic text, somewhat ploddingly called the Open Logic Text.  There are two … Continue reading

Posted in Books, Geek stuff, Logic | 11 Comments

Cloud storage made easy: with a bit of helpful geekiness

This may be useful for someone who like me doesn’t keep up with every geeky development, and so can miss out on things (thanks to Keith Frankish for the heads-up). OK: you know that it makes sense to back up … Continue reading

Posted in Geek stuff | 4 Comments