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)

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)

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)

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 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 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)

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)

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)

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.

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)

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)

Last year (2005) marked the 100th anniversary of the publication of Russell’s classic ‘On denoting’. It should not cast any shadow on that great work to note that the problems it provided solutions to are still the subject of controversy. Two of those problems involved noun phrases (NPs) which fail to denote. Russell’s examples (1a) and (1b) (1) a. The king of France is bald. b. The king of France is not bald. are puzzling because they have the form of (...) simple contradictories, and yet we are not inclined to say either one is true. Example (2) (2) Pegasus does not exist. is even more problematic; the lack of denotation for Pegasus, which makes the sentence true, also seems to rob it of a meaningful constituent. Once the king of France is unpacked according to Russell’s analysis, (1b) is revealed to be ambiguous. It’s logical forms are given in (3). (3) a. ∃x[Kx ∧ ∀y[Ky ↔ y=x] ∧ ¬Bx] b. ¬∃x[Kx ∧ ∀y[Ky ↔ y=x] ∧ Bx] (3a) says that there is a unique (French) king who is not bald (obviously false), but (3b), the logical contradictory of (1a) says that it is not the case that there is a unique king who is bald (which is true). We can apply the analysis to sentence (2) once we recognize Pegasus as a concealed definite description, e.g. the winged horse of Greek mythology. (2) can then be unpacked as (4) (4) ¬∃x[Wx ∧ ∀y[Wy ↔ y=x]] which seems both meaningful and true, as required. Problems solved. Well, not quite. Strawson (1950) challenged the first solution above, arguing that neither (1a) nor (1b) could be used to assert the existence of a king of France. Rather, use of such sentences presupposes the existence of a king of France, and failing that existence, neither of (1a) or (1b) could be used to make either a true or a false statement – in Strawson’s words, “the question of whether it’s true or false simply doesn’t arise” (Strawson 1950, 330).1 In an extended series of essays, and one book, Jay Atlas (1977, 1978, 1979, 1989, 2004) has taken issue with the work of both Russell and Strawson.. (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)

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)

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)

ABSTRACTI offer a simple‐minded analysis of presupposition in which if a sentence has a presupposition, then both that sentence and its negation logically entail the presupposition; and in which sentence with failed presuppositions are neither true nor false. This account naturally generates an analysis of what it takes to disagree and what it takes to be at fault in a disagreement. A simple generalization gives rise to the possibility of disagreements in which no party is at fault, (...) as is required by leading theories on predicates of taste. (shrink)