Results for 'quantifiers'

91 found
Order:
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  3. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. 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   3 citations  
  5. 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  
  6. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  7. 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  
  8.  84
    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  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  92
    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  
  10. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. 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   6 citations  
  12. New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers.Peter B. M. Vranas - 2008 - Noûs 42 (4):529-572.
    Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  13. 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   4 citations  
  14. 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   22 citations  
  15. 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   8 citations  
  16.  41
    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   11 citations  
  17.  62
    The Logicality of Language: A New Take on Triviality, `Ungrammaticality', and Logical Form.Guillermo Del Pinal - 2019 - Noûs 53 (4):785-818.
    Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth‐conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the ‘logicality of language’, accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter‐examples consisting of acceptable tautologies and contradictions, the logicality of language is often (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  58
    Hyperlogic: A System for Talking About Logics.Alexander W. Kocurek - 2019 - Proceedings for the 22nd Amsterdam Colloquium.
    Sentences about logic are often used to show that certain embedding expressions, including attitude verbs, conditionals, and epistemic modals, are hyperintensional. Yet it not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. This paper does two things. First, it argues against a standard account of logic talk, viz., the impossible worlds semantics. It is shown that this semantics does not easily extend to a language with propositional quantifiers, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Cantor’s Proof in the Full Definable Universe.Laureano Luna & William Taylor - 2010 - Australasian Journal of Logic 9:10-25.
    Cantor’s proof that the powerset of the set of all natural numbers is uncountable yields a version of Richard’s paradox when restricted to the full definable universe, that is, to the universe containing all objects that can be defined not just in one formal language but by means of the full expressive power of natural language: this universe seems to be countable on one account and uncountable on another. We argue that the claim that definitional contexts impose restrictions on the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  96
    The Logicality of Language: A New Take on Triviality, “Ungrammaticality”, and Logical Form.Guillermo Del Pinal - 2019 - Noûs 53 (4):785-818.
    Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  67
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. A Solution to the Donkey Sentence Problem.Adam Morton - 2015 - Analysis 75 (4):554-557.
    The problem concerns quantifiers that seem to hover between universal and existential readings. I argue that they are neither, but a different quantifier that has features of each. NOTE the published paper has a mistake. I have corrected this in the version on this site. A correction note will appear in Analysis.
    Download  
     
    Export citation  
     
    Bookmark  
  23.  73
    Life on the Range.G. Aldo Antonelli - forthcoming - In A. Torza (ed.), Quantifiers, Quantifiers, and Quantifiers. Synthese LIbrary.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Parry Syllogisms.Fred Johnson - 1999 - Notre Dame Journal of Formal Logic 40 (3):414-419.
    Parry discusses an extension of Aristotle's syllogistic that uses four nontraditional quantifiers. We show that his conjectured decision procedure for validity for the extended syllogistic is correct even if syllogisms have more than two premises. And we axiomatize this extension of the syllogistic.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  76
    Modulated Logics and Flexible Reasoning.Walter Carnielli & Maria Cláudia C. Grácio - 2008 - Logic and Logical Philosophy 17 (3):211-249.
    This paper studies a family of monotonic extensions of first-order logic which we call modulated logics, constructed by extending classical logic through generalized quantifiers called modulated quantifiers. This approach offers a new regard to what we call flexible reasoning. A uniform treatment of modulated logics is given here, obtaining some general results in model theory. Besides reviewing the “Logic of Ultrafilters”, which formalizes inductive assertions of the kind “almost all”, two new monotonic logical systems are proposed here, the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Proof in Mathematics: An Introduction.James Franklin - 1996 - Sydney, Australia: Quakers Hill Press.
    A textbook on proof in mathematics, inspired by an Aristotelian point of view on mathematics and proof. The book expounds the traditional view of proof as deduction of theorems from evident premises via obviously valid steps. It deals with the proof of "all" statements, "some" statements, multiple quantifiers and mathematical induction.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  32
    Aftermath Of The Nothing.Laurent Dubois - 2017 - In J.-Y. Beziau, A. Costa-Leite & I. M. L. D’Ottaviano (eds.), CLE, v.81, Aftermath of the Logical Paradise. Rio de Janeiro, État de Rio de Janeiro, Brésil: pp. 93-124.
    This article consists in two parts that are complementary and autonomous at the same time. -/- In the first one, we develop some surprising consequences of the introduction of a new constant called Lambda in order to represent the object ``nothing" or ``void" into a standard set theory. On a conceptual level, it allows to see sets in a new light and to give a legitimacy to the empty set. On a technical level, it leads to a relative resolution of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Bounded Modality.Matthew Mandelkern - 2019 - Philosophical Review 128 (1):1-61.
    What does 'might' mean? One hypothesis is that 'It might be raining' is essentially an avowal of ignorance like 'For all I know, it's raining'. But it turns out these two constructions embed in different ways, in particular as parts of larger constructions like Wittgenstein's 'It might be raining and it's not' and Moore's 'It's raining and I don't know it', respectively. A variety of approaches have been developed to account for those differences. All approaches agree that both Moore sentences (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  29. Indicative Conditionals, Restricted Quantification, and Naive Truth.Hartry Field - 2016 - Review of Symbolic Logic 9 (1):181-208.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  30. Propositions and Compositionality.Juhani Yli-Vakkuri - 2013 - Philosophical Perspectives 27 (1):526-563.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  31. Intensional Perceptual Ascriptions.David Bourget - 2017 - Erkenntnis 82 (3):513-530.
    This paper defends the view that perceptual ascriptions such as “Jones sees a cat” are sometimes intensional. I offer a range of examples of intensional perceptual ascriptions, respond to objections to intensional readings of perceptual ascriptions, and show how widely accepted semantic accounts of intensionality can explain the key features of intensional perceptual ascriptions.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  32.  47
    Notes on Stratified Semantics.Shay Logan - 2019 - Journal of Philosophical Logic 48 (4):749-786.
    In 1988, Kit Fine published a semantic theory for quantified relevant logics. He referred to this theory as stratified semantics. While it has received some attention in the literature, 1–20, 1992; Mares & Goldblatt, Journal of Symbolic Logic 71, 163–187, 2006), stratified semantics has overall received much less attention than it deserves. There are two plausible reasons for this. First, the only two dedicated treatments of stratified semantics available are, 27–59, 1988; Mares, Studia Logica 51, 1–20, 1992), both of which (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  31
    How in the World?Stephen Yablo - 1996 - Philosophical Topics 24 (1):255-286.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  34. Names Are Not Predicates.Heidi Savage - manuscript
    There are many examples offered as evidence that proper names are predicates. Not all of these cases speak to a name’s semantic content, but many of them do. Some of these include attributive, quantifier, and ambiguity cases. We will explore those cases here, and we will see that none of them conclusively show that names are predicates. In fact, all of these constructions can be given alternative analyses that eliminate the predicative characteristics of names they feature. These analyses do not (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Aboutness in Imagination.Franz Berto - 2018 - Philosophical Studies 175 (8):1871-1886.
    I present a formal theory of the logic and aboutness of imagination. Aboutness is understood as the relation between meaningful items and what they concern, as per Yablo and Fine’s works on the notion. Imagination is understood as per Chalmers’ positive conceivability: the intentional state of a subject who conceives that p by imagining a situation—a configuration of objects and properties—verifying p. So far aboutness theory has been developed mainly for linguistic representation, but it is natural to extend it to (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  36.  86
    Ways of Thinking About Ways of Being.Bradley Rettler - forthcoming - Analysis.
    Monism about being says that there is one way to be. Pluralism about being says that there are many ways to be. Recently, Trenton Merricks and David Builes have offered arguments against Pluralism. In this paper, I show how Pluralists who appeal to the relative naturalness of quantifiers can respond to these arguments.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. A Flexible Contextualist Account of Epistemic Modals.Janice Dowell, J. L. - 2011 - Philosophers' Imprint 11:1-25.
    On Kratzer’s canonical account, modal expressions (like “might” and “must”) are represented semantically as quantifiers over possibilities. Such expressions are themselves neutral; they make a single contribution to determining the propositions expressed across a wide range of uses. What modulates the modality of the proposition expressed—as bouletic, epistemic, deontic, etc.—is context.2 This ain’t the canon for nothing. Its power lies in its ability to figure in a simple and highly unified explanation of a fairly wide range of language use. (...)
    Download  
     
    Export citation  
     
    Bookmark   64 citations  
  38. Impossible Worlds and the Logic of Imagination.Francesco Berto - 2017 - Erkenntnis 82 (6):1277-1297.
    I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  39. The Metasemantics of Contextual Sensitivity.Jeffrey C. King - 2014 - In Brett Sherman & Alexis Burgess (eds.), Metasemantics: New Essays on the Foundations of Meaning. Oxford University Press. pp. 97-118.
    Some contextually sensitive expressions are such that their context independent conventional meanings need to be in some way supplemented in context for the expressions to secure semantic values in those contexts. As we’ll see, it is not clear that there is a paradigm here, but ‘he’ used demonstratively is a clear example of such an expression. Call expressions of this sort supplementives in order to highlight the fact that their context independent meanings need to be supplemented in context for them (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  40. Chapter 5: Intensional Transitive Verbs and Their 'Objects'.Friederike Moltmann - 2013 - In Abstract Objects and the semantics of Natural Language. Oxford: Oxford University Press.
    This chapter gives a truthmaker-based account of the semantics of 'reifying' quantifiers like 'something' when they act as complements of intensional transitive verbs ('need', 'look for'). It argues that such quantifiers range over 'variable satisfiers' of the attitudinal object described by the verb (e.g. the need or the search).
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   31 citations  
  41. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  42.  96
    Quantification in the Ontology Room.Bradley Rettler - 2019 - Dialectica 73 (4):563-585.
    There is a growing movement towards construing some classic debates in ontology as meaningless, either because the answers seem obvious or the debates seem intractable. In this paper, I respond to this movement. The response has three components: First, the members of the two sides of the ontological debates that dismissivists have targeted are using different quantifiers. Second, the austere ontologist is using a more fundamental quantifier than her opponent. Third, the austere ontologist’s more fundamental quantifier is a restriction (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. The Role of Existential Quantification in Scientific Realism.Suki Finn - 2017 - Philosophy 92 (3):351-367.
    Scientific realism holds that the terms in our scientific theories refer and that we should believe in their existence. This presupposes a certain understanding of quantification, namely that it is ontologically committing, which I challenge in this paper. I argue that the ontological loading of the quantifiers is smuggled in through restricting the domains of quantification, without which it is clear to see that quantifiers are ontologically neutral. Once we remove domain restrictions, domains of quantification can include non-existent (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  44.  22
    Nomic Necessitism.Hasen Khudairi - manuscript
    This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric and nomological possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45. Quantification as Reference: Evidence From Q-Verbs.Maria Bittner & Naja Trondhjem - 2008 - In Lisa Matthewson (ed.), Quantification: A Cross-Linguistic Perspective. Emerald. pp. 7-66.
    Formal semantics has so far focused on three categories of quantifiers, to wit, Q-determiners (e.g. 'every'), Q-adverbs (e.g. 'always'), and Q-auxiliaries (e.g. 'would'). All three can be analyzed in terms of tripartite logical forms (LF). This paper presents evidence from verbs with distributive affixes (Q-verbs), in Kalaallisut, Polish, and Bininj Gun-wok, which cannot be analyzed in terms of tripartite LFs. It is argued that a Q-verb involves discourse reference to a distributive verbal dependency, i.e. an episode-valued function that sends (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. On Conceiving the Inconsistent.Francesco Berto - 2014 - Proceedings of the Aristotelian Society 114 (1pt1):103-121.
    I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  47. Composition and Relative Counting.Massimiliano Carrara & Giorgio Lando - 2017 - Dialectica 71 (4):489-529.
    According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a consequence, relative (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  48. Knowability Relative to Information.Peter Hawke & Franz Berto - forthcoming - Mind.
    We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. The Logic of Opacity.Andrew Bacon & Jeffrey Sanford Russell - 2019 - Philosophical and Phenomenological Research 99 (1):81-114.
    We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 91