New Members ⇒ Hello Everybody...

[Straw Man]

Hi All,

I'm a sixth year graduate student in philosophy and have been using LaTeX every year I've been in graduate school. I run LaTeX on Window's Vista. I hate Vista, but I love my new Acer Timeline. I use LaTeXEditor as my editor of choice, and I'm quite the fan (it is actually one of the reasons I don't switch to Lunix; that and Google Chrome). I also use JabRef to manage my bibliography for BiBTeX.

I don't really "create" packages, but I have modified some that might be useful for those working in philosophy. Here are some:

(1) I've modified "covington.sty" to have numbered statements that correspond to the numbering used in the equations. I've modified it so that there is a space between the number and the beginning of the text. As it turns out, it is equivalent to using:

\begin{equation}
\indent \indent ...
\end{equation}

(2) I've modified the "fitch.sty" package for doing natural deductions using Fitch's system to conform more with Kalish and Montague's box and cancel system. It isn't very fancy, but it works.

(3) I've also played around developing a package for doing deductions in a "Tree" system. There is nothing really good out there especially if you want to have each line numbered and a corresponding annotation. I don't have a package that works quite yet, but I can show you how to do it (it's painstakingly difficult) if you are willing to take the time to have a nice looking tree diagram.

That's all.

Nice to meet you.

[localghost]

Some philosophical thoughts might be good for this forum.


Best regards and welcome to the board
Thorsten¹

[frabjous]

Hey Straw Man!

LaTeX is catching on in philosophy, and will be all the rage soon. I saw "we", since I'm a philosophy professor.

I'd love to see your modification of fitch.sty to do Kalish & Montague style proofs. This is something I had considered working on, but have never found time.

I've did some fairly complicated tree proofs using pstricks; definitely not easy. Mine didn't have line numbers, but this was for modal logic, so there were "world boxes" and accessibility arrows between them going on at the same time. You can see some results, e.g., here. (See, e.g., handout 7.)

By the way, both Google Chrome (in the development form called "Chromium") and Jabref are available on Linux. It wouldn't surprise me if LEd worked under Wine, but in any case, Linux has lots of choices for LaTeX editing--a lot more than Windows. I used both LEd and TXC back when I used Windows, but neither of them compare to Kile in terms of depth of features. You can also use TeXshop or TeXmaker or AucTeX, or the gedit LaTeX plugin, or a variety of other tools.

[Stefan Kottwitz]

Hi Straw Man,

welcome to the board!

Stefan