-
168Beardsley, Firth and the ideal observer theoryPhilosophy and Phenomenological Research 27 (4): 618-623. 1967.
-
Revisiting the categorical interpretation of dependent type theoryTheoretical Computer Science 546 99--119. 2014.
-
91The End of Morality: Taking Moral Abolitionism Seriously (edited book)Routledge. 2019.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
-
184Beyond moralityTemple University Press. 1994."Morality and religion have failed because they are based on duplicity and fantasy. We need something new." This bold statement is the driving force behind Richard Garner's "Beyond Morality." In his book, Garner presents an insightful defense of moral error theory-the idea that our moral thought and discourse is systemically flawed. Establishing his argument with a discerning survey of historical and contemporary moral beliefs from around the world, Garner critically evaluates the plausibility o…Read more
-
679On the genuine queerness of moral properties and factsAustralasian Journal of Philosophy 68 (2). 1990.This Article does not have an abstract
-
138On the use of proper names and definite descriptionsPhilosophical Quarterly 19 (76): 231-238. 1969.
-
760Abolishing MoralityEthical Theory and Moral Practice 10 (5): 499-513. 2007.Moral anti-realism comes in two forms – noncognitivism and the error theory. The noncognitivist says that when we make moral judgments we aren’t even trying to state moral facts. The error theorist says that when we make moral judgments we are making statements about what is objectively good, bad, right, or wrong but, since there are no moral facts, our moral judgments are uniformly false. This development of moral anti-realism was first seriously defended by John Mackie. In this paper I explore…Read more
-
110On the strength of dependent products in the type theory of Martin-LöfAnnals 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
-
44Ultrafilters, finite coproducts and locally connected classifying toposesAnnals of Pure and Applied Logic 171 (10): 102831. 2020.
-
University of HoustonRegular Faculty
Houston, Texas, United States of America
Areas of Interest
| 20th Century Philosophy |