University of Stirling
Austalian National University
NEH Fellowship for AY 2009-2010, for a project titled 'Rational Belief Revision'
I spent my NEH Fellowship for 2009-2010 finishing my book Changes of Mind: An Essay on Rational Belief-Revision.
I am now working on a big book on Logic (a much-revised and expanded version of my book Natural Logic), and a monograph on natural logicism.
Recent articles that might be of interest to Center members are:
'Inferential Semantics', in Jonathan Lear and Alex Oliver, eds., Festschrift for Timothy Smiley, Routledge, 2010, pp. 223--257
'Williamson's Woes', Synthese Special Issue Knowability and Beyond, ed. J. Salerno, vol. 173, no. 1, 2010, pp. 9--23
Forthcoming articles that might be of interest to Center members are:
'The Logical Structure of Scientific Explanation and Prediction: Planetary Orbits in a Sun's Gravitational Field', Studia Logica
'Sequent harmony', Analysis
'Deflationism and the Gödel-Phenomena: Reply to Cieslinski', Mind
‘Cut for Core Logic’, Review of Symbolic Logic
The main item for me to report this year is the publication this June of my book Changes of Mind: An Essay on Rational Belief Revision, xviii + 345 pp., by Oxford University Press.
I am also currently serving as an Academic Advisor to the John Templeton Foundation:
Finally, the paper I gave at the 2008 Fellowship Reunion Conference held in Athens, Ohio has just been published by the Review of Symbolic Logic. The title is 'Cut for Core Logic'. The online version is at
http://dx.doi.org/10.1017/S1755020311000360 . I don't think the hard copy version is out yet.
2014 Ivor Grattan-Guinness Award for Best Paper in History and Philosophy of Logic
Introducing Philosophy: God, Mind, World and Logic, Routledge, 2015
1. ‘Normalizability, Cut Eliminability and Paradox’, forthcoming in the Synthese special issue Substructural Approaches to Paradox, edited by Elia Zardini
2. ‘Rule-Irredundancy and the Sequent Calculus for Core Logic’, Notre Dame Journal of Formal Logic, 57, no. 1, 2016, pp. 105-125.
Advance publication online in 2015. DOI: 10.1215/00294527-3346463
3. ‘The Relevance of Premises to Conclusions of Core Proofs’, Review of Symbolic Logic, 8, no. 4, 2015, pp. 743-784.
4. ‘Cut for Classical Core Logic’, Review of Symbolic Logic, 8, no. 2, 2015,
pp. 236-256. DOI: http://dx.doi.org/10.1017/S1755020315000088
5. ‘A New Unified Account of Truth and Paradox’, Mind, 124, 2015, pp. 571-605
6. ‘On Gentzen’s Structural Completeness Proof’, in Heinrich Wansing,
ed., Dag Prawitz on Proofs and Meaning, in the Studia Logica series Outstanding Contributions to Logic, 2015, pp. 385-414
1. Conference on the Emergence of Structuralism and Formalism, Prague, June 2016
2. Logica Symposium 2016, organized by the Institute of Philosophy, Academy of Sciences of the Czech Republic, to be held at Hejnice monastery, June 2016. (Keynote address, ‘Core Logic’)
3. Logic Group, University of Cambridge, June 2016
4. Buffalo Logic Colloquium, SUNY at Buffalo, November 2015
5. Conference on Truth Pluralism and Logical Pluralism, University of Connecticut, April 2015
Elected as a Faculty Senator for the College of Arts & Sciences, for a three-year term beginning Autumn 2013. Re-elected 2016 for another three-year term.
My book Core Logic will be published by OUP in August 2017.
In the past year I've given papers on Core Logic to Logica 2016 in the Czech Republic, and to a workshop on Inferentialism in Montreal.