Conflicts with Vienna Summer of Logic, but very interesting: From http://cicm-conference.org/2014/cicm.php?event=nop&menu=general We have already witnessed the moment where chess-playing computers have surpassed humans. It might seem to be only a matter of time that computers will also surpass humans in mathematical theorem proving. In fact, the traditional notion of mathematical proof faces in the beginning … Continue reading Workshop on The Notion of Proof

CfP from http://sotfom.wordpress.com: Set theory is taken to serve as a foundation for mathematics. But it is well-known that there are set-theoretic statements that cannot be settled by the standard axioms of set theory. The Zermelo-Fraenkel axioms, with the Axiom of Choice (ZFC), are incomplete. The primary goal of this symposium is to explore the … Continue reading Extended Deadline! CFP: Symposium on the Foundations of Mathematics

US$25,000 for 4 months (September 2015 or January 2016) Contact: Brad Hector, Fulbright Canada Program Officer (Scholars) The University of Calgary is pleased to offer the opportunity for a Fulbright Visiting Research Chair in Logic or the Philosophy of Science. The visiting researcher will be a part of the Department of Philosophy and collaborate with a dynamic research … Continue reading Visiting Research Chair in Logic or Philosophy of Science at the University of Calgary

The Association for Computing Machinery has awarded the 2013 Turing Award (the Computer Science equivalent of the Nobel Prize Fields Medal Schock Prize) to Leslie Lamport at Microsoft Research for his work on formal specification and verification techniques, specifically the Temporal Logic of Actions and his work on fault tolerance in distributed systems. Not as … Continue reading Leslie Lamport wins Turing Award

Today's the last of three lectures on Gentzen's second proof of the consistency of PA in my proof theory course. a) Still looking for good resources on ordinal notations, esp., $latex <\epsilon_0$, especially around the question how one can "see" that they are well-ordered without mentioning that they are order-isomorphic to $latex \epsilon_0$  Takeuti has … Continue reading Constructive Ordinals and the Consistency of PA

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