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

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)

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)

Michael Blome-Tillmann presents an innovative account of epistemic contextualism, based on the idea that pragmatic presuppositions play a central role in the semantics of knowledge attributions. He shows how the theory can resolve sceptical paradoxes and puzzles, and illuminate concerns central to epistemology and philosophy of language.

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)

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)

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)