Switch to: References

Add citations

You must login to add citations.
  1. Scrutinizing Anti-Exceptionalism. Mansooreh - manuscript
    In this paper, I argue against present accounts of anti-exceptionalism about logic, while preserving some of their insights. I will do that by offering objections against the anti-exceptionalists’ claims that revisions happen in the same way in sciences and in logic, and that the methodology of logic involves abduction simpliciter. I propose a new account of theory divergence for logic with anti-exceptionalist aspects which also preserves exceptionalism on some level while considering the role of metalogic in the exceptionalist/anti-exceptionalist debate.
    Download  
     
    Export citation  
     
    Bookmark  
  • How is the Asymmetry Between the Open Future and the Fixed Past to Be Characterized?Vincent Grandjean - 2019 - Synthese (3):1-24.
    A basic intuition we have regarding the nature of time is that the future is open whereas the past is fixed. For example, whereas we think that there are things we can do to affect how the future will unfold, we think that there are not things we can do to affect how the past unfolded. However, although this intuition is largely shared, it is not a straightforward matter to determine the nature of the asymmetry it reflects. So, in this (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Epistemic Logic: All Knowledge is Based on Our Experience, and Epistemic Logic is the Cognitive Representation of Our Experiential Confrontation in Reality.Dan Nesher - 2021 - Semiotica 2021 (238):153-179.
    Epistemic Logic is our basic universal science, the method of our cognitive confrontation in reality to prove the truth of our basic cognitions and theories. Hence, by proving their true representation of reality we can self-control ourselves in it, and thus refuting the Berkeleyian solipsism and Kantian a priorism. The conception of epistemic logic is that only by proving our true representation of reality we achieve our knowledge of it, and thus we can prove our cognitions to be either true (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Classifying material implications over minimal logic.Hannes Diener & Maarten McKubre-Jordens - 2020 - Archive for Mathematical Logic 59 (7-8):905-924.
    The so-called paradoxes of material implication have motivated the development of many non-classical logics over the years, such as relevance logics, paraconsistent logics, fuzzy logics and so on. In this note, we investigate some of these paradoxes and classify them, over minimal logic. We provide proofs of equivalence and semantic models separating the paradoxes where appropriate. A number of equivalent groups arise, all of which collapse with unrestricted use of double negation elimination. Interestingly, the principle ex falso quodlibet, and several (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • The Force of Truth1.Alex Blum - 2011 - Philosophical Investigations 34 (4):393-395.
    The theme of the paper is that what is true cannot be false and conversely. This position was anticipated by Aristotle in De Interpretatione and by G. H. von Wright. The latter calls it “a truth of the logic of relative modalities.”Aristotle has been taken to task by Susan Haack and others for arguing fallaciously from the Principle of Bivalence, that every statement is either true or false, to fatalism. The implication holds, but we show that it is unreasonable to (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Correction to: Variations on intra-theoretical logical pluralism: internal versus external consequence.Bogdan Dicher - 2020 - Philosophical Studies 177 (3):687-687.
    In the original publication of the article, in Definition 4, the sixth line which reads as.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Variations on Intra-Theoretical Logical Pluralism: Internal Versus External Consequence.Bogdan Dicher - 2020 - Philosophical Studies 177 (3):667-686.
    Intra-theoretical logical pluralism is a form of meaning-invariant pluralism about logic, articulated recently by Hjortland :355–373, 2013). This version of pluralism relies on it being possible to define several distinct notions of provability relative to the same logical calculus. The present paper picks up and explores this theme: How can a single logical calculus express several different consequence relations? The main hypothesis articulated here is that the divide between the internal and external consequence relations in Gentzen systems generates a form (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Foreword: Three-Valued Logics and Their Applications.Pablo Cobreros, Paul Égré, David Ripley & Robert van Rooij - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):1-11.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On a Three-Valued Logic with Blamey’s Interjunction for the Formal Description of Atomic Transactions.Mateusz M. Radzki - 2020 - Axiomathes 30 (2):177-191.
    The article demonstrates that to describe the property of atomicity of transactions in database systems, we need a three-valued logic with propositional connective characterized in the same way as Blamey’s interjunction. However, the article explains that since Blamey’s partial logic with interjunction is a logic without tautologies, it does not satisfy some salient conditions of being a logic of atomic transactions. The article introduces a logic of the considered kind, and provides an example of the formal exposition of the case (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • On Logic in the Law: "Something, but Not All".Susan Haack - 2007 - Ratio Juris 20 (1):1-31.
    In 1880, when Oliver Wendell Holmes (later to be a Justice of the U.S. Supreme Court) criticized the logical theology of law articulated by Christopher Columbus Langdell (the first Dean of Harvard Law School), neither Holmes nor Langdell was aware of the revolution in logic that had begun, the year before, with Frege's Begriffsschrift. But there is an important element of truth in Holmes's insistence that a legal system cannot be adequately understood as a system of axioms and corollaries; and (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Logiczne i filozoficzne problemy związane z logiką rozmytą.Ernest Januszewski - 2007 - Roczniki Filozoficzne 55 (1):109-127.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Logic is a Moral Science.Hartley Slater - 2015 - Philosophy 90 (4):581-591.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Necessity of Tomorrow's Sea Battle.Jeremy Byrd - 2010 - Southern Journal of Philosophy 48 (2):160-176.
    In chapter 9 of De Interpretatione, Aristotle offers a defense of free will against the threat of fatalism. According to the traditional interpretation, Aristotle concedes the validity of the fatalist's arguments and then proceeds to reject the Principle of Bivalence in order to avoid the fatalist's conclusion. Assuming that the traditional interpretation is right on this point, it remains to be seen why Aristotle felt compelled to reject such an intuitive semantic principle rather than challenge the fatalist's inference from truth (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Change of Logic, Change of Meaning.Jared Warren - 2018 - Philosophy and Phenomenological Research 96 (2):421-442.
    Some philosophers have argued that putative logical disagreements aren't really disagreements at all since when you change your logic you thereby change the meanings of your logical constants. According to this picture classical logicians and intuitionists don't really disagree, they just mean different things by terms like “not” and “or”. Quine gave an infamous “translation argument” for this view. Here I clarify the change of logic, change of meaning (CLCM) thesis, examine and find fault with Quine's translation argument for the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Truth Values.Yaroslav Shramko - 2010 - Stanford Encyclopedia of Philosophy.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations