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

1509 found
Order:
1 — 50 / 1509
Material to categorize
  1. The Modal Logic of Stepwise Removal.Johan van Benthem, Krzysztof Mierzewski & Francesca Zaffora Blando - 2022 - Review of Symbolic Logic 15 (1):36-63.
    We investigate the modal logic of stepwise removal of objects, both for its intrinsic interest as a logic of quantification without replacement, and as a pilot study to better understand the complexity jumps between dynamic epistemic logics of model transformations and logics of freely chosen graph changes that get registered in a growing memory. After introducing this logic (MLSR) and its corresponding removal modality, we analyze its expressive power and prove a bisimulation characterization theorem. We then provide a complete Hillbert-style (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Most-Intersection of Countable Sets.Ahmet Çevik & Selçuk Topal - 2021 - Journal of Applied Non-Classical Logics 31 (3-4):343-354.
    We introduce a novel set-intersection operator called ‘most-intersection’ based on the logical quantifier ‘most’, via natural density of countable sets, to be used in determining the majority chara...
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3. Against Fregean Quantification.Bryan Pickel & Brian Rabern - forthcoming - Ergo.
    There are two dominant approaches to quantification: the Fregean and the Tarskian. While the Tarskian approach is standard and familiar, deep conceptual objections have been pressed against its employment of variables as genuine syntactic and semantic units. Because they do not explicitly rely on variables, Fregean approaches are held to avoid these worries. The apparent result is that the Fregean can deliver something that the Tarskian is unable to, namely a compositional semantic treatment of quantification centered on truth and reference. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4. A Few Notes on Quantum B-algebras.Shengwei Han & Xiaoting Xu - 2021 - Studia Logica 109 (6):1423-1440.
    In order to provide a unified framework for studying non-commutative algebraic logic, Rump and Yang used three axioms to define quantum B-algebras, which can be seen as implicational subreducts of quantales. Based on the work of Rump and Yang, in this paper we shall continue to investigate the properties of three axioms in quantum B-algebras. First, using two axioms we introduce the concept of generalized quantum B-algebras and prove that the opposite of the category GqBAlg of generalized quantum B-algebras is (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Immediate Negation.Adrian Kreutz - 2021 - History and Philosophy of Logic 42 (4):398-410.
    At Kyoto, there is something peculiar going on with negations, or so it seems: A is A, and yet A is immediately not A, and therefore A is A. Without a doubt, this looks a lot like a paradoxical inf...
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Categorical Propositions and Existential Import: A Post-Modern Perspective.Byeong-Uk Yi - 2021 - History and Philosophy of Logic 42 (4):307-373.
    This article examines the traditional and modern doctrines of categorical propositions and argues that both doctrines have serious problems. While the doctrines disagree about existential imports...
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. Operands and Instances.Peter Fritz - forthcoming - Review of Symbolic Logic:1-22.
    Can conjunctive propositions be identical without their conjuncts being identical? Can universally quantified propositions be identical without their instances being identical? On a common conception of propositions, on which they inherit the logical structure of the sentences which express them, the answer is negative both times. Here, it will be shown that such a negative answer to both questions is inconsistent, assuming a standard type-theoretic formalization of theorizing about propositions. The result is not specific to conjunction and universal quantification, but (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Representing Buridan’s Divided Modal Propositions in First-Order Logic.Jonas Dagys, Živilė Pabijutaitė & Haroldas Giedra - forthcoming - History and Philosophy of Logic:1-11.
    Formalizing categorical propositions of traditional logic in the language of quantifiers and propositional functions is no straightforward matter, especially when modalities get involved. Starting...
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. One Modal Logic to Rule Them All?Wesley H. Holliday & Tadeusz Litak - 2018 - In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer (eds.), Advances in Modal Logic, Vol. 12. London: College Publications. pp. 367-386.
    In this paper, we introduce an extension of the modal language with what we call the global quantificational modality [∀p]. In essence, this modality combines the propositional quantifier ∀p with the global modality A: [∀p] plays the same role as the compound modality ∀pA. Unlike the propositional quantifier by itself, the global quantificational modality can be straightforwardly interpreted in any Boolean Algebra Expansion (BAE). We present a logic GQM for this language and prove that it is complete with respect to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  10. The Fluted Fragment with Transitive Relations.Ian Pratt-Hartmann & Lidia Tendera - 2022 - Annals of Pure and Applied Logic 173 (1):103042.
    The fluted fragment is a fragment of first-order logic (without equality) in which, roughly speaking, the order of quantification of variables coincides with the order in which those variables appear as arguments of predicates. It is known that this fragment has the finite model property. We consider extensions of the fluted fragment with various numbers of transitive relations, as well as the equality predicate. In the presence of one transitive relation (together with equality), the finite model property is lost; nevertheless, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. What’s Positive and Negative About Generics: A Constrained Indexical Approach.Junhyo Lee & Anthony Nguyen - forthcoming - Philosophical Studies:1-23.
    Nguyen (2020) introduced the positive data and argued that only his pragmatic account and Sterken’s (2015a) indexical account can accommodate it. In this paper, we will present new data – what we call the negative data – and argue that there is no theory on the market that is compatible with both the positive data and the negative data. We will draw two generalizations from them and develop a novel version of the indexical account that captures both the positive data (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  12. Positive Monotone Modal Logic.Jim de Groot - 2021 - Studia Logica 109 (4):829-857.
    Positive monotone modal logic is the negation- and implication-free fragment of monotone modal logic, i.e., the fragment with connectives and. We axiomatise positive monotone modal logic, give monotone neighbourhood semantics based on posets, and prove soundness and completeness. The latter follows from the main result of this paper: a duality between so-called \-spaces and the algebraic semantics of positive monotone modal logic. The main technical tool is the use of coalgebra.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Grounding, Quantifiers, and Paradoxes.Francesco A. Genco, Francesca Poggiolesi & Lorenzo Rossi - 2021 - Journal of Philosophical Logic 50 (6):1417-1448.
    The notion of grounding is usually conceived as an objective and explanatory relation. It connects two relata if one—the ground—determines or explains the other—the consequence. In the contemporary literature on grounding, much effort has been devoted to logically characterize the formal aspects of grounding, but a major hard problem remains: defining suitable grounding principles for universal and existential formulae. Indeed, several grounding principles for quantified formulae have been proposed, but all of them are exposed to paradoxes in some very natural (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Identity in Mares-Goldblatt Models for Quantified Relevant Logic.Shawn Standefer - 2021 - Journal of Philosophical Logic 50 (6):1389-1415.
    Mares and Goldblatt, 163–187, 2006) provided an alternative frame semantics for two quantified extensions of the relevant logic R. In this paper, I show how to extend the Mares-Goldblatt frames to accommodate identity. Simpler frames are provided for two zero-order logics en route to the full logic in order to clarify what is needed for identity and substitution, as opposed to quantification. I close with a comparison of this work with the Fine-Mares models for relevant logics with identity and a (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. A Note on Logicality of Generalized Quantifiers.Tin Perkov - 2021 - Logica Universalis 15 (2):149-152.
    This note follows up an earlier paper in which a possibility of defining logical constants within abstract logical frameworks was discussed, by using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality. In the present note, this approach is applied to the discussion on logicality of generalized quantifiers. It is demonstrated that generalized quantifiers are logical constants by this criterion.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. On Negation for Non-classical Set Theories.S. Jockwich Martinez & G. Venturi - 2021 - Journal of Philosophical Logic 50 (3):549-570.
    We present a case study for the debate between the American and the Australian plans, analyzing a crucial aspect of negation: expressivity within a theory. We discuss the case of non-classical set theories, presenting three different negations and testing their expressivity within algebra-valued structures for ZF-like set theories. We end by proposing a minimal definitional account of negation, inspired by the algebraic framework discussed.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  17. Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion.Alex Belikov - forthcoming - Logic and Logical Philosophy:1.
    In this paper, we present two variants of Peirce’s Triadic Logic within a language containing only conjunction, disjunction, and negation. The peculiarity of our systems is that conjunction and disjunction are interpreted by means of Peirce’s mysterious binary operations Ψ and Φ from his ‘Logical Notebook’. We show that semantic conditions that can be extracted from the definitions of Ψ and Φ agree (in some sense) with the traditional view on the semantic conditions of conjunction and disjunction. Thus, we support (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Quantified Modal Relevant Logics.Nicholas Ferenz - forthcoming - Review of Symbolic Logic:1-32.
  19. Games and Cardinalities in Inquisitive First-Order Logic.Ivano Ciardelli & Gianluca Grilletti - forthcoming - Review of Symbolic Logic:1-28.
    Inquisitive first-order logic, InqBQ, is a system which extends classical first-order logic with formulas expressing questions. From a mathematical point of view, formulas in this logic express properties of sets of relational structures. This paper makes two contributions to the study of this logic. First, we describe an Ehrenfeucht–Fraïssé game for InqBQ and show that it characterizes the distinguishing power of the logic. Second, we use the game to study cardinality quantifiers in the inquisitive setting. That is, we study what (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. Closed and Unbounded Classes and the Härtig Quantifier Model.Philip D. Welch - forthcoming - Journal of Symbolic Logic:1-21.
    We show that assuming modest large cardinals, there is a definable class of ordinals, closed and unbounded beneath every uncountable cardinal, so that for any closed and unbounded subclasses $P, Q, {\langle L[P],\in,P \rangle }$ and ${\langle L[Q],\in,Q \rangle }$ possess the same reals, satisfy the Generalised Continuum Hypothesis, and moreover are elementarily equivalent. Examples of such P are Card, the class of uncountable cardinals, I the uniform indiscernibles, or for any n the class $C^{n}{=_{{\operatorname {df}}}}\{ \lambda \, | \, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Graded Structures of Opposition in Fuzzy Natural Logic.Petra Murinová - 2020 - Logica Universalis 14 (4):495-522.
    The main objective of this paper is devoted to two main parts. First, the paper introduces logical interpretations of classical structures of opposition that are constructed as extensions of the square of opposition. Blanché’s hexagon as well as two cubes of opposition proposed by Morreti and pairs Keynes–Johnson will be introduced. The second part of this paper is dedicated to a graded extension of the Aristotle’s square and Peterson’s square of opposition with intermediate quantifiers. These quantifiers are linguistic expressions such (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. Ramsey Transfer to Semi-Retractions.Lynn Scow - 2021 - Annals of Pure and Applied Logic 172 (3):102891.
  23. Where is ‘There is’ in ‘∃’?Richard Davies - forthcoming - Tandf: History and Philosophy of Logic:1-16.
    The paper offers a survey of four key moments in which symbolisms for quantification were first introduced: §§11–2 of Frege’s Begriffsschrift (1879); Peirce’s ‘Algebra of Logic’ (1885); Peano’s ‘Studii di Logica matematica’ (1897); and *9 (‘replaced’ by *8 in the second edition) of Whitehead and Russell’s Principia Mathematica (1910). Despite their divergent aims, these authors present substantially equivalent visions of what their differing symbolisms express. In each case, some passage suggests that one (but not the only) way to render one (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24. Complexity of Syntactical Tree Fragments of Independence-Friendly Logic.Fausto Barbero - 2021 - Annals of Pure and Applied Logic 172 (1):102859.
    A dichotomy result of Sevenster (2014) [29] completely classified the quantifier prefixes of regular Independence-Friendly (IF) logic according to the patterns of quantifier dependence they contain. On one hand, prefixes that contain “Henkin” or “signalling” patterns were shown to characterize fragments of IF logic that capture NP-complete problems; all the remaining prefixes were shown instead to be essentially first-order. In the present paper we develop the machinery which is needed in order to extend the results of Sevenster to non-prenex, regular (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. An Inferential Impasse in the Theory of Implicatures.Savas L. Tsohatzidis - manuscript
  26. Response to William Lane Craig’s God Over All.Peter van Inwagen - 2019 - Philosophia Christi 21 (2):267-275.
    In contrast to William Lane Craig’s view this article presents a sort of precis of my position on ontological commitment—whether you call it neo-Quineanism or not—and its implications for the nominalism-realism debate, a precis that proceeds from first principles.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. Existential Import, Aristotelian Logic, and its Generalizations.Corina Strößner - 2020 - Logica Universalis 14 (1):69-102.
    The paper uses the theory of generalized quantifiers to discuss existential import and its implications for Aristotelian logic, namely the square of opposition, conversions and the assertoric syllogistic, as well as for more recent generalizations to intermediate quantifiers like “most”. While this is a systematic discussion of the semantic background one should assume in order to obtain the inferences and oppositions Aristotle proposed, it also sheds some light on the interpretation of his writings. Moreover by applying tools from modern formal (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  28. Invariance and Necessity.Gila Sher - 2019 - In Bernhard Ritter, Paul Weingartner & Gabriele M. Mras (eds.), Philosophy of logic and Mathematics. Berlin, Boston: De Gruyter. pp. 55-70.
    Properties and relations in general have a certain degree of invariance, and some types of properties/relations have a stronger degree of invariance than others. In this paper I will show how the degrees of invariance of different types of properties are associated with, and explain, the modal force of the laws governing them. This explains differences in the modal force of laws/principles of different disciplines, starting with logic and mathematics and proceeding to physics and biology.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  29. Gebhard Furhken. Languages with Added Quantifier “There Exist at Least Nα.”The Theory of Models, Proceedings of the 1963 International Symposium at Berkeley, Edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1965, Pp. 121–131. [REVIEW]A. B. Slomson - 1970 - Journal of Symbolic Logic 35 (2):342.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30. Per Lindström. First Order Predicate Logic with Generalized Quantifiers. Theoria, Vol. 32 , Pp. 186–195.G. Fuhrken - 1969 - Journal of Symbolic Logic 34 (4):650.
  31. R. H. Thomason and H. Leblanc. All or None: A Novel Choice of Primitives for Elementary Logic. The Journal of Symbolic Logic, Vol. 32 , Pp. 345–351.Mitsuru Yasuhara - 1969 - Journal of Symbolic Logic 34 (1):124-125.
  32. H. Jerome Keisler. Logic with the Quantifier “There Exist Uncountably Many.”Annals of Mathematical Logic, Vol. 1 No. 1 , Pp. 1–93. [REVIEW]Gebhard Fuhrken - 1971 - Journal of Symbolic Logic 36 (4):685-687.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33. Karp Carol R.. Finite-Quantifier Equivalence. The Theory of Models, Proceedings of the 1963 International Symposium at Berkeley, Edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 407–412. [REVIEW]H. Jerome Keisler - 1971 - Journal of Symbolic Logic 36 (1):158.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. Finite Partially-Ordered Quantification.Wilbur John Walkoe - 1970 - Journal of Symbolic Logic 35 (4):535-555.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  35. G. J. Warnock. Metaphysics in Logic. A Revised Reprint of XXXV 455. Essays in Conceptual Analysis, Selected and Edited by Antony Flew, Macmillan & Co. Ltd., London, and St. Martin's Press, New York, 1956, Pp. 75–93. [REVIEW]Anders Wedberg - 1972 - Journal of Symbolic Logic 37 (4):750.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36. Timothy Smiley. Sense Without Denotation. Analysis , N.S. No. 78 , Pp. 125–135.Bas C. van Fraassen - 1972 - Journal of Symbolic Logic 37 (2):423.
  37. Rolf Schock. Logics Without Existence Assumptions. Almqvist & Wiksell, Stockholm1968, 134 Pp. [REVIEW]Theodore Hailperin - 1972 - Journal of Symbolic Logic 37 (2):424.
  38. A. N. Prior. Existence in Leśniewski and in Russell. Formal Systems and Recursive Functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, Edited by J. N. Crossley and M. A. E. Dummett, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1965, Pp. 149–155. [REVIEW]C. Lejewski - 1975 - Journal of Symbolic Logic 40 (3):458.
  39. Czesław Lejewski. Logic and Existence. The British Journal for the Philosophy of Science, Vol. 5 , Pp. 104–119. - A. N. Prior. English and Ontology. The British Journal for the Philosophy of Science, Vol. 6 , Pp. 64–65. [REVIEW]Bogusław Iwanuś - 1975 - Journal of Symbolic Logic 40 (1):102-103.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40. Existential Sentences Without Existential Quantification.Louise McNally - 1998 - Linguistics and Philosophy 21 (4):353-392.
    Presents a set-theoretic version of the analysis of "there be" as predicating instantiation of a property, a property-theoretic version of which was developed in McNally 1992. This paper provides a solution to the criticism that McNally 1992's analysis could not account for sentences in which postverbal nominal contains a monotone decreasing or nonmonotonic determiner.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  41. Polarity in Natural Language: Predication, Quantification and Negation in Particular and Characterizing Sentences.Sebastian Löbner - 2000 - Linguistics and Philosophy 23 (3):213-308.
    The present paper is an attempt at the investigation of the nature of polarity contrast in natural languages. Truth conditions for natural language sentences are incomplete unless they include a proper definition of the conditions under which they are false. It is argued that the tertium non datur principle of classical bivalent logical systems is empirically invalid for natural languages: falsity cannot be equated with non-truth. Lacking a direct intuition about the conditions under which a sentence is false, we need (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  42. The Inexpressibility Objection.Filippo Costantini - 2018 - Kriterion - Journal of Philosophy 32 (2):25-46.
    In this paper, we offer a contribution to the discussion of one of the most important objections against a relativist position in the absolute generality debate. The inexpressibility objection accuses the generality-relativist of not being able to coherently express her own position. First, we examine Glanzberg’s attempt to reply to this objection and we show that it fails. Second, we study the prospects of generalizing the relativist position. In particular, we analyze Fine’s and Linnebo’s modal approaches and we argue that, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  43. Generalized Quantifiers and Natural Language.Jon Barwise - 1980 - Linguistics and Philosophy 4:159.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   315 citations  
  44. Double Quantification and the Meaning of Shenme `What' in Chinese Bare Conditionals.L. Jo-Wang - 1999 - Linguistics and Philosophy 22:573-593.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  45. 'If' and quantification.Ivor Alexander - 1985 - Analysis 45 (4):186.
    Remove from this list   Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46. Quantification, Mandated Science and Judgment.Ed Levy - 2001 - Studies in History and Philosophy of Science Part A 32 (4):723-737.
    In his Trust in Numbers: The Pursuit of Objectivity in Science and Public Life, Ted Porter asks how to account for the prestige and power of quantitative methods in the modern world. His answer involves two theses. One reverses a standard claim by asserting that quantification in basic sciences can often be driven by quantification in more applied areas such as government and business. The second thesis, which I call judgment replacement, asserts that quantification overcomes lack of trust in humans (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47. Quest for the Absolute: The Philosophical Vision of Joseph Maréchal. [REVIEW]Joseph W. Koterski - 1994 - Review of Metaphysics 48 (1):153-154.
    To confront the Modernist challenge to traditional Catholic theology, a number of neoscholastic thinkers proposed various schemes for the grounding of metaphysics and the defense of the analogy of being. The specific tack Joseph Maréchal chose was epistemological: justification of the cognitive grounds for the science of metaphysics and for the analogous knowledge of God emphasized by Thomistic theology.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48. Quantification in Historical Studies: Problems and Possibilities. [REVIEW]D. Buse - 1977 - Philosophy and History 10 (2):208-210.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Scope or Pseudo Scope? Are There Wide-Scope Indefinites?A. Kratzer - 1998 - In Events and Grammar. Dordrecht, Netherlands: Kluwer Academic Publishers. pp. 163-196.
    The paper investigates the scope properties of indefinites.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   87 citations  
  50. Existence and the Particular Quantifier.Michael R. Lipton & Alex Orenstein - 1980 - Philosophical Review 89 (3):487.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
1 — 50 / 1509