Workshop on The Notion of Proof

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

Extended Deadline! CFP: Symposium on the Foundations of Mathematics

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

Visiting Research Chair in Logic or Philosophy of Science at the University of Calgary

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

E. W. Beth Dissertation Prize: 2014 Call for Nominations

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

Brian Leiter Should Apologize

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.

Journal for the History of Analytical Philosophy (JHAP) Essay Prize

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

Philosophy of Mathematics Postdoc at Nancy or Paris

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