As part of my quest to make this website as useful as possible, here is a guide to Software for Philosophers, aka Philosophy Software.
Philosophers, what software do you use?
View and Rename PDF (Win). I have thousands of article and book PDFs, and I download several dozen more each week. To keep them organized, I rename each file to include the author’s name and the article name. This process was a huge pain until I discovered View and Rename PDF. First, select all the files you want to rename. The program will open each PDF at a time (so you can see which document it is), let you rename it while you’re looking at it, then move to the next. It will even move each renamed file to a new folder, so I dump all my downloads into a ‘needs renaming’ folder, and then I have a ‘ready’ folder for PDFs that are properly named. This program has saved me untold hours of tedious work.
Also see my post How to Delete the First Page for Thousands of PDF Documents.
Reference Management (many). There are many reference management programs available. See this Wikipedia comparison table. I really don’t know which ones are the best. Powerful commercial packages include Biblioscape (Win), Bookends (Mac), EndNote (Win, Mac), Papers (Mac), Reference Manager (Win), RefWorks (web), and Sente (Mac). Free packages include 2collab (web), Aigaion (web), Bibdesk (Mac), GradeGuru (web), I Librarian (any), and Jabref (any). The most promising free solutions appear to be Zotero, Mendeley, Connotea, and CiteULike.
What I don’t yet know is if there’s a program that will look at all my PDFs and automatically figure out which papers and books they are, and generate bibliographic information on all of them. If anybody knows of a program or website that can do this, please comment.
See my page on argument mapping software here.
Logic Tools (web). Logic Tools is a collection of web page calculators expression evaluation, modal system checking, etc.
Gateway to Logic (web). Collection of logic tools in a web page. Proof builder, proof checker, theorem builder, etc.
Logic Calculator (web). A simple logic calculator in a web page.
LaTeX for Logicians (web). A collection of logic symbols and tools that can be used by logicians who use LaTeX for writing papers and presentations.
Linear Logic Prover (web). Just what it says, in a web page.
LaTeX is a popular program for writing academic papers, and there are many front-ends that make it easier to use, like MiKTeX and LyX. Of course, it’s also possible to use programs like OpenOffice.org Writer or Microsoft Word, though this can be frustrating, depending on the content of your papers.