-
11Review of J.L Alferes and L.M. Pereira Reasoning with Logic Programming (review)Studia Logica 67 118-120. 2001.
-
371Inference in the mengzi 1a: 7Journal 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
-
140A natural deduction system for first degree entailmentNotre 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.
-
2059Paraconsistency: Logic and Applications (edited book)Springer. 2013.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
-
15The 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
-
708On Nāgārjuna's Ontological and Semantic ParadoxPhilosophy 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
-
68Guest editors' introductionLogic 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
-
621Paraconsistent dynamicsSynthese 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
-
358The AGM theory and inconsistent belief changeLogique 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
-
199Minds, programs, and chinese philosophers: A chinese perspective on the chinese roomSophia 43 (1): 61-72. 2004.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
-
13A Dharmakirtian critique of NagarjuniansIn 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 TruthsIn 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.
-
69Three Schools of ParaconsistencyAustralasian 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
-
24Boolean Conservative Extension Results for some Modal Relevant LogicsAustralasian 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.
-
39The Blackwell guide to philosophical logicAustralasian 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.
-
455Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent LogicIn 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
-
59Contradictions in DōgenPhilosophy 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
-
966Don'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.
-
Australian National UniversitySchool of PhilosophyAustralian Research Council Future Fellow (Part-time)
Canberra, ACT, Australia
Areas of Specialization
Logic and Philosophy of Logic |
Asian Philosophy |
Areas of Interest
Logic and Philosophy of Logic |
Asian Philosophy |
Paraconsistent Logic |
Buddhist Logic |