Year:

Forthcoming articles
  1. Eduardo Barrio, Lucas Rosenblatt & Diego Tajer (forthcoming). The Logics of Strict-Tolerant Logic. Journal of Philosophical Logic:1-21.
    Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the Liar and Curry. Recently, Cobreros, Egré, Ripley and van Rooij have put forward an approach based on a non-transitive notion of consequence which is suitable to deal with semantic paradoxes while having a transparent truth predicate together with classical logic. Nevertheless, there are some interesting issues concerning the set of metainferences validated by this (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. André Bazzoni (forthcoming). Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts. Journal of Philosophical Logic:1-10.
    The initial goal of the present paper is to reveal a mistake committed by Hintikka in a recent paper on the foundations of mathematics. His claim that independence-friendly logic (IFL) is the real logic of mathematics is supported in that article by an argument relying on uniformity concepts taken from real analysis. I show that the central point of his argument is a simple logical mistake. Second and more generally, I conclude, based on the previous remarks and on another standard (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Nils Kürbis (forthcoming). Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality. Journal of Philosophical Logic:1-15.
    This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  4. Gabriel Oak Rabin & Brian Rabern (forthcoming). Well Founding Grounding Grounding. Journal of Philosophical Logic:1-31.
    Those who wish to claim that all facts about grounding are themselves grounded (“the meta-grounding thesis”) must defend against the charge that such a claim leads to infinite regress and violates the well-foundedness of ground. In this paper, we defend. First, we explore three distinct but related notions of “well-founded”, which are often conflated, and three corresponding notions of infinite regress. We explore the entailment relations between these notions. We conclude that the meta-grounding thesis need not lead to tension with (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Sean Walsh (forthcoming). Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic. Journal of Philosophical Logic:1-50.
    This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church's intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill paradox. The models used to establish this consistency also model other axioms (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Jude Brighton (forthcoming). Cut Elimination for GLS Using the Terminability of its Regress Process. Journal of Philosophical Logic:1-7.
    The system GLS, which is a modal sequent calculus system for the provability logic GL, was introduced by G. Sambin and S. Valentini in Journal of Philosophical Logic, 11, 311–342, , and in 12, 471–476, , the second author presented a syntactic cut-elimination proof for GLS. In this paper, we will use regress trees in order to present a simpler and more intuitive syntactic cut derivability proof for GLS1, which is a variant of GLS without the cut rule.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Massimiliano Carrara & Enrico Martino (forthcoming). The Mereological Foundation of Megethology. Journal of Philosophical Logic:1-9.
    In Mathematics is megethology . Philosophia Mathematica, 1, 3–23) David K. Lewis proposes a structuralist reconstruction of classical set theory based on mereology. In order to formulate suitable hypotheses about the size of the universe of individuals without the help of set-theoretical notions, he uses the device of Boolos’ plural quantification for treating second order logic without commitment to set-theoretical entities. In this paper we show how, assuming the existence of a pairing function on atoms, as the unique assumption non (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Carlo Nicolai (forthcoming). A Note on Typed Truth and Consistency Assertions. Journal of Philosophical Logic:1-31.
    In the paper we investigate typed axiomatizations of the truth predicate in which the axioms of truth come with a built-in, minimal and self-sufficient machinery to talk about syntactic aspects of an arbitrary base theory. Expanding previous works of the author and building on recent works of Albert Visser and Richard Heck, we give a precise characterization of these systems by investigating the strict relationships occurring between them, arithmetized model constructions in weak arithmetical systems and suitable set existence axioms. The (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Eric Pacuit (forthcoming). On the Use of Logic in Game Theory. Journal of Philosophical Logic:1-13.
    IntroductionA quick glance at the opening paragraphs in many of the classic logic textbooks reveals a common view: Logical methods highlight the reasoning patterns of a single agent engaged in some form of mathematical thinking.A sampling from my bookshelf: Shoenfield’s Mathematical Logic: “Logic is the study of reasoning; and mathematical logic is the study of the type of reasoning done by mathematicians”; Enderton’s A Mathematical Introduction of Logic: “Symbolic logic is a mathematical model of deductive thought”; and Chiswell and Hodges (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. H. Andréka, J. van Benthem & I. Németi (forthcoming). Modal Logics and Bounded First-Order Fragments'. Journal of Philosophical Logic.
     
    My bibliography  
     
    Export citation  
  11. Alexandru Baltag & Sonja Smets (forthcoming). Logics of Informational Interactions. Journal of Philosophical Logic:1-13.
    The pre-eminence of logical dynamics, over a static and purely propositional view of Logic, lies at the core of a new understanding of both formal epistemology and the logical foundations of quantum mechanics. Both areas appear at first sight to be based on purely static propositional formalisms, but in our view their fundamental operators are essentially dynamic in nature. Quantum logic can be best understood as the logic of physically-constrained informational interactions between subsystems of a global physical system. Similarly, epistemic (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Mathieu Beirlaen, Christian Strasser & Joke Meheus (forthcoming). An Inconsistency-Adaptive Deontic Logic for Normative Conflicts. Journal of Philosophical Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Katalin Bimbó (forthcoming). Current Trends in Substructural Logics. Journal of Philosophical Logic:1-16.
    This paper briefly overviews some of the results and research directions. In the area of substructural logics from the last couple of decades. Substructural logics are understood here to include relevance logics, linear logic, variants of Lambek calculi and some other logics that are motivated by the idea of omitting some structural rules or making other structural changes in LK, the original sequent calculus for classical logic.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Rachael Briggs (forthcoming). Foundations of Probability. Journal of Philosophical Logic:1-16.
    The foundations of probability are viewed through the lens of the subjectivist interpretation. This article surveys conditional probability, arguments for probabilism, probability dynamics, and the evidential and subjective interpretations of probability.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Proietti Carlo (forthcoming). Pluralistic Ignorance and Collective Belief: A DDL Approach. Journal of Philosophical Logic.
  16. Vincenzo Crupi (forthcoming). Inductive Logic. Journal of Philosophical Logic:1-10.
    The current state of inductive logic is puzzling. Survey presentations are recurrently offered and a very rich and extensive handbook was entirely dedicated to the topic just a few years ago [23]. Among the contributions to this very volume, however, one finds forceful arguments to the effect that inductive logic is not needed and that the belief in its existence is itself a misguided illusion , while other distinguished observers have eventually come to see at least the label as “slightly (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Kenny Easwaran (forthcoming). Formal Epistemology. Journal of Philosophical Logic:1-12.
    Doxastic TheoriesThe application of formal tools to questions related to epistemology is of course not at all new. However, there has been a surge of interest in the field now known as “formal epistemology” over the past decade, with two annual conference series and an annual summer school at Carnegie Mellon University, in addition to many one-off events devoted to the field. A glance at the programs of these series illustrates the wide-ranging set of topics that have been grouped under (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Paul Égré (forthcoming). Vagueness: Why Do We Believe in Tolerance? Journal of Philosophical Logic:1-17.
    The tolerance principle, the idea that vague predicates are insensitive to sufficiently small changes, remains the main bone of contention between theories of vagueness. In this paper I examine three sources behind our ordinary belief in the tolerance principle, to establish whether any of them might give us a good reason to revise classical logic. First, I compare our understanding of tolerance in the case of precise predicates and in the case of vague predicates. While tolerance in the case of (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Kit Fine (forthcoming). Angellic Content. Journal of Philosophical Logic:1-28.
    I provide a truthmaker semantics for Angell’s system of analytic implication and establish completeness.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. Andreas Fjellstad (forthcoming). Naive Modus Ponens and Failure of Transitivity. Journal of Philosophical Logic:1-8.
    In the recent paper “Naive modus ponens”, Zardini presents some brief considerations against an approach to semantic paradoxes that rejects the transitivity of entailment. The problem with the approach is, according to Zardini, that the failure of a meta-inference closely resembling modus ponens clashes both with the logical idea of modus ponens as a valid inference and the semantic idea of the conditional as requiring that a true conditional cannot have true antecedent and false consequent. I respond on behalf of (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Alberto Gatto (forthcoming). Axiomatization of a Branching Time Logic with Indistinguishability Relations. Journal of Philosophical Logic:1-28.
    Trees with indistinguishability relations provide a semantics for a temporal language “composed by” the Peircean tense operators and the Ockhamist modal operator. In this paper, a finite axiomatization with a non standard rule for this language interpreted over bundled trees with indistinguishability relations is given. This axiomatization is proved to be sound and strongly complete.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Norbert Gratzl (forthcoming). Incomplete Symbols — Definite Descriptions Revisited. Journal of Philosophical Logic:1-18.
    We investigate incomplete symbols, i.e. definite descriptions with scope-operators. Russell famously introduced definite descriptions by contextual definitions; in this article definite descriptions are introduced by rules in a specific calculus that is very well suited for proof-theoretic investigations. That is to say, the phrase ‘incomplete symbols’ is formally interpreted as to the existence of an elimination procedure. The last section offers semantical tools for interpreting the phrase ‘no meaning in isolation’ in a formal way.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Leon Horsten (forthcoming). One Hundred Years of Semantic Paradox. Journal of Philosophical Logic:1-15.
    This article contains an overview of the main problems, themes and theories relating to the semantic paradoxes in the twentieth century. From this historical overview I tentatively draw some lessons about the way in which the field may evolve in the next decade.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. Leon Horsten & Øystein Linnebo (forthcoming). Term Models for Abstraction Principles. Journal of Philosophical Logic:1-23.
    Kripke’s notion of groundedness plays a central role in many responses to the semantic paradoxes. Can the notion of groundedness be brought to bear on the paradoxes that arise in connection with abstraction principles? We explore a version of grounded abstraction whereby term models are built up in a ‘grounded’ manner. The results are mixed. Our method solves a problem concerning circularity and yields a ‘grounded’ model for the predicative theory based on Frege’s Basic Law V. However, the method is (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. Rosalie Iemhoff (forthcoming). On Rules. Journal of Philosophical Logic:1-15.
    This paper contains a brief overview of the area of admissible rules with an emphasis on results about intermediate and modal propositional logics. No proofs are given but many references to the literature are provided.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Makoto Kikuchi & Taishi Kurahashi (forthcoming). Liar-Type Paradoxes and the Incompleteness Phenomena. Journal of Philosophical Logic:1-18.
    We define a liar-type paradox as a consistent proposition in propositional modal logic which is obtained by attaching boxes to several subformulas of an inconsistent proposition in classical propositional logic, and show several famous paradoxes are liar-type. Then we show that we can generate a liar-type paradox from any inconsistent proposition in classical propositional logic and that undecidable sentences in arithmetic can be obtained from the existence of a liar-type paradox. We extend these results to predicate logic and discuss Yablo’s (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. Franz V. Kutschera (forthcoming). Global Supervenience and Doxastic Logic', to Appear in The. Journal of Philosophical Logic.
     
    My bibliography  
     
    Export citation  
  28. Franz V. Kutschera (forthcoming). Causation', to Appear in The. Journal of Philosophical Logic.
     
    My bibliography  
     
    Export citation  
  29. José M. Méndez, Gemma Robles & Francisco Salto (forthcoming). An Interpretation of Łukasiewicz’s 4-Valued Modal Logic. Journal of Philosophical Logic:1-15.
    A simple, bivalent semantics is defined for Łukasiewicz’s 4-valued modal logic Łm4. It is shown that according to this semantics, the essential presupposition underlying Łm4 is the following: A is a theorem iff A is true conforming to both the reductionist and possibilist theses defined as follows: rt: the value of modal formulas is equivalent to the value of their respective argument iff A is true , etc.); pt: everything is possible. This presupposition highlights and explains all oddities arising in (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. Thomas Müller (forthcoming). Time and Determinism. Journal of Philosophical Logic:1-12.
    This paper gives an overview of logico-philosophical issues of time and determinism. After a brief review of historical roots and 20th century developments, three current research areas are discussed: the definition of determinism, space-time indeterminism, and the temporality of individual things and their possibilities.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. Reinhard Muskens & Stefan Wintein (forthcoming). Analytic Tableaux for All of SIXTEEN 3. Journal of Philosophical Logic:1-15.
    In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t , ⊧ f , ⊧ i , and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Gillman Payette (forthcoming). Getting the Most Out of Inconsistency. Journal of Philosophical Logic:1-20.
    In this paper we look at two classic methods of deriving consequences from inconsistent premises: Rescher-Manor and Schotch-Jennings. The overall goal of the project is to confine the method of drawing consequences from inconsistent sets to those that do not require reference to any information outside of very general facts about the set of premises. Methods in belief revision often require imposing assumptions on premises, e.g., which are the important premises, how the premises relate in non-logical ways. Such assumptions enable (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. Yohan Pelosse (forthcoming). The Intrinsic Quantum Nature of Nash Equilibrium Mixtures. Journal of Philosophical Logic:1-40.
    In classical game theory the idea that players randomize between their actions according to a particular optimal probability distribution has always been viewed as puzzling. In this paper, we establish a fundamental connection between n-person normal form games and quantum mechanics , which eliminates the conceptual problems of these random strategies. While the two theories have been regarded as distinct, our main theorem proves that if we do not give any other piece of information to a player in a game, (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. Gabriella Pigozzi (forthcoming). The Logic of Group Decisions: Judgment Aggregation. Journal of Philosophical Logic:1-15.
    Judgment aggregation studies how individual opinions on a given set of propositions can be aggregated to form a consistent group judgment on the same propositions. Despite the simplicity of the problem, seemingly natural aggregation procedures fail to return consistent collective outcomes, leading to what is now known as the doctrinal paradox. The first occurrences of the paradox were discovered in the legal realm. However, the interest of judgment aggregation is much broader and extends to political philosophy, epistemology, social choice theory, (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. Vít Punčochář (forthcoming). A Generalization of Inquisitive Semantics. Journal of Philosophical Logic:1-30.
    This paper introduces a generalized version of inquisitive semantics, denoted as GIS, and concentrates especially on the role of disjunction in this general framework. Two alternative semantic conditions for disjunction are compared: the first one corresponds to the so-called tensor operator of dependence logic, and the second one is the standard condition for inquisitive disjunction. It is shown that GIS is intimately related to intuitionistic logic and its Kripke semantics. Using this framework, it is shown that the main results concerning (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. David Ripley (forthcoming). Paraconsistent Logic. Journal of Philosophical Logic:1-10.
    In some logics, anything whatsoever follows from a contradiction; call these logics explosive. Paraconsistent logics are logics that are not explosive. Paraconsistent logics have a long and fruitful history, and no doubt a long and fruitful future. To give some sense of the situation, I’ll spend Section 1 exploring exactly what it takes for a logic to be paraconsistent. It will emerge that there is considerable open texture to the idea. In Section 2, I’ll give some examples of techniques for (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. Daniel Rothschild (forthcoming). Conditionals and Propositions in Semantics. Journal of Philosophical Logic:1-11.
    IntroductionThe project of giving an account of meaning in natural languages goes largely by assigning truth-conditional content to sentences. I will call the view that sentences have truth-conditional content propositionalism as it is common to identify the truth-conditional content of a sentence with the proposition it expresses. This content plays an important role in our explanations of the speech-acts, attitude ascriptions, and the meaning of sentences when they appear as parts of longer sentences. Much work in philosophy of language and (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. Gillian Russell (forthcoming). The Justification of the Basic Laws of Logic. Journal of Philosophical Logic:1-11.
    Take a correct sequent of formal logic, perhaps a simple logical truth, like the law of excluded middle, or something with premises, like disjunctive syllogism, but basically a claim of the form \.Γ can be empty. If you don’t like my examples, feel free to choose your own, everything I have to say should apply to those as well. Such a sequent attributes the properties of logical truth or logical consequence to a schematic sentence or argument. This paper aims to (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. D. Samet (forthcoming). On the Triviality of High-Order Beliefs. Journal of Philosophical Logic.
     
    My bibliography  
     
    Export citation  
  40. Katrin Schulz (forthcoming). Conditionals From a Linguistic Point of View: Two Case Studies. Journal of Philosophical Logic:1-12.
    IntroductionThe meaning of conditional sentences bears an intrinsic relation to a number of central philosophical problems, like the nature of reasoning, the possibility of knowledge, and the status of laws of nature. This has incited philosophers to spend a lot of time working on conditionals and to fill countless bookshelves with inspiring and sophisticated theories on their meaning. However, the overall question of how to approach the meaning of conditionals is still open. There are many different theories on the market, (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. Christine Schurz (forthcoming). Contextual-Hierarchical Reconstructions of the Strengthened Liar Problem. Journal of Philosophical Logic:1-34.
    In this paper we shall introduce two types of contextual-hierarchical approaches to the strengthened liar problem. These approaches, which we call the ‘standard’ and the ‘alternative’ ch-reconstructions of the strengthened liar problem, differ in their philosophical view regarding the nature of truth and the relation between the truth predicates T r n and T r n+1 of different hierarchy-levels. The basic idea of the standard ch-reconstruction is that the T r n+1-schema should hold for all sentences of \ . In (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. Eric Swanson (forthcoming). The Application of Constraint Semantics to the Language of Subjective Uncertainty. Journal of Philosophical Logic:1-26.
    This paper develops a compositional, type-driven constraint semantic theory for a fragment of the language of subjective uncertainty. In the particular application explored here, the interpretation function of constraint semantics yields not propositions but constraints on credal states as the semantic values of declarative sentences. Constraints are richer than propositions in that constraints can straightforwardly represent assessments of the probability that the world is one way rather than another. The richness of constraints helps us model communicative acts in essentially the (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Jason Turner (forthcoming). Forthcoming.“Logic and Ontological Pluralism.”. Journal of Philosophical Logic.
     
    My bibliography  
     
    Export citation  
  44. J. van Eijck & F. J. de Vries (forthcoming). Reasoning About Update Logic', Report CS-R9312, Centre for Mathematics and Computer Science, Amsterdam. Journal of Philosophical Logic.
     
    My bibliography  
     
    Export citation  
  45. Jonathan Weisberg (forthcoming). You’Ve Come a Long Way, Bayesians. Journal of Philosophical Logic:1-18.
    Forty years ago, Bayesian philosophers were just catching a new wave of technical innovation, ushering in an era of scoring rules, imprecise credences, and infinitesimal probabilities. Meanwhile, down the hall, Gettier’s 1963 paper [28] was shaping a literature with little obvious interest in the formal programs of Reichenbach, Hempel, and Carnap, or their successors like Jeffrey, Levi, Skyrms, van Fraassen, and Lewis. And how Bayesians might accommodate the discourses of full belief and knowledge was but a glimmer in the eye (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  46. Malte Willer (forthcoming). An Update on Epistemic Modals. Journal of Philosophical Logic:1-15.
    IntroductionEpistemic modals—modals that express what, in light of some body of information, might or must be the case—are a prominent topic in the literature on natural language semantics, with wide-ranging implications for issues in philosophy of language and philosophical logic. Considerations about the role that epistemic might and must play in discourse and reasoning have led to the development of several important alternatives to classical possible worlds semantics for natural language modal expressions. This classical approach, going back to the seminal (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. Ming Xu (forthcoming). Combinations of Stit with Ought and Know. Journal of Philosophical Logic:1-27.
    This paper presents a short survey of recent developments in stit theories, with an emphasis on combinations of stit and deontic logic, and those of stit and epistemic logic.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. Byeong-Uk Yi (forthcoming). The Language and Logic of Plurals. Journal of Philosophical Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. Richard Zach (forthcoming). Natural Deduction for the Sheffer Stroke and Peirce’s Arrow. Journal of Philosophical Logic:1-15.
    Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. Tore Fjetland Øgaard (forthcoming). Paths to Triviality. Journal of Philosophical Logic:1-40.
    This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → ⊩B → trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ∧) → and → ¬A, the fusion connective and the Ackermann constant. An overview over various ways to formulate Leibniz’s law in non-classical logics and two new triviality proofs (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
 Previous issues
  
Next issues