School of Historical and Philosophical Studies - Research Publications
Permanent URI for this collection
Search Results
1 - 10 of 18
-
ItemMoral Fictionalism( 2002-10)We define and defend fictionalism about moral discourse as a preferable alternative to other anti-realist, quasi-realist or error-theoretic accounts of morality.
-
ItemProof Theory and Meaning: on second order logic(Filosofia, 2008)
-
ItemMultiple conclusions(King's College Publications, 2005)
-
ItemProofnets for S5: sequents and circuits for modal logic(Cambridge University Press, 2008)
-
ItemTruth values and proof theory(Springer Science and Business Media LLC, 2009-07-01)
-
ItemOn Permutation in Simplified Semantics(SPRINGER, 2009-06-01)
-
ItemMinimalists about truth can (and should) be epistemicists, and it helps if they are revision theorists too(Oxford University Press, 2005)
-
ItemMODELS FOR LIARS IN BRADWARDINE'S THEORY OF TRUTH(SPRINGER, 2008-01-01)
-
ItemCurry's Revenge: the costs of non-classical solutions to the paradoxes of self-reference(Oxford University Press, 2008)
-
ItemConstant domain quantified modal logics without Boolean negation(Victoria University of Wellington, 2005)This paper provides a sound and complete axiomatisation for constant domain modal logics without Boolean negation. This is a simpler case of the difficult problem of providing a sound and complete axiomatisation for constant-domain quantified relevant logics, which can be seen as a kind of modal logic with a twoplace modal operator, the relevant conditional. The completeness proof is adapted from a proof for classical modal predicate logic (I follow James Garson’s presentation of the completeness proof quite closely [10]), but with an important twist, to do with the absence of Boolean negation.