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

Contents
108 found
Order:
1 — 50 / 108
  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  
     
    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  
     
    Export citation  
     
    Bookmark  
  4. What is Logical in First-Order Logic?Boris Čulina - manuscript
    In this article, logical concepts are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and existential quantifiers form a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Representing multiply de re epistemic modal statements.Cem Şişkolar - forthcoming - Linguistics and Philosophy.
    I review Ninan’s Hundred Tickets case pertaining to quantification into epistemic modal contexts, and his counterpart theoretic way to address it (Ninan, Philos Rev, 2018). Ninan’s solution employs a ‘counterpart relation’ parameter intended to reflect how the domain of quantification is thought of in a context. This approach theoretically rules out the possibility of contexts where different ways of thinking about the domain can be deployed through different quantificational noun phrases. I bring out the case of the multiply de re (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6. Fictional domains.Dominic Gregory - 2024 - Noûs 58 (1):126-140.
    (Open Access.) Quantifiers frequently figure in works of fiction. But occurrences of quantificational expressions within fictions seem no more inevitably to be associated with real domains than uses of names within fictions seem inevitably to be associated with existing referents. The paper outlines some philosophical puzzles resulting from this apparent lack of associated domains, puzzles that are broadly analogous to more familiar ones raised by the apparently nonreferential nature of many fictional names. The paper argues, in the light of an (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. Cultura & Diseño de Experiencias.Jesús Aparicio de Soto - 2022 - Figshare, Digital Science and Research Solutions Ltd: DOI: 10.6084/M9.FIGSHARE.21317.
    This overview opens with a discussion of human holistic and analytic kinds of understanding, comparing eastern and western viewpoints, focusing on their impact for usability studies. Then, the understanding of human groups and the ability to reach group agreements are briefly addressed moving on to a comparative detail regarding their impact on commercial relations. Further on, this allows approaching systems’ design while focusing on culture, moving on to a cross-country research review. Finally, based on a folkloric sketch for Chile, a (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. Hyperdoctrine Semantics: An Invitation.Shay Logan & Graham Leach-Krouse - 2022 - In The Logica Yearbook, 2021. College Publications. pp. 115-134.
    Categorial logic, as its name suggests, applies the techniques and machinery of category theory to topics traditionally classified as part of logic. We claim that these tools deserve attention from a greater range of philosophers than just the mathematical logicians. We support this claim with an example. In this paper we show how one particular tool from categorial logic---hyperdoctrines---suggests interesting metaphysics. Hyperdoctrines can provide semantics for quantified languages, but this account of quantification suggests a metaphysical picture quite different from the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. Ramsification and the Ramifications of Prior's Puzzle.Justin D'Ambrosio - 2021 - Noûs 55 (4):935-961.
    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   3 citations  
  10. Quantificational Attitudes.Benjamin Lennertz - 2021 - Journal of Philosophy 118 (11):585-613.
    The literature contains a popular argument in favor of the position that conditional attitudes are not simple attitudes with conditional contents but, rather, have a more complex structure. In this paper I show that an analogous argument applies to what we might call quantificational attitudes—like an intention to follow every bit of good advice I receive or a desire to get rabies shots for each bite I incur from an infected bat. The conditions under which these attitudes are satisfied and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11. Kant and Russell on Leibniz’ Existential Assertions.Alessandro Rossi - 2021 - Sophia 60 (2):389-409.
    Leibniz believed in a God that has the power to create beings and whose existence could be a priori demonstrated. Kant objected that similar demonstrations all presuppose the false claim that existence is a real property. Russell 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 one that Russell presupposes. Subsequently, I argue (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12. 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 (of worlds). 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. (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  13. The Barcan formulas and necessary existence: the view from Quarc.Hanoch Ben-Yami - 2020 - Synthese 198 (11):11029-11064.
    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   4 citations  
  14. First-order swap structures semantics for some Logics of Formal Inconsistency.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Journal of Logic and Computation 30 (6):1257-1290.
    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   4 citations  
  15. What might but must not be.Stephen Finlay & Benjamin Lennertz - 2020 - 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  
  16. 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   5 citations  
  17. 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 (3 more)  
     
    Export citation  
     
    Bookmark  
  18. 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  
  19. Quantification and Epistemic Modality.Dilip Ninan - 2018 - Philosophical Review 127 (4):433-485.
    This essay introduces a puzzle about the interaction between quantifiers and epistemic modals. The puzzle motivates the idea that whether an object satisfies an epistemically modalized predicate depends on the mode of presentation of the domain of quantification. I compare two ways of implementing this idea, one using counterpart theory, the other using Aloni's 'conceptual covers' theory, and then provides some evidence in favor of the former.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  20. 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: Springer- Birkhauser,. 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 (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21. 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  
  22. 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  
  23. 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 (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  24. 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 (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  25. 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   4 citations  
  26. 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 (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  27. Reply to Fine.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):571-583.
  28. Un punto a favor de Russell.Pierre Baumann - 2015 - Retorno 1 (1):35-48.
  29. 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   1 citation  
  30. 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   1 citation  
  31. 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   3 citations  
  32. 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   2 citations  
  33. 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 (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  34. 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  
  35. 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   12 citations  
  36. Quantifiers and Quantification.Gabriel Uzquiano - 2014 - Stanford Encyclopedia of Philosophy.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  37. 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  
     
    Export citation  
     
    Bookmark  
  38. 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 (7 more)  
     
    Export citation  
     
    Bookmark  
  39. 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 (2 more)  
     
    Export citation  
     
    Bookmark  
  40. 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  
  41. 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   7 citations  
  42. 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  
  43. Propositions and compositionality.Juhani Yli-Vakkuri - 2013 - Philosophical Perspectives 27 (1):526-563.
  44. 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 (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45. 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   7 citations  
  46. 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   10 citations  
  47. 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 (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  48. 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 (10 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49. Existence as a Real Predicate.Paulo Faria - 2010 - Veritas – Revista de Filosofia da Pucrs 55 (2):33-41.
    A construção de “existe” como um predicado de primeiraordem ou real é defendida contra a ortodoxia prevalente.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50. 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  
1 — 50 / 108