What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, I argue, requires that (...) thinkers have general abilities to respond to support and tension among their thoughts. And these abilities are constituted by following logical rules. So thinkers have to follow logical rules. But there isn’t just one correct logic for thinking. I show that my view is consistent with logical pluralism: there are a range of correct logics, any one of which a thinker might follow. A logic for thinking does, however, have to contain certain minimal principles: Modus Ponens and Non-Contradiction, and perhaps others. We follow logical rules by exercising logical capacities, which display a distinctive first-person/third-person asymmetry: a subject can find the instances of a rule compelling without seeing them as instances of a rule. As a result, there are two limits on illogical thinking. First, thinkers have to tend to find instances of logical rules compelling. Second, thinkers can’t think in obviously illogical ways. So thinking has to be logical – but not perfectly so. When we try to think, but fail, we produce nonsense. But our failures to think are often subjectively indistinguishable from thinking. To explain how this occurs, I offer an account of nonsense. To be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. Our use of nonsense within the pretence relies on the role of logical form in understanding. Finally, while the normativity of logic doesn’t fall directly out of logical constitutivism, it’s possible to build an attractive account of logical normativity which has logical constitutivism as an integral part. I argue that thinking is necessary for human flourishing, and that this is the source of logical normativity. (shrink)

The catuṣkoṭi or tetralemma is an argumentative figure familiar to any reader of Buddhist philosophical literature. Roughly speaking it consists of the enumeration of four alternatives: that some propositions holds, that it fails to hold, that it both holds and fails to hold, that it neither holds nor fails to hold. The tetralemma also constitutes one of the more puzzling features of Buddhist philosophy as the use to which it is put in arguments is not immediately obvious and certainly not (...) uniform: sometimes one of the four possibilities is selected as ‘the right one’, sometimes all four are rejected, sometimes all four are affirmed. It seems that this confusion is only exacerbated by the plethora of treatments we find in the modern commentarial literature, many of which try to analyze the tetralemma by recourse to notions of modern logic. Despite some important work done during the last decades a comprehensive study of the origin and development of the catuṣkoṭi from its use in the earliest Buddhist literature up to its later employment in the Buddhist philosophical works of Tibet, China, and Japan remains yet to be written. The present paper is obviously not intended to fill this gap, but has the specific objective of giving an interpretation of Nāgārrjuna’s employment of the tetralemma which makes both logical sense and is in accordance with his general philosophical position. (shrink)

This thesis is the attempt to find a logical model for, and trace the history of, the catuṣkoṭi as it developed in the Indo-Tibetan milieu and spread, via China, to Japan. After an introduction to the history and key-concepts of Buddhist philosophy, I will finish the first chapter with some methodological considerations about the general viability of comparative philosophy. Chapter §2 is devoted to a logical analysis of the catuṣkoṭi. Several attempts to model this fascinating piece of Buddhist philosophy with (...) the tools of classical logic shall be debunked. A paraconsistent alternative will be discussed but eventually dismissed. As a rejoinder, I shall propose a model for the catuṣkoṭi with the help of speech-acts. The remainder of this chapter will look at Chinese and Japanese forms of the catuṣkoṭi which I shall model in a quasi-recursive system. The third and final chapter will look at the Kyoto School's soku-hi dialectics which ties together the different threads of this essay. I will criticise an established, classical model of the soku-hi dialectics and offer an alternative with a second-order paraconsistent semantics. (shrink)

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. (shrink)

Truth-value gaps have received little attention from a foundational perspective, a fact which has rightfully opened up gap theories to charges of vacuousness. This paper develops an account of the foundations of gap-like behavior which has some hope of avoiding such charges. I begin by reviewing and sharpening a powerful argument of Dummett’s to constrain the options that gap theorists have to make sense of their views. I then show that within these strictures, we can give an account of gaps (...) by drawing on elements of a broadly Stalnakerian framework for assertion and using gaps to track an amalgamation of assertoric effects. The discussion reveals that we may need special resources in our theories of assertion to posit gaps, that gaps may be unusable in characterizing the structure of mental states, and that gaps may have heterogeneous linguistic sources that result in equally heterogeneous projective and inferential behavior. (shrink)

Category mistakes are sentences such as ‘Colourless green ideas sleep furiously’ or ‘The theory of relativity is eating breakfast’. Such sentences are highly anomalous, and this has led a large number of linguists and philosophers to conclude that they are meaningless (call this ‘the meaninglessness view’). In this paper I argue that the meaninglessness view is incorrect and category mistakes are meaningful. I provide four arguments against the meaninglessness view: in Sect. 2, an argument concerning compositionality with respect to category (...) mistakes; in Sect. 3 an argument concerning synonymy facts of category mistakes; in Sect. 4 concerning embeddings of category mistakes in propositional attitude ascriptions; and in Sect. 5 concerning the uses of category mistakes in metaphors. Having presented these arguments, in Sect. 6 I briefly discuss some of the positive motivations for accepting the meaninglessness view and argue that they are unconvincing. I conclude that the meaninglessness view ought to be rejected. (shrink)

My topic is the relation between nonsense and intelligibility, and the contrast between nonsense and falsehood which played a pivotal role in the rise of analytic philosophy . I shall pursue three lines of inquiry. First I shall briefly consider the positive case, namely linguistic understanding . Secondly, I shall consider the negative case—different breakdowns of understanding and connected forms of failure to make sense . Third, I shall criticize three important misconceptions of nonsense and unintelligibility: the austere conception of (...) nonsense propounded by the New Wittgensteinians ; the “no nonsense position” which roundly denies that there are cases of nonsense—Chomsky’s semantic anomalies or Ryle’s category mistakes–that are grammatically well-formed, without even having the potential for being used to make a truth-apt statement ; the individualistic conception of language and of semantic mistakes championed by Davidson . All three positions, I shall argue, ignore or deny combinatorial nonsense, the fact that perfectly meaningful sentence-components can be combined in a way that may be grammatical, yet without resulting in a sentence that is itself “meaningful”, i.e. endowed with linguistic sense. At a more strategic level, the first and the third position deny or ignore that natural languages are communal historical practices that go beyond idiolects and the employments of expressions in specific contexts and that are guided by semantic rules—standards for the meaningful use of words. (shrink)

This thesis focuses on 'New' or 'Resolute' readings of Wittgenstein's work, early and later, as presented in the work of, for instance, Cora Diamond and James Conant. One of the principal claims of such readings is that, throughout his life, Wittgenstein held an 'austere' view of nonsense. That view has both a trivial and a non-trivial aspect. The trivial aspect is that any string of signs could, by appropriate assignment, be given a meaning, and hence that, if such a string (...) is nonsense, that will be because we have failed to make just such an assignment. The non-trivial aspect is this: that there is no further, non-trivial story to be told, and so nonsense is only ever a matter of our failure to give signs a meaning. Hence, too, logically speaking, all nonsense is on a par. That view, both of nonsense and of Wittgenstein, has attracted a great deal of controversy. It is particularly controversial in relation to Wittgenstein's 'Tractatus', where Wittgenstein famously declares, in the penultimate remark, that the reader is to recognise Wittgenstein's own elucidatory propositions there as nonsensical, and must eventually throw them away in coming to understand Wittgenstein himself. I defend the austere view and its attribution to Wittgenstein, early and later (but focussing primarily on the earlier), against a number of exegetical and substantial criticisms put forward by, for instance, Peter Hacker, Hans-Johann Glock and Adrian Moore. (shrink)

The recent literature on Nāgārjuna’s catuṣkoṭi centres around Jay Garfield’s and Graham Priest’s interpretation. It is an open discussion to what extent their interpretation is an adequate model of the logic for the catuskoti, and the Mūla-madhyamaka-kārikā. Priest and Garfield try to make sense of the contradictions within the catuskoti by appeal to a series of lattices – orderings of truth-values, supposed to model the path to enlightenment. They use Anderson & Belnaps's framework of First Degree Entailment. Cotnoir has argued (...) that the lattices of Priest and Garfield cannot ground the logic of the catuskoti. The concern is simple: on the one hand, FDE brings with it the failure of classical principles such as modus ponens. On the other hand, we frequently encounter Nāgārjuna using classical principles in other arguments in the MMK. There is a problem of validity. If FDE is Nāgārjuna’s logic of choice, he is facing what is commonly called the classical recapture problem: how to make sense of cases where classical principles like modus pones are valid? One cannot just add principles like modus pones as assumptions, because in the background paraconsistent logic this does not rule out their negations. In this essay, I shall explore and critically evaluate Cotnoir’s proposal. In detail, I shall reveal that his framework suffers collapse of the kotis. Taking Cotnoir’s concerns seriously, I shall suggest a formulation of the catuskoti in classical Boolean Algebra, extended by the notion of an external negation as an illocutionary act. I will focus on purely formal considerations, leaving doctrinal matters to the scholarly discourse – as far as this is possible. (shrink)

Introduction to the Routley/Sylvan Issue.

The present note revisits the joint work of Leonard Goddard and Richard Routley on significance logics with the aim of shedding new light on their understanding by studying them under the lens of recent semantic developments, such as the plurivalent semantics developed by Graham Priest. These semantics allow sentences to receive one, more than one, or no truth-value at all from a given carrier set. Since nonsignificant sentences are taken to be neither true nor false, i.e. truth-value gaps, in this (...) essay we show that with the aid of plurivalent semantics it is possible to straightforwardly instantiate Goddard and Routley’s understanding of how the connectives should work within significance logics. (shrink)