The aim of this paper is to discuss a basic assumption tacitly shared by many philosophers of mind and language: that whatever can be meant, can be said. It specifically targets John Searle’s account of this idea, focussing on his Principle of Expressibility (PE henceforth). In the first part of the paper, PE is exposed underlining its analyticity (1) and its relevance for the philosophy of language (2), mind (3), society and action (4). In the critical part, the notion of (...) Background is taken into account in order to re-evaluate two basic distinctions: the one between sentence and utterance meanings (5), and the one between native and type speakers (6). PE is reconsidered in the light of the previous arguments as a methodological strategy that does not prevent uses of language from eventual semantic excesses and deficits (7), and a complementary Principle of Expression Fallibility is finally proposed (8). (shrink)

Error theory turns on a particular presupposition about the conceptual commitments of moral realism, namely that the moral facts posited by realists need to be categorical. True moral propositions are said to have an absolute authority in their prescriptions in the sense that an agent, regardless of her own ends, needs or desires, is categorically obligated and has reason to act in accordance with their prescriptions. But, nothing in the world has such a queer property as categoricity, and therefore we (...) ought to be suspect of the enterprise of moral discourse. Some philosophers, like Stephen Finlay, have argued that this categoricity is not a necessary feature of moral language, and in so doing hope to have shown that the error theoretic critique is thus refuted. In this article I offer a survey of the literature on this topic and then contribute independent motivations for siding with those who think moral facts need not be categorical. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

This paper is concerned with an intuitive contrast that arises when we consider sentences containing empty definite descriptions. A sentence like ‘The king of France is bald’ appears neither true nor false, while a sentence like ‘My friend was visited by the king of France’ appears false. Recently, Stephen Yablo has suggested an account of this intuitive contrast. Yablo’s account is particularly interesting, since it has important consequences for the ontological commitments of number sentences like ‘The number of planets is (...) even’. However, the paper argues that Yablo’s account is not convincing and that it can thus not establish these consequences. Further, it develops a Strawsonian account of the intuitive contrast. The developed account allows us to draw important conclusions regarding the correct analysis of definite descriptions and of existence sentences containing definite descriptions. (shrink)

Mind the Gap Presupposition has been a widely discussed topic in the philosophical and linguistic tradition since the beginning: Frege, in Über Sinn und Bedeutung , claims that the use of a singular term presupposes the existence of the individual denoted. The Fregean example was that to give a truth value to the sentenceKepler died in miserywe need to take for granted the truth of the propositionKepler existedTherefore, is a semantic presupposition of . Since the Fregean stance, analytic scholars have (...) given the following definition: a sentence p semantically presupposes a sentence q if we need the truth of q in order to treat p as endowed with sense, that is, as either true or false. If the presupposition is lacking, then the sentence p lacks a truth value . Russell, in On Denoting , launched a strong criticism of the Fregean theory of semantic presupposition, contrasting the Fregean view with .. (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)

My dissertation addresses the question "do desires provide reasons?" I present two independent lines of argument in support of the conclusion that they do not. The first line of argument emerges from the way I circumscribe the concept of a desire. Complications aside, I conceive of a desire as a member of a family of attitudes that have imperative content, understood as content that displays doability-conditions rather than truth-conditions. Moreover, I hold that an attitude may provide reasons only if it (...) has truth-evaluable content. Insofar as desires lack truth-evaluable content, I hold that the content of a desire has the wrong kind of logical structure to provide reasons. My second line of argument claims that even if a desire did have truth-evaluable content, it would not follow that desires provide reasons. This is because a desire has no more rational significance than a guess or coin-flip. My argument relies on what I call the non-substitutability principle, the thesis that (all things being equal) one cannot substitute something that lacks rational significance, relative to some attitude, A, for something that has rational significance, relative to A, and leave the rational standing of A unchanged. For example, one cannot substitute the guess that P (i.e., something that lacks rational significance relative to the belief that P) for the perception that P (i.e., something that is rationally significant relative to the belief that P) without altering the rational standing of the belief. I argue that when the non-substitutability principle is applied to a desire that gives rise to an intention, it turns out that one can always substitute a guess or coin-flip (i.e., something that lacks rational significance relative to the intention) for the desire, without altering the rational standing of the intention. I take this to show that desires are not rationally significant relative to the intentions to which they give. (shrink)

The central claim of this thesis is that concepts, the components from which cognitively significant truth evaluable content (thought) is composed, are unstructured entities an account of whose individuation makes no essential reference to other concepts in the possession of the thinking subject or to any particular means by which the reference of the concept is identified by the thinking subject. This position is called Conceptual Atomism and contrasts with Inferential Role Semantics, according to which concepts are individuated by their (...) inferential roles or their conditions of warranted application. The structure of the argument is as follows. Firstly, a principle called the Transparency Principle is developed. This places constraints on the individuation of concepts across differing contexts. The Transparency Principle is then used to show that Inferential Role Semantics is false because it cannot provide a satisfactory account of cognitive dynamics; that is, of the conditions under which a concept is retained through changes in the epistemic state of the subject over a period of time. A version of Conceptual Atomism is then defended and it is shown that this theory yields the correct individuation of concepts. According to this theory the concepts of an individual subject are individuated in terms of referential episodes, episodes of ongoing reference to an object or property during which it is diachronically transparent to the subject that the same thing is being referred to. The more general notion of a referential practice is then used to account for the sharing of concepts by more than one person. Finally, a novel account of the thoughts expressed using indexical terms is defended in order to show that indexicals present no counterexample to Conceptual Atomism. This account of indexical thoughts is of some consequence in its own right. (shrink)

Bach fails to give a satisfactory pragmatic account of referential uses of definite descriptions because he does not explain how a description’s quantificational meaning plays a “key role” in those uses. Bach’s criticism that my semantic account does not explain how the hearer understands a description is misguided. Bach’s denial that a pragmatic account is committed to the attributive use being more fundamental detaches meaning from use in an unacceptable way.

Just about every theorist holds that vague terms are context-sensitive to some extent. What counts as ?tall?, ?rich?, and ?bald? depends on the ambient comparison class, paradigm cases, and/or the like. To take a stock example, a given person might be tall with respect to European entrepreneurs and downright short with respect to professional basketball players. It is also generally agreed that vagueness remains even after comparison class, paradigm cases, etc. are fixed, and so this context sensitivity does not solve (...) the problems with vague terms. In this paper, I briefly sketch the main features of my broadly contextualist account of vagueness, that of the late Ruth Manor, and that of Agustín Rayo, showing how the three accounts relate to, and reinforce, each other, noting a seeming difference. A key item used to articulate my own view is David Lewis's notion of conversational score. This is used to track which borderline cases have been called in the course of a conversation. Manor alludes to Lewis's notion of accommodation, a key aspect of the kinematics of conversation, and Rayo invokes Stalnaker's notion of common ground. I'll show how the conversational score could be employed to develop and extend their views, showing how vague terms, as they construe them, are (or can be) deployed in conversation, consistent with both the underlying indeterminacy of the terms and normal communicative goals. To help develop all three views further, I invoke Craige Roberts's notion of Retrievability, a tool developed to show how definites, such as definite descriptions, singular pronouns, and proper names, are deployed in conversation, in a Lewis-style scorekeeping framework. This, I think, is exactly the right way to understand conversations in what Manor calls non-sorities situations and, to invoke my own view, in sorites situations as well. (shrink)

Defenders of the Knowledge Argument contend that physicalism is false because knowing all the physical truths is not sufficient to know all the truths about the world. In particular, proponents of the Knowledge Argument claim that physicalism is false because the truths about the character of conscious experience are not knowable from the complete set of physical truths. This dissertation is a defense of the Knowledge Argument. Chapter one characterizes what physicalism is and provides support for the claim that if (...) knowing all the physical truths is not sufficient to know all the truths about the world, then physicalism is false. In chapter two, I defend the claim that knowing all the physical truths is not sufficient for knowing all the truths about the world. In addition to mounting a prima facie case for the knowledge intuition, I present and defend an epistemology grounded in direct acquaintance to provide a more substantive argument to accept it. Chapters three through five address the physicalist objections to the Knowledge Argument. The first set of objections advocates that knowing all the physical truths is, in fact, sufficient for knowing all the truths about the world. The next set of objections admits that there is some sense in which knowing all the physical truths is not sufficient for knowing all the truths about the world. However, these objections maintain that the kind of knowledge that is absent from the complete set of physical truths is know-how or knowledge by acquaintance, and not factual or propositional knowledge. The final set of objections maintain that the kind of propositional knowledge that is left out of the complete set of physical truths is compatible with physicalism. My response to these objections is part of advancing my prima facie case for the Knowledge Argument. The final chapter addresses a structural question that pertains to the Knowledge Argument. Some philosophers have maintained that the structure of the Knowledge Argument invites a kind of self-refutation of any systematic account of reality. The concern is that the Knowledge Argument proves too much, and that the dualist who uses the argument to refute physicalism risks the argument defeating his own position. I will argue that the Knowledge Argument does not refute dualism. (shrink)

This paper has two purposes: the first is to critically examine Kripke’s well-known arguments against Descriptivism and suggest that they are not as decisive as many have thought; the second is to argue that proper names do encode descriptive information of various kinds, that such information may be truth-conditionally significant, and hence that a name’s truth-conditional contribution is not limited to its referent.

Presupposition has been described in the literature as closely related to the listener’s knowledge and the speaker’s beliefs regarding the other’s mind. However, how is it possible to know or believe our interlocutor’s knowledge? The purpose of this paper is to find an answer to this question by showing the relationship between reasoning, presumption and language. Presupposition is analyzed as twofold reasoning process: on the one hand, the speaker by presupposing a proposition presumes that his interlocutor knows it; on the (...) other hand, the listener reconstructs the propositions taken for granted and assesses them against the shared presumptions. The possibility of reconstructing a presupposition is distinguished from its assessment, where the consistency of the presupposition with the shared or common ground is evaluated, and its reasonableness established. The analysis of presuppositions from an argumentative perspective provides an instrument for evaluating the reasonableness of a presupposition and understanding its dialogical effect. On this view, the dialogical force of a presupposition lies in its presumptive nature, which sets and shifts the burden of proving its unacceptability or unreasonableness. (shrink)

In this paper, we do two things. First, we provide some support for adopting a version of the meaningless strategy with respect to the liar paradox, and, second, we extend that strategy, by providing, albeit tentatively, a solution to that paradox—one that is semantic, rather than logical.

Late medieval theories of language and contemporary philosophy of language have been compared on numerous occasions. Here, we would like to compare two debates: that between the nature of Virtus sermonis , on the medieval side—focusing on a statute published in 1340 by the Faculty of Arts of the University of Paris and its opponents—and, on the contemporary side, the on-going discussion on the semantics-pragmatics distinction and how the truth-value of an utterance should be established. Both the statute and Gricean (...) pragmatics insist on the importance of taking into account the speaker's intention and the context in establishing the signification of an utterance. Yet, upon closer examination, a more convincing parallel might be drawn between the statute's position and current theories in truth-conditional pragmatics. Focusing on a few aspects of the statute that seem to find a counterpart within contemporary pragmatics, we try to show how the issues they give rise to converge, but also diverge. (shrink)

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed (...) with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (shrink)

This paper examines the place of metaphorical interpretation in the current Contextualist‐Literalist controversy over the role of context in the determination of truth‐conditions in general. Although there has been considerable discussion of ‘non‐literal’ language by both sides of this dispute, the language analyzed involves either so‐called implicit indexicality, loose or loosened use, enriched interpretations, or semantic transfer, not metaphor itself. In the first half of the paper, I critically evaluate Recanati’s (2004) recent Contextualist account and show that it cannot account (...) for the metaphorical‐literal dependence characteristic of metaphor. I then turn to Carston’s (2002), and Bezuidenhout’s (2001) Contextualist accounts and show that they place no constraints on metaphorical interpretations. In the second half of the paper I sketch a Literalist theory of metaphor elaborated in Stern (2000) and respond to two kinds of Contextualist criticisms of that account by Camp (2005) and Stanley (2005). (shrink)

This article introduces three arguments that share a single conclusion: that a comprehensive science of language cannot describe relations of semantic reference, i.e. word–world relations. Spelling this out, if there is to be a genuine science of linguistic meaning, then a theory of meaning cannot involve assigning external, real-world, objects to names, nor sets of external objects to predicates, nor truth values to sentences. Most of the article tries to explain and defend this broad conclusion. The article also presents, in (...) a very limited way, a positive alternative to external-referent semantics for expressions. This alternative has two parts: first, that the meanings of words and sentences are mental instructions, not external things; second, that it is people who refer by using words and sentences, and word/sentence meanings play but a partial role in allowing speakers to talk about the world. (shrink)

This thesis is concerned with the challenge truth-value gaps pose to the principle of bivalence. The central question addressed is: are truth-value gaps counterexamples to bivalence and is the supposition of counterexamples coherent? My aim is to examine putative cases of truth-value gaps against an argument by Timothy Williamson, which shows that the supposition of counterexamples to bivalence is contradictory. The upshot of his argument is that either problematic utterances say nothing, or they cannot be neither true nor false. I (...) start by identifying truth-bearers: an utterance, for instance, is a truth-bearer if it says that something is the case. Truth-bearers are evaluable items, with truth- and falsity-conditions statable in corresponding instances of schemas for truth and falsehood. A genuine case of a truth-value gap should be an utterance that is neither true nor false but says something to be the case. But it is inconsistent to accept the schemas for truth and falsehood and the existence of genuine cases of truth-value gaps. Secondly, I expound Williamson’s argument, which explores this inconsistency, and I identify two kinds of strategy to disarm his argument: those that preserve the schemas for truth and falsehood, and those that do not. Neither strategy is found to be persuasive. Thirdly, I argue that cases of reference failure causing truth-value gaps illustrate the upshot of Williamson’s argument. Fourthly, I examine Scott Soames’s account of liar sentences as counterexamples to bivalence. Soames adopts a strategy of the first kind to avoid contradictions. I argue that his solution allows some contradictions to be true, and that he fails to show that liar sentences are truth-bearers. Finally, I examine Charles Travis’s case for isostheneia: an equal balancing of reasons to evaluate a statement as true or as false, in which case a statement is neither. Travis avoids contradictions by adopting a strategy of the second kind. I argue that the schemas for truth and falsehood are immune to Travis’s objections, and that isostheneia fails to identify evaluable items. The cases examined confirm that utterances that are neither true nor false say nothing. My claim is thus that truth-value gaps are not counterexamples to bivalence. (shrink)

My purpose here is purely historical. It is not an attempt to resolve the question as to whether Russell did or did not countenance nonclassical logics, and if so, which nonclassical logics, and still less to demonstrate whether he himself contributed, in any manner, to the development of nonclassical logic. Rather, I want merely to explore and insofar as possible document, whether, and to what extent, if any, Russell interacted with the various, either the various candidates or their, ideas that (...) Dejnožka and others have proposed as potentially influential in Russell’s intellectual reactions to nonclassical logic or to the philosophical concepts that might contribute to his reactions to nonclassical logics. (shrink)

On the one hand, logic has (or ought to have) nothing to do with metaphysics; it ought to have nothing to do with questions concerning what there is, or whether there is anything at all. On the other hand, metaphysics can hardly get off the ground without the help of logical analysis; to be is to be a truth-maker, and the search for truth-makers requires that we lay open the logical structure of our language. So something’s gotta give: either logical (...) analysis is metaphysically biased, or metaphysicians must make up their mind before resorting to logical analysis. Or both. (shrink)

Further to Herman Tennessen's recent methodological criticisms of Linguistic philosophy, the present paper seeks to offer some theoretical criticisms. Two main claims of Linguistic philosophy are examined: (1) that the concept of ?use? satisfactorily explains how words and expressions are meaningful; and (2), that the correspondence theory of meaning has been successfully repudiated. After a brief exposition, the explanation is further specified as being analogical (words are like tools). Six objections (semantical, logical and psychological) are suggested. It is concluded that (...) not only is the explanation not satisfactory, but that some of the same problems of the older theory may also be implicit in the ?use? theory. (shrink)

Collingwood's theory of presuppositions has never been taken very seriously. But critics have completely overlooked its significance as a theory or model of inquiry intimately tied to certain aspects of discourse in a context of investigation. Viewed this way, Collingwood's theory is on very strong ground, especially when it is reconstructed with the aid of a formal language. The reconstruction shows what is essential to the theory and what is not, allowing us to disregard those of Collingwood's extravagant claims which (...) have frustrated an understanding of his theory's real strength. The reconstruction also provides a general framework within which recent discussion of presuppositions can be unified. (shrink)

While proper names in argument positions have received a lot of attention, this cannot be said about proper names in the naming construction, as in “Call me Al”. I argue that in a number of more or less familiar languages the syntax of naming constructions is such that proper names there have to be analyzed as predicates, whose content mentions the name itself (cf. “quotation theories”). If proper names can enter syntax as predicates, then in argument positions they should have (...) a complex structure, consisting of a determiner and its restriction, like common nouns (cf. “definite description theories of proper names”). Further consideration of the compositional semantics of proper names in the naming construction also shows that they have another argument slot, that of the naming convention. As a result, we will be able to account for the indexicality of proper names in argument positions and provide compositional semantics of complex and modified proper names (e.g., the famous detective Sherlock Holmes ). (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.

This paper has three modest aims: to present a puzzle, to show why some obvious solutions aren’t really “easy outs”, and to introduce our own solution. The puzzle is this. When it was small and had waterlogged streets, Toronto carried the moniker ‘Muddy York’. Later, the streets were drained, it grew, and Muddy York officially changed its name to ‘Toronto’. Given this, each premise in the following argument seems true. Yet the conclusion is a contraction.

This paper continues an ongoing debate between Michael Devitt and me on referential uses of definite descriptions. He has argued that definite descriptions have referential meanings, and I have argued that they do not. Having previously rebutted the view that referential uses are akin to particularized conversational implicatures, he now he rebuts the view that they are akin to generalized conversational implicatures. I agree that the GCI is not the best model, but I maintain that in exploiting the quantificational meaning (...) of definite descriptions, referential uses involve a different sort of pragmatic regularity. Also, I try to bolster my objection to Devitt’s claim that the word ‘the’ is semantically ambiguous. (shrink)

Philosophers and linguists alike tend to call a semantic theory ‘Russellian’ just in case it assigns to sentences in which definite descriptions occur the truth-conditions Russell did in ‘On Denoting’. This is unfortunate; not all aspects of those particular truth-conditions do explanatory work in Russell's writings. As far as the semantics of descriptions is concerned, the key insights of ‘On Denoting’ are that definite descriptions are not uniformly referring expressions, and that they are scope-bearing elements. Anyone who accepts these two (...) claims can account for Russell's puzzle cases the way he did. Russell had no substantive argument for the claim that ‘The F is G’ entails ‘There is at most one F’; in fact, he had important misgivings about it. I outline an argument against this claim, and I argue that by holding on to uniqueness contemporary semanticists make a momentous mistake: they keep the illusion alive that there is a way to account for linguistic meaning without addressing what linguistic expressions are for. (shrink)

This paper examines the place of metaphorical interpretation in the current Contextualist-Literalist controversy over the role of context in the determination of truth-conditions in general. Although there has been considerable discussion of 'non-literal' language by both sides of this dispute, the language analyzed involves either so-called implicit indexicality, loose or loosened use, enriched interpretations, or semantic transfer, not metaphor itself. In the first half of the paper, I critically evaluate Recanati's (2004) recent Contextualist account and show that it cannot account (...) for the metaphorical-literal dependence characteristic of metaphor. I then turn to Carston's (2002), and Bezuidenhout's (2001) Contextualist accounts and show that they place no constraints on metaphorical interpretations. In the second half of the paper I sketch a Literalist theory of metaphor elaborated in Stern (2000) and respond to two kinds of Contextualist criticisms of that account by Camp (2005) and Stanley (2005). (shrink)

Chomsky has constructed an empirical theory about syntactic universals of natural language by defining a class of 'possible languages' which includes all natural languages (inter alia) as members, and claiming that all natural languages fall .within a specified proper subset of that class. I extend Chomsky's work to produce an empirical theory about natural4anguage semantic universals by showing that the semantic description of a language will incorporate a logical calculus, by defining a relatively wide class of 'possible calculi', and by (...) specifying a proper subset of that class which, I hypothesize, includes the calculi needed for the semantic description of any natural language. I argue that the special status, with respect to natural languages, of this particular type of logical calculus is an empirical finding which does not follow from any independently-known principles, and I conclude that the question why the laws of human thought have the structure they do is a biological rather than a logical question. (shrink)

A common objection to Russell's theory of descriptions concerns incomplete definite descriptions: uses of (for example) ‘the book is overdue’ in contexts where there is clearly more than one book. Many contemporary Russellians hold that such utterances will invariably convey a contextually determined complete proposition, for example, that the book in your briefcase is overdue. But according to the objection this gets things wrong: typically, when a speaker utters such a sentence, no facts about the context or the speaker's communicative (...) intentions single out a particular description-theoretic proposition as the proposition expressed. However, this is an objection only if it is assumed that successful linguistic communication requires the hearer to identify a proposition uniquely intended by the speaker. We argue that this assumption is mistaken. On our view, no proposition, descriptive or referential, is uniquely intended in such a context; thus, no proposition can nor need be identified as the proposition expressed. One significant upshot is that, once the aforementioned assumption is rejected, incompleteness no longer poses a threat to Russell's theory of descriptions. (shrink)

Discussion about the application of scientific knowledge in robotics in order to build people helpers is widespread. The issue herein addressed is philosophically poignant, that of robots that are “people”. It is currently popular to speak about robots and the image of Man. Behind this lurks the dialogical mind and the questions about the significance of an artificial version of it. Without intending to defend or refute the discourse in favour of ‘recreating’ Man, a lesser familiar question is brought forth: (...) “and what if we were capable of creating a very convincible replica of man (constructing a robot-person), what would the consequences of this be and would we be satisfied with such technology?” Thorny topic; it questions the entire knowledge foundation upon which strong AI/Robotics is positioned. The author argues for improved monitoring of technological progress and thus favours implementing weaker techniques. (shrink)

This paper explains how an assertion may be understood despite there being nothing said or meant by the assertion. That such understanding is possible is revealed by cases of the so-called ``felicitous underspecification'' of demonstratives: cases where there is understanding of an assertion containing a demonstrative despite the interlocutors not settling on one or another object as the one the speaker is talking about (King 2014a, 2017, 2021). I begin by showing how Stalnaker's ([1978] 1999) well-known pragmatic principles adequately permit (...) and constrain the felicitous underspecification of demonstratives. I then establish a connection between the satisfaction of Stalnaker's principles and understanding, and show how that connection sheds further light on the relevant cases. After developing and motivating my proposal, I address some objections to it, then briefly discuss the felicitous underspecification of expressions other than demonstratives alongside contrasting my proposal with a similar one from Bowker (2015, 2019) that concerns definite descriptions. (shrink)

We introduce a two-valued and a three-valued truth-valuational substitutional semantics for the Quantified Argument Calculus (Quarc). We then prove that the 2-valid arguments are identical to the 3-valid ones with strict-to-tolerant validity. Next, we introduce a Lemmon-style Natural Deduction system and prove the completeness of Quarc on both two- and three-valued versions, adapting Lindenbaum’s Lemma to truth-valuational semantics. We proceed to investigate the relations of three-valued Quarc and the Predicate Calculus (PC). Adding a logical predicate T to Quarc, true of (...) all singular arguments, allows us to represent PC quantification in Quarc and translate PC into Quarc, preserving validity. Introducing a weak existential quantifier into PC allows us to translate Quarc into PC, also preserving validity. However, unlike the translated systems, neither extended system can have a sound and complete proof system with Cut, supporting the claim that these are basically different calculi. (shrink)

The paper articulates a novel strategy against external world skepticism. It shows that a modal assumption of the skeptical argument cannot be justified.

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)

forall x: Dortmund is an adaptation and German translation of forall x: Calgary. As such, it is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity, the syntax of truth-functional (propositional) logic and truth-table semantics, the syntax of first-order (predicate) logic with identity and first-order interpretations, formalizing German in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as the (...) syntax and (Kripke-)semantics of modal logic. The book is provided in PDF and in LaTeX source code. A booklet with solutions for the exercises in the book is available. (shrink)

The formalisation of Natural Language arguments in a formal language close to it in syntax has been a central aim of Moss’s Natural Logic. I examine how the Quantified Argument Calculus (Quarc) can handle the inferences Moss has considered. I show that they can be incorporated in existing versions of Quarc or in straightforward extensions of it, all within sound and complete systems. Moreover, Quarc is closer in some respects to Natural Language than are Moss’s systems – for instance, is (...) does not use negative nouns. The process also sheds light on formal properties and presuppositions of some inferences it formalises. Directions for future work are outlined. (shrink)

The relationship between “character” and an “actor” appears to be quite straightforward: an actor acts as/plays character [x]. But let us be more specific and reword this formulation: actor [y] acts as/plays Hamlet. Or – for the time of the play – actor [y] is Hamlet. And it is this last statement that is paradoxically utterly true and utterly false. It is in the name of a theatrical character that the tension between actor and character arises. Asking, for example, who (...) is Hamlet? yields an answer where both actor and character have legitimate exclusive rights to being “Hamlet.” In short, to whom/what does the name of a theatrical character refer? By first arguing that theatre works as a reverse-“beetle” language-game, whereby I posit that theatre allows for private rule-making, I am able to turn to the idea of reference. It is by examining the name of theatrical characters and what these names refer to that I suggest that – following Hegel – theatrical names refer dialectically. Understanding theatrical characters as such, interpretation hinges not only on the output of theatre (i.e., the meaning), but also the input (i.e., the truth value). (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)