Mindblown: a blog about philosophy.

The Institute Vienna Circle is hosting a workshop on Carnap next week, June 28 and 29.  The program is here.

These two Assistant Professorships in philosophy have just been advertised at LMU Munich (see below). The deadline for applications is July 2nd, 2010. (German language skills are not mandatory.) Soon also several postdoctoral and doctoral positions in philosophy (at the new Munich Center for Mathematical Philosophy) will also be advertised. (1) Ludwig-Maximilians-University Munich is seeking…

Two months ago, Blogger turned off FTP publishing on blogs, which meant I couldn’t update LogBlog anymore.  It’s taken a while, but the blog has now moved.  Well, I managed to import all the old posts into Drupal, the CMS we use at the University of Calgary and which generates the rest of my site. …

Here are my slides from my PM@100 talk.

Just up on the SEP, by Yaroslav Shramko and Heinrich Wansing, an entry on truth values.

Just up on the SEP, by Yaroslav Shramko and Heinrich Wansing, an entry on truth values.

Happy Ada Lovelace Day! Rózsa Péter (1905-1977) was a Hungarian mathematician and early contributor to the theory of (primitive) recursive functions. She received her PhD in 1935 from (what is now) Eötvös Loránd University in Budapest. Her fellow student Laszlo Kálmár had introduced her a few years earlier to the then brand-new work of Gödel,…

If you have access to Oxford Scholarship Online, you can now read Mancosu’s excellent collection The Philosophy of Mathematical Practice via the internets. Contemporary philosophy of mathematics offers us an embarrassment of riches. But anyone familiar with this area will be aware of the need for new approaches that will pay closer attention to mathematical…

Robin Milner died on March 20. He was a leading theoretical computer scientist who developed the LCF theorem prover, the ML programming language, and introduced the π-calculus. He was founding director of the Laboratory for Foundations of Computer Science at the University of Edinburgh and then Professor of Computer Science at Cambridge. Milner was a…

From today’s mini-AIR: The Oscillating Humans Project, announced here, is searching for a living specimen – an exemplar – of an oscillating human. DEFINITION: For purposes of the project, an Oscillating Human is someone who consistently, repeatedly, over many years, expresses opinions directly opposite to opinions he or she expressed earlier, always ignoring and/or denying…