•  261
    Comparing Peano arithmetic, Basic Law V, and Hume’s Principle
    Annals of Pure and Applied Logic 163 (11): 1679-1709. 2012.
    This paper presents new constructions of models of Hume's Principle and Basic Law V with restricted amounts of comprehension. The techniques used in these constructions are drawn from hyperarithmetic theory and the model theory of fields, and formalizing these techniques within various subsystems of second-order Peano arithmetic allows one to put upper and lower bounds on the interpretability strength of these theories and hence to compare these theories to the canonical subsystems of second-ord…Read more
  •  177
    Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic
    Journal of Philosophical Logic 45 (3): 277-326. 2016.
    This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church’s intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill para…Read more
  •  108
    Modal Mereology and Modal Supervenience
    Philosophical Studies 159 (1): 1-20. 2012.
    David Lewis insists that restrictivist composition must be motivated by and occur due to some intuitive desiderata for a relation R among parts that compose wholes, and insists that a restrictivist’s relation R must be vague. Peter van Inwagen agrees. In this paper, I argue that restrictivists need not use such examples of relation R as a criterion for composition, and any restrictivist should reject a number of related mereological theses. This paper critiques Lewis and van Inwagen (and others)…Read more
  •  84
    Normal 0 false false false EN-US X-NONE X-NONE Normal 0 false false false EN-US ZH-TW X-NONE It is commonly believed that impartial utilitarian moral theories have significant demands that we help the global poor, and that the partial virtue ethics of Mencius and Aristotle do not. This ethical partiality found in these virtue ethicists has been criticized, and some have suggested that the partialistic virtue ethics of Mencius and Aristotle are parochial (i.e., overly narrow in their scope of con…Read more
  •  57
    Incongruent Counterparts and Causality
    Kant-Studien 98 (4): 418-430. 2007.
    Two puzzles with regard to the Kritik der reinen Vernunft are incongruent counterparts and causality. In De mundi sensibilis atque intelligibilis forma et principiis, Kant indicates that the experience of things like left and right hands, so-called incongruent counterparts, involve certain pure intuitions, and hence constitute one line of evidence for the claim that the concept of space itself is a pure intuition. In KrV, Kant again argues that the concept of space itself is a pure intuition, bu…Read more
  •  45
    Maximality, duplication, and intrinsic value
    Ratio 24 (3): 311-325. 2011.
    In this paper, I develop an argument for the thesis that ‘maximality is extrinsic’, on which a whole physical object is not a whole of its kind in virtue of its intrinsic properties. Theodore Sider has a number of arguments that depend on his own simple argument that maximality is extrinsic. However, Peter van Inwagen has an argument in defence of his Duplication Principle that, I will argue, can be extended to show that Sider's simple argument fails. However, van Inwagen's argument fails agains…Read more
  •  13
    Repeating with the right hemisphere: reduced interactions between phonological and lexical-semantic systems in crossed aphasia?
    with Irene De-Torres, Guadalupe Dávila, Marcelo L. Berthier, Ignacio Moreno-Torres, and Rafael Ruiz-Cruces
    Frontiers in Human Neuroscience 7. 2013.
  •  10
    Definability Aspects of the Denjoy Integral
    Fundamenta Mathematicae. forthcoming.
    The Denjoy integral is an integral that extends the Lebesgue integral and can integrate any derivative. In this paper, it is shown that the graph of the indefinite Denjoy integral f↦∫xaf is a coanalytic non-Borel relation on the product space M[a,b]×C[a,b], where M[a,b] is the Polish space of real-valued measurable functions on [a,b] and where C[a,b] is the Polish space of real-valued continuous functions on [a,b]. Using the same methods, it is also shown that the class of indefinite Denjoy inte…Read more
  • Empty Esotericisms: Doctrines of Secret Writing and the Politics of a Platonic Code
    Polis: The Journal for Ancient Greek Political Thought 29 (1): 62-82. 2012.
    The aim of this article is to address the recently renewed debate pertaining to esotericism, secret messages encoded within writings from antiquity, especially in the writings of Plato. The question of esotericism has assumed a prominent role within debates concerning the history of political thought. Ever since Leo Strauss offered his suspicion that there were secrets ‘buried in the writings of the rhetoricians of antiquity’, the idea that philosophers deliberately concealed their true beliefs …Read more