Results for 'quantifier'

384 found
Order:
  1. Quantifier Variance Without Collapse.Hans Halvorson - manuscript
    The thesis of quantifier variance is consistent and cannot be refuted via a collapse argument.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Quantifier Variance.Eli Hirsch & Jared Warren - 2019 - In The Routledge Handbook of Philosophy of Relativism. New York: pp. 349-357.
    Quantifier variance is a well-known view in contemporary metaontology, but it remains very widely misunderstood by critics. Here we briefly and clearly explain the metasemantics of quantifier variance and distinguish between modest and strong forms of variance (Section I), explain some key applications (Section II), clear up some misunderstandings and address objections (Section III), and point the way toward future directions of quantifier-variance-related research (Section IV).
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  3. The Quantified Relationship.John Danaher, Sven Nyholm & Brian D. Earp - 2018 - American Journal of Bioethics 18 (2):3-19.
    The growth of self-tracking and personal surveillance has given rise to the Quantified Self movement. Members of this movement seek to enhance their personal well-being, productivity, and self-actualization through the tracking and gamification of personal data. The technologies that make this possible can also track and gamify aspects of our interpersonal, romantic relationships. Several authors have begun to challenge the ethical and normative implications of this development. In this article, we build upon this work to provide a detailed ethical analysis (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  4. Quantifiers in Pair-List Readings.Anna Szabolcsi - 1997 - In Ways of Scope Taking. Kluwer Academic Publishers. pp. 311--347.
    Section 1 provides a brief summary of the pair-list literature singling out some points that are particularly relevant for the coming discussion. -/- Section 2 shows that the dilemma of quantifi cation versus domain restriction arises only in extensional complement interrogatives. In matrix questions and in intensional complements only universals support pairlist readings, whence the simplest domain restriction treatment suffices. Related data including conjunction, disjunction, and cumulative readings are discussed -/- Section 3 argues that in the case of extensional complements (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  5. Quantifier Words and Their Multifunctional(?) Parts.Anna Szabolcsi, James Doh Whang & Vera Zu - 2014 - Language and Linguistics 15 (1).
    Formal semantic analyses often take words to be minimal building blocks for the purposes of compositionality. But various recent theories of morphology and syntax have converged on the view that there is no demarcation line corresponding to the word level. The same conclusion has emerged from the compositional semantics of superlatives. In the spirit of extending compositionality below the word level, this paper explores how a small set of particles (Japanese KA and MO, Chinese DOU, and Hungarian VALA/VAGY, MIND, and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  36
    Quantifier Variance, Intensionality, and Metaphysical Merit.David Liebesman - 2015 - In Quantifiers, Quantifiers, and Quantifiers. Themes in Logic, Metaphysics, and Language.
    Attempting to deflate ontological debates, the proponent of Quantifier Variance (QV) claims that there are multiple quantifier meanings of equal metaphysical merit. According to Hirsch—the main proponent of QV—metaphysical merit should be understood intensionally: two languages have equal merit if they allow us to express the same possibilities. I examine the notion of metaphysical merit and its purported link to intensionality. That link, I argue, should not be supported by adopting an intensional theory of semantic content. Rather, I (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7.  79
    Quantifier Variance.Rohan Sud & David Manley - 2021 - In Ricki Leigh Bliss & J. T. M. Miller (eds.), The Routledge Handbook of Metametaphysics. New York: Routledge. pp. 100-17.
    We provide an overview of the meta-ontological position known as "Quantifier Variance".
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Quantifier Variance Dissolved.Suki Finn & Otávio Bueno - 2018 - Royal Institute of Philosophy Supplement 82:289-307.
    Quantifier variance faces a number of difficulties. In this paper we first formulate the view as holding that the meanings of the quantifiers may vary, and that languages using different quantifiers may be charitably translated into each other. We then object to the view on the basis of four claims: (i) quantifiers cannot vary their meaning extensionally by changing the domain of quantification; (ii) quantifiers cannot vary their meaning intensionally without collapsing into logical pluralism; (iii) quantifier variance is (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  9. Existential Quantifier, Logic and the Christian Trinitarian Monotheism: An Investigation of a Relationship Between Formal Sciences and Philosophy of Religion.Paulo Júnio de Oliveira - 2017 - Revista Brasileira de Filosofia da Religião 4 (2):134-151.
    This article discusses a relation between the formal science of logical semantics and some monotheistic, polytheistic and Trinitarian Christian notions. This relation appears in the use of the existential quantifier and of logical-modal notions when some monotheistic and polytheistic concepts and, principally, the concept of Trinity Dogma are analyzed. Thus, some presupposed modal notions will appear in some monotheistic propositions, such as the notion of “logically necessary”. From this, it will be shown how the term “God” is a polysemic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Quantified Propositional Gödel Logics.Matthias Baaz, Agata Ciabattoni & Richard Zach - 2000 - In Andrei Voronkov & Michel Parigot (eds.), Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000. Berlin: Springer. pp. 240-256.
    It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Generalized Quantifiers: Logic and Language.Duilio D'Alfonso - 2011 - Logic and Philosophy of Science 9 (No. 1):85-94.
    The Generalized Quantifiers Theory, I will argue, in the second half of last Century has led to an important rapprochement, relevant both in logic and in linguistics, between logical quantification theories and the semantic analysis of quantification in natural languages. In this paper I concisely illustrate the formal aspects and the theoretical implications of this rapprochement.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Quantifying the Gender Gap: An Empirical Study of the Underrepresentation of Women in Philosophy.Molly Paxton, Carrie Figdor & Valerie Tiberius - 2012 - Hypatia 27 (4):949-957.
    The lack of gender parity in philosophy has garnered serious attention recently. Previous empirical work that aims to quantify what has come to be called “the gender gap” in philosophy focuses mainly on the absence of women in philosophy faculty and graduate programs. Our study looks at gender representation in philosophy among undergraduate students, undergraduate majors, graduate students, and faculty. Our findings are consistent with what other studies have found about women faculty in philosophy, but we were able to add (...)
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  37
    Can Knowledge Be Quantified and Qualified?Farshad Badie - 2021 - Journal of Knowledge Structures and Systems 2 (1):63-67.
    The opinion defended in this paper is that the interrelationships between the phenomena of data and information can provide a strong basis for analyzing knowledge as a quantified and qualified construction. As other models (e.g., Augusto’s General Theory of Knowledge) suggest, it is important to distinguish knowledge from both data and information in the complicated trio composed of data, information, and knowledge (DIK). However, data and information can be combined into informative data. Taking into account quantified and qualified informative data, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Quantifier Particles and Compositionality.Anna Szabolcsi - 2013 - Proceedings of the 19th Amsterdam Colloquium.
    In many languages, the same particles build quantifier words and serve as connectives, additive and scalar particles, question markers, existential verbs, and so on. Do the roles of each particle form a natural class with a stable semantics? Are the particles aided by additional elements, overt or covert, in fulfilling their varied roles? I propose a unified analysis, according to which the particles impose partial ordering requirements (glb and lub) on the interpretations of their hosts and the immediate larger (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  17. Ockhamism and Quantified Modal Logic.Andrea Iacona - 2015 - Logique Et Analyse 58:353-370.
    This paper outlines a formal account of tensed sentences that is consistent with Ockhamism, a view according to which future contingents are either true or false. The account outlined substantively differs from the attempts that have been made so far to provide a formal apparatus for such a view in terms of some expressly modified version of branching time semantics. The system on which it is based is the simplest quantified modal logic.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Sticky Situations: 'Force' and Quantifier Domains.Matthew Mandelkern & Jonathan Phillips - forthcoming - Semantics and Linguistic Theory 28.
    When do we judge that someone was forced to do what they did? One relatively well-established finding is that subjects tend to judge that agents were not forced to do actions when those actions violate norms. A surprising discovery of Young & Phillips 2011 is that this effect seems to disappear when we frame the relevant ‘force’-claim in the active rather than passive voice ('X forced Y to φ ' vs. 'Y was forced to φ by X'). Young and Phillips (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  63
    Necessarily Maybe. Quantifiers, Modality and Vagueness.Alessandro Torza - 2015 - In Quantifiers, Quantifiers, and Quantifiers. Themes in Logic, Metaphysics and Language. (Synthese Library vol 373). Springer. pp. 367-387.
    Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Quantifying the Relative Roles of Shadows, Steropsis, and Aocal Accomodation in 3D Visualization.David Kirsh - 2003 - The 3rd IASTED International Conference on Visualization, Imaging, and Image Processing.
    The goal of three-dimensional visualization is to present information in such a way that the viewer suspends disbelief and uses the screen imagery the same way as he or she would use an identical, real 3D scene. To do this effectively, programmers employ a variety of 3D depth cues. Our own anecdotal experience says that shadows and stereopsis are two of the best for visualization. The nice thing is that both of these are possible to do in interactive programs. They (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Quine and Quantified Modal Logic – Against the Received View.Adam Tamas Tuboly - 2015 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 22 (4):518-545.
    The textbook-like history of analytic philosophy is a history of myths, re-ceived views and dogmas. Though mainly the last few years have witnessed a huge amount of historical work that aimed to reconsider our narratives of the history of ana-lytic philosophy there is still a lot to do. The present study is meant to present such a micro story which is still quite untouched by historians. According to the received view Kripke has defeated all the arguments of Quine against quantified (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  76
    Can Knowledge Be Quantified and Qualified?Farshad Badie - 2021 - Journal of Knowledge Structures and Systems 1 (2):63-67.
    The opinion defended in this paper is that the interrelationships between the phenomena of data and information can provide a strong basis for analyzing knowledge as a quantified and qualified construction. As other models (e.g., Augusto’s General Theory of Knowledge) suggest, it is important to distinguish knowledge from both data and information in the complicated trio composed of data, information, and knowledge (DIK). However, data and information can be combined into informative data. Taking into account quantified and qualified informative data, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Quantifiers and Propositional Attitudes: Quine Revisited.Sean Crawford - 2008 - Synthese 160 (1):75 - 96.
    Quine introduced a famous distinction between the ‘notional’ sense and the ‘relational’ sense of certain attitude verbs. The distinction is both intuitive and sound but is often conflated with another distinction Quine draws between ‘dyadic’ and ‘triadic’ (or higher degree) attitudes. I argue that this conflation is largely responsible for the mistaken view that Quine’s account of attitudes is undermined by the problem of the ‘exportation’ of singular terms within attitude contexts. Quine’s system is also supposed to suffer from the (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  24. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  25. Incomplete Descriptions, Incomplete Quantified Expressions (Part of the Dissertation Portfolio Modality, Names and Descriptions).Zsófia Zvolenszky - 2007 - Dissertation, New York University
    This paper offers a unified, quantificational treatment of incomplete descriptions like ‘the table’. An incomplete quantified expression like ‘every bottle’ (as in “Every bottle is empty”) can feature in true utterances despite the fact that the world contains nonempty bottles. Positing a contextual restriction on the bottles being talked about is a straightforward solution. It is argued that the same strategy can be extended to incomplete definite descriptions across the board. ncorporating the contextual restrictions into semantics involves meeting a complex (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Numerals and Quantifiers in X-Bar Syntax and Their Semantic Interpretation.Henk J. Verkuyl - 1981 - In Jeroen A. G. Groenendijk, Theo M. V. Janssen & Martin B. Stokhof (eds.), Formal Methods in the Study of Language Volume 2. U of Amsterdam. pp. 567-599.
    The first aim of the paper is to show that under certain conditions generative syntax can be made suitable for Montague semantics, based on his type logic. One of the conditions is to make branching in the so-called X-bar syntax strictly binary, This makes it possible to provide an adequate semantics for Noun Phrases by taking them as referring to sets of collections of sets of entities ( type <ett,t>) rather than to sets of sets of entities (ett).
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  27. Modal Ontology and Generalized Quantifiers.Peter Fritz - 2013 - Journal of Philosophical Logic 42 (4):643-678.
    Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  28. Collapse and the Varieties of Quantifier Variance.Matti Eklund - 2021 - In James Miller (ed.), The Language of Ontology.
    The aim of the paper is to bring clarity regarding the doctrine of quantifier variance (due to Eli Hirsch), and two prominent arguments against this doctrine, the collapse argument and the Eklund-Hawthorne argument. Different versions of the doctrine of quantifier variance are distinguished, and it is shown that the effectiveness of the arguments against it depends on what version of the doctrine is at issue. The metaontological significance of the different versions of the doctrine are also assessed. Roughly, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  29. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  30. Contraction, Infinitary Quantifiers, and Omega Paradoxes.Bruno Da Ré & Lucas Rosenblatt - 2018 - Journal of Philosophical Logic 47 (4):611-629.
    Our main goal is to investigate whether the infinitary rules for the quantifiers endorsed by Elia Zardini in a recent paper are plausible. First, we will argue that they are problematic in several ways, especially due to their infinitary features. Secondly, we will show that even if these worries are somehow dealt with, there is another serious issue with them. They produce a truth-theoretic paradox that does not involve the structural rules of contraction.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  31. Mathematics, Quantifiers, Connectives, Multiple Models.Rosanna Festa - 2020 - International Journal of Research in Science and Technology 5 (2):34.
    Quantic numbers variate as multiples of a fundamental quantity as the spin, that is always an entire multiple of 1/2.
    Download  
     
    Export citation  
     
    Bookmark  
  32. On the Logics with Propositional Quantifiers Extending S5Π.Yifeng Ding - 2018 - In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer (eds.), Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. pp. 219-235.
    Scroggs's theorem on the extensions of S5 is an early landmark in the modern mathematical studies of modal logics. From it, we know that the lattice of normal extensions of S5 is isomorphic to the inverse order of the natural numbers with infinity and that all extensions of S5 are in fact normal. In this paper, we consider extending Scroggs's theorem to modal logics with propositional quantifiers governed by the axioms and rules analogous to the usual ones for ordinary quantifiers. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Mereological Composition and Plural Quantifier Semantics.Manuel Lechthaler & Ceth Lightfield - 2018 - Philosophia 46 (4):943-958.
    Mereological universalists and nihilists disagree on the conditions for composition. In this paper, we show how this debate is a function of one’s chosen semantics for plural quantifiers. Debating mereologists have failed to appreciate this point because of the complexity of the debate and extraneous theoretical commitments. We eliminate this by framing the debate between universalists and nihilists in a formal model where these two theses about composition are contradictory. The examination of the two theories in the model brings clarity (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  35. 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.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  36. Abstract Universes and Quantifying In.Donald E. Stahl - 1986 - Philosophia 16 (3-4):333-344.
    Philosophia (Israel), 16(3-4), 333 - 344. YEAR: 1986 Extensive corrigenda Vol. 17, no. 3. -/- SUBJECT(S): Quine's second thoughts on quantifying in, appearing in the second, revised edition of _From a Logical Point of View_ of 1961, are shown to be incorrect. His original thoughts were correct. ABSTRACT: Additional tumult is supplied to pp. 152-154 of _From A Logical Point of View_, showing that being dated is no guarantee of being right. Among other things, it is shown that Quine's argument (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. The Buried Quantifier: An Account of Vagueness and the Sorites.Patrick Grim - 2005 - Analysis 65 (2):95–104.
    Contrary to the great bulk of philosophical work on vagueness, the core of vagueness is not to be found in vague monadic predicates such as ‘bald’, ‘tall’, or ‘old’. The true source of vagueness – at least vagueness of the type that typically appears in the sorites – lies beneath these, in a mechanism using a buried quantifier operative over the comparatives ‘balder’, ‘taller’ and ‘older’.
    Download  
     
    Export citation  
     
    Bookmark  
  38. Chapter 3: The Semantics of Special Quantifiers in Predicate Position.Friederike Moltmann - 2013 - In Abstract Objects and the semantics of Natural Language. Oxford: 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.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  39. Syllogisms with Fractional Quantifiers.Fred Johnson - 1994 - Journal of Philosophical Logic 23 (4):401 - 422.
    Aristotle's syllogistic is extended to include denumerably many quantifiers such as 'more than 2/3' and 'exactly 2/3.' Syntactic and semantic decision procedures determine the validity, or invalidity, of syllogisms with any finite number of premises. One of the syntactic procedures uses a natural deduction account of deducibility, which is sound and complete. The semantics for the system is non-classical since sentences may be assigned a value other than true or false. Results about symmetric systems are given. And reasons are given (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  40. Quality and Quantifiers.Jeffrey Sanford Russell - 2018 - Australasian Journal of Philosophy 96 (3):562-577.
    I examine three ‘anti-object’ metaphysical views: nihilism, generalism, and anti-quantificationalism. After setting aside nihilism, I argue that generalists should be anti-quantificationalists. Along the way, I attempt to articulate what a ‘metaphysically perspicuous’ language might even be.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  41. On the Quantified Account of Complex Demonstratives.Nilanjan Bhowmick - 2016 - Journal of the Indian Council of Philosophical Research 33 (3):451-463.
    This paper argues for a different logical form for complex demonstratives, given that the quantificational account is correct. In itself that is controversial, but two aspects will be assumed. Firstly, there are arguments to believe that complex demonstratives have quantificational uses. Specifically, there are syntactic arguments. Secondly, a uniform semantics is preferable to a semantics of ambiguity. Given this, the proposed logical forms for complex demonstratives that are prevalent do not respect a fundamental property of quantifiers: permutation invariance. The reason (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Recursive Predicates and Quantifiers.S. C. Kleene - 1943 - Transactions of the American Mathematical Society 53:41-73.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  43. A Binary Quantifier for Definite Descriptions for Cut Free Free Logics.Nils Kürbis - 2022 - Studia Logica 110 (1):219-239.
    This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic. The paper extends the proof of a cut elimination theorem for this system by Indrzejczak by proving the cases for the rules of I. There are also brief comparisons of the present approach to the more common one that formalises definite descriptions with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Swiping Left on the Quantified Relationship: Exploring the Potential Soft Impacts.Lily Frank & Michał Klincewicz - 2018 - American Journal of Bioethics 18 (2):27-28.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  45. Perdurantism, Universalism and Quantifiers.Achille C. Varzi - 2003 - Australasian Journal of Philosophy 81 (2):208-215.
    I argue that the conjunction of perdurantism (the view that objects are temporally extended) and universalism (the thesis that any old class of things has a mereological fusion) gives rise to undesired complications when combined with certain plausible assumptions concerning the semantics of tensed statements.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  46. 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.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  47.  73
    Jaap van der Does & Jan Van Eijk, Eds., Quantifiers, Logic, and Language[REVIEW]Varol Akman - 1998 - Natural Language Engineering 4 (4):363-382.
    This is a review of Quantifiers, Logic, and Language, edited by Jaap van der Does and Jan van Eijk, published by CSLI (Center for the Study of Language and Information) Publications, Stanford, CA, in 1996.
    Download  
     
    Export citation  
     
    Bookmark  
  48. Modal-Epistemic Arithmetic and the Problem of Quantifying In.Jan Heylen - 2013 - Synthese 190 (1):89-111.
    The subject of this article is Modal-Epistemic Arithmetic (MEA), a theory introduced by Horsten to interpret Epistemic Arithmetic (EA), which in turn was introduced by Shapiro to interpret Heyting Arithmetic. I will show how to interpret MEA in EA such that one can prove that the interpretation of EA is MEA is faithful. Moreover, I will show that one can get rid of a particular Platonist assumption. Then I will discuss models for MEA in light of the problems of logical (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  49. Committing Ourselves to Nothing: An Anti-Orthodox View of Existential Quantifier Expressions.Stephen M. Nelson - 2013 - Dissertation, University of Minnesota
    There is a significant difference between the words `is' and `exists' that has either been overlooked or under-appreciated by many philosophers. This difference comes in sentences that express existential quantification using `is', `exists', or their cognates, such as, "There are cookies in the jar," or, "There exists a strange species of fish that nobody has studied yet." Phrases such as `there are' and `there exists' are existential quantifier expressions, since they're used to express existential quantification. The orthodox view of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 384