Category: Uncategorized

This last Thursday I held a little workshop to tell our graduate students about LaTeX.  Since LaTeX is fairly commonly used by philosophers, I thought they should at least know what it’s all about.  I made a presentation (the handout version contains additional info).  I didn’t have time to provide a list of documents/sites to…

Read this.

Steve Awodey (CMU) explains the relevance of the foundational program of homotopy type theory and the univalence axiom to the philosophy of mathematics in a new preprint, “Structuralism, Invariance, and Univalence.” Recent advances in foundations of mathematics have led to some developments that are signicant for the philosophy of mathematics, particularly structuralism. Specically, the discovery…

Going through old emails, I found the following announcement by Larry Paulson, posted to the FOM list by Jeremy Avigad.  Good stuff, including the link to Stanis?aw ?wierczkowski’s monograph in Dissertationes Mathematicae where he carries out the proof of the incompleteness theorems in HF, the theory of hereditarily finite sets. This should be of independent…

http://quod.lib.umich.edu/e/ergo  Ergo is a general, open access philosophy journal accepting submissions on all philosophical topics and from all philosophical traditions. This includes, among other things: history of philosophy, work in both the analytic and continental traditions, as well as formal and empirically informed philosophy. Ergo uses a triple-anonymous peer review process and aims to return…

The online Youtube channel PBS Ideas is doing a segment on the realism/antirealism debate in the philosophy of mathematics as one of “10 Unanswered Questions of Science“. The format doesn’t lend itselft to much nuance, the views mentioned are naive, and it’s a bit frustrating that the only philosopher referred to is Alain Badiou, but…

You probably already know about the two packages that you can use to typeset Fitch-style natural deducation proofs in LaTeX.  Here’s another, which you may be interested in if you use Barker-Plummer, Barwise, and Etchemendy’s popular logic text Language, Proof, and Logic. It makes proofs like this: I’ve taken Etch’s original style file and Dave’s…

If you’re in Austin, you probably know this already. If you’re not, it’s probably too late. But this is what I’ll be doing this weekend: Friday, 26 April 2012Thomas Uebel, University of Manchester, “The Logic of Science and the Pragmatics of Science: The Challenge of Complementarity.”Christopher French, University of British Columbia, “Carnap, Jeffrey and Explication…

Have you ever given a presentation at a conference using your laptop, and then were annoyed that you had to carry aroudn the thing for the entire rest of the evening?  It happens to me all the time. By which I mean, once in a great while, but I nevertheless though it would be cool…

New entry in the Stanford Encyclopedia: Logical Pluralism