The logical analysis of Nāgārjuna’s catuṣkoṭi has remained a heated topic for logicians in Western academia for nearly a century. At the heart of the catuṣkoṭi, the four corners’ formalization typically appears as: A, Not A, Both, and Neither. The pulse of the controversy is the repetition of negations in the catuṣkoṭi. Westerhoff argues that Nāgārjuna in the Mūlamadhyamakakārikā uses two different negations: paryudāsa and prasajya-pratiṣedha. This paper builds off Westerhoff’s account and presents some subtleties of Nāgārjuna’s use of these (...) negations regarding their scope. This is achieved through an analysis of the Sanskrit and Tibetan Madhyamaka commentarial tradition and through a grammatical analysis of Nāgārjuna’s use of na and a- within a diverse variety of the catuṣkoṭi within the Mūlamadhyamakakārikā. (shrink)

This article examines the traditional and modern doctrines of categorical propositions and argues that both doctrines have serious problems. While the doctrines disagree about existential imports...

A recent challenge to Russell’s theory of definite description centers upon the divergent behavior of definites and their Russellian paraphrases in non-extensional contexts. Russellians can meet this challenge, I argue, by incorporating the familiarity theory of definiteness into Russell’s theory. The synthesis of these two seemingly incompatible theories produces a conceptually consistent and empirically powerful framework. As I show, the coalescence of Russellianism and the familiarity theory of definiteness stands as a legitimate alternative to both Traditional Russellianism and alternative semantic (...) frameworks. (shrink)

Contrary to received opinion, the Aristotelian Square of Opposition (square) is logically sound, differing from standard modern predicate logic (SMPL) only in that it restricts the universe U of cognitively constructible situations by banning null predicates, making it less unnatural than SMPL. U-restriction strengthens the logic without making it unsound. It also invites a cognitive approach to logic. Humans are endowed with a cognitive predicate logic (CPL), which checks the process of cognitive modelling (world construal) for consistency. The square is (...) considered a first approximation to CPL, with a cognitive set-theoretic semantics. Not being cognitively real, the null set Ø is eliminated from the semantics of CPL. Still rudimentary in Aristotle’s On Interpretation (Int), the square was implicitly completed in his Prior Analytics (PrAn), thereby introducing U-restriction. Abelard’s reconstruction of the logic of Int is logically and historically correct; the loca (Leaking O-Corner Analysis) interpretation of the square, defended by some modern logicians, is logically faulty and historically untenable. Generally, U-restriction, not redefining the universal quantifier, as in Abelard and loca, is the correct path to a reconstruction of CPL. Valuation Space modelling is used to compute the effects of U-restriction. (shrink)

Motivated by weaknesses with traditional accounts of logical epistemology, considerable attention has been paid recently to the view, known as anti-exceptionalism about logic, that the subject matter and epistemology of logic may not be so different from that of the recognised sciences. One of the most prevalent claims made by advocates of AEL is that theory choice within logic is significantly similar to that within the sciences. This connection with scientific methodology highlights a considerable challenge for the anti-exceptionalist, as two (...) uncontentious claims about scientific theories are that they attempt to explain a target phenomenon and prove their worth through successful predictions. Thus, if this methodological AEL is to be viable, the anti-exceptionalist will need a reasonable account of what phenomena logics are attempting to explain, how they can explain, and in what sense they can be said to issue predictions. This paper makes sense of the anti-exceptionalist proposal with a new account of logical theory choice, logical predictivism, according to which logics are engaged in both a process of prediction and explanation. (shrink)

Nāgārjuna, the famous founder of the Madhyamika School, proposed the positive catuṣkoṭi in his seminal work, Mūlamadhyamakakārikā: ‘All is real, or all is unreal, all is both real and unreal, all is neither unreal nor real; this is the graded teaching of the Buddha’. He also proposed the negative catuṣkoṭi: ‘“It is empty” is not to be said, nor “It is non-empty,” nor that it is both, nor that it is neither; [“empty”] is said only for the sake of instruction’ (...) and the no-thesis view: ‘No dharma whatsoever was ever taught by the Buddha to anyone’. In this essay, I adopt Gricean pragmatics to explain the positive and negative catuṣkoṭi and the no-thesis view proposed by Nāgārjuna in a way that does not violate classical logic. For Nāgārjuna, all statements are false as long as the hearer understands them within a reified conceptual scheme, according to which substance is a basic categorical concept; substances have svabhāva, and names and sentences have svabhāva. (shrink)

The sentences that contain empty definite descriptions are sometimes perceived to be truth-valueless and sometimes perceived to be false. Strawson offered an account of this phenomenon. However, his proposal is empirically inadequate, as shown by von Fintel. von Fintel proposes an alternative account based on a mechanism of belief revision. In this paper, I argue that sentences with multiple failing presuppositions pose a problem for von Fintel’s account. Furthermore, I discuss two variants of von Fintel’s theory proposed by Elbourne to (...) see whether they fare any better than the original. The second variant yields an incorrect prediction for the cases at hand. However, the first variant can account for the problematic examples if the false presuppositions are processed in turn. I will propose a revision of this variant that enforces distinct applications of the mechanism for each presupposition. (shrink)

Jeshion (New essays on singular thought, Oxford University Press, Oxford, 2010b) believes that singular thought is implemented by the tokening of mental files (MFC). She also believes that an individual’s being significant to the agent is necessary and sufficient for the agent’s having singular thought about the individual (Cognitivism). Goodman (Rev Philos Psychol 7(2):437–461, 2016a, Philos Q 66:236–260, 2016b) argues that mental files created under a description lead to descriptive not singular thought. She uses this to criticize Cognitivism’s sufficiency claim (...) and MFC. I show that this criticism rests on a faulty conception of the singular thought versus descriptive thought distinction and such files indeed lead to singular thought. This in turn shows that Cognitivism’s necessity claim is false. (shrink)

The translation of both ‘bedeuten’ and ‘Bedeutung’ in Frege's works remains sufficiently problematic that some contemporary authors prefer to leave these words untranslated. Here a case is made for returning to Russell's initial choice of ‘to indicate’ and ‘indication’ as better alternatives than the more usual ‘meaning’, ‘reference’, or ‘denotation’. It is argued that this choice has the philosophical payoff that Frege's controversial doctrines concerning the semantic values of sentences and predicative expressions are rendered far more comprehensible by it, and (...) that this translational strategy fulfills the desiderata of offering a translation which is acceptable both before and after Frege introduced the distinction between sense and reference or, as this paper would have it, between the sense of an expression and what it indicates. (shrink)

According to a ‘Straight’ reading of Elizabeth Anscombe’s ‘The First Person’, she holds a radically non-referring view of ‘I’. Specifically, ‘I’ is analogous to the expletive ‘it’ in ‘It’s raining’. I argue that this is not her conclusion. Her substantive view, rather is that if what you mean by ‘reference’ is a certain rich and recherché notion tracing to Frege, then ‘I’ is not a referring term. Her methodological point is that one shouldn’t be ‘bewitched by language’ into thinking that (...) ‘I’, because of its syntax, must exhibit ‘reference’ in this sense. (shrink)

One challenge that the proponent of the Fregean theory of definite descriptions has to meet is to account for those truth-value intuitions that do not match the predictions of her theory. What needs an explanation is why sentences such as ‘The king of France is sitting in that chair’ [pointing at an empty chair] are intuitively false, while semantically truth-valueless. The existence of such cases was pointed out by Strawson :216–231, 1954) and Russell :385–389, 1957), and much discussed in the (...) subsequent literature. The standard pragmatic explanation that Fregeans have proposed :113–122, 1993; von Fintel, Descriptions and beyond, Oxford University Press, Oxford, 2004; Elbourne, Definite descriptions, Oxford University Press, Oxford, 2013) invokes an epistemic strategy of verification of the utterance of the sentence. I raise three objections to this strategy, two concerning its descriptive adequacy, and one concerning the motivation offered for the approach. Finally, I propose an alternative account that relies on an inferential pattern that leads to the relevant truth-value judgements in certain contextually specified conditions. (shrink)

The argument from convention contends that the regular use of definite descriptions as referential devices strongly implies that a referential semantic convention underlies such usage. On the presumption that definite descriptions also participate in a quantificational semantic convention, the argument from convention has served as an argument for the thesis that the English definite article is ambiguous. Here, I revisit this relatively new argument. First, I address two recurring criticisms of the argument from convention: its alleged tendency to overgenerate and (...) its apparent evidential inadequacy. These criticisms are found wanting. Second, following Zacharska, I argue that while the argument from convention does alter the landscape of logical possibilities insofar as it provides good grounds for treating Donnellan’s referential–attributive distinction as having truth-conditional consequences, the argument from convention nonetheless fails to demonstrate that ‘the’ requires two lexical entries. (shrink)

Richard Rorty’s assessment of the American philosophical scene is unduly cynical. Part of the reason for this seems to lie in his recognition (in Philosophy and the Mirror of Nature) of the incoherence of “grounding” a linguistic or conceptual scheme on a “given”, but proceeding, nevertheless, to think of representation and truth as requiring conformity to a “given”. He, therefore, fails to appreciate the unity and seriousness of American philosophers who, abandoning the “given”, are working with some success·on plausible accounts (...) of representation and truth. Surprisingly, neither in his article nor his book does he attend to the remarkable increase in sophistication and serious research on the part of historians of philosophy and historians of science. Both in serious work on representation and truth and in historical research there is more rapprochement between American and Continental philosophers than Rorty seems prepared to credit. (shrink)

This paper presents an extensional account of manyand few that explains data that have previously motivated intensional analyses of these quantifiers :599–620, 2000). The key insight is that their semantic arguments are themselves set intersections: the restrictor is the intersection of the predicates denoted by the N’ or the V’ and the restricted universe, U, and the scope is the intersection of the N’ and V’. Following Cohen, I assume that the universe consists of the union of alternatives to the (...) nominal and verbal predicates, where an alternative to a property ψ is one that shares a pragmatic presupposition with ψ, and a pragmatic presupposition is one that is selected by context from a set of potential presuppositions associated with the sentence. A many/few-quantified sentence is then true iff the proportion of the scope to the restrictor is greater/less than some threshold, n. In addition to explaining various problematic cases from the literature, the analysis shows how the readings of a many/few-quantified sentence can be derived from the same syntactico-semantic structure, it being unnecessary to claim lexical or structural ambiguity. The analysis also provides strong support for the idea that natural language quantification is always purely extensional. (shrink)

Strawson’s work seems to contain both pragmatic and semantic concepts of presupposition. The former concept has largely been studied by many philosophers and linguists, while the latter has not been properly investigated (van Fraassen being an exception). The present author explicates the semantic concept of existential presupposition in relation to deriving existential statements and distinguishing their de dicto/de re variants (in the rather generalized sense following Tichý).

Presupposition is the semantic-pragmatic phenomenon whereby a statement contains an implicit precondition that must be taken for granted for that statement to be felicitous. This article discusses the role of presupposition in legislative texts, using examples from Swiss constitutional and administrative law. It illustrates how presuppositions are triggered in these texts and what functions they come to serve, placing special emphasis on their constitutive power. It also demonstrates how legislative drafters can distinguish between “good” presuppositions and “bad” presuppositions by weighing (...) their main advantage, conciseness, against their main flaw, reduced transparency. The present study argues that, if employed carefully, presuppositions can be a useful stylistic means to keep legislative texts free from unnecessary clutter that merely elaborates on the obvious; however, it also suggests that, if applied wrongly, presuppositions can camouflage the duties and obligations placed on the subjects of a law and thus impede its accessibility and its efficient and effective implementation. (shrink)

Since the famous debate between Russell (Mind 14: 479–493, 1905, Mind 66: 385–389, 1957) and Strawson (Mind 59: 320–344, 1950; Introduction to logical theory, 1952; Theoria, 30: 96–118, 1964) linguistic intuitions about truth values have been considered notoriously unreliable as a guide to the semantics of definite descriptions. As a result, most existing semantic analyses of definites leave a large number of intuitions unexplained. In this paper, I explore the nature of the relationship between truth value intuitions and non-referring definites. (...) Inspired by comments in Strawson (Introduction to logical theory, 1964), I argue that given certain systematic considerations, one can provide a structured explanation of conflicting intuitions. I show that the intuitions of falsity, which proponents of a Russellian analysis often appeal to, result from evaluating sentences in relation to specific questions in context. This is shown by developing a method for predicting when sentences containing non-referring definites elicit intuitions of falsity. My proposed analysis draws importantly on Roberts (in: Yoon & Kathol (eds.) OSU working papers in Linguistics: vol. 49: Papers in Semantics 1998; in: Horn & Ward (eds.) Handbook of pragmatics, 2004) and recent research in the semantics and pragmatics of focus. (shrink)

Following Neale, I call the notion that there can be no such thing as a structured referring expression ‘structure skepticism’. The specific aim of this paper is to defuse some putative counterexamples to structure skepticism. The general aim is to bolster the case in favor of the thesis that lack of structure—in a sense to be made precise—is essential to reference.

Consideration of a paradox originally discovered by John Buridan provides a springboard for a general solution to paradoxes within the Liar family. The solution rests on a philosophical defence of truth-value-gaps and is consistent (non-dialetheist), avoids ‘revenge’ problems, imports no ad hoc assumptions, is not applicable to only a proper subset of the semantic paradoxes and implies no restriction of the expressive capacities of language.

In debates about the proper analysis of demonstrative expressions, ostensive gestures and speaker intentions are often seen as competing for primary importance in securing reference. Underlying some of these debates is the mistaken assumption that ostensive gestures always make the demonstrated object maximally salient to interlocutors. When we abandon this assumption and focus on an object’s mutually-recognized salience itself, rather than on how the object came to be salient, we can work towards a more promising analysis with a uniform treatment (...) of demonstrative reference whether or not there is an ostensive gesture, and whether reference is ordinary or deferred. (shrink)

In recent years, a new argument in favor of Donnellan’s (Philos Rev 77: 281–304, 1966) semantic distinction between attributive and referential descriptions has been proposed by Michael Devitt and Marga Reimer. This argument is based on two empirical premises concerning regularity of use and processing ease. This paper is an attempt to demonstrate (a) that these empirical observations are dubious and fail to license the conclusion of the argument and (b) that if the argument were sound, it would severely overgenerate. (...) The general lesson of the paper is that empirical observations about (a) how frequent an expression E is used to mean M and (b) how easy and fast M is processed cannot be taken to provide reliable evidence about the lexically encoded semantic properties of E. (shrink)

Dans Naming and Necessity, Saul Kripke a proposé une théorie causale de la référence selon laquelle un nom se réfère à un objet en vertu d'une connexion causale avec l'objet, médiatisée par les communautés de locuteurs. Il déclare également que les noms propres, contrairement à la plupart des descriptions, sont des désignations rigides (le nom propre fait référence à l'objet nommé dans tout monde possible dans lequel l'objet existe)Les idées de Naming and Necessity ont évolué au fil du temps, se (...) développant sur la base de recherches formelles antérieures en théorie des modèles pour la logique modale, basées sur le principe leibnizien d'identité des indiscernables. DOI: 10.13140/RG.2.2.23511.09122 . (shrink)

According to the contemporary consensus, when reaching in the lexicon grammar looks for items like nouns, verbs, and prepositions while logic sees items like predicates, connectives, and quantifiers. In fact, there doesn’t seem to be a single lexical category contemporary grammar and logic both make use of. I hope to show that while a perfect match between the lexical categories of grammar and logic is impossible there can be a substantial overlap. I propose semantic definitions for all the major parts (...) of speech . I argue that the differences among these categories can be captured in terms of distinctions recognized in logic. (shrink)

This paper is divided into two parts. In the first one I distinguish between weak and strong Anti-Archimedeanisms, the latter being the view that metaethics, just as any other discipline attempting to work out a second-order conceptual, metaphysical non-committed discourse about the first-order discourse composing normative practices, is conceptually impossible or otherwise incoherent. I deal in particular with Ronald Dworkin’s famous exposition of the view. I argue that strong Anti-Archimedeanism constitutes an untenable philosophical stance, therefore making logical space for the (...) practice of a discipline such as metaethics—conceived as ethically neutral. This makes space, concurrently, for neutral conceptual jurisprudence. In the second part of the article, I attempt to show two things. On the one hand, that Dworkin’s widely discussed ‘challenge of disagreements’ to legal positivism is founded upon strong Anti-Archimedeanism. On the other hand, that having rejected strong Anti-Archimedeanism we should consequently reject the challenge as a serious challenge to positivism. This move, of course, does not thereby imply that accounting for legal disagreements is not an important jurisprudential task. But it marks—contra Dworkin—that there is no principled or a priori impossibility of doing so within a positivist framework. (shrink)

Philosophy Without Ambiguity: A Logico‐linguistic Essay. By JAY DAVID ATLAS The Limits to Debate: A Revised Theory of Semantic Presupposition. By NOEL BURTON‐ROBERTS From Reading to Neurons. By DAVID CAPLAN From Neuropsychology to Mental Structure. By TIM SHALLICE.

W. V. Quine thinks logical truth can be defined in purely extensional terms, as follows: a logical truth is a true sentence that exemplifies a logical form all of whose instances are true. P. F. Strawson objects that one cannot say what it is for a particular use of a sentence to exemplify a logical form without appealing to intensional notions, and hence that Quine's efforts to define logical truth in purely extensional terms cannot succeed. Quine's reply to this criticism (...) is confused in ways that have not yet been noticed in the literature. This may seem to favour Strawson's side of the debate. In fact, however, a proper analysis of the difficulties that Quine's reply faces suggests a new way to clarify and defend the view that logical truth can be defined in purely extensional terms. (shrink)

Davidson conjectured that suitably formulated Tarski-style theories of truth can “do duty” as theories of meaning for the spoken languages that humans naturally acquire. But this conjecture faces a pair of old objections that are, in my view, fatal when combined. Foster noted that given any theory of the sort Davidson envisioned, for a language L, there will be many equally true theories whose theorems pair endlessly many sentences of L with very different specifications of whether or not those sentences (...) are true. And if L includes words ‘true’, then for reasons stressed by Tarski, it’s hard to see how any truth theory for L could be correct. Moreover, each of these concerns amplifies the other. Appealing to possible worlds will not help with Foster’s Problem, for reasons that Chomsky discussed in the 1950s, and appealing to trivalent models of truth will not avoid concerns illustrated with Liar Sentences. (shrink)

Kripke’s picture of how people use names to refer to things has been the dominant view in contemporary philosophy of language. When it is mentioned at all, Donnellan’s view of proper names is considered the same as Kripke’s. It is certainly true that both Donnellan and Kripke rejected descriptivism about proper names and appealed to historical facts to determine whom a speaker is referring to by using a proper name. However, the relevant historical facts Kripke and Donnellan appeal to are (...) ultimately quite different. In this paper, I argue that Donnellan’s view of proper name fares better than Kripke’s. (shrink)

As a new foundational language for mathematics with its very different idea as to the status of logic, we should expect homotopy type theory to shed new light on some of the problems of philosophy which have been treated by logic. In this article, definite description, and in particular its employment within mathematics, is formulated within the type theory. Homotopy type theory has been proposed as an inherently structuralist foundational language for mathematics. Using the new formulation of definite descriptions, opportunities (...) to express ‘the structure of’ within homotopy type theory are explored, and it is shown there is little or no need for this expression. (shrink)

In recent work on the semantics of definite descriptions, some theorists :496–533, 2013) have advocated broadly Fregean accounts, whereby a definite description ‘the F’ introduces a presupposition to the effect that there is exactly one F and refers to it if there is, while other theorists Reference: Interdisciplinary perspectives, Oxford University Press, Oxford, pp. 61–72, 2008; Hawthorne and Manley in The reference book, Oxford University Press, Oxford, 2012) have advocated accounts whereby ‘the F’ introduces a presupposition to the effect that (...) there is exactly one F but otherwise has the semantics of ‘an F’, introducing existential quantification. It is argued that the latter theories, since they have definite descriptions encode assertoric content to the effect that there is an F, have difficulty accounting for the felicity of ‘The F is G’ when it is already presupposed that there is an F. (shrink)

In “On Referring” Peter Strawson pointed out that incomplete descriptions pose a problem for Russell’s analysis of definite descriptions. Howard Wettstein and Michael Devitt appealed to incomplete descriptions to argue, first, that Russell’s analysis of definite descriptions fails, and second, that Donnellan’s referential/attributive distinction has semantic bite. Stephen Neale has defended Russell’s analysis of definite descriptions against Wettstein’s and Devitt’s objections. In this paper, my aim is twofold. First, I rebut Neale’s objections to Wettstein’s and Devitt’s argument and argue that (...) Neale’s attempt to provide an account of referential descriptions within a Russellian framework fails. Second, contra Devitt and Wettstein, I argue that the problem posed by incomplete descriptions shows that Donnellan was right in believing that referential descriptions refer even if the definite description fits nothing. (shrink)

This paper presents an experimental study on definite descriptions. According to the classical views, a definite description, i.e., a phrase of the form “the F”, has – roughly speaking - purely descriptive semantics, that is, it designates the object which uniquely (opt. uniquely in a context) satisfies the description. However, as several philosophers including Keith Donnellan have argued, there are uses of definite descriptions on which these expressions do not seem to designate objects which satisfy the descriptions. Namely, a description (...) may refer in some circumstances to an object which does not have the property from the description. This argument is called “the Argument from misdescription” and it is raised against the classical views on the semantics of definite descriptions. In our paper, we present an experimental study on misdescription and explored reactions of ordinary users of language to various statements involving misdescriptions. The results of our research indicate that the intuition of ordinary speakers is consistent with the prediction expressed in the Argument from misdescription. We argue that the most common pragmatic explanation of misdescription, appealing to Gricean distinction between saying and meaning, is unconvincing. We vote for an alternative semantic account of definite descriptions, on which a description “the F” designates an object being F, which is at the same time the most salient individual according to a contextually established ranking of salience. (shrink)