This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

1377 found
Order:
1 — 50 / 1377
Material to categorize
  1. Conservative Reduction Classes of Krom Formulas.Stål O. Aanderaa, Egon Börger & Harry R. Lewis - 1982 - Journal of Symbolic Logic 47 (1):110-130.
    A Krom formula of pure quantification theory is a formula in conjunctive normal form such that each conjunct is a disjunction of at most two atomic formulas or negations of atomic formulas. Every class of Krom formulas that is determined by the form of their quantifier prefixes and which is known to have an unsolvable decision problem for satisfiability is here shown to be a conservative reduction class. Therefore both the general satisfiability problem, and the problem of satisfiability in finite (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  2. Linear Sampling and the |Forall |Exists |Forall Case of the Decision Problem.Stal O. Aanderaa & Harry R. Lewis - 1974 - Journal of Symbolic Logic 39 (3):519 - 548.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3. Linear Sampling and the ∀∃∀ Case of the Decision Problem.Stål O. Aanderaa & Harry R. Lewis - 1974 - Journal of Symbolic Logic 39 (3):519-548.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. Prefix Classes of Krom Formulas.Stål O. Aanderaa & Harry R. Lewis - 1973 - Journal of Symbolic Logic 38 (4):628-642.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  5. Varieties of Three-Valued Heyting Algebras with a Quantifier.M. Abad, Varela J. Díaz, L. Rueda & A. Suardíaz - 2004 - Studia Logica 65 (2):181-198.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  6. Varieties of Three-Valued Heyting Algebras with a Quantifier.M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz - 2000 - Studia Logica 65 (2):181-198.
    This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  7. Varieties of Three-Values Heyting Algebras with a Quantifier.Manuel Abad, J. P. Diaz Varela & L. A. Rueda - 2000 - Studia Logica 65 (2):181-198.
    This paper is devoted to the study of some subvarieties of the variety Q of Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q subscript 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Q is far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q subscript 3 and we construct (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  8. Reference and Quantification: The Partee Effect.Barbara Abbott - unknown
    Partee (1973) discussed quotation from the perspective of the then relatively new theory of transformational grammar.2 As she pointed out, the phenomenon presents many curious puzzles. In some ways quotes seem quite separate from their surrounding text; they may be in a different dialect, as in her example in (1), (1) ‘I talk better English than the both of youse!’ shouted Charles, thereby convincing me that he didn’t. [Partee (1973):ex. 20] or even in a different language, as in (2): (2) (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography   2 citations  
  9. A Unified Approach to Split Scope.Klaus Abels & Luisa Martí - 2010 - Natural Language Semantics 18 (4):435-470.
    The goal of this paper is to propose a unified approach to the split scope readings of negative indefinites, comparative quantifiers, and numerals. There are two main observations that justify this approach. First, split scope shows the same kinds of restrictions across these different quantifiers. Second, split scope always involves low existential force. In our approach, following Sauerland, natural language determiner quantifiers are quantifiers over choice functions, of type <<,t>,t>. In split readings, the quantifier over choice functions scopes above other (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  10. The Scope of Indefinites.Dorit Abusch - 1993 - Natural Language Semantics 2 (2):83-135.
    This paper claims that indefinite descriptions, singular and plural, have different scope properties than genuine quantifiers. This claim is based on their distinct behavior in island constructions: while indefinites in islands can have intermediate (and maximal) scope readings, quantifiers cannot. Further, the simplest in situ interpretation strategy for indefinites results in incorrect truth conditions for intermediate (and maximal) scope readings. I introduce a mechanism which “auto-matically” preserves the restriction on free variables corresponding to indefinites, in a way which allows the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   18 citations  
  11. Kahr A. S., Moore Edward F., and Wang Hao. Entscheidungsproblem Reduced to the ∀∃∀ Case. Proceedings of the National Academy of Sciences, Bd. 48 , S. 365–377. [REVIEW]W. Ackermann - 1962 - Journal of Symbolic Logic 27 (2):225.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. Review: A. S. Kahr, Edward F. Moore, Hao Wang, Entscheidungsproblem Reduced to the $Forallexistsforall$ Case. [REVIEW]W. Ackermann - 1962 - Journal of Symbolic Logic 27 (2):225-225.
  13. A New Theory of Quantifiers and Term Connectives.Ken Akiba - 2009 - Journal of Logic, Language and Information 18 (3):403-431.
    This paper sets forth a new theory of quantifiers and term connectives, called shadow theory , which should help simplify various semantic theories of natural language by greatly reducing the need of Montagovian proper names, type-shifting, and λ-conversion. According to shadow theory, conjunctive, disjunctive, and negative noun phrases such as John and Mary , John or Mary , and not both John and Mary , as well as determiner phrases such as every man , some woman , and the boys (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  14. Functional Dependencies Between Variables.Natasha Alechina - 2000 - Studia Logica 66 (2):273-283.
    We consider a predicate logic Lfd where not all assignments of values to individual variables are possible. Some variables are functionally dependent on other variables. This makes sense if the models of logic are assumed to correspond to databases or states. We show that Lfd is undecidable but has a complete and sound sequent calculus formalisation.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  15. 'If' and Quantification.Ivor Alexander - 1985 - Analysis 45 (4):186 - 190.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  16. Strategies for a Logic of Plurals. AlexOliver & TimothySmiley - 2001 - Philosophical Quarterly 51 (204):289–306.
  17. No More Shall We Part: Quantifiers in English Comparatives.Peter Alrenga & Christopher Kennedy - 2014 - Natural Language Semantics 22 (1):1-53.
    It is well known that the interpretation of quantificational expressions in the comparative clause poses a serious challenge for semantic analyses of the English comparative. In this paper, we develop a new analysis of the comparative clause designed to meet this challenge, in which a silent occurrence of the negative degree quantifier no interacts with other quantificational expressions to derive the observed range of interpretations. Although our analysis incorporates ideas from previous analyses, we show that it is able to account (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  18. WCO, ACD and What They Reveal About Complex Demonstratives.Daniel Altshuler - 2007 - Natural Language Semantics 15 (3):265-277.
    This squib presents a rebuttal to two of King’s (Complex demonstratives: A quantificational account. Cambridge, Mass.: MIT Press, 2001) arguments that complex demonstratives are quantifier phrases like every man. The first is in response to King’s argument that because complex demonstratives induce weak crossover effects, they are quantifier phrases. I argue that unlike quantifier phrases and like other definite determiner phrases, complex demonstratives in object position can corefer with singular pronouns contained in the subject DP. Although complex demonstratives could undergo (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  19. Studies on the History of Logic. Proceedings of the III. Symposium on the History of Logic.Ignacio Angelelli & María Cerezo (eds.) - 1996 - De Gruyter.
  20. First-Order Quantifiers.G. Aldo Antonelli - manuscript
    In §21 of Grundgesetze der Arithmetik asks us to consider the forms: a a2 = 4 and a a > 0 and notices that they can be obtained from a φ(a) by replacing the function-name placeholder φ(ξ) by names for the functions ξ2 = 4 and ξ > 0 (and the placeholder cannot be replaced by names of objects or of functions of 2 arguments).
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  21. Numerical Abstraction Via the Frege Quantifier.G. Aldo Antonelli - 2010 - Notre Dame Journal of Formal Logic 51 (2):161-179.
    This paper presents a formalization of first-order arithmetic characterizing the natural numbers as abstracta of the equinumerosity relation. The formalization turns on the interaction of a nonstandard cardinality quantifier with an abstraction operator assigning objects to predicates. The project draws its philosophical motivation from a nonreductionist conception of logicism, a deflationary view of abstraction, and an approach to formal arithmetic that emphasizes the cardinal properties of the natural numbers over the structural ones.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22. Free Quantification and Logical Invariance.G. Aldo Antonelli - 2007 - Rivista di Estetica 33 (1):61-73.
    Henry Leonard and Karel Lambert first introduced so-called presupposition-free (or just simply: free) logics in the 1950’s in order to provide a logical framework allowing for non-denoting singular terms (be they descriptions or constants) such as “the largest prime” or “Pegasus” (see Leonard [1956] and Lambert [1960]). Of course, ever since Russell’s paradigmatic treatment of definite descriptions (Russell [1905]), philosophers have had a way to deal with such terms. A sentence such as “the..
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  23. On Propositional Quantifiers in Provability Logic.Sergei N. Artemov & Lev D. Beklemishev - 1993 - Notre Dame Journal of Formal Logic 34 (3):401-419.
  24. Multiple Quantification and the Use of Special Quantifiers in Early Sixteenth Century Logic.E. J. Ashworth - 1978 - Notre Dame Journal of Formal Logic 19 (4):599-613.
  25. A Note on Quantification and Blankets in Haisla.Emmon Bach - 1995 - In Emmon Bach, Eloise Jelinek, Angelika Kratzer & Barbara Partee (eds.), Quantification in Natural Languages. Kluwer Academic Publishers. pp. 13--20.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  26. Quantification, Qualification and Context a Reply to Stanley and Szabó.Kent Bach - 2000 - Mind and Language 15 (2&3):262–283.
    We hardly ever mean exactly what we say. I don’t mean that we generally speak figuratively or that we’re generally insincere. Rather, I mean that we generally speak loosely, omitting words that could have made what we meant more explicit and letting our audience fill in the gaps. Language works far more efficiently when we do that. Literalism can have its virtues, as when we’re drawing up a contract, programming a computer, or writing a philosophy paper, but we generally opt (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   26 citations  
  27. Semantic Nonspecificity and Mixed Quantifiers.Kent Bach - 1980 - Linguistics and Philosophy 4 (4):593 - 605.
  28. Substance and First-Order Quantification Over Individual-Concepts.John Bacon - 1980 - Journal of Symbolic Logic 45 (2):193-203.
  29. Mood as Verbal Definiteness in a" Tenseless" Language.Mark Baker & Lisa Travis - 1997 - Natural Language Semantics 5 (3):213-269.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  30. Restricted Quantifiers and Logical Theory.Thomas Baldwin - 2010 - In T. J. Smiley, Jonathan Lear & Alex Oliver (eds.), The Force of Argument: Essays in Honor of Timothy Smiley. Routledge. pp. 18--19.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  31. Generalized Net Structures of Empirical Theories. II.Wolfgang Balzer & Joseph D. Sneed - 1978 - Studia Logica 37 (2):167 - 194.
  32. Generalized Net Structures of Empirical Theories. I.Wolfgang Balzer & Joseph D. Sneed - 1977 - Studia Logica 36 (3):195 - 211.
  33. Continuations and the Nature of Quantification.Chris Barker - 2002 - Natural Language Semantics 10 (3):211-242.
    This paper proposes that the meanings of some natural language expressions should be thought of as functions on their own continuations. Continuations are a well-established analytic tool in the theory of programming language semantics; in brief, a continuation is the entire default future of a computation. I show how a continuation-based grammar can unify several aspects of natural language quantification in a new way: merely stating the truth conditions for quantificational expressions in terms of continuations automatically accounts for scope displacement (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  34. Presuppositions for Proportional Quantifiers.Chris Barker - 1996 - Natural Language Semantics 4 (3):237-259.
    Most studies of the so-called proportion problem seek to understand how lexical and structural properties of sentences containing adverbial quantifiers give rise to various proportional readings. This paper explores a related but distinct problem: given a use of a particular sentence in context, why do only some of the expected proportional readings seem to be available? That is, why do some sentences allow an asymmetric reading when other, structurally similar sentences seem to require a symmetric reading? Potential factors suggested in (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  35. E-Type Pronouns, DRT, Dynamic Semantics and the Quantifier/Variable-Binding Model.S. J. Barker - 1997 - Linguistics and Philosophy 20 (2):195-228.
  36. Quantification Without Variables in Connectionism.John A. Barnden & Kankanahalli Srinivas - 1996 - Minds and Machines 6 (2):173-201.
    Connectionist attention to variables has been too restricted in two ways. First, it has not exploited certain ways of doing without variables in the symbolic arena. One variable-avoidance method, that of logical combinators, is particularly well established there. Secondly, the attention has been largely restricted to variables in long-term rules embodied in connection weight patterns. However, short-lived bodies of information, such as sentence interpretations or inference products, may involve quantification. Therefore short-lived activation patterns may need to achieve the effect of (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  37. Review: Nota crítica sobre la generalidad absoluta. [REVIEW]Eduardo Alejandro Barrio - 2009 - Critica 41 (121):67 - 84.
    Remove from this list  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. On Branching Quantifiers in English.Jon Barwise - 1979 - Journal of Philosophical Logic 8 (1):47 - 80.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   31 citations  
  39. Existence and Quantification: The Proper Interpretation of the Quantifiers.Thomas Frederick Baxley - 1969 - Dissertation, The Florida State University
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  40. Relevant Restricted Quantification.J. C. Beall, Ross T. Brady, A. P. Hazen, Graham Priest & Greg Restall - 2006 - Journal of Philosophical Logic 35 (6):587-598.
    The paper reviews a number of approaches for handling restricted quantification in relevant logic, and proposes a novel one. This proceeds by introducing a novel kind of enthymematic conditional.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  41. Peirce's Development of Quantifiers and of Predicate Logic.Richard Beatty - 1969 - Notre Dame Journal of Formal Logic 10 (1):64-76.
  42. Quantified Structures as Barriers for LF Movement.Sigrid Beck - 1996 - Natural Language Semantics 4 (1):1-56.
    In this paper I argue for a restriction on certain types of LF movement, which I call ‘wh-related LF movement’. Evidence comes from a number of wh-in-situ constructions in German, such as the scope-marking construction and multiple questions. For semantic reasons, the in situ element in those constructions has to move at LF to either a position reserved for wh-phrases, or even higher up in the structure. The restriction (the Minimal Quantified Structure Constraint, MQSC) is that an intervening quantified expression (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  43. Cumulation is Needed: A Reply to Winter (2000). [REVIEW]Sigrid Beck & Uli Sauerland - 2000 - Natural Language Semantics 8 (4):349-371.
    Winter (2000) argues that so-called co-distributive or cumulative readings do not involve polyadic quantification (contra proposals by Krifka, Schwarzschild, Sternefeld, and others). Instead, he proposes that all such readings involve a hidden anaphoric dependency or a lexical mechanism. We show that Winter's proposal is insufficient for a number of cases of cumulative readings, and that Krifka's and Sternefeld's polyadic **-operator is needed in addition to dependent definites. Our arguments come from new observations concerning dependent plurals and clause-boundedness effects with cumulative (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  44. Quantifier Elimination in Valued Ore Modules.Luc Bélair & Françoise Point - 2010 - Journal of Symbolic Logic 75 (3):1007-1034.
    We consider valued fields with a distinguished isometry or contractive derivation as valued modules over the Ore ring of difference operators. Under certain assumptions on the residue field, we prove quantifier elimination first in the pure module language, then in that language augmented with a chain of additive subgroups, and finally in a two-sorted language with a valuation map. We apply quantifier elimination to prove that these structures do not have the independence property.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  45. Conditional Assertion and Restricted Quantification.Nuel D. Belnap Jr - 1970 - Noûs 4 (1):1-12.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   15 citations  
  46. Quantification and Relevance.Robert J. Bennett - 1985 - In R. J. Johnston (ed.), The Future of Geography. Methuen. pp. 211--24.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  47. Polyadic Quantifiers.Johan Benthem - 1989 - Linguistics and Philosophy 12 (4):437 - 464.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  48. The Quantifier Theory Ofeven.Paul Berckmans - 1993 - Linguistics and Philosophy 16 (6):589 - 611.
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  49. Rings Which Admit Elimination of Quantifiers.Chantal Berline - 1981 - Journal of Symbolic Logic 46 (1):56-58.
    The aim of this paper is to provide an addendum to a paper by Rose with the same title which has appeared in an earlier issue of this Journal [2]. Our new result is: Theorem. A ring of characteristic zero which admits elimination of quantifiers in the language {0, 1, +, ·} is an algebraically closed field.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  50. The Plural Logics of Progress.J. Berque & M. Burnet - 1972 - Diogenes 20 (79):1-25.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1377