Switch to: References

Add citations

You must login to add citations.
  1. Type-Shifting and Scrambled Definites.J. van der Does - 1998 - Journal of Semantics 15 (4):389-412.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • In Situ Interpretation Without Type Mismatches.Edward L. Keenan - 2016 - Journal of Semantics 33 (1):87-106.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Range of Modal Logic: An Essay in Memory of George Gargov.Johan van Benthem - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):407-442.
    ABSTRACT George Gargov was an active pioneer in the ‘Sofia School’ of modal logicians. Starting in the 1970s, he and his colleagues expanded the scope of the subject by introducing new modal expressive power, of various innovative kinds. The aim of this paper is to show some general patterns behind such extensions, and review some very general results that we know by now, 20 years later. We concentrate on simulation invariance, decidability, and correspondence. What seems clear is that ‘modal logic’ (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Quantification and the Nature of Crosslinguistic Variation.Lisa Matthewson - 2001 - Natural Language Semantics 9 (2):145-189.
    The standard analysis of quantification says that determiner quantifiers (such as every) take an NP predicate and create a generalized quantifier. The goal of this paper is to subject these beliefs to crosslinguistic scrutiny. I begin by showing that in St'á'imcets (Lillooet Salish), quantifiers always require sisters of argumental type, and the creation of a generalized quantifier from an NP predicate always proceeds in two steps rather than one. I then explicitly adopt the strong null hypothesis that the denotations of (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Dynamic Thoughts on Ifs and Oughts.Malte Willer - 2014 - Philosophers' Imprint 14:1-30.
    A dynamic semantics for iffy oughts offers an attractive alternative to the folklore that Chisholm's paradox enforces an unhappy choice between the intuitive inference rules of factual and deontic detachment. The first part of the story told here shows how a dynamic theory about ifs and oughts gives rise to a nonmonotonic perspective on deontic discourse and reasoning that elegantly removes the air of paradox from Chisholm's puzzle without sacrificing any of the two detachment principles. The second part of the (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Separating Syntax and Combinatorics in Categorial Grammar.Reinhard Muskens - 2007 - Research on Language and Computation 5 (3):267-285.
    The ‘syntax’ and ‘combinatorics’ of my title are what Curry (1961) referred to as phenogrammatics and tectogrammatics respectively. Tectogrammatics is concerned with the abstract combinatorial structure of the grammar and directly informs semantics, while phenogrammatics deals with concrete operations on syntactic data structures such as trees or strings. In a series of previous papers (Muskens, 2001a; Muskens, 2001b; Muskens, 2003) I have argued for an architecture of the grammar in which finite sequences of lambda terms are the basic data structures, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On the Expressive Power of Monotone Natural Language Quantifiers Over Finite Models.Jouko Väänänen & Dag Westerståhl - 2002 - Journal of Philosophical Logic 31 (4):327-358.
    We study definability in terms of monotone generalized quantifiers satisfying Isomorphism Closure, Conservativity and Extension. Among the quantifiers with the latter three properties - here called CE quantifiers - one finds the interpretations of determiner phrases in natural languages. The property of monotonicity is also linguistically ubiquitous, though some determiners like an even number of are highly non-monotone. They are nevertheless definable in terms of monotone CE quantifiers: we give a necessary and sufficient condition for such definability. We further identify (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Quantification and Contributing Objects to Thoughts.Michael Glanzberg - 2008 - Noûs 42 (1):207 - 231.
    In this paper, I shall explore a determiner in natural language which is ambivalent as to whether it should be classified as quantificational or objectdenoting: the determiner both. Both in many ways appears to be a paradigmatic quantifier; and yet, I shall argue, it can be interpreted as having an individual—an object—as semantic value. To show the significance of this, I shall discuss two ways of thinking about quantifiers. We often think about quantifiers via intuitions about kinds of thoughts. Certain (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Names.Sam Cumming - 2009 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On Language Adequacy.Urszula Wybraniec-Skardowska - 2015 - Studies in Logic, Grammar and Rhetoric 40 (1):257-292.
    The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called classical (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On the Possibility of a Substantive Theory of Truth.Gila Sher - 1998 - Synthese 117 (1):133-172.
    The paper offers a new analysis of the difficulties involved in the construction of a general and substantive correspondence theory of truth and delineates a solution to these difficulties in the form of a new methodology. The central argument is inspired by Kant, and the proposed methodology is explained and justified both in general philosophical terms and by reference to a particular variant of Tarski's theory. The paper begins with general considerations on truth and correspondence and concludes with a brief (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • An Experimental Investigation of the Scope of Object Comparative Quantifier Phrases.Kristen Syrett & Adrian Brasoveanu - 2019 - Journal of Semantics 36 (2):285-315.
    Download  
     
    Export citation  
     
    Bookmark  
  • Static and Dynamic Vector Semantics for Lambda Calculus Models of Natural Language.Mehrnoosh Sadrzadeh & Reinhard Muskens - 2018 - Journal of Language Modelling 6 (2):319-351.
    Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Learnability and Semantic Universals.Shane Steinert-Threlkeld & Jakub Szymanik - forthcoming - Semantics and Pragmatics.
    One of the great successes of the application of generalized quantifiers to natural language has been the ability to formulate robust semantic universals. When such a universal is attested, the question arises as to the source of the universal. In this paper, we explore the hypothesis that many semantic universals arise because expressions satisfying the universal are easier to learn than those that do not. While the idea that learnability explains universals is not new, explicit accounts of learning that can (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Psychological Reality of Classical Quantifier Entailment Properties.G. Politzer - 2007 - Journal of Semantics 24 (4):331-343.
    A test of directional entailment properties of classical quantifiers defined by the theory of generalized quantifiers (Barwise & Cooper 1981) is described. Participants had to solve a task which consisted of four kinds of inference. In the first one, the premise was of the form ‘Q–hyponym–verb–blank predicate’, where Q is a classical quantifier (e.g. ‘Some cats are [ ]’), and the question was to indicate what, if anything, can be concluded by filling the slots in ‘...–hyperonym–verb–blank predicate’ (e.g. ‘... animals (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Modified Numerals as Post-Suppositions.A. Brasoveanu - 2013 - Journal of Semantics 30 (2):155-209.
    The paper provides a compositional account of cumulative readings with non-increasing modified numerals (aka van Benthem's puzzle), for example, Exactly 3 boys saw exactly 5 movies. The main proposal is that modified numerals make two kinds of semantic contributions. Their asserted/at-issue contribution is a maximization operator that introduces the maximal set of entities that satisfies their restrictor and nuclear scope. The second contribution is a post-supposition, that is, a cardinality constraint that needs to be satisfied relative to the context that (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Empty-Set Effects in Quantifier Interpretation.Oliver Bott, Fabian Schlotterbeck & Udo Klein - 2019 - Journal of Semantics 36 (1):99-163.
    Download  
     
    Export citation  
     
    Bookmark  
  • Comprehension of Simple Quantifiers: Empirical Evaluation of a Computational Model.Jakub Szymanik & Marcin Zajenkowski - 2010 - Cognitive Science 34 (3):521-532.
    We examine the verification of simple quantifiers in natural language from a computational model perspective. We refer to previous neuropsychological investigations of the same problem and suggest extending their experimental setting. Moreover, we give some direct empirical evidence linking computational complexity predictions with cognitive reality.<br>In the empirical study we compare time needed for understanding different types of quantifiers. We show that the computational distinction between quantifiers recognized by finite-automata and push-down automata is psychologically relevant. Our research improves upon hypothesis and (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • On the Identification of Quantifiers' Witness Sets: A Study of Multi-Quantifier Sentences.Livio Robaldo, Jakub Szymanik & Ben Meijering - 2014 - Journal of Logic, Language and Information 23 (1):53-81.
    Natural language sentences that talk about two or more sets of entities can be assigned various readings. The ones in which the sets are independent of one another are particularly challenging from the formal point of view. In this paper we will call them ‘Independent Set (IS) readings’. Cumulative and collective readings are paradigmatic examples of IS readings. Most approaches aiming at representing the meaning of IS readings implement some kind of maximality conditions on the witness sets involved. Two kinds (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Dynamic Semantics.Karen S. Lewis - 2017 - Oxford Handbooks Online.
    This article focuses on foundational issues in dynamic and static semantics, specifically on what is conceptually at stake between the dynamic framework and the truth-conditional framework, and consequently what kinds of evidence support each framework. The article examines two questions. First, it explores the consequences of taking the proposition as central semantic notion as characteristic of static semantics, and argues that this is not as limiting in accounting for discourse dynamics as many think. Specifically, it explores what it means for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Are Children with Specific Language Impairment Competent with the Pragmatics and Logic of Quantification?Napoleon Katsos, Clara Andrés Roqueta, Rosa Ana Clemente Estevan & Chris Cummins - 2011 - Cognition 119 (1):43-57.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Children's Command of Quantification.Jeffrey Lidz & Julien Musolino - 2002 - Cognition 84 (2):113-154.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Bridging Learning Theory and Dynamic Epistemic Logic.Nina Gierasimczuk - 2009 - Synthese 169 (2):371-384.
    This paper discusses the possibility of modelling inductive inference (Gold 1967) in dynamic epistemic logic (see e.g. van Ditmarsch et al. 2007). The general purpose is to propose a semantic basis for designing a modal logic for learning in the limit. First, we analyze a variety of epistemological notions involved in identification in the limit and match it with traditional epistemic and doxastic logic approaches. Then, we provide a comparison of learning by erasing (Lange et al. 1996) and iterated epistemic (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Ways of Branching Quantifers.Gila Sher - 1990 - Linguistics and Philosophy 13 (4):393 - 422.
    Branching quantifiers were first introduced by L. Henkin in his 1959 paper ‘Some Remarks on Infmitely Long Formulas’. By ‘branching quantifiers’ Henkin meant a new, non-linearly structured quantiiier-prefix whose discovery was triggered by the problem of interpreting infinitistic formulas of a certain form} The branching (or partially-ordered) quantifier-prefix is, however, not essentially infinitistic, and the issues it raises have largely been discussed in the literature in the context of finitistic logic, as they will be here. Our discussion transcends, however, the (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • An Opinionated Guide to Epistemic Modality.Kai von Fintel & Anthony S. Gillies - 2007 - In Tamar Gendler & John Hawthorne (eds.), Oxford Studies in Epistemology: Volume 2. Oxford University Press. pp. 32-62.
    way on the information available in the contexts in which they are used, it’s not surprising that there is a minor but growing industry of work in semantics and the philosophy of language concerned with the precise nature of the context-dependency of epistemically modalized sentences. Take, for instance, an epistemic might-claim like..
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • Some Remarks on Certain Trivalent Accounts of Presupposition Projection.Benjamin R. George - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):86-117.
    This paper discusses some formal properties of trivalent approaches to presupposition projection, and in particular of the middle Kleene system of Peters (1977) and Krahmer (1998). After exploring the relationship between trivalent truth-functional accounts and dynamic accounts in the tradition of Heim (1983), I show how the middle Kleene trivalent account can be formulated in a way which shows that it meets the explanatory challenge of Schlenker (2006, 2008a,b), and provide some results relating to the application of the middle Kleene (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Treatment of Plurals and Plural Quantifications Based on a Theory of Collections.Enrico Franconi - 1993 - Minds and Machines 3 (4):453-474.
    Collective entities and collective relations play an important role in natural language. In order to capture the full meaning of sentences like The Beatles sing Yesterday, a knowledge representation language should be able to express and reason about plural entities — like the Beatles — and their relationships — like sing — with any possible reading (cumulative, distributive or collective).In this paper a way of including collections and collective relations within a concept language, chosen as the formalism for representing the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Construction by Description in Discourse Representation.Noor van Leusen & Reinhard Muskens - 2003 - In Jaroslav Peregrin (ed.), Meaning: The Dynamic Turn. Elsevier. pp. 33-65.
    This paper uses classical logic for a simultaneous description of the syntax and semantics of a fragment of English and it is argued that such an approach to natural language allows procedural aspects of linguistic theory to get a purely declarative formulation. In particular, it will be shown how certain construction rules in Discourse Representation Theory, such as the rule that indefinites create new discourse referents and definites pick up an existing referent, can be formulated declaratively if logic is used (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Modeling Semantic Containment and Exclusion in Natural Language Inference.Christopher D. Manning - unknown
    We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full semantic interpretation. We greatly extend past work in natural logic, which has focused solely on semantic containment and monotonicity, to incorporate both semantic exclusion and implicativity. Our system decomposes an inference problem into a sequence of atomic edits linking premise to hypothesis; predicts a lexical entailment relation for each edit using a statistical classifier; (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • Natural Logic for Textual Inference.Christopher D. Manning - unknown
    This paper presents the first use of a computational model of natural logic—a system of logical inference which operates over natural language—for textual inference. Most current approaches to the PAS- CAL RTE textual inference task achieve robustness by sacrificing semantic precision; while broadly effective, they are easily confounded by ubiquitous inferences involving monotonicity. At the other extreme, systems which rely on first-order logic and theorem proving are precise, but excessively brittle. This work aims at a middle way. Our system finds (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  • On the Grammar and Processing of Proportional Quantifiers: Most Versus More Than Half.Martin Hackl - 2009 - Natural Language Semantics 17 (1):63-98.
    Abstract Proportional quantifiers have played a central role in the development of formal semantics because they set a benchmark for the expressive power needed to describe quantification in natural language (Barwise and Cooper Linguist Philos 4:159–219, 1981). The proportional quantifier most, in particular, supplied the initial motivation for adopting Generalized Quantifier Theory (GQT) because its meaning is definable as a relation between sets of individuals, which are taken to be semantic primitives in GQT. This paper proposes an alternative analysis of (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Gapping as Constituent Coordination.Mark J. Steedman - 1990 - Linguistics and Philosophy 13 (2):207 - 263.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Logic in Philosophy.Johan van Benthem - unknown
    1 Logic in philosophy The century that was Logic has played an important role in modern philosophy, especially, in alliances with philosophical schools such as the Vienna Circle, neopositivism, or formal language variants of analytical philosophy. The original impact was via the work of Frege, Russell, and other pioneers, backed up by the prestige of research into the foundations of mathematics, which was fast bringing to light those amazing insights that still impress us to-day. The Golden Age of the 1930s (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • A Brief History of Natural Logic.Johan van Benthem - unknown
    This paper is a brief history of natural logic at the interface of logic, linguistics, and nowadays also other disciplines. It merely summarizes some facts that deserve to be common knowledge.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  • Geach’s Categorial Grammar.Lloyd Humberstone - 2004 - Linguistics and Philosophy 28 (3):281 - 317.
    Geach’s rich paper ‘A Program for Syntax’ introduced many ideas into the arena of categorial grammar, not all of which have been given the attention they warrant in the thirty years since its first publication. Rather surprisingly, one of our findings (Section 3 below) is that the paper not only does not contain a statement of what has widely come to be known as “Geach’s Rule”, but in fact presents considerations which are inimical to the adoption of the rule in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Plausible Reasoning: A First-Order Approach.Silvana Badaloni & Alberto Zanardo - 1996 - Journal of Applied Non-Classical Logics 6 (3):215-261.
    Download  
     
    Export citation  
     
    Bookmark  
  • Easy Solutions for a Hard Problem? The Computational Complexity of Reciprocals with Quantificational Antecedents.Fabian Schlotterbeck & Oliver Bott - 2013 - Journal of Logic, Language and Information 22 (4):363-390.
    We report two experiments which tested whether cognitive capacities are limited to those functions that are computationally tractable (PTIME-Cognition Hypothesis). In particular, we investigated the semantic processing of reciprocal sentences with generalized quantifiers, i.e., sentences of the form Q dots are directly connected to each other, where Q stands for a generalized quantifier, e.g. all or most. Sentences of this type are notoriously ambiguous and it has been claimed in the semantic literature that the logically strongest reading is preferred (Strongest (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Range of Modal Logic: An Essay in Memory of George Gargov.Johan van Benthem - 1999 - Journal of Applied Non-Classical Logics 9 (2):407-442.
    ABSTRACT George Gargov was an active pioneer in the ‘Sofia School’ of modal logicians. Starting in the 1970s, he and his colleagues expanded the scope of the subject by introducing new modal expressive power, of various innovative kinds. The aim of this paper is to show some general patterns behind such extensions, and review some very general results that we know by now, 20 years later. We concentrate on simulation invariance, decidability, and correspondence. What seems clear is that ‘modal logic’ (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Complex Predicates and Liberation in Dutch and English.Jack Hoeksema - 1991 - Linguistics and Philosophy 14 (6):661 - 710.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Explaining Quantity Implicatures.Robert van Rooij & Tikitu de Jager - 2012 - Journal of Logic, Language and Information 21 (4):461-477.
    We give derivations of two formal models of Gricean Quantity implicature and strong exhaustivity in bidirectional optimality theory and in a signalling games framework. We show that, under a unifying model based on signalling games, these interpretative strategies are game-theoretic equilibria when the speaker is known to be respectively minimally and maximally expert in the matter at hand. That is, in this framework the optimal strategy for communication depends on the degree of knowledge the speaker is known to have concerning (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations