In researching presuppositions dealing with logic and dynamic of belief we distinguish two related parts. The first part refers to presuppositions and logic, which is not necessarily involved with intentional operators. We are primarily concerned with classical, free and presuppositonal logic. Here, we practice a well known Strawson’s approach to the problem of presupposition in relation to classical logic. Further on in this work, free logic is used, especially Van Fraassen’s research of the role (...) of presupposition in supervaluations logical systems. At the end of the first part, presuppositional logic, advocated by S.K. Thomason, is taken into consideration. The second part refers to the presuppositions in relation to the logic of the dynamics of belief. Here the logic of belief change is taken into consideration and other epistemic notions with immanent mechanism for the presentation of the dynamics. Three representative and dominant approaches are evaluated. First, we deal with new, less classical, situation semantics. Besides Strawson’s theory, the second theory is the theory of the belief change, developed by Alchourron, Gärdenfors, and Makinson (AGM theory). At the end, the oldest, universal, and dominant approach is used, recognized as Hintikka’s approach to the analysis of epistemic notions. (shrink)

Positivists identify science and certainty and in the name of the utter rationality of science deny that it rests on speculative presuppositions. The Logical Positivists took a step further and tried to show such presuppositions really no presuppositions at all but rather poorly worded sentences. Rules of sentence formation, however, rest on the presuppositions about the nature of language. This makes us unable to determine the status of mathematics, which is these days particularly irksome since this question is now-since Abraham (...) Robinson-one that mathematicians cannot ignore. Since mathematics is the paradigm of a logical discourse, logic must offer a system adequate enough to serve mathematics. This fact makes it difficult to avoid making question-begging moves in both mathematics and logic. We must therefore view the rationality of logic as partial and hope it is stepwise improvable. The theory of rationality thus turns to be the major presupposition of logic, and one which has ample metaphysical background to it. The very supposition, basic to all logic, that language is divisible into form andcontent is under suspicion-mathematics perhaps belongs to neither. (shrink)

In this volume, Geurts takes discourse representation theory (DRT), and turns it into a unified account of anaphora and presupposition, which he applies not only to the standard problem cases but also to the interpretation of modal expressions, attitude reports, and proper names. The resulting theory, for all its simplicity, is without doubt the most comprehensive of its kind to date. The central idea underlying Geurts' 'binding theory' of presupposition is that anaphora is just a special case of (...) presupposition projection. But this is only one of the ways in which the concept of presupposition is taken beyond its traditional limits. Geurts shows, furthermore, that presupposition projection is crucially involved in several phenomena that are not usually viewed in presuppositional terms, such as modal subordination, de re readings of attitude reports, and rigid designation. While making his case for DRT and the binding theory, Geurts also presents an incisive analysis of what is probably still the most influential account of presupposition, viz. the satisfaction theory, demonstrating that there are fundamental problems not only with this theory but with the very framework in which it is couched. (shrink)

Vasso Kindi examines, first, whether Collingwood’s logic of question and answer, which was to replace the symbolic logic of the logical positivists, does indeed bear similarities to Bacon’s and Kant’s use of questions, as Collingwood claims. She argues that Collingwood’s emphasis on questions is more similar to Kant’s concern with presuppositions that make knowledge possible than to Bacon’s interest in pursuing and questioning nature to divulge her secrets. She, then, explains how Collingwood’s emphasis on questions is tied to (...) his view that propositions are not abstract entities with intrinsic meaning in isolation from the network of presuppositions in which they are embedded. Finally, she suggests that the metaphysician’s task, according to Collingwood, is to ‘excavate’ different complexes of questions and answers until the absolute presuppositions which govern them are reached. It is this historical methodology that gives Collingwood’s metaphysics its distinctive character. (shrink)

This paper discusses Jean van Heijenoort’s (1967) and Jaakko and Merrill B. Hintikka’s (1986, 1997) distinction between logic as auniversal language and logic as a calculus, and its applicability to Edmund Husserl’s phenomenology. Although it is argued that Husserl’s phenomenology shares characteristics with both sides, his view of logic is closer to the model-theoretical, logic-as-calculus view. However, Husserl’s philosophy as transcendental philosophy is closer to the universalist view. This paper suggests that Husserl’s position shows that holding (...) a model-theoretical view of logic does not necessarily imply a calculus view about the relations between language and the world. The situation calls for reflection about the distinction: It will be suggested that the applicability of the van Heijenoort and the Hintikkas distinction either has to be restricted to a particular philosopher’s views about logic, in which case no implications about his or her more general philosophical views should be inferred from it; or the distinction turns into a question of whether our human predicament is inescapable or whether it is possible, presumably by means of model theory, to obtain neutral answers to philosophical questions. Thus the distinction ultimately turns into a question about the correct method for doing philosophy. (shrink)

We consider the logical form of a natural language sentence to be a formal object which determines both the logical properties of the sentence and, more generally, the ways the sentence is logically related to other sentences. Thus if some NL sentence logically entails another, this fact must follow, given the logical forms of the two sentences. The power of a theory of logical forms of natural language then lies first in what logical properties and relations it can define, and (...) second, in which NL sentences it can show to be logically related to which others. (shrink)

In this book, first published in 1975, Dr Kempson argues that previous work on presupposition - whether in philosophy or linguistics - has been mistakenly based on a conflation of two different disciplines: semantics, the study of the meanings assigned to the formal system which constitutes a language, and pragmatics, the study of the use of that system in communication. The first part of the book deals generally with the nature of semantics in linguistic theory and its formal representation (...) within a transformational grammar; Dr Kempson argues against incorporating the relation of presupposition within such a grammar. The second part provides a pragmatic account of the foundations of a theory of communication and its detailed application to the problems raised by presupposition. The book is intended for those studying both philosophy and linguistics and also for those sociolinguists and psychologists with a more general interest in the theory of communication. (shrink)

So-called 'dynamic' semantic theories such as Kamp's discourse representation theory and Heim's file change semantics account for such phenomena as cross-sentential anaphora, donkey anaphora, and the novelty condition on indefinites, but compare unfavorably with Montague semantics in some important respects (clarity and simplicity of mathematical foundations, compositionality, handling of quantification and coordination). Preliminary efforts have been made by Muskens and by de Groote to revise and extend Montague semantics to cover dynamic phenomena. We present a new higher-order theory of discourse (...) semantics which improves on their accounts by incorporating a more articulated notion of context inspired by ideas due to David Lewis and to Craige Roberts. On our account, a context consists of a common ground of mutually accepted propositions together with a set of discourse referents preordered by relative salience. Employing a richer notion of contexts enables us to extend our coverage beyond pronominal anaphora to a wider range of presuppositional phenomena, such as the factivity of certain sentential-complement verbs, resolution of anaphora associated with arbitrarily complex definite descriptions, presupposition 'holes' such as negation, and the independence condition on the antecedents of conditionals. Formally, our theory is expressed within a higher-order logic with natural number type, separation-style subtyping, and dependent coproducts parameterized by the natural numbers. The system of semantic types builds on proposals due to Thomason and to Pollard in which the type of propositions (static meanings of sentential utterances) is taken as basic and worlds are constructed from propositions (rather than the other way around as in standard Montague semantics). (shrink)

All humans can interpret sentences of their native language quickly and without effort. Working from the perspective of generative grammar, the contributors investigate three mental mechanisms, widely assumed to underlie this ability: compositional semantics, implicature computation and presupposition computation. This volume brings together experts from semantics and pragmatics to bring forward the study of interconnections between these three mechanisms. The contributions develop new insights into important empirical phenomena; for example, approximation, free choice, accommodation, and exhaustivity effects.

There is a crisis in philosophical rationality today—in which modern logicisimplicated—thatcanbetracedtotheabandonmentofacommonbackground of principles. The situation has no parallel within the pre-modern tradition, which not only admits of such principles, but also refers them back to a set of assumptions grounded in a clearly religious frame of mind. Modern conceptions of rationality claim complete independence from religious sources, as from tradition more generally, and typically end up disposing of first principles altogether. The result is a fragmentation of reason, which can be (...) seen to be dramatically exemplified in the realm of modern logic, populated by countless different systems and incompatible conceptions of what it is to be a logic. Many of the conceptual choices that became implicit in the philosophical discussions eventually leading to the rejection of the religious picture, and ultimately to the aforementioned crisis, were themselves originally linked to religious premises, so that all along, a kind of religious subconscious has subsisted throughout those disputations; however, the lack of any proper recognition of this background obstructs the possibility of making a reasonable assessment of the nature and causes of the crisis. Alasdair MacIntyre, whose thought inspires the argument developed here, reached similar conclusions regarding practical rationality and the effects of abandoning the teleological framework of Aristotelian philosophy. MacIntyre’s arguments can be adapted, as he suggests, to deal with reason more generally, and his insistence upon the tradition-laden character of rational enquiry can help point toward the grounding of human reason in religion. (shrink)

There are two implicit semantic postulates underlying modern predicate logic. Hence predicate logic is not semantically neutral. The author proposes to take semantically neutral languages, which have no predicate categorial structure but replace the notion of predicate with general notion of function. Some function calculi for different semantics are demonstrated.

There is a crisis in philosophical rationality today—in which modern logic is implicated—that can be traced to the abandonment of a common background of principles. The situation has no parallel within the pre-modern tradition, which not only admits of such principles, but also refers them back to a set of assumptions grounded in a clearly religious frame of mind. Modern conceptions of rationality claim complete independence from religious sources, as from tradition more generally, and typically end up disposing of (...) first principles altogether. The result is a fragmentation of reason, which can be seen to be dramatically exemplified in the realm of modern logic, populated by countless different systems and incompatible conceptions of what it is to be a logic. Many of the conceptual choices that became implicit in the philosophical discussions eventually leading to the rejection of the religious picture, and ultimately to the aforementioned crisis, were themselves originally linked to religious premises, so that all along, a kind of religious subconscious has subsisted throughout those disputations; however, the lack of any proper recognition of this background obstructs the possibility of making a reasonable assessment of the nature and causes of the crisis. Alasdair MacIntyre, whose thought inspires the argument developed here, reached similar conclusions regarding practical rationality and the effects of abandoning the teleological framework of Aristotelian philosophy. MacIntyre’s arguments can be adapted, as he suggests, to deal with reason more generally, and his insistence upon the tradition-laden character of rational enquiry can help point toward the grounding of human reason in religion. (shrink)

Recent semantic research has made increasing use of a principle, Maximize Presupposition, which requires that under certain circumstances the strongest possible presupposition be marked. This principle is generally taken to be irreducible to standard Gricean reasoning because the forms that are in competition have the same assertive content. We suggest, however, that Maximize Presupposition might be reducible to the theory of scalar implicatures. (i)First, we consider a special case: the speaker utters a sentence with a presupposition (...) p which is not initially taken for granted by the addressee, but the latter takes the speaker to be an authority on the matter. Signaling the presupposition provides new information to the addressee; but it also follows from the logic of presupposition qua common belief that the presupposition is thereby satisfied (Stalnaker, Ling Philos 25(5–6):701–721, 2002). (ii) Second, we generalize this solution to other cases. We assume that even when p is common belief, there is a very small chance that the addressee might forget it (‘Fallibility’); in such cases, marking a presupposition will turn out to generate new information by re-establishing part of the original context. We also adopt from Raj Singh (Nat Lang Semantics 19(2):149–168, 2011) the hypothesis that presupposition maximization is computed relative to local contexts—and we assume that these too are subject to Fallibility; this accounts for cases in which the information that justifies the presupposition is linguistically provided. (iii) Finally, we suggest that our assumptions have benefits in the domain of implicatures: they make it possible to reinterpret Magri’s ‘blind’ (i.e. context-insensitive) implicatures as context-sensitive implicatures which just happen to be misleading. (shrink)

In The Dynamics of Meaning , Gennaro Chierchia tackles central issues in dynamic semantics and extends the general framework. Chapter 1 introduces the notion of dynamic semantics and discusses in detail the phenomena that have been used to motivate it, such as "donkey" sentences and adverbs of quantification. The second chapter explores in greater depth the interpretation of indefinites and issues related to presuppositions of uniqueness and the "E-type strategy." In Chapter 3, Chierchia extends the dynamic approach to the domain (...) of syntactic theory, considering a range of empirical problems that includes backwards anaphora, reconstruction effects, and weak crossover. The final chapter develops the formal system of dynamic semantics to deal with central issues of definites and presupposition. Chierchia shows that an approach based on a principled enrichment of the mechanisms dealing with meaning is to be preferred on empirical grounds over approaches that depend on an enrichment of the syntactic apparatus. Dynamics of Meaning illustrates how seemingly abstract stances on the nature of meaning can have significant and far-reaching linguistic consequences, leading to the detection of new facts and influencing our understanding of the syntax/semantics/pragmatics interface. (shrink)

Exponents and critics of semantic presupposition have almost invariably based their discussion on the ('Standard') definition of presupposition implied by Frege and Strawson. In this study Noel Burton-Roberts argues convincingly against this definition, that leads it to a three-valued semantics. He presents a very simple semantic definition which is weaker, more general and leads to a semantics more easily interpreted as two-valued with gaps. The author shows that a wide range of intuitive facts that eluded the Standard definition (...) follow directly from this ('Revised') definition itself: facts about the presuppositions of compound sentences and modal sentences, about presuppositional conflict and about differences in the logical status of simple sentences suffering from presupposition failure. The book includes a detailed argument that an ambiguity of natural language negation, generally assumed to be necessary to the defence of semantic presupposition, is neither possible nor necessary in a presuppositional semantics. Noel Burton-Roberts has made an authoritative contribution to a debate which has involved philosophers and linguists for many years. His command of the issues, his clarity of exposition and his theoretical insight may well serve to change the boundaries of that debate. (shrink)

This paper argues for and explores the implications of the following epistemological principle for knowability a priori (with 'Ka' abbreviating 'it is knowable a priori that'). -/- (AK) For all ϕ, ψ such that ϕ semantically presupposes ψ: if Ka(ϕ), Ka(ψ). -/- Well-known arguments for the contingent a priori and a priori knowledge of logical truth founder when the semantic presuppositions of the putative items of knowledge are made explicit. Likewise, certain kinds of analytic truth turn out to carry semantic (...) presuppositions that make them ineligible as items of a priori knowledge. -/- On a happier note, I argue that (AK) offers an appealing, theory-neutral explanation of the a posteriori character of certain necessary identities, as well as an interesting rationalization for a commonplace linguistic maneuver in philosophical work on the a priori. (shrink)

The central idea behind this paper is that presuppositions of soft triggers arise from the way our attention structures the informational content of a sentence. Some aspects of the information conveyed are such that we pay attention to them by default, even in the absence of contextual information. On the other hand, contextual cues or conversational goals can divert attention to types of information that we would not pay attention to by default. Either way, whatever we do not pay attention (...) to, be it by default, or in context, is what ends up presupposed by soft triggers. This paper attempts to predict what information in the sentence is likely to end up being the main point (i.e. what we pay attention to) and what information is independent from this, and therefore likely presupposed. It is proposed that this can be calculated by making reference to event times. The notion of aboutness used to calculate independence is based on that of Demolombe and Fariñas del Cerro (In: Holdobler S (ed) Intellectics and computational logic: papers in honor of Wolfgang Bibel, 2000). (shrink)

Pour des raisons essentiellement liées à la vocation des textes où la notion de présupposition a fait son apparition, c’est la présupposition d’existence qui s’est imposée la première à l’attention des philosophes du langage. Elle a également déterminé l’orientation des débats en les focalisant sur quelques problèmes traditionnels, au premier chef desquels le problème de l’absence de référence de certaines expressions et celui des imperfections du langage naturel. Contrairement aux noms propres et aux descriptions définies, les termes qui signifient des (...) universaux ont joué un rôle très marginal dans la discussion de ce qui est présupposé par les énoncés que nous échangeons. Ce sont pourtant les noms d’espèces et de genres qui ont été associés les tout premiers à des phénomènes qui relèvent de la présupposition. Afin de montrer que cette association n’a rien perdu de son intérêt, nous avons étudié le traitement qu’Aristote réserve à la famille de paralogismes qui exploitent la similarité morphologique entre noms propres et noms communs pour rattacher la même présupposition d’existence aux uns et aux autres, alors même que cette présupposition est légitime dans un cas (celui des expressions qui désignent des choses particulières), abusive dans l’autre cas (celui des expressions qui signifient des universaux). (shrink)

Scalar implicatures arise when a speaker uses a logically weak alternative in a context where a logically stronger alternative was available. Presuppositional implicatures, as I call them, arise when a speaker uses a presuppositionally weak alternative when a presuppositionally stronger alternative was available. My goal is to give a detailed, working theory of presuppositional implicatures, and show that they are a special case of scalar implicatures. In doing so, I carefully contrast presuppositional implicatures with antipresuppositions. These two phenomena have been (...) treated as closely related in the literature, but some differences have not been adequately appreciated. Antipresuppositions are observed when a presuppositionally weak alternative is infelicitously used in a context that satisfies the presupposition of a presuppositionally stronger alternative. Presuppositional implicatures arise when a presuppositionally weak alternative is felicitously used in a context that does not satisfy the presupposition of a presuppositionally stronger alternative, but where that stronger presupposition would have been accommodated. Attention to this difference reveals a shortcoming in Schlenker’s theory of presuppositional implicature. This paper both identifies and remedies that shortcoming. (shrink)

In this paper it is shown how a partial semantics for presuppositions can be given which is empirically more satisfactory than its predecessors, and how this semantics can be integrated with a technically sound, compositional grammar in the Montagovian fashion. Additionally, it is argued that the classical objection to partial accounts of presupposition projection, namely that they lack “flexibility,” is based on a misconception. Partial logics can give rise to flexible predictions without postulating any ad hoc ambiguities. Finally, it (...) is shown how the partial foundation can be combined with a dynamic system of common-ground maintenance to account for accommodation. (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)

Presuppositions are at the same time a crucial and almost neglected dimension of arguments and fallacies. Arguments involve different types of presuppositions, which can be used for manipulative purposes in distinct ways. However, what are presuppositions? What is their dialectical function? Why and how can they be dangerous? This paper intends to address these questions by developing the pragmatic approaches to presupposition from a dialectical perspective. The use of presuppositions will be analyzed in terms of presumptive conclusions concerning the (...) interlocutor’s acceptance of a proposition, which can be assessed as reasonable or unacceptable. Their dialectical function is described in terms of dark side commitments attributed to a collective "voice" representing what is commonly shared. For this reason, they count as attempts to include the presupposed contents into the hearer’s commitment store, which in some circumstances can reverse the burden of proof. The different manipulative strategies grounded on controversial presuppositions will be examined by showing the distinct roles that the latter play and the relationship between the degrees of presuppositional implicitness and the speaker’s burden of retraction. (shrink)

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not We rst study presupposition in a very simple framework of updating propo sitional information with examples of how presuppositions of complex propositional updates can be calculated Next we move on to presupposi tions and quanti cation in the context of a dynamic version of predicate logic suitably modi ed to allow for presupposition failure In both (...) the propositional and the quanti cational case presupposition failure can be viewed as error abortion of procedures Thus a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.. (shrink)