Irvine, California, United States of America
  •  174
    Gingerbread Nuts and Pebbles: Frege and the Neo-Kantians–Two Recently Discovered Documents
    with Sven Schlotter
    British Journal for the History of Philosophy 21 (3). 2013.
    (2012). Gingerbread Nuts and Pebbles: Frege and the Neo-Kantians – Two Recently Discovered Documents. British Journal for the History of Philosophy. ???aop.label???. doi: 10.1080/09608788.2012.692665
  •  217
    Wittgensteinian Predicate Logic
    Notre Dame Journal of Formal Logic 45 (1): 1-11. 2004.
    We investigate a rst-order predicate logic based on Wittgenstein's suggestion to express identity of object by identity of sign, and difference of objects by difference of signs. Hintikka has shown that predicate logic can indeed be set up in such a way; we show that it can be done nicely. More specically, we provide a perspicuous cut-free sequent calculus, as well as a Hilbert-type calculus, for Wittgensteinian predicate logic and prove soundness and completeness theorems.
  •  144
    Identity and quantification
    Philosophical Studies 174 (3): 759-770. 2017.
    It is a philosophical commonplace that quantification involves, invokes, or presupposes, the relation of identity. There seem to be two major sources for this belief: the conviction that identity is implicated in the phenomenon of bound variable recurrence within the scope of a quantifier; memories of Quine’s insistence that quantification requires absolute identity for the values of variables. With respect to, I show that the only extant argument for a dependence of variable recurrence on ident…Read more