•  8
    Strictures on an Exhibition
    Journal for the History of Analytical Philosophy 9 (11). 2021.
    In Grundgesetze der Arithmetik, Frege tried to show that arithmetic is logical by giving gap-free proofs from what he took to be purely logical basic laws. But how do we come to judge these laws as true, and to recognize them as logical? The answer must involve giving an account of the apparent arguments Frege provides for his axioms. Following Sanford Shieh, I take these apparent arguments to instead be exhibitions: the exercise of a logical capacity in order to bring us into a state of judgeme…Read more
  •  7
    Unsupervised named-entity extraction from the Web: An experimental study
    with Oren Etzioni, Michael Cafarella, Doug Downey, Ana-Maria Popescu, Tal Shaked, Stephen Soderland, and Daniel S. Weld
    Artificial Intelligence 165 (1): 91-134. 2005.
  •  16
    Frege's case for the logicality of his basic laws
    Dissertation, St. Andrews University. 2017.
    Frege wanted to show that arithmetical truths are logical by proving them from purely logical basic laws. But how do we know that these basic laws are logical? Frege uses generality and undeniability to make a prima facie case for logicality—if a truth is general and undeniable, then it’s likely logical. I argue that Frege could, did, and had to make a deeper case for why we’re right in recognizing his basic laws as logical. Implicit in his work is a view of logical laws as epistemically analyti…Read more