Mindblown: a blog about philosophy.

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

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…

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,…

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…

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…

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…

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,…

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

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…