The European Meeting of the ASL will be held in Leeds this year, July 31 to August 6. The deadline to submit a contributed talk is tomorrow! For details, see the conference website!
Month: April 2016
Logicians Elected to the American Academy of Arts & Sciences
The American Academy of Arts and Sciences has announced its 2016 class of fellows. Menachem Magidor (Hebrew University) has been elected Honorary Foreign Member. Vann McGee (MIT) has been elected to the Philosophy and Religious Studies section.
Shapiro’s Philosophy & Mathematics Lecture on Mathtube
Stewart Shapiro gave the 2nd annual Calgary Philosophy & Mathematics Lecture a month ago. Video of his talk, "Potential Infinity: A Modal Account," is now available on mathtube.org.
Natural deduction for the Sheffer stroke and Peirce’s arrow (and any other truth-functional connective)
Richard Zach, "Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective)," Journal of Philosophical Logic 45(2) (2016), pp. 183–197. Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke (NAND) … Continue reading Natural deduction for the Sheffer stroke and Peirce’s arrow (and any other truth-functional connective)