Switch to: References

Add citations

You must login to add citations.
  1. Compositionality Solves Carnap’s Problem.Denis Bonnay & Dag Westerståhl - 2016 - Erkenntnis 81 (4):721-739.
    The standard relation of logical consequence allows for non-standard interpretations of logical constants, as was shown early on by Carnap. But then how can we learn the interpretations of logical constants, if not from the rules which govern their use? Answers in the literature have mostly consisted in devising clever rule formats going beyond the familiar what follows from what. A more conservative answer is possible. We may be able to learn the correct interpretations from the standard rules, because the (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Scope dominance with monotone quantifiers over finite domains.Gilad Ben-Avi & Yoad Winter - 2004 - Journal of Logic, Language and Information 13 (4):385-402.
    We characterize pairs of monotone generalized quantifiers Q1 and Q2 over finite domains that give rise to an entailment relation between their two relative scope construals. This relation between quantifiers, which is referred to as scope dominance, is used for identifying entailment relations between the two scopal interpretations of simple sentences of the form NP1–V–NP2. Simple numerical or set-theoretical considerations that follow from our main result are used for characterizing such relations. The variety of examples in which they hold are (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Scope dominance with upward monotone quantifiers.Alon Altman, Ya'Acov Peterzil & Yoad Winter - 2005 - Journal of Logic, Language and Information 14 (4):445-455.
    We give a complete characterization of the class of upward monotone generalized quantifiers Q1 and Q2 over countable domains that satisfy the scheme Q1 x Q2 y φ → Q2 y Q1 x φ. This generalizes the characterization of such quantifiers over finite domains, according to which the scheme holds iff Q1 is ∃ or Q2 is ∀ (excluding trivial cases). Our result shows that in infinite domains, there are more general types of quantifiers that support these entailments.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Square of Opposition and Generalized Quantifiers.Duilio D'Alfonso - 2012 - In J.-Y. Beziau & Dale Jacquette (eds.), Around and Beyond the Square of Opposition. Birkhäuser. pp. 219--227.
    In this paper I propose a set-theoretical interpretation of the logical square of opposition, in the perspective opened by generalized quantifier theory. Generalized quantifiers allow us to account for the semantics of quantificational Noun Phrases, and of other natural language expressions, in a coherent and uniform way. I suggest that in the analysis of the meaning of Noun Phrases and Determiners the square of opposition may help representing some semantic features responsible to different logical properties of these expressions. I will (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • New directions for proof theory in linguistics. ESSLLI 2007 course reader.Anna Szabolcsi & Chris Barker - manuscript
    Download  
     
    Export citation  
     
    Bookmark  
  • Indépendance faible des quantificateurs.Richard Zuber - 2007 - Logique Et Analyse 198:173-178.
    Quanti cateurs Q1 et Q2 du type <1> sont faiblement indépendants si et seulement si Q1Q2(R) = Q2Q1(R1) pour toute relation- produit R. On donne une condition suf sante et nécessaire pour que deux quanti cateurs soient faiblement indépendants.
    Download  
     
    Export citation  
     
    Bookmark   2 citations