This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
About this topic
Summary This category can be used for any consideration of quantifiers collectively or, perhaps more appropriately, specific quantifiers (other than existential and universal), such as are present in natural language but not present in another category under Quantifiers.  (I would use the top category for a consideration of quantifiers collectively.)  It can also be used for a consideration of, say, both restricted and unrestricted quantification, or both objectual and substitutional quantification.
Key works An excellent example of a quantifier ever-present in natural language, which is one way to explain the ubiquity of vagueness in natural language (and in our thinking) is Grim 2005.  There really aren't key works, though, given how many topics are covered in a miscellaneous category.
Introductions Likewise, and most certainly, there are no introductory works for any specific quantifier, although some works, such as the one cited above, do not need a great deal of technical sophistication to appreciate (in both senses of that word). Standard logic textbooks are the best introductions to the existential and universal quantifiers, which is why most discussions of these really do not fit here.
Related categories

95 found
Order:
1 — 50 / 95
  1. Some Proof Theoretical Remarks on Quantification in Ordinary Language.Michele Abrusci & Christian Retoré - manuscript
    This paper surveys the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this general setting departs from empirical linguistic data, and give some hints for a different view based on proof theory, which on many aspects gets closer to the language itself. We stress the importance of Hilbert's oper- ator epsilon and tau for, respectively, existential and universal quantifications. Indeed, these operators help a lot to construct semantic representation close to (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Quantification, Negation, and Focus: Challenges at the Conceptual-Intentional Semantic Interface.Tista Bagchi - manuscript
    Quantification, Negation, and Focus: Challenges at the Conceptual-Intentional Semantic Interface Tista Bagchi National Institute of Science, Technology, and Development Studies (NISTADS) and the University of Delhi Since the proposal of Logical Form (LF) was put forward by Robert May in his 1977 MIT doctoral dissertation and was subsequently adopted into the overall architecture of language as conceived under Government-Binding Theory (Chomsky 1981), there has been a steady research effort to determine the nature of LF in language in light of structurally (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. Nominal Quantification as Top-Level Anaphora.Maria Bittner - manuscript
    So far, we have focused on discourse reference to atomic individuals and specific times, events, and states. The basic point of the argument was that all types of discourse reference involve attention-guided anaphora (in the sense of Bittner 2012: Ch. 2). We now turn to discourses involving anaphora to and by quantificational expressions. Today, we focus on quantification over individuals but the analysis we develop will directly generalize to other semantic types. The basic idea is that quantification is one more (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. The Barcan Formulas and Necessary Existence: The View From Quarc.Hanoch Ben-Yami - forthcoming - Synthese:1-36.
    The Modal Predicate Calculus gives rise to issues surrounding the Barcan formulas, their converses, and necessary existence. I examine these issues by means of the Quantified Argument Calculus, a recently developed, powerful formal logic system. Quarc is closer in syntax and logical properties to Natural Language than is the Predicate Calculus, a fact that lends additional interest to this examination, as Quarc might offer a better representation of our modal concepts. The validity of the Barcan formulas and their converses is (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. First-Order Swap Structures Semantics for Some Logics of Formal Inconsistency.Marcelo E. Coniglio - forthcoming - Journal of Logic and Computation.
    The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Ramsification and the Ramifications of Prior's Puzzle.Justin D'Ambrosio - forthcoming - Noûs.
    Ramsification is a well-known method of defining theoretical terms that figures centrally in a wide range of debates in metaphysics. Prior's puzzle is the puzzle of why, given the assumption that that-clauses denote propositions, substitution of "the proposition that P" for "that P" within the complements of many propositional attitude verbs sometimes fails to preserve truth, and other times fails to preserve grammaticality. On the surface, Ramsification and Prior's puzzle appear to have little to do with each other. But Prior's (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Kant and Russell on Leibniz' Existential Assertions.Alessandro Rossi - forthcoming - Sophia:1-21.
    Leibniz believed in a God that has the power to create beings and whose existence could be a priori demonstrated. Kant (KrV, A 592-602/B 620-630) rejected such demonstrations as they all presuppose the false claim that existence is a real property. Moreover, (Russell 1992) added that if existence were a real property Leibniz should have concluded that God does not actually have the power to create anything at all. First, I show that Leibniz’ conception of existence is incompatible with the (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8. What Might but Must Not Be.Stephen Finlay & Benjamin Lennertz - 2021 - Analysis 80 (4):647-656.
    We examine an objection to analysing the epistemic ‘might’ and ‘may’ as existential quantifiers over possibilities. Some claims that a proposition “might” be the case appear felicitous although, according to the quantifier analysis, they are necessarily false, since there are no possibilities in which the proposition is true. We explain such cases pragmatically, relying on the fact that ‘might’-sentences are standardly used to convey that the speaker takes a proposition as a serious option in reasoning. Our account explains why it (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. Discourse, Diversity, and Free Choice.Wolfgang Schwarz - 2021 - Australasian Journal of Philosophy 99 (1):48-67.
    ABSTRACT ‘You may have beer or wine’ suggests that you may have beer and you may have wine. Following Klinedinst, I argue that this ‘free choice’ effect is a special kind of scalar implicature, arising from the application of an unspecific predicate to a plurality. I show that the implicature can be derived from general norms of cooperative communication, without postulating new grammatical rules or hidden lexical items. The derivation calls for an extension to the classical neo-Gricean model. I give (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  10. A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (2):81-97.
    This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11. Trespassers and Existential Import.Kai‐Yee Wong & Chi‐Ho Hung - 2019 - Thought: A Journal of Philosophy 8 (1):57-62.
    It is a received view of the post-Fregean predicate logic that a universal statement has no existential import and thus does not entail its particular (existential) counterpart. This paper takes issue with the view by discussing the trespasser case, which has widely been employed for supporting the view. The trespasser case in fact involves a shift of context. Properly understood, the case provides no support for the received view but rather suggests that we rethink the ‘quantity view’ of the existential (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  12. On Elimination of Quantifiers in Some Non-Classical Mathematical Theories.Guillermo Badia & Andrew Tedder - 2018 - Mathematical Logic Quarterly 64 (3):140-154.
    Elimination of quantifiers is shown to fail dramatically for a group of well‐known mathematical theories (classically enjoying the property) against a wide range of relevant logical backgrounds. Furthermore, it is suggested that only by moving to more extensional underlying logics can we get the property back.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. Categories of First-Order Quantifiers.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Basel, Switzerland: pp. 575-597.
    One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Categories of First -Order Quantifiers.Urszula Wybraniec-Skardowska - 2018 - Lvov-Warsaw School. Past and Present.
    One well known problem regarding quantifiers, in particular the 1st order quantifiers, is connected with their syntactic categories and denotations.The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. On Being Called Something.Geoff Georgi - 2017 - Linguistics and Philosophy 40 (6):595-619.
    Building on recent work by Delia Graff Fara and Ora Matushansky on appellative constructions like ‘Mirka called Roger handsome’, I argue that if Millianism about proper names is true, then the quantifier ‘something’ in ‘Mirka called Roger something’ is best understood as a kind of substitutional quantifier. Any adequate semantics for such quantifiers must explain both the logical behavior of ‘Mirka called Roger something’ and the acceptability of ‘so’-anaphora in ‘Mirka called Roger something, and everyone so called is handsome’. Millianism (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Ideology in a Desert Landscape.Alessandro Torza - 2017 - Philosophical Issues 27 (1):383-406.
    On one influential view, metaphysical fundamentality can be understood in terms of joint‐carving. Ted Sider has recently argued that (i) some first order quantifier is joint‐carving, and (ii) modal notions are not joint‐carving. After vindicating the theoretical indispensability of quantification against recent criticism, I will defend a logical result due to Arnold Koslow which implies that (i) and (ii) are incompatible. I will therefore consider an alternative understanding of Sider's metaphysics to the effect that (i) some first order quantifier is (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17. Quantifier Variance and Indefinite Extensibility.Jared Warren - 2017 - Philosophical Review 126 (1):81-122.
    This essay clarifies quantifier variance and uses it to provide a theory of indefinite extensibility that I call the variance theory of indefinite extensibility. The indefinite extensibility response to the set-theoretic paradoxes sees each argument for paradox as a demonstration that we have come to a different and more expansive understanding of ‘all sets’. But indefinite extensibility is philosophically puzzling: extant accounts are either metasemantically suspect in requiring mysterious mechanisms of domain expansion, or metaphysically suspect in requiring nonstandard assumptions about (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18. Semantics and Proof Theory of the Epsilon Calculus.Richard Zach - 2017 - In Sujata Ghosh & Sanjiva Prasad (eds.), Logic and Its Applications. ICLA 2017. Berlin, Heidelberg: Springer. pp. 27-47.
    The epsilon operator is a term-forming operator which replaces quantifiers in ordinary predicate logic. The application of this undervalued formalism has been hampered by the absence of well-behaved proof systems on the one hand, and accessible presentations of its theory on the other. One significant early result for the original axiomatic proof system for the epsilon-calculus is the first epsilon theorem, for which a proof is sketched. The system itself is discussed, also relative to possible semantic interpretations. The problems facing (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. The Antinomy of the Variable: A Tarskian Resolution.Bryan Pickel & Brian Rabern - 2016 - Journal of Philosophy 113 (3):137-170.
    Kit Fine has reawakened a puzzle about variables with a long history in analytic philosophy, labeling it “the antinomy of the variable”. Fine suggests that the antinomy demands a reconceptualization of the role of variables in mathematics, natural language semantics, and first-order logic. The difficulty arises because: (i) the variables ‘x’ and ‘y’ cannot be synonymous, since they make different contributions when they jointly occur within a sentence, but (ii) there is a strong temptation to say that distinct variables ‘x’ (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  20. Reply to Fine.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):571-583.
  21. Un punto a favor de Russell.Pierre Baumann - 2015 - Retorno 1 (1):35-48.
  22. Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts.André Bazzoni - 2015 - Journal of Philosophical Logic 44 (5):507-516.
    The initial goal of the present paper is to reveal a mistake committed by Hintikka in a recent paper on the foundations of mathematics. His claim that independence-friendly logic is the real logic of mathematics is supported in that article by an argument relying on uniformity concepts taken from real analysis. I show that the central point of his argument is a simple logical mistake. Second and more generally, I conclude, based on the previous remarks and on another standard fact (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23. A Sequent Calculus for Urn Logic.Rohan French - 2015 - Journal of Logic, Language and Information 24 (2):131-147.
    Approximately speaking, an urn model for first-order logic is a model where the domain of quantification changes depending on the values of variables which have been bound by quantifiers previously. In this paper we introduce a model-changing semantics for urn-models, and then give a sequent calculus for urn logic by introducing formulas which can be read as saying that “after the individuals a1,..., an have been drawn, A is the case”.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  24. Quantifiers and Referential Use.Mario Gomez-Torrente - 2015 - In Alessandro Torza (ed.), Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language. Springer. pp. 97-124.
    Referential uses of quantified determiner phrases other than descriptions have not been extensively considered. In this paper they are considered in some detail, and related to referential uses of descriptions. The first aim is to develop the observation that, contrary to the currently received view that it is only for descriptions that referential uses are frequent and standard, arising in run-of-the-mill contextual scenarios, this is in fact the case for all usual kinds of quantifier phrases. A second aim is to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Quantification and Logical Form.Andrea Iacona - 2015 - In Alessandro Torza (ed.), Quantifiers, Quantifiers, and Quantifiers. Springer. pp. 125-140.
    This paper deals with the logical form of quantified sentences. Its purpose is to elucidate one plausible sense in which quantified sentences can adequately be represented in the language of first-order logic. Section 1 introduces some basic notions drawn from general quantification theory. Section 2 outlines a crucial assumption, namely, that logical form is a matter of truth-conditions. Section 3 shows how the truth-conditions of quantified sentences can be represented in the language of first-order logic consistently with some established undefinability (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. What Do Quantifier Particles Do?Anna Szabolcsi - 2015 - Linguistics and Philosophy 38 (2):159-204.
    In many languages, the same particles that form quantifier words also serve as connectives, additive and scalar particles, question markers, roots of existential verbs, and so on. Do these have a unified semantics, or do they merely bear a family resemblance? Are they aided by silent operators in their varied roles―if yes, what operators? I dub the particles “quantifier particles” and refer to them generically with capitalized versions of the Japanese morphemes. I argue that both MO and KA can be (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  27. Introduction.Alessandro Torza - 2015 - In Quantifiers, Quantifiers, and Quantifiers. Themes in Logic, Metaphysics and Language. (Synthese Library vol 373). Springer. pp. 1-15.
    This introductory chapter provides a summary of the contributions to the volume, as well as some critical remarks.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  28. The Quantified Argument Calculus.Hanoch Ben-Yami - 2014 - Review of Symbolic Logic 7 (1):120-146.
    I develop a formal logic in which quantified arguments occur in argument positions of predicates. This logic also incorporates negative predication, anaphora and converse relation terms, namely, additional syntactic features of natural language. In these and additional respects, it represents the logic of natural language more adequately than does any version of Frege’s Predicate Calculus. I first introduce the system’s main ideas and familiarize it by means of translations of natural language sentences. I then develop a formal system built on (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29. Quantifiers and Quantification.Gabriel Uzquiano - 2014 - Stanford Encyclopedia of Philosophy.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  30. Are Quantifier Phrases Always Quantificational? The Case of 'Every F'.Pierre Baumann - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):143-172.
    This paper argues that English quantifier phrases of the form ‘every F’ admit of a literal referential interpretation, contrary to the standard semantic account of this expression, according to which it denotes a set and a second-order relation. Various arguments are offered in favor of the referential interpretation, and two likely objections to it are forestalled.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31. Quantified Concealed Questions.Ilaria Frana - 2013 - Natural Language Semantics 21 (2):179-218.
    This paper presents a novel treatment of quantified concealed questions , examining different types of NP predicates and deriving the truth conditions for pair-list and set readings. A generalization is proposed regarding the distribution of the two readings, namely that pair-list readings arise from CQs with relational head nouns, whereas set readings arise from CQs whose head nouns are not relational. It is shown that set readings cannot be derived under the ‘individual concept’ approach, one of the most influential analyses (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  32. Singular Terms, Predicates and the Spurious ‘Is’ of Identity.Danny Frederick - 2013 - Dialectica 67 (3):325-343.
    Contemporary orthodoxy affirms that singular terms cannot be predicates and that, therefore, ‘is’ is ambiguous as between predication and identity. Recent attempts to treat names as predicates do not challenge this orthodoxy. The orthodoxy was built into the structure of modern formal logic by Frege. It is defended by arguments which I show to be unsound. I provide a semantical account of atomic sentences which draws upon Mill's account of predication, connotation and denotation. I show that singular terms may be (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  33. The Logic of Failures of the Cinematic Imagination: Two Case Studies – and a Logical Puzzle and Solution in Just One.Joseph S. Fulda - 2013 - Pragmatics and Society 4 (1):105-111.
    This piece is intended to explicate - by providing a precising definition of - the common cinematic figure which I term “the failure of the cinematic imagination,“ while presenting a logical puzzle and its solution within a simple Gricean framework. -/- It should be noted that this is neither fully accurate nor fully precise, because of the audience; one should examine the remaining articles in the issue to understand what I mean.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34. Epistemic Operators in Dependence Logic.Pietro Galliani - 2013 - Studia Logica 101 (2):367-397.
    The properties of the ${\forall^{1}}$ quantifier defined by Kontinen and Väänänen in [13] are studied, and its definition is generalized to that of a family of quantifiers ${\forall^{n}}$ . Furthermore, some epistemic operators δ n for Dependence Logic are also introduced, and the relationship between these ${\forall^{n}}$ quantifiers and the δ n operators are investigated.The Game Theoretic Semantics for Dependence Logic and the corresponding Ehrenfeucht- Fraissé game are then adapted to these new connectives.Finally, it is proved that the ${\forall^{1}}$ quantifier (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  35. On Contextual Domain Restriction in Categorial Grammar.Erich H. Rast - 2013 - Synthese 190 (12):2085-2115.
    Abstract -/- Quantifier domain restriction (QDR) and two versions of nominal restriction (NR) are implemented as restrictions that depend on a previously introduced interpreter and interpretation time in a two-dimensional semantic framework on the basis of simple type theory and categorial grammar. Against Stanley (2002) it is argued that a suitable version of QDR can deal with superlatives like tallest. However, it is shown that NR is needed to account for utterances when the speaker intends to convey different restrictions for (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Propositions and Compositionality.Juhani Yli-Vakkuri - 2013 - Philosophical Perspectives 27 (1):526-563.
  37. The Scope of Even and Quantifier Raising.Kimiko Nakanishi - 2012 - Natural Language Semantics 20 (2):115-136.
    This paper addresses the question of whether the preverbal even (VP-even) embedded in a nonfinite clause can take wide scope (e.g., Bill refused to even drink WATER). The paper presents novel evidence for wide scope VP-even that is independent of the presuppositions of even. The evidence is based on examples of antecedent-contained deletion (ACD), where embedded VP-even associates with a nominal constituent (or part of it) that raises out of the embedded clause via quantifier raising. Assuming that even must c-command (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38. Tractarian First-Order Logic: Identity and the N-Operator: Tractarian First-Order Logic.Brian Rogers & Kai F. Wehmeier - 2012 - Review of Symbolic Logic 5 (4):538-573.
    In the Tractatus, Wittgenstein advocates two major notational innovations in logic. First, identity is to be expressed by identity of the sign only, not by a sign for identity. Secondly, only one logical operator, called “N” by Wittgenstein, should be employed in the construction of compound formulas. We show that, despite claims to the contrary in the literature, both of these proposals can be realized, severally and jointly, in expressively complete systems of first-order logic. Building on early work of Hintikka’s, (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39. Compositionality Without Word Boundaries: (The) More and (the) Most.Anna Szabolcsi - 2012 - Proceedings of Semantics and Linguistic Theory (SALT) 22.
    This paper seeks to illustrate the advantages of not treating phonological words as distinguished building blocks in compositional semantics. Following Bobaljik 2012, we derive the relative readings of amount superlatives in two steps, [[[d-many] comparative] superlative]. The existence of two comparative constructions is revealed, involving more vs. the more. Each builds a different superlative construction, explaining the conflicting intuitions about superlatives in the literature, as well as puzzles relating to the definite article in superlatives.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  40. How To Precisify Quantifiers.Arvid Båve - 2011 - Journal of Philosophical Logic 40 (1):103-111.
    I here argue that Ted Sider's indeterminacy argument against vagueness in quantifiers fails. Sider claims that vagueness entails precisifications, but holds that precisifications of quantifiers cannot be coherently described: they will either deliver the wrong logical form to quantified sentences, or involve a presupposition that contradicts the claim that the quantifier is vague. Assuming (as does Sider) that the “connectedness” of objects can be precisely defined, I present a counter-example to Sider's contention, consisting of a partial, implicit definition of the (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  41. 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 (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Existence as a Real Predicate.Paulo Faria - 2010 - Veritas – Revista de Filosofia da Pucrs 55 (2):33-41.
  43. Global Domains Versus Hidden Indexicals.Christopher Gauker - 2010 - Journal of Semantics 27 (2):243-270.
    Jason Stanley has argued that in order to obtain the desired readings of certain sentences, such as “In most of John’s classes, he fails exactly three Frenchmen”, we must suppose that each common noun is associated with a hidden indexical that may be either bound by a higher quantifier phrase or interpreted by the context. This paper shows that the desired readings can be obtained as well by interpreting nouns as expressing relations and without supposing that nouns are associated with (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  44. Quantification.Anna Szabolcsi - 2010 - Cambridge University Press.
    This book surveys research in quantification starting with the foundational work in the 1970s. It paints a vivid picture of generalized quantifiers and Boolean semantics. It explains how the discovery of diverse scope behavior in the 1990s transformed the view of quantification, and how the study of the internal composition of quantifiers has become central in recent years. It presents different approaches to the same problems, and links modern logic and formal semantics to advances in generative syntax. A unique feature (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  45. Branching Quantification V. Two-Way Quantification.Nina Gierasimczuk & Jakub Szymanik - 2009 - Journal of Semantics 26 (4):329-366.
    Next SectionWe discuss the thesis formulated by Hintikka (1973) that certain natural language sentences require non-linear quantification to express their meaning. We investigate sentences with combinations of quantifiers similar to Hintikka's examples and propose a novel alternative reading expressible by linear formulae. This interpretation is based on linguistic and logical observations. We report on our experiments showing that people tend to interpret sentences similar to Hintikka sentence in a way consistent with our interpretation.
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  46. Late Medieval Trinitarian Syllogistics: From the Theological Debates to a Logical Textbook.Paloma Pérez-Ilzarbe - 2009 - In A. Schuman (ed.), Logic in Religious Discourse. Ontos Verlag.
    Jerónimo Pardo's analysis of the problems raised by some popular trinitarian paralogisms is studied in this paper. The purpose is to show how the notions employed by the theologians in order to solve theological problems were introduced into a textbook on logic to deal with some genuinely logical problems. First, the problem, common to all logical approaches, of achieving a fine-grained analysis of the logical form of syllogistical inferences. Second, the problem, typical of the terminist approach to logic, of guaranteeing (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. The Meaning of 'Most': Semantics, Numerosity and Psychology.Paul Pietroski, Jeffrey Lidz, Tim Hunter & Justin Halberda - 2009 - Mind and Language 24 (5):554-585.
    The meaning of 'most' can be described in many ways. We offer a framework for distinguishing semantic descriptions, interpreted as psychological hypotheses that go beyond claims about sentential truth conditions, and an experiment that tells against an attractive idea: 'most' is understood in terms of one-to-one correspondence. Adults evaluated 'Most of the dots are yellow', as true or false, on many trials in which yellow dots and blue dots were displayed for 200 ms. Displays manipulated the ease of using a (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  48. Symbolic Logic Study Guide (a Textbook).Xinli Wang - 2009 - University Readers.
    The Symbolic Logic Study Guide is designed to accompany the widely used symbolic logic textbook Language, Proof and Logic (LPL), by Jon Barwise and John Etchemendy (CSLI Publications 2003). The guide has two parts. The first part contains condensed, essential lecture notes, which streamline and systematize the first fourteen chapters of the book into seven teaching sections, and thus provide a clear, well-designed roadmap for the understanding of the text. The second part consists of twelve sample quizzes and solutions. The (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49. The Epsilon Calculus.Jeremy Avigad & Richard Zach - 2008 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Center for the Study of Language and Information, Stanford University.
    The epsilon calculus is a logical formalism developed by David Hilbert in the service of his program in the foundations of mathematics. The epsilon operator is a term-forming operator which replaces quantifiers in ordinary predicate logic. Specifically, in the calculus, a term εx A denotes some x satisfying A(x), if there is one. In Hilbert's Program, the epsilon terms play the role of ideal elements; the aim of Hilbert's finitistic consistency proofs is to give a procedure which removes such terms (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  50. Aristotle’s Logic and the Quest for the Quantification of the Predicate.Bert Mosselmans - 2008 - Foundations of Science 13 (3-4):195-198.
    This paper examines the quest for the quantification of the predicate, as discussed by W.S. Jevons, and relates it to the discussion about universals and particulars between Plato and Aristotle. We conclude that the quest for the quantification of the predicate can only be achieved by stripping the syllogism from its metaphysical heritage.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 95