Graham Priest

Graham Priest presents a ground-breaking account of the semantics of intentional language--verbs such as "believes," "fears," "seeks," or "imagines." Towards Non-Being proceeds in terms of objects that may be either existent or non-existent, at worlds that may be either possible or impossible. The book will be of central interest to anyone who is concerned with intentionality in the philosophy of mind or philosophy of language, the metaphysics of existence and identity, the philosophy of fiction, the philosophy of mathematics, or cognitive representation in AI.

Emptiness in India has a subtly different flavor from emptiness in China, inflected as the latter had been with a metaphysical framework inherited from the Daoist and Confucian traditions. The Huayan tradition universalizes the idea of interdependence. According to philosophers in this tradition, it is not merely that everything depends upon some other things, but that everything depends upon all other things, and that each phenomenon interpenetrates every other phenomenon. The Net of Indra is a dominant metaphor of Huayan Buddhism, but its exact content is somewhat obscure. Drawing on a graph-theoretic representation of the key notion of emptiness, this chapter delivers a precise account of the metaphor, showing how it does justice to core Huayan views. It demonstrates the utility of contemporary logical-mathematical tools for making precise classical Buddhist doctrines, and for defusing suspicions of mystical incoherence.

In early Buddhist logic, it was standard to assume that for any state of a ff airs there were four possibilities: that it held, that it did not, both, or neither. This is the catuskoti (or tetralemma). Classical logicians have had a hard time mak­ing sense of this, but it makes perfectly good sense in the se­mantics of various paraconsistent logics, such as First Degree Entailment. Matters are more complicated for later Buddhist thinkers, such as Nagarjuna, who appear to suggest that none of these options   , or more than one, may hold. The point of this paper is to examine the matter, including the formal logical machinery that may be appropriate

The paper argues for two theses: a) there are certain truths which are analytic; b) these are true by convention. Much of the paper deals with quine's arguments against these claims. The paper starts by accepting quine's network theory of belief and arguing that this presupposes a certain concept of rule following. This may be used to define analyticity. The paper then discusses the conventional nature of rule following and argues that this implies the conventional truth of analytic truths. Quine's arguments against truth by convention are then disarmed. Finally, The paper shows that the account of analyticity given gives rise to a modal logic in the order of s4, Disarming another argument against conventionalism

The paper concerns time, change and contradiction, and is in three parts. The first is an analysis of the problem of the instant of change. It is argued that some changes are such that at the instant of change the system is in both the prior and the posterior state. In particular there are some changes from p being true to p being true where a contradiction is realized. The second part of the paper specifies a formal logic which accommodates this possibility. It is a tense logic based on an underlying paraconsistent prepositional logic, the logic of paradox. (See the author's article of the same name Journal of Philosophical Logic 8 (1979).) Soundness and completeness are established, the latter by the canonical model construction, and extensions of the basic system briefly considered. The final part of the paper discusses Leibniz's principle of continuity: Whatever holds up to the limit holds at the limit. It argues that in the context of physical changes this is a very plausible principle. When it is built into the logic of the previous part, it allows a rigorous proof that change entails contradictions. Finally the relation of this to remarks on dialectics by Hegel and Engels is briefly discussed.

There is a phenomenon that often arises when a philosophy argues that there are limits to thought/language, and tries to justify this view by giving reasons as to why there are things about which one cannot think/talk---in the process appearing to give the lie to the claim. I will be concerned with that phenomenon. We will look at some of philosophies that fall into this camp (those of Wittgenstein, Heidegger, and Mahayana Buddhism). We will then see that Buddhist philosophy has resources to address this kind of issue not present in Western traditions, namely the catuskoti and its developments. The catuskoti is a principle to the effect that claims can be true, false, both, or neither. Later developments add a fifth possibility: ineffability. Of course, one might be skeptical that such ideas can be made logically respectable. I will show how to do so with some simple tools from contemporary non-classical logic.