University of Queensland
School of Historical and Philosophical Inquiry
PhD, 2000
Canberra, ACT, Australia
  •  371
    Inference in the mengzi 1a: 7
    Journal of Chinese Philosophy 38 (3): 444-454. 2011.
    In 1A:7 of the Mengzi, Mengzi tries to convince King Xuan of Qi that he is a “true” king. As a reading of Mengzi’s reasoning involved in his attempt at persuasion, David Nivison advances an inferential view, according to which Mengzi’s persuasion involves inferences. In this paper, I consider the assumptions underlying the objections raised against Nivison’s inferential view. I argue that these objections assume a contemporary Western view about the nature of logic and inferences. I propose an a…Read more
  •  140
    A natural deduction system for first degree entailment
    with Allard M. Tamminga
    Notre Dame Journal of Formal Logic 40 (2): 258-272. 1999.
    This paper is concerned with a natural deduction system for First Degree Entailment (FDE). First, we exhibit a brief history of FDE and of combined systems whose underlying idea is used in developing the natural deduction system. Then, after presenting the language and a semantics of FDE, we develop a natural deduction system for FDE. We then prove soundness and completeness of the system with respect to the semantics. The system neatly represents the four-valued semantics for FDE.
  •  2059
    A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. Th…Read more
  •  15
    The Moon Points Back (edited book)
    Oxford University Press USA. 2015.
    The Moon Points Back comprises essays by both established scholars in Buddhist and Western philosophy and young scholars contributing to cross-cultural philosophy. It continues the program of Pointing at the Moon, integrating the approaches and insights of contemporary logic and analytic philosophy along with those of Buddhist Studies in order to engage with Buddhist ideas in a contemporary voice.The essays in the volume focus on the Buddhist notion of emptiness, exploring its relationship to co…Read more
  •  708
    On Nāgārjuna's Ontological and Semantic Paradox
    Philosophy East and West 66 (4): 1292-1306. 2016.
    In one of his key texts, the Mūlamadhyamakakārikā, Nāgārjuna famously sets out to refute the ontology of essence.1 He presents numerous arguments to show that things don’t exist essentially—that is, that things are empty of essence or inherent existence. The doctrine of emptiness has been variously understood by traditional and contemporary commentators. Most radical is the recent interpretation presented by Garfield and Priest. They have rationally reconstructed Nāgārjuna’s doctrine of emptines…Read more
  •  68
    Guest editors' introduction
    Logic and Logical Philosophy 19 (1-2): 5-6. 2010.
    A logic is said to be paraconsistent if it doesn’t license you to infer everything from a contradiction. To be precise, let |= be a relation of logical consequence. We call |= explosive if it validates the inference rule: {A,¬A} |= B for every A and B. Classical logic and most other standard logics, including intuitionist logic, are explosive. Instead of licensing you to infer everything from a contradiction, paraconsistent logic allows you to sensibly deal with the contradiction
  •  621
    Paraconsistent dynamics
    Synthese 193 (1): 1-14. 2016.
    It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of belief revision in a paraconsistent setting
  •  358
    The AGM theory and inconsistent belief change
    Logique Et Analyse 48 (189-192): 113-150. 2005.
    The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is …Read more
  •  199
    The paper is concerned with John Searle’s famous Chinese room argument. Despite being objected to by some, Searle’s Chinese room argument appears very appealing. This is because Searle’s argument is based on an intuition about the mind that ‘we’ all seem to share. Ironically, however, Chinese philosophers don’t seem to share this same intuition. The paper begins by first analysing Searle’s Chinee room argument. It then introduces what can be seen as the (implicit) Chinese view of the mind. Lastl…Read more
  •  13
    A Dharmakirtian critique of Nagarjunians
    In Mario D'Amato, Jay L. Garfield & Tom J. F. Tillemans (eds.), Pointing at the Moon: Buddhism, Logic, Analytic Philosophy, Oxford University Press. 2009.
  • Carnap's Pragmatism and the Two Truths
    In Georges Dreyfus, Bronwyn Finnigan, Jay Garfield, Guy Newland, Graham Priest, Mark Siderits, Koji Tanaka, Sonam Thakchoe, Tom Tillemans & Jan Westerhoff (eds.), Moonshadows. Conventional Truth in Buddhist Philosophy, Oxford University Press. pp. 181--188. 2011.
  •  69
    Three Schools of Paraconsistency
    Australasian Journal of Logic 1 28-42. 2003.
    A logic is said to be paraconsistent if it does not allow everything to follow from contradictory premises. There are several approaches to paraconsistency. This paper is concerned with several philosophical positions on paraconsistency. In particular, it concerns three ‘schools’ of paraconsistency: Australian, Belgian and Brazilian. The Belgian and Brazilian schools have raised some objections to the dialetheism of the Australian school. I argue that the Australian school of paraconsistency nee…Read more
  •  32
    Introduction: Buddhism and Contradiction
    Philosophy East and West 63 (3): 315-321. 2013.
  •  24
    Boolean Conservative Extension Results for some Modal Relevant Logics
    with Edwin D. Mares
    Australasian Journal of Logic 8 (5): 31-49. 2011.
    This paper shows that a collection of modal relevant logics are conservatively extended by the addition of Boolean negation.
  •  39
    The Blackwell guide to philosophical logic
    Australasian Journal of Philosophy 80 (3): 394. 2002.
    Book Information The Blackwell Guide to Philosophical Logic. Edited by Lou Goble. Blackwell Publishers. Oxford. 2001. Pp. x + 510. Paperback, £16.99.
  •  455
    Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic
    In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications, Springer. pp. 15--25. 2013.
    Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I turn the tables on classical logicians and ask what…Read more
  •  59
    Contradictions in Dōgen
    Philosophy East and West 63 (3): 322-334. 2013.
    In "The Way of the Dialetheist: Contradictions in Buddhism," Yasuo Deguchi, Jay L. Garfield, and Graham Priest argue that some (though not all) of the contradictions that appear in Buddhist texts should be accepted. An examination of their argument depends on what sort(s) of negation is (are) used in the texts. In order to see apparently contradictory statements as affirmations of true contradictions, we must assume that 'not' (or its variance) is used as a contradiction-forming operator. In thi…Read more
  •  966
    Don't Think! Just Act!
    In Graham Priest & Damon Young (eds.), Philosophy and the Martial Arts, Open Court. 2010.
    Kenzo saw a slight movement of his opponent. “Now is the time to strike!” he thought. He started moving. But before he had time to raise his shinai (sword) he was struck on the men (head) by his opponent. “Ippon!” the judge called.