Presupposition projection as proof construction

Even though Van der Sandt's presuppositions as anaphora approach is empirically successful, it fails to give a formal account of the interaction between world-knowledge and presuppositions. In this paper, an algorithm is sketched which is based on the idea of presuppositions as anaphora. It improves on this approach by employing a deductive system, Constructive Type Theory (CTT), to get a formal handle on the way world-knowledge influences presupposition projection. In CTT, proofs for expressions are explicitly represented as objects. These objects can be seen as a generalization of DRT's discourse markers. They are useful in dealing with presuppositional phenomena which require world-knowledge, such as Clark's bridging examples and Beaver's conditional presuppositions

Introduction

The mass-count distinction is a morpho-syntactic distinction among nouns that is generally taken to have semantic content. This content is generally taken to reflect a conceptual, cognitive, or ontological distinction and relates to philosophical and cognitive notions of unity, identity, and counting. The mass-count distinction is certainly one of the most interesting and puzzling topics in syntax and semantics that bears on ontology and cognitive science. This volume aims to contribute to some of the gaps in the research on the topic, in particular the relation between the syntactic mass-count distinction and semantic and cognitive distinctions, diagnostics for mass and count, the distribution and role of numeral classifiers, abstract mass nouns, and object mass nouns (furniture, police force, clothing)

Scope ambiguities, monads and strengths

In this paper, we will discuss three semantically distinct scope assignment strategies: traditional movement strategy, polyadic approach, and continuation-based approach. As a generalized quantifier on a set X is an element of C(X), the value of continuation monad C on X, in all three approaches QPs are interpreted as C-computations. The main goal of this paper is to relate the three strategies to the computational machinery connected to the monad C (strength and derived operations). As will be shown, both the polyadic approach and the continuation-based approach make heavy use of monad constructs. In the traditional movement strategy, monad constructs are not used but we still need them to explain how the three strategies are related and what can be expected of them wrt handling scopal ambiguities in simple sentences.Comment: 47 pages, small correction

The cultural challenge in mathematical cognition

In their recent paper on “Challenges in mathematical cognition”, Alcock and colleagues (Alcock et al. [2016]. Challenges in mathematical cognition: A collaboratively-derived research agenda. Journal of Numerical Cognition, 2, 20-41) defined a research agenda through 26 specific research questions. An important dimension of mathematical cognition almost completely absent from their discussion is the cultural constitution of mathematical cognition. Spanning work from a broad range of disciplines – including anthropology, archaeology, cognitive science, history of science, linguistics, philosophy, and psychology – we argue that for any research agenda on mathematical cognition the cultural dimension is indispensable, and we propose a set of exemplary research questions related to it

Concepts in Action

This open access book is a timely contribution in presenting recent issues, approaches, and results that are not only central to the highly interdisciplinary field of concept research but also particularly important to newly emergent paradigms and challenges. The contributors present a unique, holistic picture for the understanding and use of concepts from a wide range of fields including cognitive science, linguistics, philosophy, psychology, artificial intelligence, and computer science. The chapters focus on three distinct points of view that lie at the core of concept research: representation, learning, and application. The contributions present a combination of theoretical, experimental, computational, and applied methods that appeal to students and researchers working in these fields

The influence of tense in adverbial quantification

We argue that there is a crucial difference between determiner and adverbial quantification. Following Herburger [2000] and von Fintel [1994], we assume that determiner quantifiers quantify over individuals and adverbial quantifiers over eventualities. While it is usually assumed that the semantics of sentences with determiner quantifiers and those with adverbial quantifiers basically come out the same, we will show by way of new data that quantification over events is more restricted than quantification over individuals. This is because eventualities in contrast to individuals have to be located in time which is done using contextual information according to a pragmatic resolution strategy. If the contextual information and the tense information given in the respective sentence contradict each other, the sentence is uninterpretable. We conclude that this is the reason why in these cases adverbial quantification, i.e. quantification over eventualities, is impossible whereas quantification over individuals is fine