Switch to: References

Add citations

You must login to add citations.
  1. A Modality Called ‘Negation’.Francesco Berto - 2015 - Mind 124 (495):761-793.
    I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • On paraconsistent deontic logic.Newton C. A. Costa & Walter A. Carnielli - 1986 - Philosophia 16 (3-4):293-305.
    This paper develops the first deontic logic in the context of paraconsistent logics.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A Brief Prehistory of Philosophical Paraconsistency.William H. F. Altman - 2010 - Principia: An International Journal of Epistemology 14 (1):1-14.
    In celebration of Newton da Costa’s place in the history of paraconsistency, this paper considers the use and abuse of deliberate self-contradiction. Beginning with Parmenides, developed by Plato, and continued by Cicero, an ancient philosophical tradition used deliberately paraconsistent discourses to reveal the truth. In modern times, decisionism has used deliberate self-contradiction against Judeo-Christian revelation. • DOI:10.5007/1808-1711.2010v14n1p1.
    Download  
     
    Export citation  
     
    Bookmark  
  • A Dialectic Contra-Classical Logic.Nissim Francez - 2023 - Logica Universalis 17 (2):221-229.
    The paper presents a contra-classical dialectic logic, inspired and motivated by Hegel s dialectics. Its axiom schemes are 0.1 Thus, in a sense, this dialectic logic is a kind of “mirror image“ of connexive logic. The informal interpretation of ‘ $$\rightarrow $$ ’ emerging from the above four axiom schemes is not of a conditional (or implication); rather, it is the relation of determination in the presence of truth-value gaps: $$\varphi \rightarrow \psi $$ is read as $$\varphi $$ determines $$\psi (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Birth of Dialetheism.Elena Ficara - 2021 - History and Philosophy of Logic 42 (3):281-296.
    The aim of this paper is to lay bare the roots of dialetheism in discussions about dialectics and dialectical logic at the time of the first development of paraconsistent logics. In other words, th...
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • To be and not to be: Dialectical tense logic.Graham Priest - 1982 - Studia Logica 41 (2-3):249 - 268.
    The paper concerns time, change and contradiction, and is in three parts. The first is an analysis of the problem of the instant of change. It is argued that some changes are such that at the instant of change the system is in both the prior and the posterior state. In particular there are some changes from p being true to p being true where a contradiction is realized. The second part of the paper specifies a formal logic which accommodates (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • On paraconsistent deontic logic.Newton C. A. Da Costa & Walter A. Carnielli - 1986 - Philosophia 16 (3-4):293-305.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Logic and the consistency of the world.Joseph Wayne Smith - 1986 - Erkenntnis 24 (2):105 - 114.
    The claim that nature is self-consistent has recently been contested by a number of paraconsistent logicians. In this paper I will survey the arguments which paraconsistent logicians have presented for the thesis that nature is actually inconsistent. My conclusion is that these arguments all fail.The paraconsistency programme has to date been concerned primarily with outlining the philosophical inadequacy of classical logic, and detailed discussions of issues bearing upon the philosophical adequacy of the paraconsistency position itself are not to be found (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Modalization and demodalization: On the phenomenology of negation.Kyle Banick - forthcoming - European Journal of Philosophy.
    Negation is widely thought to be uniquely captured by the usual extensional Boolean connective in the setting of classical logic. However, there has been recent interest in a modal approach to negation. This essay examines the problem of modal negation with an Husserlian phenomenological lens. I argue that the Husserlian approach to negation contains an ambiguity which points to a pluralism about negation. On this view, negation begins its life as a modal notion with nonclassical properties, and the question of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Variations on da Costa C systems and dual-intuitionistic logics I. analyses of cω and CCω.Richard Sylvan - 1990 - Studia Logica 49 (1):47-65.
    Da Costa's C systems are surveyed and motivated, and significant failings of the systems are indicated. Variations are then made on these systems in an attempt to surmount their defects and limitations. The main system to emerge from this effort, system CC , is investigated in some detail, and dual-intuitionistic semantical analyses are developed for it and surrounding systems. These semantics are then adapted for the original C systems, first in a rather unilluminating relational fashion, subsequently in a more illuminating (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations