Related

Contents
106 found
Order:
1 — 50 / 106
  1. Inconsistency in Empirical Science.Luis Felipe Bartolo Alegre - manuscript
    This paper deals with a relatively recent trend in the history of analytic philosophy, philosophical logic, and theory of science: the philosophical study of the role of inconsistency in empirical science. This paper is divided in three sections that correspond to the three types of inconsistencies identified: (i) factual, occurring between theory and observations, (ii) external, occurring between two mutually contradictory theories, and (iii) internal, characterising theories that entail mutually contradictory statements.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. Can we test inconsistent empirical theories?Luis Felipe Bartolo Alegre - manuscript
    This paper discusses the logical possibility of testing inconsistent empirical theories. The main challenge for answering this affirmatively is to avoid that the inconsistent consequences of a theory both corroborate it and falsify it. I answer affirmatively by showing that we can define a class of empirical sentences whose truth would force us to abandon such inconsistent theory: the class of its potential rejecters. Despite this, I show that the observational contradictions implied by a theory could only be verified (provided (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. On the philosophical motivations for the logics of formal consistency and inconsistency.Walter Carnielli & Rodrigues Abilio - manuscript
    We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. Reinterpreting the universe-multiverse debate in light of inter-model inconsistency in set theory.Daniel Kuby - manuscript
    In this paper I apply the concept of _inter-Model Inconsistency in Set Theory_ (MIST), introduced by Carolin Antos (this volume), to select positions in the current universe-multiverse debate in philosophy of set theory: I reinterpret H. Woodin’s _Ultimate L_, J. D. Hamkins’ multiverse, S.-D. Friedman’s hyperuniverse and the algebraic multiverse as normative strategies to deal with the situation of de facto inconsistency toleration in set theory as described by MIST. In particular, my aim is to situate these positions on the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. Inconsistency in empirical sciences.Luis Felipe Bartolo Alegre -
    This paper deals with a relatively recent trend in the history of analytic philosophy, philosophical logic, and theory of science: the philosophical study of the role of inconsistency in empirical science. This paper is divided in three sections that correspond to the three types of inconsistencies identified: (i) factual, occurring between theory and observations, (ii) external, occurring between two mutually contradictory theories, and (iii) internal, characterising theories that entail mutually contradictory statements.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. What is Logical Monism?Justin Clarke-Doane - forthcoming - In Christopher Peacocke & Paul Boghossian (eds.), Normative Realism. Oxford University Press.
    Logical monism is the view that there is ‘One True Logic’. This is the default position, against which pluralists react. If there were not ‘One True Logic’, it is hard to see how there could be one true theory of anything. A theory is closed under a logic! But what is logical monism? In this article, I consider semantic, logical, modal, scientific, and metaphysical proposals. I argue that, on no ‘factualist’ analysis (according to which ‘there is One True Logic’ expresses (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Semantics for Second Order Relevant Logics.Shay Logan - forthcoming - In Andrew Tedder, Shawn Standefer & Igor Sedlár (eds.), New Directions in Relevant Logic. Springer. pp. 211-226.
    Here's the thing: when you look at it from just the right angle, it's entirely obvious how semantics for second-order relevant logics ought to go. Or at least, if you've understood how semantics for first-order relevant logics ought to go, there are perspectives like this. What's more is that from any such angle, the metatheory that needs doing can be summed up in one line: everything is just as in the first-order case, but with more indices. Of course, it's no (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  8. The Logic of Exemplarity.Jakub Mácha - forthcoming - Law and Literature (online first):1-15.
    The topic of exemplarity has attracted considerable interest in philosophy, legal theory, literary studies and art recently. There is broad consensus that exemplary cases mediate between singular instances and general concepts or norms. The aim of this article is to provide an additional perspective on the logic of exemplarity. First, inspired by Jacques Derrida’s discussion of exemplarity, I shall argue that there is a kind of différance between (singular) examples and (general) exemplars. What an example exemplifies, the exemplarity of the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. Variable-Sharing as Relevance.Shawn Standefer - forthcoming - In Igor Sedlár, Shawn Standefer & Andrew Tedder (eds.), New Directions in Relevant Logic.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. Dialetheism and distributed sorites.Ben Blumson - 2023 - Synthese 202 (4):1-18.
    Noniterative approaches to the sorites paradox accept single steps of soritical reasoning, but deny that these can be combined into valid chains of soritical reasoning. The distributed sorites is a puzzle designed to undermine noniterative approaches to the sorites paradox, by deriving an inconsistent conclusion using only single steps, but not chains, of soritical reasoning. This paper shows how a dialetheist version of the noniterative approach, the strict-tolerant approach, also solves the distributed sorites paradox, at no further cost, by accepting (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. A PWK-style Argumentation Framework and Expansion.Massimiliano Carrara - 2023 - IfCoLog Journal of Logics and Their Applications 10 (3):485-509.
    In this article we consider argumentation as an epistemic process performed by an agent to extend and revise her beliefs and gain knowledge, according to the information provided by the environment. Such a process can also generate the suspension of the claim under evaluation. How can we account for such a suspension phenomenon in argumentation process? We propose: (1) to distinguish two kinds of suspensions – critical suspension and non-critical suspension – in epistemic change processes; (2) to introduce a Paraconsistent (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. Yamauchi Tokuryū (1890-1982). Philosophie occidentale et pensée bouddhique.Romaric Jannel - 2023 - Paris: Éditions Kimé.
    Philosophe japonais polyglotte au savoir encyclopédique, Yamauchi Tokuryū est à n’en point douter l’un des auteurs les moins étudiés de l’école de Kyōto. La présente étude vient corriger ce qui ne constitue rien d’autre qu’un accident de l’histoire, tant l’ampleur du projet philosophique de Yamauchi est à même de susciter l’intérêt du philosophe, du savant et de l’amateur cultivé. La démarche de ce penseur japonais, disciple de Nishida Kitarō, est remarquable en ce qu’il chercha à proposer un dépassement englobant de (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. Corry Shores (2021) The Logic of Gilles Deleuze: Basic Principles. [REVIEW]Andrej Jovićević - 2023 - Deleuze and Guattari Studies 17 (3):449-456.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  14. Fichte’s Formal Logic.Jens Lemanski & Andrew Schumann - 2023 - Synthese 202 (1):1-27.
    Fichte’s Foundations of the Entire Wissenschaftslehre 1794 is one of the most fundamental books in classical German philosophy. The use of laws of thought to establish foundational principles of transcendental philosophy was groundbreaking in the late eighteenth and early nineteenth century and is still crucial for many areas of theoretical philosophy and logic in general today. Nevertheless, contemporaries have already noted that Fichte’s derivation of foundational principles from the law of identity is problematic, since Fichte lacked the tools to correctly (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. Rethinking inconsistent mathematics.Franci Mangraviti - 2023 - Dissertation, Ruhr University Bochum
    This dissertation has two main goals. The first is to provide a practice-based analysis of the field of inconsistent mathematics: what motivates it? what role does logic have in it? what distinguishes it from classical mathematics? is it alternative or revolutionary? The second goal is to introduce and defend a new conception of inconsistent mathematics - queer incomaths - as a particularly effective answer to feminist critiques of classical logic and mathematics. This sets the stage for a genuine revolution in (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. Against Classical Paraconsistent Metatheory.Koji Tanaka & Patrick Girard - 2023 - Analysis 83 (2):285-294.
    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   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Paraconsistency.Rafael R. Testa - 2023 - In James M. Mattingly (ed.), The SAGE encyclopedia of theory in science, technology, engineering, and mathematics. SAGE Publications, Inc.. pp. 629-632.
    Paraconsistency is the study of logical systems with a non-explosive negation such that a pair of contradictory formulas (with respect to such negation) does not necessarily imply triviality, discordant to what would be expected by contemporary logical orthodoxy. From a purely logical point of view, the significance of paraconsistency relies on the meticulous distinction between the general notions of contradictoriness and triviality of a theory—respectively, the fact that a given theory proves a proposition and its negation, and the fact that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  18. Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC.Richard Zach - 2023 - Logic and Logical Philosophy 32 (2):161-179.
    Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - 2022 - Review of Symbolic Logic 15 (3):771-806.
    One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. O raciocínio abdutivo no contexto da explicação científica.Ulisses Eliano - 2022 - Dissertation, Unicamp - Universidade Estadual de Campinas
    Este trabalho tem como principal objetivo apresentar uma abordagem lógico-formal capaz de apreender alguns aspectos do raciocínio abdutivo – o raciocínio responsável pela criação de hipóteses explicativas para fatos surpreendentes -, mediante tanto as noções filosófico-conceituais da canônica abdução peirceana quanto as de explicação científica. No caso desta última, procurarei evidenciar, inicialmente, pontos de contraste entre as concepções de explicação científica de Aristóteles e de Carl Hempel, a fim de elucidar, de modo mais satisfatório, em que medida, de fato, teorias (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  21. Minimally Nonstandard K3 and FDE.Rea Golan & Ulf Hlobil - 2022 - Australasian Journal of Logic 19 (5):182-213.
    Graham Priest has formulated the minimally inconsistent logic of paradox (MiLP), which is paraconsistent like Priest’s logic of paradox (LP), while staying closer to classical logic. We present logics that stand to (the propositional fragments of) strong Kleene logic (K3) and the logic of first-degree entailment (FDE) as MiLP stands to LP. That is, our logics share the paracomplete and the paraconsistent-cum-paracomplete nature of K3 and FDE, respectively, while keeping these features to a minimum in order to stay closer to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  22. The Philosophy of Exemplarity: Singularity, Particularity, and Self-Reference.Mácha Jakub - 2022 - New York: Routledge.
    This book offers an original philosophical perspective on exemplarity. Inspired by Wittgenstein’s later work and Derrida’s theory of deconstruction, it argues that examples are not static entities but rather oscillate between singular and universal moments. There is a broad consensus that exemplary cases mediate between singular instances and universal concepts or norms. In the first part of the book, Mácha contends that there is a kind of différance between singular examples and general exemplars or paradigms. Every example is, in part, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Depth Relevance and Hyperformalism.Shay Allen Logan - 2022 - Journal of Philosophical Logic 51 (4):721-737.
    Formal symptoms of relevance usually concern the propositional variables shared between the antecedent and the consequent of provable conditionals. Among the most famous results about such symptoms are Belnap’s early results showing that for sublogics of the strong relevant logic R, provable conditionals share a signed variable between antecedent and consequent. For logics weaker than R stronger variable sharing results are available. In 1984, Ross Brady gave one well-known example of such a result. As a corollary to the main result (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  24. History of logic in Latin America: the case of Ayda Ignez Arruda.Gisele Dalva Secco & Miguel Alvarez Lisboa - 2022 - British Journal for the History of Philosophy 30 (2):384-408.
    Ayda Ignez Arruda was a key figure in the development of the Brazilian school of Paraconsistent logic and the first person to write a historical survey of the field. Despite her importa...
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Further Reflections on Quasi-factivism: A Reply to Baumann.Michael J. Shaffer - 2022 - Logos and Episteme 13 (2):207-215.
    This paper is a response to Baumann's comments on "Can Knowledge Really be Non-fative?" In this paper Baumann's suggestions for how those who deny the factivty of knowledge might deal with the argument from inconsistency and explosion are addressed.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  26. Towards Tractable Approximations to Many-Valued Logics: the Case of First Degree Entailment.Alejandro Solares-Rojas & Marcello D’Agostino - 2022 - In Igor Sedlár (ed.), The Logica Yearbook 2021. College Publications. pp. 57-76.
    FDE is a logic that captures relevant entailment between implication-free formulae and admits of an intuitive informational interpretation as a 4-valued logic in which “a computer should think”. However, the logic is co-NP complete, and so an idealized model of how an agent can think. We address this issue by shifting to signed formulae where the signs express imprecise values associated with two distinct bipartitions of the set of standard 4 values. Thus, we present a proof system which consists of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  27. The Universal Theory Building Toolkit Is Substructural.Shay Allen Logan - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 261-285.
    Consider the set of inferences that are acceptable to use in all our theory building endeavors. Call this set of inferences the universal theory building toolkit, or just ’the toolkit’ for short. It is clear that the toolkit is tightly connected to logic in a variety of ways. Beall, for example, has argued that logic just is the toolkit. This paper avoids making a stand on that issue and instead investigates reasons for thinking that, logic or not, the toolkit is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  28. Dialetheism and Modus Tollens.Ben Blumson & Theresa Helke - 2021 - The Reasoner 15 (4):30.
    Suppose that some contradictions are true – for example, that as I walk through the door, I’m inside and I’m not inside. Then we argue 'if I'm walking through the door, I'm inside; I'm not inside; therefore, I'm not walking through the door' is an invalid instance of modus tollens.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Twist-Valued Models for Three-valued Paraconsistent Set Theory.Walter Carnielli & Marcelo E. Coniglio - 2021 - Logic and Logical Philosophy 30 (2):187-226.
    Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. Strong Depth Relevance.Shay Allen Logan - 2021 - Australasian Journal of Logic 18 (6):645-656.
    Relevant logics infamously have the property that they only validate a conditional when some propositional variable is shared between its antecedent and consequent. This property has been strengthened in a variety of ways over the last half-century. Two of the more famous of these strengthenings are the strong variable sharing property and the depth relevance property. In this paper I demonstrate that an appropriate class of relevant logics has a property that might naturally be characterized as the supremum of these (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   9 citations  
  31. On Not Saying What We Shouldn't Have to Say.Shay Logan & Leach-Krouse Graham - 2021 - Australasian Journal of Logic 18 (5):524-568.
    In this paper we introduce a novel way of building arithmetics whose background logic is R. The purpose of doing this is to point in the direction of a novel family of systems that could be candidates for being the infamous R#1/2 that Meyer suggested we look for.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  32. L'ontologia della logica immaginaria. Aristotele e Vasil'ev a confronto.Niccolò Rossi - 2021 - Verifiche: Rivista Trimestrale di Scienze Umane 50 (1):147-176.
    The aim of this paper is to show how the invention of imaginary logic by Nikolaj A. Vasil’ev, forerunner of various logical and metaphysical theories appeared in the 20th century, is grounded on a revaluation of Aristotelian ontology. I shall introduce the reason why Aristotle believes that the study of the principle of contradiction is part of ontology (§ 2); I shall explain why Vasil’ev considers the law of contradiction an empirical law, and not a logical one (§ 3.1). I (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  33. A Hierarchy of Classical and Paraconsistent Logics.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Journal of Philosophical Logic 49 (1):93-120.
    In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   40 citations  
  34. A recovery operator for nontransitive approaches.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Review of Symbolic Logic 13 (1):80-104.
    In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   12 citations  
  35. On classical set-compatibility.Luis Felipe Bartolo Alegre - 2020 - El Jardín de Senderos Que Se Bifurcan y Confluyen: Filosofía, Lógica y Matemáticas.
    In this paper, I generalise the logical concept of compatibility into a broader set-theoretical one. The basic idea is that two sets are incompatible if they produce at least one pair of opposite objects under some operation. I formalise opposition as an operation ′ ∶ E → E, where E is the set of opposable elements of our universe U, and I propose some models. From this, I define a relation ℘U × ℘U × ℘U^℘U, which has (mutual) logical compatibility (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  36. 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   Download  
     
    Export citation  
     
    Bookmark  
  37. Recovery operators, paraconsistency and duality.Walter A. Carnielli, Marcelo E. Coniglio & Abilio Rodrigues Filho - 2020 - Logic Journal of the IGPL 28 (5):624-656.
    There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  38. Paraconsistent Logics for Knowledge Representation and Reasoning: advances and perspectives.Walter A. Carnielli & Rafael Testa - 2020 - 18th International Workshop on Nonmonotonic Reasoning.
    This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  39. First-order swap structures semantics for some Logics of Formal Inconsistency.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Journal of Logic and Computation 30 (6):1257-1290.
    The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  40. Non-deterministic algebraization of logics by swap structures1.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Logic Journal of the IGPL 28 (5):1021-1059.
    Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   12 citations  
  41. The Philosophy of Logic of Francisco Miró Quesada Cantuarias.Newton da Costa, José Carlos Cifuentes & Luis Felipe Bartolo Alegre - 2020 - South American Journal of Logic 6 (2):189-208.
    In this historical article, Newton da Costa discusses Francisco Miró Quesada’s philosophical ideas about logic. He discusses the topics of reason, logic, and action in Miró Quesada’s work, and in the final section he offers his critical view. In particular, he disagrees with Miró Quesada’s stance on the historicity of reason, for whom “reason is essentially absolute”, whereas for da Costa it “is being constructed in the course of history”. Da Costa concludes by emphasizing the importance of Miró Quesada’s theory (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  42. 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   Download  
     
    Export citation  
     
    Bookmark  
  43. Paracomplete logics which are dual to the paraconsistent logics L3A and L3B.Alejandro Hernández-Tello, Verónica Borja-Macı́as & Marcelo E. Coniglio - 2020 - LANMR 2019: Proceedings of the 12th Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning.
    In 2016 Beziau, introduce a more restricted concept of paraconsistency, namely the genuine paraconsistency. He calls genuine paraconsistent logic those logic rejecting φ, ¬φ |- ψ and |- ¬(φ ∧ ¬φ). In that paper the author analyzes, among the three-valued logics, which of these logics satisfy this property. If we consider multiple-conclusion consequence relations, the dual properties of those above mentioned are: |- φ, ¬φ, and ¬(ψ ∨ ¬ψ) |- . We call genuine paracomplete logics those rejecting the mentioned properties. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  44. Hyperdoctrines and the Ontology of Stratified Semantics.Shay Logan - 2020 - In Davide Fazio, Antonio Ledda & Francesco Paoli (eds.), Algebraic Perspectives on Substructural Logics. Springer International Publishing. pp. 169-193.
    I present a version of Kit Fine's stratified semantics for the logic RWQ and define a natural family of related structures called RW hyperdoctrines. After proving that RWQ is sound with respect to RW hyperdoctrines, we show how to construct, for each stratified model, a hyperdoctrine that verifies precisely the same sentences. Completeness of RWQ for hyperdoctrinal semantics then follows from completeness for stratified semantics, which is proved in an appendix. By examining the base category of RW hyperdoctrines, we find (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. 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   Download  
     
    Export citation  
     
    Bookmark  
  46. 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   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. 불일치, 결정 불가능, 임의, 계산 가능 및 불완전한 의미는 무엇입니까? '고델의 길 : 결정 불가능한 세상으로의 착취'에 대한 검토 (Godel's Way: Exploits into an undecidable world) by Gregory Chaitin, Francisco A Doria, Newton C.A. da Costa 160p (2012).Michael Richard Starks - 2020 - In 지구상의 지옥에 오신 것을 환영합니다 : 아기, 기후 변화, 비트 코인, 카르텔, 중국, 민주주의, 다양성, 역학, 평등, 해커, 인권, 이슬람, 자유주의, 번영, 웹, 혼돈, 기아, 질병, 폭력, 인공 지능, 전쟁. Las Vegas, NV USA: Reality Press. pp. 187-203.
    'Godel's Way'에서 세 명의 저명한 과학자들은 부정성, 불완전성, 임의성, 계산성 및 파라불일치와 같은 문제에 대해 논의합니다. 나는 완전히 다른 해결책을 가지고 두 가지 기본 문제가 있다는 비트 겐슈타인의 관점에서 이러한 문제에 접근. 과학적 또는 경험적 문제가 있다, 관찰 하 고 철학적 문제 언어를 어떻게 이해할 수 있는 (수학 및 논리에 특정 질문을 포함) 에 대 한 조사 해야 하는 세계에 대 한 사실,우리가 실제로 특정 컨텍스트에서 단어를 사용 하는 방법을 보고 하 여 결정 될 필요가. 우리가 어떤 언어 게임을 하고 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  48. Über Poppers Forderung nach Widerspruchlosigkeit.Luis Felipe Bartolo Alegre - 2019 - Felsefe Arkivi 51:31-36.
    Popper restricted his definition of falsifiability to consistent theories through what we may call his requirement of consistency. His main argument was that an inconsistent theory does not distinguish the sentences that corroborate it from those that contradict it, for all sentences follow from it. I propose to replace this requirement by the more basic requirement that the classes of potential corroborators and falsifiers of a theory do not overlap. This results not only in an unrestricted definition of falsifiability but (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Negation on the Australian Plan.Francesco Berto & Greg Restall - 2019 - Journal of Philosophical Logic 48 (6):1119-1144.
    We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   24 citations  
  50. Logics Based on Linear Orders of Contaminating Values.Roberto Ciuni, Thomas Macaulay Ferguson & Damian Szmuc - 2019 - Journal of Logic and Computation 29 (5):631–663.
    A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   11 citations  
1 — 50 / 106