-
561Mathematics, Morality, and Self‐EffacementNoûs 52 (1): 47-68. 2016.I argue that certain species of belief, such as mathematical, logical, and normative beliefs, are insulated from a form of Harman-style debunking argument whereas moral beliefs, the primary target of such arguments, are not. Harman-style arguments have been misunderstood as attempts to directly undermine our moral beliefs. They are rather best given as burden-shifting arguments, concluding that we need additional reasons to maintain our moral beliefs. If we understand them this way, then we can …Read more
-
855Failures of Categoricity and Compositionality for Intuitionistic DisjunctionThought: A Journal of Philosophy 1 (4): 281-291. 2012.I show that the model-theoretic meaning that can be read off the natural deduction rules for disjunction fails to have certain desirable properties. I use this result to argue against a modest form of inferentialism which uses natural deduction rules to fix model-theoretic truth-conditions for logical connectives.
-
1014How Expressivists Can and Should Explain InconsistencyEthics 125 (2): 391-424. 2015.Mark Schroeder has argued that all reasonable forms of inconsistency of attitude consist of having the same attitude type towards a pair of inconsistent contents (A-type inconsistency). We suggest that he is mistaken in this, offering a number of intuitive examples of pairs of distinct attitudes types with consistent contents which are intuitively inconsistent (B-type inconsistency). We further argue that, despite the virtues of Schroeder's elegant A-type expressivist semantics, B-type inconsist…Read more
-
569Logical IndefinitesLogique Et Analyse -- Special Issue Edited by Julien Murzi and Massimiliano Carrara 227. 2014.I argue that we can and should extend Tarski's model-theoretic criterion of logicality to cover indefinite expressions like Hilbert's ɛ operator, Russell's indefinite description operator η, and abstraction operators like 'the number of'. I draw on this extension to discuss the logical status of both abstraction operators and abstraction principles.
Leeds, West Yorkshire, United Kingdom of Great Britain and Northern Ireland
Areas of Specialization
Logic and Philosophy of Logic |
Meta-Ethics |
Philosophy of Language |