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

20 found
Order:
  1. Modeling Future Indeterminacy in Possibility Semantics.Fabrizio Cariani - manuscript
    I consider the application of possibility semantics to the modeling of the indeterminacy of the future. I argue that interesting problems arise in connection to the addition of object-language determinacy operator. I show that adding a two-dimensional layer to possibility semantics can help solve these problems.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Subjunctive Conditionals Are Material.Matheus Silva - manuscript
    The material account claims that indicative conditionals are material. However, the conventional wisdom even among material account enthusiasts is that the material account cannot be extended to subjunctive conditionals. There are mainly three reasons that motivate this consensus: (1) the belief that if subjunctives were material, most subjunctive conditionals would be vacuously true, which is implausible; (2) its inconsistency with Adams pair, which suggest that indicative and subjunctive conditionals have different truth conditions; and (3) the belief that it is an (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. The Logical Web.Matheus Silva - manuscript
    Different logic systems are motivated by attempts to fix the counter-intuitive instances of classical argumentative forms, e.g., strengthening of the antecedent, contraposition and conditional negation. These counter-examples are regarded as evidence that classical logic should be rejected in favour of a new logic system in which these argumentative forms are considered invalid. It is argued that these logical revisions are ad hoc, because those controversial argumentative forms are implied by other argumentative forms we want to keep. It is impossible to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  4. The Exoteric Square of Opposition.Jean-Yves Beziau & Ioannis Vandoulakis (eds.) - 2022 - Birkhauser.
    The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century. This volume collects papers presented at the Sixth World Congress on the Square of Opposition, held in Crete in 2018, developing an interdisciplinary exploration of the theory. Chapter authors explore subjects such as Aristotle’s ontological square, logical oppositions in Avicenna’s hypothetical logic, and the power of the square of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. Bilateral Inversion Principles.Nils Kürbis - 2022 - Electronic Proceedings in Theoretical Computer Science 358:202–215.
    This paper formulates a bilateral account of harmony that is an alternative to one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. I formulate a process I call 'inversion' which allows the determination of assertive elimination rules from assertive introduction rules, and rejective elimination rules from (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. Oliver and Smiley on the Collective–Distributive Opposition.Gustavo Picazo - 2022 - Logos and Episteme 13 (2):201-205.
    Two objections are raised against Oliver and Smiley’s analysis of the collective–distributive opposition in their 2016 book: They take it as a basic premise that the collective reading of ‘baked a cake’ corresponds to a predicate different from its distributive reading, and the same applies to all predicate expressions that admit both a collective and a distributive interpretation. At the same time, however, they argue that inflectional forms of the same lexeme reveal a univocity that should be preserved in a (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. In Defence of Discrete Plural Logic.Gustavo Picazo - 2022 - Disputatio 14 (64):51-63.
    In recent decades, plural logic has established itself as a well-respected member of the extensions of first-order classical logic. In the present paper, I draw attention to the fact that among the examples that are commonly given in order to motivate the need for this new logical system, there are some in which the elements of the plurality in question are internally singularized, while in others they are not. Then, building on previous work, I point to a subsystem of plural (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. Ācārya Māņikyanandi’s Parīkşāmukha Sūtra – Essence of the Jaina Nyāya आचार्य माणिक्यनन्दि विरचित परीक्षामुख सूत्र.Vijay K. Jain (ed.) - 2021 - Dehradun, India: Vikalp Printers.
    The science-of-thought (Nyāya) has always been an integral part of the four constituents (anuyoga) – prathamānuyoga, karuņānuyoga, caraņānuyoga, and dravyānuyoga – of the Jaina Scripture. Through Parīkşāmukha Sūtra, Ācārya Māņikyanandi (circa 7th-8th century A.D.) churned the nectar of the science-of-thought (Nyāya) from the ocean of the words of the master-composers like Ācārya Samantabhadra and Bhaţţa Akalańka Deva. The valid-knowledge (pramāņa) ascertains the true nature of objects while the fallacious-knowledge (pramāņābhāsa) does the opposite. Parīkşāmukha Sūtra characterizes, as per the earlier authoritative (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. Normalisation for Bilateral Classical Logic with Some Philosophical Remarks.Nils Kürbis - 2021 - Journal of Applied Logics 2 (8):531-556.
    Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper presents two bilateral connectives comparable to Prior's tonk, for which, unlike for tonk, there are reduction steps for the removal of maximal formulas arising from introducing and eliminating formulas with those connectives as main operators. Adding either of them to bilateral classical logic results in an incoherent system. One way around this problem is (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10. The Search for Symmetry in Hohfeldian Modalities.Matteo Pascucci & Giovanni Sileno - 2021 - In Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo & Petrucio Viana (eds.), Diagrammatic Representation and Inference. Proceedings of Diagrams 2021. Springer. pp. 87-102.
    In this work we provide an analysis of some issues arising with geometrical representations of a family of deontic and potestative relations that can be classified as Hohfeldian modalities, traditionally illustrated on two diagrams, the Hohfeldian squares. Our main target is the lack of symmetry to be found in various formal accounts by drawing analogies with the square of opposition for alethic modalities. We argue that one should rather rely on an analogy with the alethic hexagon of opposition and exploit (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Traits essentiels d'une formalisation adéquate.Gheorghe-Ilie Farte - 2020 - Argumentum. Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric 18 (1):163-174.
    In order to decide whether a discursive product of human reason corresponds or not to the logical order, one must analyze it in terms of syntactic correctness, consistency, and validity. The first step in logical analysis is formalization, that is, the process by which logical forms of thoughts are represented in different formal languages or logical systems. Although each thought can be properly formalized in different ways, the formalization variants are not equally adequate. The adequacy of formalization seems to depend (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. Form and Content: An Introduction to Formal Logic.Derek D. Turner - 2020 - Digital Commons @ Connecticut College.
    Derek Turner, Professor of Philosophy, has written an introductory logic textbook that students at Connecticut College, or anywhere, can access for free. The book differs from other standard logic textbooks in its reliance on fun, low-stakes examples involving dinosaurs, a dog and his friends, etc. This work is published in 2020 under a Creative Commons AttributionNonCommercial-NoDerivatives 4.0 International License. You may share this text in any format or medium. You may not use it for commercial purposes. If you share it, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. The Completeness: From Henkin's Proposition to Quantum Computer.Vasil Penchev - 2018 - Логико-Философские Штудии 16 (1-2):134-135.
    The paper addresses Leon Hen.kin's proposition as a " lighthouse", which can elucidate a vast territory of knowledge uniformly: logic, set theory, information theory, and quantum mechanics: Two strategies to infinity are equally relevant for it is as universal and t hus complete as open and thus incomplete. Henkin's, Godel's, Robert Jeroslow's, and Hartley Rogers' proposition are reformulated so that both completeness and incompleteness to be unified and thus reduced as a joint property of infinity and of all infinite sets. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Finitist Set Theory in Ontological Modeling.Avril Styrman & Aapo Halko - 2018 - Applied ontology 13 (2):107-133.
    This article introduces finitist set theory (FST) and shows how it can be applied in modeling finite nested structures. Mereology is a straightforward foundation for transitive chains of part-whole relations between individuals but is incapable of modeling antitransitive chains. Traditional set theories are capable of modeling transitive and antitransitive chains of relations, but due to their function as foundations of mathematics they come with features that make them unnecessarily difficult in modeling finite structures. FST has been designed to function as (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. Proving Properties of Matrices Over {\ Mathbb {Z} _ {2}}.Michael Soltys - 2012 - Archive for Mathematical Logic 51 (5-6):535-551.
    We prove assorted properties of matrices over ${\mathbb{Z}_{2}}$ , and outline the complexity of the concepts required to prove these properties. The goal of this line of research is to establish the proof complexity of matrix algebra. It also presents a different approach to linear algebra: one that is formal, consisting in algebraic manipulations according to the axioms of a ring, rather than the traditional semantic approach via linear transformations.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. A Note on Plural Logic.Gustavo Fernández Díez - 2010 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 17 (2):150-162.
    A distinction is introduced between itemized and non-itemized plural predication. It is argued that a full-fledged system of plural logic is not necessary in order to account for the validity of inferences concerning itemized collective predication. Instead, it is shown how this type of inferences can be adequately dealt with in a first-order logic system, after small modifications on the standard treatment. The proposed system, unlike plural logic, has the advantage of preserving completeness. And as a result, inferences such as (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Tarského definice pojmu pravdy a její kritika.Jan Štěpánek - 2010 - Pro-Fil 11 (1):10-36.
    This paper aims to describe and examine Alfred Tarski's famous semantic conception of truth as well as some of the critiques presented against it. The first part of this paper is divided into five segments: criteria imposed upon every adequate definition of truth are discussed in the first segment; the second is dedicated to Tarski’s Convention T; distinction between object language and metalanguage, as well as Tarski’s attitude toward formalized and colloquial languages, is described in the third segment; fourth segment (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. Quantifier Elimination For Queues.Christian Straßer - 2006 - In Jan Draisma & Hanspeter Kraft (eds.), Rhine Workshop on Computer Algebra. Proceedings of the Rwca 2006. Universitaet Basel. pp. 239--248.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  19. On an Application of Categoricity.Alexander Paseau - 2005 - Proceedings of the Aristotelian Society 105 (1):395-399.
    James Walmsley in “Categoricity and Indefinite Extensibility” argues that a realist about some branch of mathematics X (e.g. arithmetic) apparently cannot use the categoricity of an axiomatisation of X to justify her belief that every sentence of the language of X has a truth-value. My discussion note first corrects Walmsley’s formulation of his claim. It then shows that his argument for it hinges on the implausible idea that grasping that there is some model of the axioms amounts to grasping that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. Forallx Adelaide.Antony Eagle, Tim Button & P. D. Magnus - manuscript