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

37 found
Order:
  1. Fine on the Possibility of Vagueness.Andreas Ditter - forthcoming - In Federico L. G. Faroldi & Frederik van De Putte (eds.), Outstanding Contributions to Logic: Kit Fine.
    Fine (2017) proposes a new logic of vagueness, CL, that promises to provide both a solution to the sorites paradox and a way to avoid the impossibility result from Fine (2008). The present paper presents a challenge to his new theory of vagueness. I argue that the possibility theorem stated in Fine (2017), as well as his solution to the sorites paradox, fail in certain reasonable extensions of the language of CL. More specifically, I show that if we extend the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics.Wesley Holliday - forthcoming - In David Fernández Duque & Alessandra Palmigiano (eds.), Advances in Modal Logic, Vol. 14. London: College Publications.
    In this paper, we study three representations of lattices by means of a set with a binary relation of compatibility in the tradition of Ploščica. The standard representations of complete ortholattices and complete perfect Heyting algebras drop out as special cases of the first representation, while the second covers arbitrary complete lattices, as well as complete lattices equipped with a negation we call a protocomplementation. The third topological representation is a variant of that of Craig, Haviar, and Priestley. We then (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. A fundamental non-classical logic.Wesley Holliday - forthcoming - Logics.
    We give a proof-theoretic as well as a semantic characterization of a logic in the signature with conjunction, disjunction, negation, and the universal and existential quantifiers that we suggest has a certain fundamental status. We present a Fitch-style natural deduction system for the logic that contains only the introduction and elimination rules for the logical constants. From this starting point, if one adds the rule that Fitch called Reiteration, one obtains a proof system for intuitionistic logic in the given signature; (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  4. Inquisitive Intuitionistic Logic.Wesley H. Holliday - forthcoming - In Nicola Olivetti & Rineke Verbrugge (eds.), Advances in Modal Logic, Vol. 11. London: College Publications.
    Inquisitive logic is a research program seeking to expand the purview of logic beyond declarative sentences to include the logic of questions. To this end, inquisitive propositional logic extends classical propositional logic for declarative sentences with principles governing a new binary connective of inquisitive disjunction, which allows the formation of questions. Recently inquisitive logicians have considered what happens if the logic of declarative sentences is assumed to be intuitionistic rather than classical. In short, what should inquisitive logic be on an (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Compatibility, compossibility, and epistemic modality.Wesley Holliday & Matthew Mandelkern - forthcoming - Proceedings of the 23rd Amsterdam Colloquium.
    We give a theory of epistemic modals in the framework of possibility semantics and axiomatize the corresponding logic, arguing that it aptly characterizes the ways in which reasoning with epistemic modals does, and does not, diverge from classical modal logic.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. Against Classical Paraconsistent Metatheory.Koji Tanaka & Patrick Girard - forthcoming - Analysis.
    There was a time when 'logic' just meant classical logic. The climate is slowly changing and non-classical logic cannot be dismissed off-hand. However, a metatheory used to study the properties of non-classical logic is often classical. In this paper, we will argue that this practice of relying on classical metatheories is problematic. In particular, we will show that it is a bad practice because the metatheory that is used to study a non-classical logic often rules out the very logic it (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. Beyond Mixed Logics.Joaquín Toranzo Calderón & Federico Pailos - forthcoming - Logic and Logical Philosophy:1-28.
    In order to define some interesting consequence relations, certain generalizations have been proposed in a many-valued semantic setting that have been useful for defining what have been called pure, mixed and ordertheoretic consequence relations. But these generalizations are insufficient to capture some other interesting relations, like other intersective mixed relations or relations with a conjunctive interpretation for multiple conclusions. We propose a broader framework to define these cases, and many others, and to set a common background that allows for a (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. The Quantified Argument Calculus with Two- and Three-valued Truth-valuational Semantics.Hongkai Yin & Hanoch Ben-Yami - forthcoming - Studia Logica:1-40.
    We introduce a two-valued and a three-valued truth-valuational substitutional semantics for the Quantified Argument Calculus (Quarc). We then prove that the 2-valid arguments are identical to the 3-valid ones with strict-to-tolerant validity. Next, we introduce a Lemmon-style Natural Deduction system and prove the completeness of Quarc on both two- and three-valued versions, adapting Lindenbaum’s Lemma to truth-valuational semantics. We proceed to investigate the relations of three-valued Quarc and the Predicate Calculus (PC). Adding a logical predicate T to Quarc, true of (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9. Semantics for Pure Theories of Connexive Implication.Yale Weiss - 2022 - Review of Symbolic Logic 15 (3):591-606.
    In this article, I provide Urquhart-style semilattice semantics for three connexive logics in an implication-negation language (I call these “pure theories of connexive implication”). The systems semantically characterized include the implication-negation fragment of a connexive logic of Wansing, a relevant connexive logic recently developed proof-theoretically by Francez, and an intermediate system that is novel to this article. Simple proofs of soundness and completeness are given and the semantics is used to establish various facts about the systems (e.g., that two of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Limits of Abductivism About Logic.Ulf Hlobil - 2021 - Philosophy and Phenomenological Research 103 (2):320-340.
    I argue against abductivism about logic, which is the view that rational theory choice in logic happens by abduction. Abduction cannot serve as a neutral arbiter in many foundational disputes in logic because, in order to use abduction, one must first identify the relevant data. Which data one deems relevant depends on what I call one's conception of logic. One's conception of logic is, however, not independent of one's views regarding many of the foundational disputes that one may hope to (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  11. Refining Labelled Systems for Modal and Constructive Logics with Applications.Tim Lyon - 2021 - Dissertation, Technischen Universität Wien
    This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. Interpreting connexive principles in coherence-based probability logic.Niki Pfeifer & Giuseppe Sanfilippo - 2021 - In J. Vejnarová & J. Wilson (eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021, LNAI 12897). Cham: pp. 672-687.
    We present probabilistic approaches to check the validity of selected connexive principles within the setting of coherence. Connexive logics emerged from the intuition that conditionals of the form If ∼A, then A, should not hold, since the conditional’s antecedent ∼A contradicts its consequent A. Our approach covers this intuition by observing that for an event A the only coherent probability assessment on the conditional event A|~A is p(A|~A)=0 . Moreover, connexive logics aim to capture the intuition that conditionals should express (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. An Incompleteness Theorem for Modal Relevant Logics.Shawn Standefer - 2021 - Notre Dame Journal of Formal Logic 62 (4):669 - 681.
    In this paper, an incompleteness theorem for modal extensions of relevant logics is proved. The proof uses elementary methods and builds upon the work of Fuhrmann.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14. La contrastación de teorías inconsistentes no triviales.Luis Felipe Bartolo Alegre - 2020 - Dissertation, Universidad Nacional Mayor de San Marcos
    This dissertation offers a proof of the logical possibility of testing empirical/factual theories that are inconsistent, but non-trivial. In particular, I discuss whether or not such theories can satisfy Popper's principle of falsifiablility. An inconsistent theory Ƭ closed under a classical consequence relation implies every statement of its language because in classical logic the inconsistency and triviality are coextensive. A theory Ƭ is consistent iff there is not a α such that Ƭ ⊢ α ∧ ¬α, otherwise it is inconsistent. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Now, Imagine an Actually Existing Unicorn: On Russellian Worries for Modal Meinongianism.Andreas de Jong - 2020 - Axiomathes 31 (3):365-380.
    Modal Meinongianism provides the semantics of sentences involving intentional verbs Priest. To that end, Modal Meinongianism employs a pointed non-normal quantified modal logic model. Like earlier Meinongian views Modal Meinongianism has a characterisation principle, that claims that any condition whatsoever is satisfied by some object in some world. Recently, Everett has proposed an argument against QCP that, if successful, gives rise to problems identical to those Russell raised for Naïve Meinongianism, namely that it allows for true contradictions, and allows us (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16. Três Vezes Não: Um Estudo Sobre as Negações Clássica, Paraconsistente e Paracompleta.Kherian Gracher - 2020 - Dissertation, Federal University of Santa Catarina
    Could there be a single logical system that would allow us to work simultaneously with classical, paraconsistent, and paracomplete negations? These three negations were separately studied in logics whose negations bear their names. Initially we will restrict our analysis to propositional logics by analyzing classical negation, ¬c, as treated by Classical Propositional Logic (LPC); the paraconsistent negation, ¬p, as treated through the hierarchy of Paraconsistent Propositional Calculi Cn (0 ≤ n ≤ ω); and the paracomplete negation, ¬q, as treated by (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  17. Star models and the semantics of infectiousness.Matthew W. G. McClure - 2020 - Undergraduate Philosophy Journal of Australasia 2 (2):35–57.
    The first degree entailment (FDE) family is a group of logics, a many-valued semantics for each system of which is obtained from classical logic by adding to the classical truth-values true and false any subset of {both, neither, indeterminate}, where indeterminate is an infectious value (any formula containing a subformula with the value indeterminate itself has the value indeterminate). In this paper, we see how to extend a version of star semantics for the logics whose many-valued semantics lack indeterminate to (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. In the name of paraconsistency.Francisco Miró Quesada Cantuarias & Luis Felipe Bartolo Alegre - 2020 - South American Journal of Logic 6 (2):163-171.
    Logic systems that can handle contradictions were being used for some time without having a general technical name. One of the main proposers of these systems, Newton da Costa, asked Francisco Miró Quesada to suggest him a name for those systems. In the historical letter that here we translate into English for the first time, Miró Quesada suggests three names to da Costa for this purpose: ‘ultraconsistent’, ‘metaconsistent’, and ‘paraconsistent’; explaining their pros and cons. -/- Paper based on a letter (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Las Lógicas Mixtas como escape al Problema del Colapso y al Desafío de Quine.Joaquín Santiago Toranzo Calderón - 2020 - Análisis Filosófico 40 (2):247-272.
    En este trabajo presentaré una forma de evitar los problemas más recurrentes en cierta versión del pluralismo lógico, aquella que defiende que incluso considerando un lenguaje fijo existen múltiples sistemas lógicos legítimos. Para ello, será necesario considerar los puntos de partida del programa pluralista y explicitar los problemas que de ellos surgen, principalmente el Desafío de Quine y el Problema del Colapso. Luego, propondré una modificación respecto de lo que se entiende por consecuencia lógica, para poder considerar una familia de (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20. Counterpossibles and Normal Defaults in the Filioque Controversy.Jacob Archambault - 2019 - Logica Universalis 13 (4):443-455.
    A counterpossible conditional, or counterpossible for short, is a conditional proposition whose antecedent is impossible. The filioque doctrine is a dogma of western Christian Trinitarian theology according to which the Holy Spirit proceeds from the Father and the Son. The filioque doctrine was the principal theological reason for the Great Schism, the split between Eastern Orthodoxy and western Christianity, which continues today. In the paper, I review one of the earliest medieval defenses of the doctrine in Anselm of Canterbury, and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Graham Priest on Dialetheism and Paraconsistency.Can Başkent & Thomas Macaulay Ferguson (eds.) - 2019 - Cham, Switzerland: Springer Verlag.
    This book presents the state of the art in the fields of formal logic pioneered by Graham Priest. It includes advanced technical work on the model and proof theories of paraconsistent logic, in contributions from top scholars in the field. Graham Priest’s research has had a considerable influence on the field of philosophical logic, especially with respect to the themes of dialetheism—the thesis that there exist true but inconsistent sentences—and paraconsistency—an account of deduction in which contradictory premises do not entail (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22. A Duality for Involutive Bisemilattices.Stefano Bonzio, Andrea Loi & Luisa Peruzzi - 2019 - Studia Logica 107 (2):423-444.
    We establish a duality between the category of involutive bisemilattices and the category of semilattice inverse systems of Stone spaces, using Stone duality from one side and the representation of involutive bisemilattices as Płonka sum of Boolean algebras, from the other. Furthermore, we show that the dual space of an involutive bisemilattice can be viewed as a GR space with involution, a generalization of the spaces introduced by Gierz and Romanowska equipped with an involution as additional operation.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  23. The Logic of Imagination Acts: A Formal System for the Dynamics of Imaginary Worlds.Joan Casas-Roma, Antonia Huertas & M. Elena Rodríguez - 2019 - Erkenntnis:1-29.
    Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  24. Apontamentos em Filosofia da Lógica.Gilson Maicá de Oliveira - 2019 - Basilíade - Revista de Filosofia 1 (1):101-120.
    Neste artigo discutimos alguns aspectos da lógica nos dias atuais. O propósito central é mostrar a evolução dessa disciplina. Começamos com uma breve introdução onde especificamos o que queremos dizer com o termo “lógica”. A seguir, exporemos e discutiremos o que consideramos ser algumas das principais áreas de investigação da lógica atual. Concluímos o artigo com algumas observações sobre lógicas não clássicas e seus impactos sobre a filosofia. Ao final do texto se encontram mais detalhes que apontam para um aprofundamento (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. A Graph-theoretic Method to Define any Boolean Operation on Partitions.David Ellerman - 2019 - The Art of Discrete and Applied Mathematics 2 (2):1-9.
    The lattice operations of join and meet were defined for set partitions in the nineteenth century, but no new logical operations on partitions were defined and studied during the twentieth century. Yet there is a simple and natural graph-theoretic method presented here to define any n-ary Boolean operation on partitions. An equivalent closure-theoretic method is also defined. In closing, the question is addressed of why it took so long for all Boolean operations to be defined for partitions.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Formalizing Kant’s Rules.Richard Evans, Andrew Stephenson & Marek Sergot - 2019 - Journal of Philosophical Logic 48:1-68.
    This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. A Neutral Temporal Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2019 - In P. Blackburn, E. Lorini & M. Guo (eds.), Logic, Rationality, and Interaction. Berlin, Heidelberg: pp. 340-354.
    In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28. Prioritized sequent-based argumentation.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2018 - In Elisabeth Andre & Sven Koening (eds.), Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems. pp. 1105--1113.
  29. On elimination of quantifiers in some non-classical mathematical theories.Guillermo Badia & Andrew Tedder - 2018 - Mathematical Logic Quarterly 64 (3):140-154.
    Elimination of quantifiers is shown to fail dramatically for a group of well‐known mathematical theories (classically enjoying the property) against a wide range of relevant logical backgrounds. Furthermore, it is suggested that only by moving to more extensional underlying logics can we get the property back.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  30. Conjunto plitogénico, una extensión de los conjuntos crisp, difusos, conjuntos difusos intuicionistas y neutrosóficos revisitado.Florentin Smarandache - 2018 - Neutrosophic Computing and Machine Learning 3 (1):1-19.
    En el presente artículo, introducimos el conjunto plitogénico (como generalización de conjuntos nítidos, borrosos, intuicionistas, borrosos y neutrosóficos), que es un conjunto cuyos elementos se caracterizan por los valores de muchos atrib utos. Un valor de atributo v tiene un grado correspondiente (difuso, intuicionista difuso o neutrosófico) de pertenencia d (x, v) del elemento x, al conjunto P, con respecto a algunos criterios dados. Para obtener una mejor precisión para los operadores d e agregación plitogénica en el conjunto plitogénico, y (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  31. Game theoretical semantics for some non-classical logics.Can Başkent - 2016 - Journal of Applied Non-Classical Logics 26 (3):208-239.
    Paraconsistent logics are the formal systems in which absurdities do not trivialise the logic. In this paper, we give Hintikka-style game theoretical semantics for a variety of paraconsistent and non-classical logics. For this purpose, we consider Priest’s Logic of Paradox, Dunn’s First-Degree Entailment, Routleys’ Relevant Logics, McCall’s Connexive Logic and Belnap’s four-valued logic. We also present a game theoretical characterisation of a translation between Logic of Paradox/Kleene’s K3 and S5. We underline how non-classical logics require different verification games and prove (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Dynamic Derivations for Sequent-Based Logical Argumentation.Ofer Arieli & Christian Straßer - 2014 - In Simon Parsons, Nir Oren, Chris Reed & Federico Cerutti (eds.), Proceedings COMMA 2014. IOS Press. pp. 89--100.
  33. Logical Pluralism.Gillian Russell - 2013 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy.
  34. Fibring in the Leibniz Hierarchy.Victor Fernández & Marcelo Coniglio - 2007 - Logic Journal of the IGPL 15 (5-6):475-501.
    This article studies preservation of certain algebraic properties of propositional logics when combined by fibring. The logics analyzed here are classified in protoalgebraic, equivalential and algebraizable. By introducing new categories of algebrizable logics and of deductivizable quasi-varieties, it is stated an isomorphism between these categories. This constitutes an alternative to a similar result found in the literature.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Notes tow Ard a formal conversation theory.G. James Jason - 1980 - Grazer Philosophische Studien 10 (1):119-140.
    Dialectic, as commonly approached, is not an analytic study, as the notion is defined in the paper. Where it is analytically approached, the result is pragmatic in nature, as well as syntactic and semantic. This paper lays the foundations of a purely formal analysis of conversations. This study is accordingly called "Conversation Theory". The key notions of "conversation", "dialogue", "conversation game", "rules of response", "epistemic community" and "channel of informations" are defined precisely, and an analysis of how these notions fit (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36. Semi-Boolean algebras and their applications to intuitionistic logic with dual operations.Cecylia Rauszer - 1974 - Fundamenta Mathematicae 83:219-249.
  37. Probability logic.John P. Burgess - 1969 - Journal of Symbolic Logic 34 (2):264-274.