LaTeX

How do you typeset all those logical symbols so nicely?

LaTeX!

How can I learn how to use LaTeX?

There’s a DeCal class this semester, LaTeX for Math and Science. There are also many online books and tutorials. Among the best:

Where do I get LaTeX? Is it expensive?

It’s free. If you use Windows, you’ll want to get MikTeX (which contains the LaTeX system itself) and either WinShell or TeXnicCenter. If you use a Mac, you’ll want MacTeX. If you use linux, get TeXLive (on debian-based systems, apt-get install texlive).

How do I typeset Fitch-style proofs using LaTeX?

I use this package. Here’s a template to get you started, and here’s the PDF it produces after processing with pdflatex.

Peter Smith has a nice page, LaTeX for logicians, with some useful links. There’s also a LaTeX for linguists. Here’s a list of symbols you might want to use. If you don’t find what you want there, try the big list.

How do I get an upside-down iota (Russell’s definite description operator)?

In the preamble of your document,

\usepackage{graphicx}
\newcommand{\riota}{\mathrm{\rotatebox[origin=c]{180}{$\iotaup$}}}

Then just use $\riota$. (Thanks to Alexander McCormach.)

Alternatively, you can get the phonetic.sty package and put

\usepackage{phonetic}

in the preamble. (Thanks to Raul Saucedo.)