CfP: Tools For Teaching Logic TTL2015

Tools for Teaching Logic (June 9-­12, 2015, Rennes, France) is seeking original papers with a clear significance in the following topics (but are not limited to): teaching logic in sciences and humanities; teaching logic at different levels of instruction (secondary education, university level, and postgraduate); didactic software; facing some difficulties concerning what to teach; international … Continue reading CfP: Tools For Teaching Logic TTL2015

Skolem’s 1920, 1923 Papers

In case you need the original 1920 or 1923 papers by Skolem, and you don't have Selected Works in Logic handy, here are PDFs extracted from the digital version of Skrifter utgit av Videnskapsselskapet i Kristiania. I, Matematisk-naturvidenskabelig klasse made available by the Biodiversity Heritage Library and the Internet Archive. Thoralf Skolem, "Logisch-kombinatorische Untersuchungen über … Continue reading Skolem’s 1920, 1923 Papers

CfP: 2015 Logic Colloquium in Helsinki

First Announcement & Call for Abstracts Logic Colloquium 2015European Summer Meeting of the Association for Symbolic Logic Helsinki, Finland, 3-8 August 2015 The annual European Summer Meeting of the Association for Symbolic Logic, the Logic Colloquium 2015 (LC 2015), will be organized in Helsinki, Finland, 3-8 August 2015. Logic Colloquium 2015 is co-located with … Continue reading CfP: 2015 Logic Colloquium in Helsinki

Brilliance and Other Causes of Academic Gender Gaps

Every mathematician and philosopher should watch this video by Sarah-Jane Leslie (Philosophy, Princeton) on her study with Andrei Cimpian (Psych, Illinois). Takes just 11 minutes. [youtube] Then you can go and read the original study in Science or any of the writeups in, e.g., the Science news blog, Chronicle, Daily Nous, etc.

Logical Operators in the SEP

The Stanford Encyclopedia of Philosophy now has entries on: Negation (Laurence R. Horn and Heinrich Wansing) Disjunction (Ray Jennings and Andrew Hartline) Indicative Conditionals (Dorothy Edgington) Quantifiers and Quantificiation (Gabriel Uzquiano) Identity (Harold Noonan and Ben Curtis)