Switch to: References

Add citations

You must login to add citations.
  1. Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.
    The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  • Logics and Falsifications: A New Perspective on Constructivist Semantics.Andreas Kapsner - 2014 - Cham, Switzerland: Springer.
    This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. The point of departure is the general constructivist line of argument that Michael Dummett has offered over the last decades. From there, the author examines the ways in which falsifications can enter into a constructivist semantics, displays the full spectrum of options, and discusses the logical systems most suitable to each one of them. While the idea of introducing falsifications into (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • New Directions in Paraconsistent Logic.Jean-Yves Beziau (ed.) - 2015 - New Delhi, India: Springer, India.
    The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. Reasoning with contradictions (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI).Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.) - 2014 - Cham, Switzerland: Springer.
    This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism and possible worlds semantics. The developments presented here focus on challenging problems in the specification of fundamental philosophical notions, as well as presenting new techniques and tools, thereby contributing to the development of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Falsification-Aware Semantics and Sequent Calculi for Classical Logic.Norihiro Kamide - 2022 - Journal of Philosophical Logic 51 (1):99-126.
    In this study, falsification-aware semantics and sequent calculi for first-order classical logic are introduced and investigated. These semantics and sequent calculi are constructed based on a falsification-aware setting for first-order Nelson constructive three-valued logic. In fact, these semantics and sequent calculi are regarded as those for a classical variant of N3. The completeness and cut-elimination theorems for the proposed semantics and sequent calculi are proved using Schütte’s method. Similar results for the propositional case are also obtained.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Proof-Theoretic Pluralism.Filippo Ferrari & Eugenio Orlandelli - 2019 - Synthese 198 (Suppl 20):4879-4903.
    Starting from a proof-theoretic perspective, where meaning is determined by the inference rules governing logical operators, in this paper we primarily aim at developing a proof-theoretic alternative to the model-theoretic meaning-invariant logical pluralism discussed in Beall and Restall. We will also outline how this framework can be easily extended to include a form of meaning-variant logical pluralism. In this respect, the framework developed in this paper—which we label two-level proof-theoretic pluralism—is much broader in scope than the one discussed in Beall (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Inter-Model Connectives and Substructural Logics.Igor Sedlár - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Springer. pp. 195-209.
    The paper provides an alternative interpretation of ‘pair points’, discussed in Beall et al., "On the ternary relation and conditionality", J. of Philosophical Logic 41(3), 595-612. Pair points are seen as points viewed from two different ‘perspectives’ and the latter are explicated in terms of two independent valuations. The interpretation is developed into a semantics using pairs of Kripke models (‘pair models’). It is demonstrated that, if certain conditions are fulfilled, pair models are validity-preserving copies of positive substructural models. This (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Restall’s Proof-Theoretic Pluralism and Relevance Logic.Teresa Kouri - 2016 - Erkenntnis 81 (6):1243-1252.
    Restall :279–291, 2014) proposes a new, proof-theoretic, logical pluralism. This is in contrast to the model-theoretic pluralism he and Beall proposed in Beall and Restall :475–493, 2000) and in Beall and Restall. What I will show is that Restall has not described the conditions on being admissible to the proof-theoretic logical pluralism in such a way that relevance logic is one of the admissible logics. Though relevance logic is not hard to add formally, one critical component of Restall’s pluralism is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In Kentaro Fujimoto, José Martínez Fernández, Henri Galinon & Theodora Achourioti (eds.), Unifying the Philosophy of Truth. Springer Verlag. pp. 339-354.
    In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting the basic framework (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logical Pluralism, Meaning-Variance, and Verbal Disputes.Ole Thomassen Hjortland - 2013 - Australasian Journal of Philosophy 91 (2):355-373.
    Logical pluralism has been in vogue since JC Beall and Greg Restall 2006 articulated and defended a new pluralist thesis. Recent criticisms such as Priest 2006a and Field 2009 have suggested that there is a relationship between their type of logical pluralism and the meaning-variance thesis for logic. This is the claim, often associated with Quine 1970, that a change of logic entails a change of meaning. Here we explore the connection between logical pluralism and meaning-variance, both in general and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   42 citations  
  • 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • The Original Sin of Proof-Theoretic Semantics.Francesco Paoli & Bogdan Dicher - 2018 - Synthese 198 (1):615-640.
    Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the association of a consequence relation (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  • On the Validity of the Definition of a Complement-Classifier.Mariusz Stopa - 2020 - Philosophical Problems in Science 69:111-128.
    It is well-established that topos theory is inherently connected with intuitionistic logic. In recent times several works appeared concerning so-called complement-toposes, which are allegedly connected to the dual to intuitionistic logic. In this paper I present this new notion, some of the motivations for it, and some of its consequences. Then, I argue that, assuming equivalence of certain two definitions of a topos, the concept of a complement-classifier is, at least in general and within the conceptual framework of category theory, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • 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.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Duality and Inferential Semantics.James Trafford - 2015 - Axiomathes 25 (4):495-513.
    It is well known that classical inferentialist semantics runs into problems regarding abnormal valuations. It is equally well known that the issues can be resolved if we construct the inference relation in a multiple-conclusion sequent calculus. The latter has been prominently developed in recent work by Restall, with the guiding interpretation that the valid sequent says that the simultaneous assertion of all of Γ with the denial of all of Δ is incoherent. However, such structures face significant interpretive challenges, and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Pragmatic and Dialogic Interpretations of Bi-Intuitionism. Part I.Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi & Alessandro Menti - 2014 - Logic and Logical Philosophy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Structuring Co-Constructive Logic for Proofs and Refutations.James Trafford - 2016 - Logica Universalis 10 (1):67-97.
    This paper considers a topos-theoretic structure for the interpretation of co-constructive logic for proofs and refutations following Trafford :22–40, 2015). It is notoriously tricky to define a proof-theoretic semantics for logics that adequately represent constructivity over proofs and refutations. By developing abstractions of elementary topoi, we consider an elementary topos as structure for proofs, and complement topos as structure for refutation. In doing so, it is possible to consider a dialogue structure between these topoi, and also control their relation such (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Original Sin of Proof-Theoretic Semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.
    Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the association of a consequence relation (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Proof and Truth. An Anti-Realist Perspective.Luca Tranchini - unknown
    In the first chapter, we discuss Dummett’s idea that the notion of truth arises from the one of the correctness of an assertion. We argue that, in a first-order language, the need of defining truth in terms of the notion of satisfaction, which is yielded by the presence of quantifiers, is structurally analogous to the need of a notion of truth as distinct from the one of correctness of an assertion. In the light of the analogy between predicates in Frege (...)
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • A Relationship Between Rauszer's HB Logic and Nelson's Logic'.Norihiro Kamide - 2004 - Bulletin of the Section of Logic 33 (4):237-249.
  • Co-Constructive Logic for Proofs and Refutations.James Trafford - 2014 - Studia Humana 3 (4):22-40.
    This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and its relation to falsity. It is well known both that intuitionism can not deal constructively with negative information, and that defining falsity by means of intuitionistic negation leads, under widely-held assumptions, to a justification of bivalence. For example, we do not want to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Natural Deduction for Bi-Intuitionistic Logic.Luca Tranchini - 2017 - Journal of Applied Logic 25:S72-S96.
    We present a multiple-assumption multiple-conclusion system for bi-intuitionistic logic. Derivations in the systems are graphs whose edges are labelled by formulas and whose nodes are labelled by rules. We show how to embed both the standard intuitionistic and dual-intuitionistic natural deduction systems into the proposed system. Soundness and completeness are established using translations with more traditional sequent calculi for bi-intuitionistic logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Natural Deduction for Dual-Intuitionistic Logic.Luca Tranchini - 2012 - Studia Logica 100 (3):631-648.
    We present a natural deduction system for dual-intuitionistic logic. Its distinctive feature is that it is a single-premise multiple-conclusions system. Its relationships with the natural deduction systems for intuitionistic and classical logic are discussed.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • First-Order Anti-Intuitionistic Logic with Apartness.Andreas B. M. Brunner - 2004 - Logic and Logical Philosophy 13:77-88.
    In this paper we will develop a first-order anti-intuitionistic logic withoutand with paraconsistent apartness. We will give a system of Hilbert-type counteraxioms, that we show to be correct and complete with respect to a deictic Kripkesemantics. Also we will illustrate some examples about objects being apart and notapart in some possible world.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  • LK, LJ, Dual Intuitionistic Logic, and Quantum Logic.Hiroshi Aoyama - 2004 - Notre Dame Journal of Formal Logic 45 (4):193-213.
    In this paper, we study the relationship among classical logic, intuitionistic logic, and quantum logic . These logics are related in an interesting way and are not far apart from each other, as is widely believed. The results in this paper show how they are related with each other through a dual intuitionistic logic . Our study is completely syntactical.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Constructive Negation, Implication, and Co-Implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.
    In this paper, a family of paraconsistent propositional logics with constructive negation, constructive implication, and constructive co-implication is introduced. Although some fragments of these logics are known from the literature and although these logics emerge quite naturally, it seems that none of them has been considered so far. A relational possible worlds semantics as well as sound and complete display sequent calculi for the logics under consideration are presented.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  • Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):347-367.
    We consider a logic which is semantically dual (in some precise sense of the term) to intuitionistic. This logic can be labeled as “falsification logic”: it embodies the Popperian methodology of scientific discovery. Whereas intuitionistic logic deals with constructive truth and non-constructive falsity, and Nelson's logic takes both truth and falsity as constructive notions, in the falsification logic truth is essentially non-constructive as opposed to falsity that is conceived constructively. We also briefly clarify the relationships of our falsification logic to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  • Logic May Be Simple. Logic, Congruence and Algebra.Jean-Yves Béziau - 1997 - Logic and Logical Philosophy 5:129-147.
    This paper is an attempt to clear some philosophical questions about the nature of logic by setting up a mathematical framework. The notion of congruence in logic is defined. A logical structure in which there is no non-trivial congruence relation, like some paraconsistent logics, is called simple. The relations between simplicity, the replacement theorem and algebraization of logic are studied (including MacLane-Curry’s theorem and a discussion about Curry’s algebras). We also examine how these concepts are related to such notions as (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • BookReview.Jean-Yves Beziau - 2012 - Studia Logica 100 (3):653-657.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Pragmatic Logics for Hypotheses and Evidence.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - forthcoming - Logic Journal of the IGPL.
    The present paper is devoted to present two pragmatic logics and their corresponding intended interpretations according to which an illocutionary act of hypothesis-making is justified by a scintilla of evidence. The paper first introduces a general pragmatic frame for assertions, expanded to hypotheses, ${\mathsf{AH}}$ and a hypothetical pragmatic logic for evidence ${\mathsf{HLP}}$. Both ${\mathsf{AH}}$ and ${\mathsf{HLP}}$ are extensions of the Logic for Pragmatics, $\mathcal{L}^P$. We compare ${\mathsf{AH}}$ and $\mathsf{HLP}$. Then, we underline the expressive and inferential richness of both systems in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Assertion and Hypothesis: A Logical Framework for Their Opposition Relations.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Logic Journal of the IGPL 25 (2):131-144.
    Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. On the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • A Modal Translation for Dual-Intuitionistic Logic.Yaroslav Shramko - 2016 - Review of Symbolic Logic 9 (2):251-265.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Paraconsistent Logic Z. A Possible Solution to Jaśkowski's Problem.Jean-Yves Béziau - 2006 - Logic and Logical Philosophy 15 (2):99-111.
    We present a paraconsistent logic, called Z, based on an intuitive possible worlds semantics, in which the replacement theorem holds. We show how to axiomatize this logic and prove the completeness theorem.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • First-Order da Costa Logic.Graham Priest - 2011 - Studia Logica 97 (1):183 - 198.
    Priest (2009) formulates a propositional logic which, by employing the worldsemantics for intuitionist logic, has the same positive part but dualises the negation, to produce a paraconsistent logic which it calls 'Da Costa Logic'. This paper extends matters to the first-order case. The paper establishes various connections between first order da Costa logic, da Costa's own Cω, and classical logic. Tableau and natural deductions systems are provided and proved sound and complete.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Proof Theory and Mathematical Meaning of Paraconsistent C-Systems.Paolo Gentilini - 2011 - Journal of Applied Logic 9 (3):171-202.
  • Weakening and Extending {Mathbb{Z}}.Mauricio Osorio, J. L. Carballido, C. Zepeda & J. A. Castellanos - 2015 - Logica Universalis 9 (3):383-409.
    By weakening an inference rule satisfied by logic daC, we define a new paraconsistent logic, which is weaker than logic \ and G′ 3, enjoys properties presented in daC like the substitution theorem, and possesses a strong negation which makes it suitable to express intutionism. Besides, daC ' helps to understand the relationships among other logics, in particular daC, \ and PH1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations