Wow, awesome. Lecturers include Rachael Briggs, Sonja Smets, and Florian Steinberger. The Munich Center for Mathematical Philosophy (MCMP) is organizing the first Summer School on Mathematical Philosophy for Female Students, which will be held from July 27 to August 2, 2014 in Munich, Germany. The summer school is open to excellent female students who want … Continue reading Summer School at MCMP for Women Formal Philosophy Students

Alan Richardson writes on HOPOS-L: Professor Maria Reichenbach passed away on 28 November at the age of 104. She survived her husband, Hans Reichenbach, by over 60 years. Within the HOPOS community, Maria Reichenbach is best known for her efforts to keep alive the work of Hans, including her translations of several of his early … Continue reading Maria Reichenbach (1909-2013)

Ivano Caponigro at UCSD writes: I'm working on a biography of Richard Montague (1930-1971) that aims to reconstruct his intellectual and personal life, his contributions, and his legacy.  Please contact me if you knew him personally (or just met him a few times) or have any material from him or about him (letters, manuscripts, pictures, … Continue reading Help sought for a biography of Richard Montague

My Doktorvater Paolo Mancosu has a new book: Inside the Zhivago Storm, on the publication history of Pasternak's Doctor Zhivago. That's the kind of scholar Paolo is: write a 400-page literary thriller because his duties as department chair at Berkeley keep him from doing his "real" work as a logician and philosopher of mathematics. UPDATE: … Continue reading Mancosu on Pasternak (!)

A postdoc in history of geometry is being advertised at Vincenzo de Risi's group at the MPI for History of Science,Berlin! https://www.h-net.org/jobs/job_display.php?id=47973 Research projects should concern the history of geometry, the history of mathematical epistemology or the history of the concept of space from the Ancient to the Early Modern Age. Possible topics include: The … Continue reading Post Doc in History of Geometry/Epistemology of Math at MPI Berlin

The Insight Grant Adjudication Committee (Committee 1C) for the 2013 Insight Grant competition of SSHRC, on which I served, prepared the following statement when the results of the competition were announced in April. We sent it to the CPA to distribute, but somehow it fell throught the cracks.  They did post an excerpt of an … Continue reading Philosophy in the SSHRC Insight Grant Competition

The Stanford Encyclopedia now has a separate entry on Gödel's incompleteness theorem (by Panu Raatikainen). http://plato.stanford.edu/entries/goedel-incompleteness/ (Juliette Kennedy's entry on Gödel also covers incompleteness.)

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 … Continue reading LaTeX for Philosophers

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 … Continue reading Awodey Explains Significance of Homotopy Type Theory to Philosophy of Mathematics

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 … Continue reading Gödel’s Incompleteness Theorems Formally Verified

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 … Continue reading Ergo, An Open Access Journal of Philosophy

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 … Continue reading PBS: Math Might Not Actually Exist

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 … Continue reading LaTeX Package for Typesetting Fitch Proofs LPL-Style

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 … Continue reading Formal Epistemology and the Legacy of Logical Empiricism

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 … Continue reading Running Beamer Presentations from Your Phone

New entry in the Stanford Encyclopedia: Logical Pluralism

We train professional philosophers. Sadly, there aren't enough philosophy jobs to go around, and it's hard to pursue a career in philosophy if you can't move to wherever you find a job.  Fortunately, philosophers have transferable skills that are in high demand. Prospective employers just don't associate these skills with "Ph.D. in philosophy".  The challenge … Continue reading How To Get A Job Outside Academia With a Ph.D. in Philosophy

The ASL Committee in Logic Education organized a thought-provoking session this morning at the APA Central Division in New Orleans.  There were four presentations and a lively discussion.  What are your thoughts? Andy Arana started things off with observations about salient differences between what we do in intro logic classes vs. what, e.g., mathematics departments … Continue reading Logic in the Philosophy Undergraduate Curriculum

All six of last year's lectures we had at Calgary's Turing Year series are now available for you to watch on mathtube.org. Thanks again to PIMS for videotaping, editing, and hosting them!  The full list: John R. Ferris: Alan Turing and Enigma Central to Alan Turing's posthumous reputation is his work with British codebreaking during the … Continue reading Turing Centenary Lectures