•  44
    According to the moral error theorist, all moral judgments are mistaken. The world just doesn't contain the properties and relations necessary for these judgments to be true. But what should we actually do if we decided that we are in this radical and unsettling predicament--that morality is just a widespread and heartfelt illusion? One suggestion is to eliminate all talk and thought of morality. Another is to carry on believing it anyway. And yet another is to treat morality as a kind of conven…Read more
  •  15
    On the strength of dependent products in the type theory of Martin-Löf
    Annals of Pure and Applied Logic 160 (1): 1-12. 2009.
    One may formulate the dependent product types of Martin-Löf type theory either in terms of abstraction and application operators like those for the lambda-calculus; or in terms of introduction and elimination rules like those for the other constructors of type theory. It is known that the latter rules are at least as strong as the former: we show that they are in fact strictly stronger. We also show, in the presence of the identity types, that the elimination rule for dependent products–which is…Read more
  •  10
    Ultrafilters, finite coproducts and locally connected classifying toposes
    Annals of Pure and Applied Logic 171 (10): 102831. 2020.
  •  25
    Chisholm on socratic interrogation
    Philosophia 7 (3-4): 441-460. 1978.