•  24
    A Note on Safety and Iterated Knowledge
    with Eli Hirsch
    Grazer Philosophische Studien 96 (2): 244-254. 2019.
    Timothy Williamson has argued that the safety condition on knowledge places certain limits on iterations of knowledge. But at the same time, Williamson claims that interpersonal iterations of knowledge aren’t so restricted as to rule out ordinary cases. The present authors show that Williamson’s discussion misconstrues the challenge to iterated interpersonal knowledge. The proper argument against interpersonal iterations is rather what the authors call a third-person argument that does not share…Read more
  •  653
    I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challe…Read more
  •  396
    Classicality Lost: K3 and LP after the Fall
    Thought: A Journal of Philosophy 5 (4). 2016.
    It is commonly held that the ascription of truth to a sentence is intersubstitutable with that very sentence. However, the simplest subclassical logics available to proponents of this view, namely K3 and LP, are hopelessly weak for many purposes. In this paper, I argue that this is much more of a problem for proponents of LP than for proponents of K3. The strategies for recapturing classicality offered by proponents of LP are far less promising than those available to proponents of K3. This unde…Read more
  •  36
    Classicality Lost: K3 and LP after the Fall
    Thought: A Journal of Philosophy 6 (1): 43-53. 2017.
    It is commonly held that the ascription of truth to a sentence is intersubstitutable with that very sentence. However, the simplest subclassical logics available to proponents of this view, namely K3 and LP, are hopelessly weak for many purposes. In this article, I argue that this is much more of a problem for proponents of LP than for proponents of K3. The strategies for recapturing classicality offered by proponents of LP are far less promising than those available to proponents of K3. This un…Read more