Since 2002, FoLLI (the Association for Logic, Language, and Information, http://www.folli.info) has awarded the E.W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. We invite submissions for the best dissertation which resulted in a Ph.D. degree awarded in 2013. The dissertations will be judged on technical depth and strength, originality, … Continue reading E. W. Beth Dissertation Prize: 2014 Call for Nominations

In a (since removed) long post on his widely read blog, Brian Leiter attacked my colleague Rachel McKinnon, calling her "singularly unhinged" and "crazy".  I don't know what to say, except that I hope an apology for this singularly unprofessional outburst is forthcoming.

JHAP is an international open access, peer reviewed publication that aims to promote research in and provide a forum for discussion of the history of analytic philosophy. ‘History’ and ‘analytic’ are understood broadly. JHAP takes the history of analytic philosophy to be part of analytic philosophy. Accordingly, it publishes historical research that interacts with the … Continue reading Journal for the History of Analytical Philosophy (JHAP) Essay Prize

One year Post-doc Fellowship in the context of the ANR-DFG research   program MATHEMATICS: OBJECTIVITY BY REPRESENTATION (MathObRe) at the <a href="http://poincare.univ-lorraine.fr/Laboratoire d'Histoire des Sciences et de Philosophie—Archives Henri-Poincaré, Nancy (UMR 7117) or at the <a href="%20http://www-ihpst.univ-paris1.fr/Institut d'Histoire et de Philosophie des Sciences, Paris (UMR 8590). We invite applications for a postdoctoral fellowship for 12 months  … Continue reading Philosophy of Mathematics Postdoc at Nancy or Paris

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.  … Continue reading Carnegie Mellon Summer School in Logic and Formal Epistemology

Sad news from Fritz Stadler, director of the Institue Vienna Circle: Mit großer Betroffenheit und tiefer Trauer haben wir heute vom Ableben von Univ.Prof. Rudolf Haller erfahren. Er war in der österreichischen Philosophie und Wissenschaft ein Pionier und eine außergewöhnliche Erscheinung. Seine gewinnende Persönlichkeit mit Expertise, Menschlichkeit, Offenheit und Humor war einzigartig. Das Institut Wiener … Continue reading Rudolf Haller, 1929-2014

If you're reading this blog, you should probably be a member of the Association of Symbolic Logic -- the venerable academic society for logic and its applications, the people who bring you the best journals in the field (The Journal, Bulletin, and Review of Symbolic Logic), the Perspectives and Lecture Notes in Logic book series, … Continue reading Join the Association for Symbolic Logic — Now 50% Off!

See here. The 2014 meeting of the Society for Exact Philosophy will be held 22-24 June 2014 at the California Institute of Technology in Pasadena, CA. This year's meeting is being held in conjunction with the Formal Epistemology Workshop (FEW) which runs June 20-22nd at the University of Southern California. June 22nd will be a … Continue reading 2014 Society for Exact Philosophy

A position as post-doctoral researcher is available in the Group for Computational Logic at the Faculty of Mathematics of the Vienna University of Technology. This position is part of a research project on the proof theory of induction. The aim of this project is to further deepen our understanding of the structure of proofs by … Continue reading Postdoc in Proof Theory at TU Vienna

from http://fellowship.logic.at/: (Organized by the Kurt Gödel Society with support from the John Templeton Foundation) The Kurt Gödel Society is proud to announce the commencement of the Kurt Gödel Research Prize Fellowships Program "The Logical Mind: Connecting Foundations and Technology." The program has a particular emphasis on supporting young scholars as previous rounds of Kurt … Continue reading 2014 Kurt Gödel Research Prize Fellowships Program

Alan Turing gets royal pardon for his 1952 conviction for "gross indecency." http://www.bbc.co.uk/news/technology-25495315 http://www.theguardian.com/science/2013/dec/24/enigma-codebreaker-alan-turing-royal-pardon http://www.independent.co.uk/news/uk/home-news/alan-turing-gets-his-royal-pardon-for-gross-indecency--61-years-after-he-poisoned-himself-9023116.html

Twenty years ago this month I submitted my Diplomarbeit (MA thesis) on the proof theory of finite valued logics.  Still kinda proud of it. The main results of this report are: the use of signed formula expressions and partial normal forms to provide a unifying framework in which clause translation calculi, sequent calculi, natural deduction, … Continue reading 20 Year Anniversary: Proof Theory of Finite Valued Logics

The North American Summer School in Logic, Language and Information wil be held June 23-27, 2014 in College Park, MD.  A call for papers for the student session was just issued; deadline is February 24. The North American Summer School for Logic, Language and Information (NASSLLI) welcomes paper submissions for presentation at its Student Session. … Continue reading NASSLI 2014 Student Session CfP

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.)