Results for ' quantifiers'

951 found
Order:
  1. M. Abad Varieties of Three-valued.A. M. Suardiaz A. Quantifier - forthcoming - Studia Logica.
  2. Barry Richards.Temporal Quantifiers Tenses & Semantic Innocence - 1987 - In Ernest LePore, New directions in semantics. Orlando: Academic Press. pp. 337.
     
    Export citation  
     
    Bookmark  
  3. Jon Barwise.Noun Phrases & Generalized Quantifiers - 1987 - In Peter Gärdenfors, Generalized Quantifiers. Reidel Publishing Company. pp. 31--1.
     
    Export citation  
     
    Bookmark  
  4. Dag Westerstahl.Branching Generalized Quantifiers - 1987 - In Peter Gärdenfors, Generalized Quantifiers. Reidel Publishing Company. pp. 269.
    No categories
     
    Export citation  
     
    Bookmark  
  5. Chapter 3: The Semantics of Special Quantifiers in Predicate Position.Friederike Moltmann - 2012 - In Abstract Objects and the Semantics of Natural Language. Oxford, United Kingdom: Oxford University Press.
    This chapter argues that special quantifiers such as 'something' when occurring in argument position are not ordinary or substitutional quantifiers; rather they have a reifying force introducing a domain of tropes or kinds of tropes to quantify over.
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  6.  84
    (1 other version)Logic with denumerably long formulas and finite strings of quantifiers.Dana Scott - 1965 - Journal of Symbolic Logic 36 (1):1104--329.
  7. First order predicate logic with generalized quantifiers.Per Lindström - 1966 - Theoria 32 (3):186--195.
  8. Questions about quantifiers.Johan van Benthem - 1984 - Journal of Symbolic Logic 49 (2):443-466.
  9. (1 other version)Logical necessity, physical necessity, ethics, and quantifiers.Richard Montague - 1960 - Inquiry: An Interdisciplinary Journal of Philosophy 3 (1-4):259 – 269.
    Some philosophers, for example Quine, doubt the possibility of jointly using modalities and quantification. Simple model-theoretic considerations, however, lead to a reconciliation of quantifiers with such modal concepts as logical, physical, and ethical necessity, and suggest a general class of modalities of which these are instances. A simple axiom system, analogous to the Lewis systems S1 —S5, is considered in connection with this class of modalities. The system proves to be complete, and its class of theorems decidable.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  10.  16
    First-order concatenation theory with bounded quantifiers.Lars Kristiansen & Juvenal Murwanashyaka - 2020 - Archive for Mathematical Logic 60 (1):77-104.
    We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11. If and when if -clauses can restrict quantifiers.Kai von Fintel - manuscript
    The interpretation of if -clauses in the scope of ordinary quantifiers has provoked semanticists into extraordinary measures, such as abandoning compositionality or claiming that if has no meaning. We argue that if -clauses have a normal conditional meaning, even in the scope of ordinary quantifiers, and that the trick is to have the right semantics for conditionals.
     
    Export citation  
     
    Bookmark   28 citations  
  12.  37
    Probing the mental representation of quantifiers.Sandro Pezzelle, Raffaella Bernardi & Manuela Piazza - 2018 - Cognition 181 (C):117-126.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  13. (1 other version)Mass and count quantifiers.Jim Higginbotham - 1994 - Linguistics and Philosophy 17 (5):447 - 480.
  14.  23
    Elementary-base cirquent calculus II: Choice quantifiers.Giorgi Japaridze - forthcoming - Logic Journal of the IGPL.
    Cirquent calculus is a novel proof theory permitting component-sharing between logical expressions. Using it, the predecessor article ‘Elementary-base cirquent calculus I: Parallel and choice connectives’ built the sound and complete axiomatization $\textbf{CL16}$ of a propositional fragment of computability logic. The atoms of the language of $\textbf{CL16}$ represent elementary, i.e. moveless, games and the logical vocabulary consists of negation, parallel connectives and choice connectives. The present paper constructs the first-order version $\textbf{CL17}$ of $\textbf{CL16}$, also enjoying soundness and completeness. The language of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. A Note on some Neuroimaging Study of Natural Language Quantifiers Comprehension.Jakub Szymanik - 2007 - Neuropsychologia 45 (9):2158-2160.
    We discuss McMillan et al. (2005) paper devoted to study brain activity during comprehension of sentences with generalized quantifiers. According to the authors their results verify a particular computational model of natural language quantifier comprehension posited by several linguists and logicians (e. g. see van Benthem, 1986). We challenge this statement by invoking the computational difference between first-order quantifiers and divisibility quantifiers (e. g. see Mostowski, 1998). Moreover, we suggest other studies on quantifier comprehension, which can throw (...)
     
    Export citation  
     
    Bookmark   10 citations  
  16.  36
    Decidability and generalized quantifiers.Andreas Baudisch (ed.) - 1980 - Berlin: Akademie Verlag.
  17.  43
    Barwise: Abstract Model Theory and Generalized Quantifiers.Jouko Va An Anen - 2004 - Bulletin of Symbolic Logic 10 (1):37-53.
    §1. Introduction. After the pioneering work of Mostowski [29] and Lindström [23] it was Jon Barwise's papers [2] and [3] that brought abstract model theory and generalized quantifiers to the attention of logicians in the early seventies. These papers were greeted with enthusiasm at the prospect that model theory could be developed by introducing a multitude of extensions of first order logic, and by proving abstract results about relationships holding between properties of these logics. Examples of such properties areκ-compactness.Any (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18. Sums and quantifiers.Jaap Does - 1993 - Linguistics and Philosophy 16 (5):509 - 550.
  19.  74
    Elimination of quantifiers for ordered valuation rings.M. A. Dickmann - 1987 - Journal of Symbolic Logic 52 (1):116-128.
  20.  90
    On modal logic with propositional quantifiers.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):257-263.
    I am interested in extending modal calculi by adding propositional quantifiers, given by the rules for quantifier introduction: provided that p does not occur free in A.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  21. Descriptions: Predicates or quantifiers?Berit Brogaard - 2007 - Australasian Journal of Philosophy 85 (1):117 – 136.
    In this paper I revisit the main arguments for a predicate analysis of descriptions in order to determine whether they do in fact undermine Russell's theory. I argue that while the arguments without doubt provide powerful evidence against Russell's original theory, it is far from clear that they tell against a quantificational account of descriptions.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  22. The Moral Law and The Good in Temporal Modal Logic with Propositional Quantifiers.Daniel Rönnedal - 2020 - Australasian Journal of Logic 17 (1):22-69.
    The Moral Law is fulfilled iff everything that ought to be the case is the case, and The Good is realised in a possible world w at a time t iff w is deontically accessible from w at t. In this paper, I will introduce a set of temporal modal deontic systems with propositional quantifiers that can be used to prove some interesting theorems about The Moral Law and The Good. First, I will describe a set of systems without (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  23
    Richard Montague. Logical necessity, physical necessity, ethics, and quantifiers. Inquiry , vol. 3 , pp. 259–269.A. Bayart - 1967 - Journal of Symbolic Logic 32 (3):400-401.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  55
    Montague Type Semantics for Modal Logics with Propositional Quantifiers.Dov M. Gabbay - 1971 - Mathematical Logic Quarterly 17 (1):245-249.
  25.  34
    Preschoolers sometimes know less than we think: The use of quantifiers to solve addition and subtraction tasks.Belinda Blevins-Knabe, Robert G. Cooper, Prentice Starkey, Patty Goth Mace & Ed Leitner - 1987 - Bulletin of the Psychonomic Society 25 (1):31-34.
  26.  98
    Constructive generalized quantifiers.Göran Sundholm - 1989 - Synthese 79 (1):1 - 12.
  27. Definite descriptions and negative existential quantifiers.Paul Elbourne - 2018 - Philosophical Studies 175 (7):1597-1612.
    Previous theorists have claimed that Russell’s theory of definite descriptions gives the wrong truth conditions to sentences in which definite descriptions are embedded under certain other operators; but the other operators used, such as conditionals and propositional attitude verbs, have introduced intensional and hyperintensional complications that might be thought to obscure the point against Russell. This paper shows that the same kind of problem arises when the operator in question allows the context to be extensional. It is further argued that (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28. Certain Verbs Are Syntactically Explicit Quantifiers.Anna Szabolcsi - 2011 - The Baltic International Yearbook of Cognition, Logic and Communication 6:5.
    Quantification over individuals, times, and worlds can in principle be made explicit in the syntax of the object language, or left to the semantics and spelled out in the meta-language. The traditional view is that quantification over individuals is syntactically explicit, whereas quantification over times and worlds is not. But a growing body of literature proposes a uniform treatment. This paper examines the scopal interaction of aspectual raising verbs (begin), modals (can), and intensional raising verbs (threaten) with quantificational subjects in (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Natural language, sortal reducibility and generalized quantifiers.Edward L. Keenan - 1993 - Journal of Symbolic Logic 58 (1):314-325.
    Recent work in natural language semantics leads to some new observations on generalized quantifiers. In § 1 we show that English quantifiers of type $ $ are booleanly generated by their generalized universal and generalized existential members. These two classes also constitute the sortally reducible members of this type. Section 2 presents our main result--the Generalized Prefix Theorem (GPT). This theorem characterizes the conditions under which formulas of the form Q1x 1⋯ Qnx nRx 1⋯ xn and q1x 1⋯ (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  30.  72
    Interpretations of quantifiers.Thomas Baldwin - 1979 - Mind 88 (350):215-240.
  31.  31
    A Preliminary Study of MV-Algebras with Two Quantifiers Which Commute.Aldo Figallo Orellano - 2016 - Studia Logica 104 (5):931-956.
    In this paper we investigate the class of MV-algebras equipped with two quantifiers which commute as a natural generalization of diagonal-free two-dimensional cylindric algebras. In the 40s, Tarski first introduced cylindric algebras in order to provide an algebraic apparatus for the study of classical predicate calculus. The diagonal–free two-dimensional cylindric algebras are special cylindric algebras. The treatment here of MV-algebras is done in terms of implication and negation. This allows us to simplify some results due to Di Nola and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. The Role of Situations in Generalized Quantifiers.Robin Cooper - 1996 - In Shalom Lappin, The handbook of contemporary semantic theory. Cambridge, Mass., USA: Blackwell Reference. pp. 65--86.
  33.  82
    On proper quantifiers I.Ludwik Borkowski - 1958 - Studia Logica 8 (1):65 - 130.
  34.  15
    The World of the Academic Quantifiers: The Columbia University Family and its Connections.Stephen Turner - 1992 - In M. Blumer, K. Bales & K. K. Sklar, The Social Survey in Historical Perspective, 1880–1940. Cambridge University Press. pp. 269-290.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Quantifiers in Language and Logic.Stanley Peters & Dag Westerståhl - 2006 - Oxford, England: Clarendon Press.
    Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no, some, all, both, many. Peters and Westerstahl present the definitive interdisciplinary exploration of how they work - their syntax, semantics, and inferential role.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   110 citations  
  36.  70
    Almost Everywhere Elimination of Probability Quantifiers.H. Jerome Keisler & Wafik Boulos Lotfallah - 2009 - Journal of Symbolic Logic 74 (4):1121 - 1142.
    We obtain an almost everywhere quantifier elimination for (the noncritical fragment of) the logic with probability quantifiers, introduced by the first author in [10]. This logic has quantifiers like $\exists ^{ \ge 3/4} y$ which says that "for at least 3/4 of all y". These results improve upon the 0-1 law for a fragment of this logic obtained by Knyazev [11]. Our improvements are: 1. We deal with the quantifier $\exists ^{ \ge r} y$ , where y is (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  27
    (1 other version)Hilbert∈-symbol in the presence of generalized quantifiers.Xavier Caicedo - 1991 - Bulletin of the Section of Logic 20 (3/4):85-86.
  38.  33
    An ideological battle over modals and quantifiers.Massimo Piattelli-Palmarini - 1990 - Behavioral and Brain Sciences 13 (4):752-754.
  39.  39
    Incremental generation of answers during the comprehension of questions with quantifiers.Oliver Bott, Petra Augurzky, Wolfgang Sternefeld & Rolf Ulrich - 2017 - Cognition 166 (C):328-343.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  40.  38
    Repartee, or a Reply to 'Negation, Conjunction and Quantifiers'.George Lakoff - 1970 - Foundations of Language 6 (3):389-422.
  41. Studies in Paraconsistent Logic II: Quantifiers and the Unity of Opposites.Newton Ca da Costa & Robert G. Wolf - 1948 - Science and Society 12:418-444.
     
    Export citation  
     
    Bookmark  
  42.  91
    Truth and substitution quantifiers.Joseph L. Camp - 1975 - Noûs 9 (2):165-185.
  43.  90
    Substitutional quantification and nonstandard quantifiers.H. A. Lewis - 1985 - Noûs 19 (3):447-451.
  44.  51
    A note concerning the binary quantifiers.Roman Suszko - 1962 - Theoria 28 (3):269-276.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  34
    Forbidden subgraphs in terms of forbidden quantifiers.T. A. McKee - 1978 - Notre Dame Journal of Formal Logic 19 (1):186-188.
  46.  35
    On the absence of certain quantifiers in Mohawk.Mark C. Baker - 1995 - In Emmon W. Bach, Eloise Jelinek, Angelika Kratzer & Barbara H. Partee, Quantification in Natural Languages. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 21--58.
  47.  64
    Generic expansions of ω-categorical structures and semantics of generalized quantifiers.A. A. Ivanov - 1999 - Journal of Symbolic Logic 64 (2):775-789.
    LetMbe a countably infinite ω-categorical structure. Consider Aut(M) as a complete metric space by definingd(g, h) = Ω{2−n:g(xn) ≠h(xn) org−1(xn) ≠h−1(xn)} where {xn:n∈ ω} is an enumeration ofMAn automorphism α ∈ Aut(M) is generic if its conjugacy class is comeagre. J. Truss has shown in [11] that if the set P of all finite partial isomorphisms contains a co-final subset P1closed under conjugacy and having the amalgamation property and the joint embedding property then there is a generic automorphism. In the (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  48. (1 other version)A Fregean interpretation of the quantifiers.J. N. Martin - 1977 - Logique Et Analyse 20 (77):122.
     
    Export citation  
     
    Bookmark   2 citations  
  49. Ramsey sentences and the meaning of quantifiers.Jaakko Hintikka - 1998 - Philosophy of Science 65 (2):289-305.
    1. Ramsey Sentences and the Function of Theoretical Concepts. In his famous paper “Theories,” Frank Ramsey introduced a technique of examining a scientific theory by means of certain propositions, dubbed later “Ramsey Sentences.” They are the results of what is often called Ramsey elimination. This prima facie elimination is often presented as a method of dispensing with theoretical concepts in scientific theorizing. The idea is this: Assume that we are given a finitely axiomatized scientific theorywhere O1, O2, … are the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  50.  15
    Finite generation problem and n-ary quantifiers.Lauri Hella & Kerkko Luosto - 1995 - In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba, Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 63--104.
1 — 50 / 951