Mindblown: a blog about philosophy.

New SEP entry on Definitions by Anil Gupta.

Paolo‘s Stanford Encyclopedia entry on explanation in mathematics is online.

Ok, that was faster than I expected: The winners of the Kurt Gödel Centenary Research Fellowships have been announced. They are: Pre-doctoral category David Fernández Duque (Stanford): Non-deterministic semantics for dynamic topological logic Pavel Hrubeš (Czech Academy of Sciences): On lengths of proofs in non-classical logics Post-doctoral category Andrey Bovykin (Steklov/Liverpool): Independence results in concrete…

Hi, I promise to post something logic-related very soon. In the meantime, please enjoy this funny video:[youtube=http://www.youtube.com/watch?v=Ahg6qcgoay4&hl=en]Please look in the mirror before you open your car door!

Shawn at Words and Other Things asks about good books on philosophy of logic. If you have suggestions, comment there, please.

Nice! Andrej Bauer has implemented the Hydra Game in a Java applet. The Hydra Game, like Goodstein sequences, is a way of coding ordinals ≤ ε0 … hence they provide independence results from Peano Arithmetic. Andrej has all the deets. (A Java applet for Goodstein sequences is here.)

The finalists for the Kurt Gödel Centenary Research Prizes have been announced. They are: Pre-doctoral category David Fernández: Non-Deterministic Semantics for Dynamic Topological Logic Ekaterina Fokina: Index Sets for Some Classes of Structures Pavel Hrubes: On lengths of proofs in non-classical logics Maryanthe Malliaris: Realization of phi-types and Keisler’s order Kentaro Sato: The Strength of…

John Burgess has a draft of a book on Philosophical Logic up on his website. It focusses on logics with direct philosophical relevance. It starts with temporal and modal logic, deals with conditional logics, “relevantistic” logics, and intuitionistic logic. It will be a relatively slim volume, but there’s still a lot of interest in here:…

Mike Kaspari of Getting things done in academia has a useful checklist of things to do before you send off a paper. It talks about “data”, “results”, and “controls”, but it mostly applies to logic or philosophy as well. Mike asks for input on what else one should do. (HT: Semantics etc.)

New SEP entry by Herb Enderton on “Second-order and Higher-order Logic“.