PHDs in Logic – news from the trenches Posted by Rafal Urbaniak on February 22, 2009 academia adaptive logic bits and bobs conferences logic paraconsistency +
A reference for Lindenbaum Theorem Posted by Rafal Urbaniak on February 17, 2009 bits and bobs Lindenbaum Lvov-Warsaw metalogic Tarski +
What Hempel didn't say about Ayer and Church Posted by Rafal Urbaniak on February 07, 2009 Ayer Church Hempel logic meaning philosophy verifiability +