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)

P.F. Strawson contributed to many philosophical domains, including the philosophy of language, the history of philosophy, metaphysics, moral philosophy and philosophical methodology. Most of his contributions in these areas have influenced contemporary debates, either because his views are still defended or because they are still considered worthy of detailed responses. His views on the philosophy of logic have been only rarely discussed, however. My aim in this paper is threefold. First, I provide a systematic account of Strawson’s philosophy of logic. (...) I argue that Strawson is an important predecessor of logical expressivism, a contemporary position in the philosophy of logic most notably defended by Robert Brandom. My main focus is on Strawson’s largely-neglected 1982 paper ‘Logical Form and Logical Constants’, which contains his most mature ideas on the topic. Second, while Strawson’s position is of historical and independent philosophical interest, I argue that he leaves many points unclear. Finally, I propose several clarifications of Strawson’s position. (shrink)

Presuppositions are pragmatically considered as the conditions of the felicity of a speech act, or discourse move; however, the decision of setting the conditions of a move, which the hearer needs to accept in order to continue the dialogue, can be thought of as a speech act of a kind. The act of presupposing depends on specific conditions and in particular on the possibility of the hearer to reconstruct and accept the propositional content. These pragmatic conditions lead to epistemic considerations: (...) How can the speaker know that the hearer can reconstruct and accept a presupposition? A possible answer can be found in an argumentative approach grounded on the notion of presumptive reasoning. On this perspective, by presupposing the speaker advances a tentative conclusion about what the hearer may accept, hold, or know proceeding from factual, linguistic, and epistemic rules of presumption. (shrink)

Pragmatic presupposition is analyzed in this paper as grounded on an implicit reasoning process based on a set of presumptions, which can define cultural differences. The basic condition for making a presupposition can be represented as a reasoning criterion, namely reasonableness. Presuppositions, on this view, need to be reasonable, namely as the conclusion of an underlying presumptive reasoning that does not or may not contain contradictions with other presumptions, including the ordering of the hierarchy of presumptions. Presumptions are in turn (...) analyzed considering their nature and their hierarchy, namely their object and their possible contextual backing, which eliminates some of their possible defaults. This analysis of presupposition brings to light the relationship between communicative infelicities or misunderstandings deriving from presuppositional failures and the underlying system of presumptions and presumptive reasoning. This approach can be applied to the investigation of communicative problems within the medical context, and more precisely the communication in diabetes cases. (shrink)

Twitter is an instrument used not only for sharing public or personal information, but also for persuading the audience. While specific platforms and software have been developed for analyzing macro-analytical data, and specific studies have focused on the linguistic dimension of the tweets, the argumentative dimension of the latter is unexplored to this date. This paper intends to propose a method grounded on the tools advanced in argumentation theory for capturing, coding, and assessing the different argumentative dimensions of the messages (...) posted on Twitter, focusing on the types of argument communicated, the quality of their premises, and the fallacies committed – including the use of unshared presuppositions and emotive words. This method is applied to a corpus of 843 tweets published by the Italian Minister of the Interior, Mr. Matteo Salvini, from the date of his appointment to the beginning of his campaign for the European elections. The quantitative data provide general indications for detecting the strategies that characterize the argumentative profile of Salvini, which are then analyzed qualitatively. (shrink)

This paper advances an approach to presupposition rooted in the concept of commitment, a dialectical notion weaker than truth and belief. It investigates ancient medieval dialectical theories and develops the insights thereof for analyzing how presuppositions are evaluated and why a proposition is presupposed. In particular, at a pragmatic level, presuppositions are reconstructed as the conclusions of implicit arguments from presumptive reasoning, grounded on presumptions of different type and nature. A false (or rather unaccepted) presupposition can be thus represented as (...) the outcome of a conflict of presumptions – the ones used by the Speaker and the ones commonly accepted or backed by evidence. From an interpretative perspective, this defaulted presumptive reasoning can be explained by comparing the available presumptions and repaired by replacing the weaker and unacceptable ones. (shrink)

Why did Frege offer only proper names as examples of presupposition triggers? Some scholars claim that Frege simply did not care about the full range of presuppositional phenomena. This paper argues, in contrast, that he had good reasons for employing an extremely narrow notion of ‘Voraussetzung’. On Frege’s view, many devices that are now construed as presupposition triggers either express several thoughts at once or merely ‘illuminate’ a thought in a particular way. Fregean presuppositions, in contrast, are essentially tied to (...) names. (shrink)

The article develops a correctness theory of truth (CTT) for semantic information. After the introduction, in section two, semantic information is shown to be translatable into propositional semantic information (i). In section three, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in section four, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. (...) This completes the reduction of the truth of i to the correctness of A. In sections five and six, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates (in a Fregean sense) Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. The last section draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. (shrink)

In this paper, we defend that demonstratives are expressions of joint attention. Though this idea is not exactly new in the philosophical or linguistic literature, we argue here that their proponents have not yet shown how to incorporate these observations into more traditional theories of demonstratives. Our purpose is then to attempt to fill this gap. We argue that coordinated attentional activities are better integrated into a full account of demonstratives as meta-pragmatic information. Our claim is twofold. First, we claim (...) that pragmatically presupposing salience is a fundamental aspect of using demonstratives. Secondly, we hold that the pragmatics of demonstrating can only be properly understood in relation to meta-pragmatic conditions that have to do with joint attention. We use tests of truth-value gap as evidence for our claim. Our proposal provides us with a complete view of what speakers do and presuppose when engaging in acts of demonstrative reference through language. (shrink)

Holmes exists is false. How can this be, when there is no one for the sentence to misdescribe? Part of the answer is that a sentence’s topic depends on context. The king of France is bald, normally unevaluable, is false qua description of the bald people. Likewise Holmes exists is false qua description of the things that exist; it misdescribes those things as having Holmes among them. This does not explain, though, how Holmes does not exist differs in cognitive content (...) from, say, Vulcan does not exist. Our answer builds on an observation of Kripke’s: even if Holmes exists, he is not in this room, for we were all born too late. (shrink)

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

It is a received view of the post-Fregean predicate logic that a universal statement has no existential import and thus does not entail its particular (existential) counterpart. This paper takes issue with the view by discussing the trespasser case, which has widely been employed for supporting the view. The trespasser case in fact involves a shift of context. Properly understood, the case provides no support for the received view but rather suggests that we rethink the ‘quantity view’ of the existential (...) import of quantifiers. (shrink)

Arguments against the Russellian theory of definite descriptions based on cases that involve failures of uniqueness are a recurrent theme in the relevant literature. In this paper, I discuss a number of such arguments, from Strawson (1950), Ramachandran (1993) and Szabo (2005). I argue that the Russellian has resources to account for these data by deploying a variety of mechanisms of quantifier domain restrictions. Finally, I present a case that is more problematic for the Russellian. While the previous cases all (...) involve referential uses of descriptions (or some variations of such uses), the most effective objection to the uniqueness condition draws on genuine attributive uses. (shrink)

This paper concerns Yablo’s theory of asserted content as it is developed in his new book Aboutness. Yablo’s central idea is that in order to specify the asserted content of a sentence, we have to subtract those parts of its full semantic content that concern irrelevant subject matters. The paper argues that it is doubtful whether Yablo’s account successfully deals with its most basic envisaged application: to account for a difference of apparent truth value in cases of ordinary presupposition failure. (...) In addition, some doubts are raised concerning the success of the extension of Yablo’s account to fictional talk, the informativeness of identity statements, and ontological commitments of number talk. (shrink)

Resumo: No livro When is Knowledge True Belief? (2012), Richard Foley apresenta uma teoria do conhecimento bastante simples e original, que pretende desbancar as rivais e reorientar a teoria do conhecimento: um sujeito S sabe alguma proposição p se e somente se S verdadeiramente crê que p e não lhe falta nenhuma informação importante. Michael Hannon, em seu artigo “Is Knowledge True Belief Plus Adequate Information?” (2013), faz uma objeção à visão de Foley, acusando-o de oferecer um argumento circular que, (...) ao não diferenciar informação importante de informação não importante, acaba, em última instância, por fazer referência à própria noção de conhecimento. Acredito que a teoria apresentada por Foley está no caminho certo; porém, apresenta- se de forma incompleta. Neste artigo, apresento uma interpretação subjetivista de relevância epistêmica, proposta originalmente por Floridi, que complementa a visão proposta por Foley e rechaça as objeções levantadas por Hannon. Palavras-chave: Conhecimento. Informação. Relevância. -/- Abstract: In When is Knowledge True Belief? (2012), Richard Foley offers an original and extraordinarily simple theory of knowledge which intends to overcome its rivals and reorient the theory of knowledge: a subject S knows some proposition p if and only if S truly believes that p and does not lack any important information. Michael Hannon, in his article “Is True Belief Knowledge Plus Adequate Information?” (2013), puts forward an objection to Foley’s view which charges him of offering a circular argument that fails to distinguish important information from unimportant information without ultimately making reference to knowledge. I believe the theory presented by Foley is on the right . (shrink)

Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...) relationally, not satisfactionally, so a file is not to be equated to the body of (mis-)information it contains. Mental files are the mental equivalent of singular terms, and the reference of linguistic expressions is inherited from that of the files we associate with them. On this approach, mental files, the vehicles of singular thought, do all the work of so-called 'modes of presentation' in Fregean and neo-Russellian theories. (shrink)

Some presuppositions are easier to cancel than others in embedded contexts. This contrast has been used as evidence for distinguishing two fundamentally different kinds of presuppositions, ‘soft’ and ‘hard’. ‘Soft’ presuppositions are usually assumed to arise in a pragmatic way, while ‘hard’ presuppositions are thought to be genuine semantic presuppositions. This paper argues against such a distinction and proposes to derive the difference in cancellation from inherent differences in how presupposition triggers interact with the context: their focus sensitivity, anaphoricity, and (...) question–answer congruence properties. The paper also aims to derive the presuppositions of additive particles such as too, also, again, and of it-clefts. (shrink)

Agents require a constant flow, and a high level of processing, of relevant semantic information, in order to interact successfully among themselves and with the environment in which they are embedded. Standard theories of information, however, are silent on the nature of epistemic relevance. In this paper, a subjectivist interpretation of epistemic relevance is developed and defended. It is based on a counterfactual and metatheoretical analysis of the degree of relevance of some semantic information i to an informee/agent a, as (...) a function of the accuracy of i understood as an answer to a query q, given the probability that q might be asked by a. This interpretation of epistemic relevance vindicates a strongly semantic theory of information, according to which semantic information encapsulates truth. It accounts satisfactorily for several important applications and interpretations of the concept of relevant information in a variety of philosophical areas. And it interfaces successfully with current philosophical interpretations of causal and logical relevance. (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)

The paper provides an alternative interpretation of ‘pair points’, discussed in Beall et al., "On the ternary relation and conditionality", J. of Philosophical Logic 41(3), 595-612. Pair points are seen as points viewed from two different ‘perspectives’ and the latter are explicated in terms of two independent valuations. The interpretation is developed into a semantics using pairs of Kripke models (‘pair models’). It is demonstrated that, if certain conditions are fulfilled, pair models are validity-preserving copies of positive substructural models. This (...) yields a general soundness and completeness result for a variety of (positive) substructural logics with respect to multimodal Kripke frames with binary accessibility relations. In addition, an epistemic interpretation of pair models is provided. (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)

I outline a discourse-based account of presuppositions that relies on insights from the writings of Peter Strawson, as well as on insights from more recent work by Robert Stalnaker and Barbara Abbott. One of the key elements of my account is the idea that presuppositions are “assertorically inert”, in the sense that they are background propositions, rather than being part of the “at issue” or asserted content. Strawson is often assumed to have defended the view that the falsity of a (...) presupposition leads to catastrophe, in the sense that a false presupposition “wrecks the assertive enterprise”. I argue that the discourse-based account in terms of assertoric inertia can explain how cases of presupposition failure can sometimes be non-catastrophic; there are cases in which the assertive enterprise operates smoothly, despite presupposition failure. The chief problem facing this line of argument is to account for cases in which presupposition failure is catastrophic. If presuppositions are assertorically inert, then how can their falsity ever wreck the assertive enterprise? I offer a principled account that delineates the circumstances in which false presuppositions are, and those in which they are not, catastrophic. (shrink)

We bring out syntactic and semantic similarities of two types of conditionals with fronted antecedents [normal indicative conditionals and biscuit conditionals ] and two types of left dislocation constructions in German, which mark two types of topicality. On the basis of these similarities we argue that NCs and BCs are aboutness topics and relevance topics, respectively. Our analysis extends the approach to aboutness topicality of Endriss to relevance topics to derive the semantic and pragmatic contribution of left-dislocated DPs and applies (...) it to an analysis of conditionals as pluralities of possible worlds. We show how this uniform approach to the interpretation of topicality accounts for the nominal left dislocation constructions as well as for the semantic and pragmatic effects observed in connection with the two types of conditionals. We furthermore discuss the potential of our proposal to deal with subjunctive biscuit conditionals, if-clauses modifying speech acts different from assertions, conditionals with right-dislocated if-clauses, and nested conditionals. (shrink)

In a recent paper, Gray, Knickman, and Wegner present three experiments which they take to show that people judge patients in a persistent vegetative state to have less mental capacity than the dead. They explain this result by claiming that people have implicit dualist or afterlife beliefs. This essay critically evaluates their experimental findings and their proposed explanation. We argue first that the experiments do not support the conclusion that people intuitively think PVS patients have less mentality than the dead. (...) And second, we provide an alternative explanation of our ascriptions of mentality to the dead and PVS patients, one which turns on Epicurean considerations about the nature of death. (shrink)

We report and discuss the results of a series of experiments that address a contrast effect exhibited by folk judgments about knowledge ascriptions. The contrast effect, which was first reported by Schaffer and Knobe, is an important aspect of our folk epistemology. However, there are competing theoretical accounts of it. We shed light on the various accounts by providing novel empirical data and theoretical considerations. Our key findings are, firstly, that belief ascriptions exhibit a similar contrast effect and, secondly, that (...) the contrast effect is systematically sensitive to the content of what is in contrast. We argue that these data pose significant challenges to contrastivist accounts of the contrast effect. Furthermore, some of the data set provides, in conjunction with some non-empirical epistemological arguments, some limited evidence for what we call a focal bias account of the data. According to the focal bias account, the contrast effects arise at least in part because epistemically relevant facts are not always adequately processed when they are presented in certain ways. (shrink)

semantic minimalism and moderte contextualism.

Many epistemologists have been attracted to the view that knowledge-wh can be reduced to knowledge-that. An important challenge to this, presented by Jonathan Schaffer, is the problem of “convergent knowledge”: reductive accounts imply that any two knowledge-wh ascriptions with identical true answers to the questions embedded in their wh-clauses are materially equivalent, but according to Schaffer, there are counterexamples to this equivalence. Parallel to this, Schaffer has presented a very similar argument against binary accounts of knowledge, and thereby in favour (...) of his alternative contrastive account, relying on similar examples of apparently inequivalent knowledge ascriptions, which binary accounts treat as equivalent. In this article, I develop a unified diagnosis and solution to these problems for the reductive and binary accounts, based on a general theory of knowledge ascriptions that embed presuppositional expressions. All of Schaffer's apparent counterexamples embed presuppositional expressions, and once the effect of these is taken into account, it becomes apparent that the counterexamples depend on an illicit equivocation of contexts. Since epistemologists often rely on knowledge ascriptions that embed presuppositional expressions, the general theory of them presented here will have ramifications beyond defusing Schaffer's argument. (shrink)

Higginbotham (1986) observed that quantified conditionals have a stronger meaning than might be expected, as attested by the apparent equivalence of examples like No student will pass if he goofs off and Every student will fail if he goofs off. Higginbotham's observation follows straightforwardly given the validity of conditional excluded middle (CEM; as observed by von Fintel & Iatridou 2002), and as such could be taken as evidence thereof (e.g. Williams forthcoming). However, the empirical status of CEM has been disputed, (...) and it is invalid under many prominent theories of conditionals—notably Lewis (1973) for counterfactuals, also Kratzer (1979, 1991). More acutely, Higginbotham's observation holds even for quantified counterparts of conditionals that appear not to obey CEM (Higginbotham 2003), and the standard way of explaining (away) such apparent counterexamples to the principle, à la Stalnaker (1981), does not directly yield an account of our apparent truth-conditional intuitions about the quantified counterparts (Leslie 2009). This article provides an explanation for the latter intuitions within Stalnaker's framework, the upshot being that CEM does remain a viable explanation, in principle, for Higginbotham's observation. (shrink)

The implicit dimension of enthymemes is investigated from a pragmatic perspective to show why a premise can be left unexpressed, and how it can be used strategically. The relationship between the implicit act of taking for granted and the pattern of presumptive reasoning is shown to be the cornerstone of kairos and the fallacy of straw man. By taking a proposition for granted, the speaker shifts the burden of proving its un-acceptability onto the hearer. The resemblance of the tacit premise (...) with what is commonly acceptable or has been actually stated can be used as a rhetorical strategy. (shrink)

It is widely agreed that sentences containing a non-denoting description embedded in the scope of a propositional attitude verb have true de dicto interpretations, and Russell's (1905) analysis of definite descriptions is often praised for its simple analysis of such cases, cf. e.g. Neale (1990). However, several people, incl. Elbourne (2005, 2009), Heim (1991), and Kripke (2005), have contested this by arguing that Russell's analysis yields incorrect predictions in non-doxastic attitude contexts. Heim and Elbourne have subsequently argued that once certain (...) facts about presupposition projection are fully appreciated, the Frege/Strawson analysis of definite descriptions has an explanatory advantage. In this paper, I argue that both Russell's analysis and the Frege/Strawson analysis face a serious problem when it comes to the interaction of attitude verbs and definite descriptions. I argue that the problem observed by Elbourne, Heim, and Kripke is much more general than standardly assumed and that a solution requires a revision of the semantics of definite and indefinite descriptions. I outline the conditions that are required to solve the problem and present an analysis couched in dynamic semantics which can provide a solution. I conclude by discussing some further issues related to propositional attitude verbs that complicate a fully general solution to the problem. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

a comprehensive, somewhat Gricean theory of speech acts, including an account of communicative intentions and inferences, a taxonomy of speech acts, and coverage of many topics in pragmatics -/- .

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)

Theoria , the international Swedish philosophy journal, was founded in 1935. Its contributors in the first 75 years include the major Swedish philosophers from this period and in addition a long list of international philosophers, including A. J. Ayer, C. D. Broad, Ernst Cassirer, Hector Neri Castañeda, Arthur C. Danto, Donald Davidson, Nelson Goodman, R. M. Hare, Carl G. Hempel, Jaakko Hintikka, Saul Kripke, Henry E. Kyburg, Keith Lehrer, Isaac Levi, David Lewis, Gerald MacCallum, Richard Montague, Otto Neurath, Arthur N. (...) Prior, W. V. Quine, Nicholas Rescher, Ernest Sosa, Robert C. Stalnaker, P. F. Strawson, Patrick Suppes, Johan van Benthem, Georg Henrik von Wright and many others. Hempel's confirmation paradoxes, Ross's deontic paradox, Montague's universal grammar and Lindström's theorem are among the contributions to philosophy that were first published in Theoria. (shrink)

Unsurprisingly, the negation of sentence (1), shown in (3), does not share this entailment. Neither does the yes/no question formed from this sentence. Similarly, if we add a possibility modal to the sentence, or construct a conditional of which (1) is the antecedent, the resulting sentences do not share the entailment of the original, as we see from the examples below.

Despite the renown of ‘On Denoting’, much criticism has ignored or misconstrued Russell's treatment of scope, particularly in intensional, but also in extensional contexts. This has been rectified by more recent commentators, yet it remains largely unnoticed that the examples Russell gives of scope distinctions are questionable or inconsistent with his own philosophy. Nevertheless, Russell is right: scope does matter in intensional contexts. In Principia Mathematica, Russell proves a metatheorem to the effect that the scope of a single occurrence of (...) a description in an extensional context does not matter, provided existence and uniqueness conditions are satisfied. But attempts to eliminate descriptions in more complicated cases may produce an analysis with more occurrences of descriptions than featured in the analysand. Taking alternation and negation to be primitive (as in the first edition of Principia), this can be resolved, although the proof is non-trivial. Taking the Sheffer stroke to be primitive (as proposed by Russell in the second edition), with bad choices of scope the analysis fails to terminate. (shrink)

It is argued that none of the speaker's referential intentions accompanying his utterance of a demonstrative are semantically significant but rather the associated demonstration (or some other source of salience). It is constitutive of the speaker's having the specifically referential intention - held by Kent Bach to be semantically significant - that the speaker is taking, and relying upon, his accompanying gesture (or some other source of salience) as semantically significant, making it the case that this intention is not even (...) partly semantically significant. The same is then shown to hold for the speaker's remaining referential intentions: his intention aimed at a perceived object, believed by David Kaplan to be semantically significant, as well as the intention to refer to the object that he has in mind. (shrink)

Descriptions are phrases of the form ‘an F’, ‘the F’, ‘Fs’, ‘the Fs’ and NP's F (e.g. ‘John's mother’). They can be indefinite (e.g., ‘an F’ and ‘Fs’), definite (e.g. ‘the F’ and ‘the Fs’), singular (e.g., ‘an F’, ‘the F’) or plural (e.g., ‘the Fs’, ‘Fs’). In English plural indefinite descriptions lack an article and are for that reason also known as ‘bare plurals’. How to account for the semantics and pragmatics of descriptions has been one of the central (...) topics in philosophy for centuries. This entry focuses on the historical and contemporary philosophical debate about Bertrand Russell’s theory of descriptions and the theories that developed as responses to this theory. (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.

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)

Human attention is limited in its capacity and duration. In language, this is manifested in many ways, but more conspicuously in the strategies by which information is distributed in utterances, that is, their information structures. We contend that the pragmatic categories of Topic and Presupposition precisely meet the necessity to modulate attentional resources on sentence contents, and they do this by “directing” certain contents to automatic and others to controlled processing mechanisms. We discuss experimental findings suggesting that presupposed or topicalized (...) information correlates with automatic processing, and we suggest that this association grounded for the emergence of topic and presupposition units in human communication. We also put forth the processing automaticity induced by these units as the rationale behind their persuasiveness in some specific contexts of language use. (shrink)

One of the central debates in the philosophy of language is that between defenders of the causal-historical and descriptivist theories of reference. Most philosophers involved in the debate support one or the other of the theories. Building on recent experimental work in semantics, we argue that there is a sense in which both theories are correct. In particular, we defend the view that natural kind terms can sometimes take on a causal-historical reading and at other times take on a descriptivist (...) reading. The meaning will shift depending on the conversational setting. The theoretical view has roots in work by Kitcher. We present some original experiments that support the thesis. (shrink)

We discuss presupposition, the phenomenon whereby speakers mark linguistically the information that is presupposed or taken for granted, rather than being part of the main propositional content of a speech act. Expressions and constructions carrying presuppositions are called “presupposition triggers”, forming a large class including definites and factive verbs. The article first introduces the range of triggers, the basic properties of presuppositions such as projection and cancellability, and the diagnostic tests used to identify them. The reader is then introducedto major (...) models of presupposition from the last 50 years, separated into three classes: Frege-Strawson derived semantic models, pragmaticmodels such as that offered by Stalnaker, and dynamic models. Finallywe discuss some of the main current issues in presupposition theory. These involve accommodation, which occurs when a hearer's knowledge state is adjusted to meet the speaker's presuppositions; presupposition failure, which occurs when a presupposition is false; the interaction between presuppositions and attitudes; and the triggering problem, i.e., the problem of explaining why presuppositions occur in the first place. (shrink)