-
320Routes to relevance: Philosophies of relevant logicsPhilosophy Compass 19 (2). 2024.Relevant logics are a family of non-classical logics characterized by the behavior of their implication connectives. Unlike some other non-classical logics, such as intuitionistic logic, there are multiple philosophical views motivating relevant logics. Further, different views seem to motivate different logics. In this article, we survey five major views motivating the adoption of relevant logics: Use Criterion, sufficiency, meaning containment, theory construction, and truthmaking. We highligh…Read more
-
316Variable-Sharing as RelevanceIn Andrew Tedder, Shawn Standefer & Igor Sedlar (eds.), New Directions in Relevant Logic, Springer. 2024.
-
23New Directions in Relevant Logic (edited book)Springer. 2024.This book brings together contemporary work on relevant logics to showcase the recent progress of the field and set the stage for future research. The papers in the volume contribute to the formal and philosophical development of the field. They include contributions from different traditions and approaches ranging from philosophical discussions of the foundations of relevant, and related kinds of non-classical, logic to mathematical work concerning open technical problems in the field. This is …Read more
-
282Hyperintensionality in Relevant LogicsIn Natasha Alechina, Andreas Herzig & Fei Liang (eds.), Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings, Springer Nature Switzerland. pp. 238-250. 2023.In this article, we present a definition of a hyperintensionality appropriate to relevant logics. We then show that relevant logics are hyperintensional in this sense, drawing consequences for other non-classical logics, including HYPE and some substructural logics. We further prove results concerning extensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these results.
-
41Logical methodsThe MIT Press. 2023.An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well.
-
39Getting some (non-classical) closure with justification logicAsian Journal of Philosophy 2 (2): 1-25. 2023.Justification logics provide frameworks for studying the fine structure of evidence and justification. Traditionally, these logics do not impose any closure requirements on justification. In this paper, we argue that for some applications they should subject justification to closure under some variety of logical consequence. Specifically, we argue, building on ideas from Beall, that the non-classical logic FDE offers a particularly attractive notion of consequence for this purpose and define a j…Read more
-
22A Substructural Approach to Explicit Modal LogicJournal of Logic, Language and Information 32 (2). 2023.In this paper, we build on earlier work by Standefer (Logic J IGPL 27(4):543–569, 2019) in investigating extensions of substructural logics, particularly relevant logics, with the machinery of justification logics. We strengthen a negative result from the earlier work showing a limitation with the canonical model method of proving completeness. We then show how to enrich the language with an additional operator for implicit commitment to circumvent these problems. We then extend the logics with …Read more
-
72Weak relevant justification logicsJournal of Logic and Computation 33 (7). 2023.This paper will develop ideas from [44]. We will generalize their work in two directions. First, we provide axioms for justification logics over the base logic B and show that the logic permits a proof of the internalization theorem. Second, we provide alternative frames that more closely resemble the standard versions of the ternary relational frames, as well as a more general approach to the completeness proof. We prove that soundness and completeness hold for justification logics over a wide …Read more
-
262Collection Frames for Distributive Substructural LogicsReview of Symbolic Logic 16 (4): 1120-1157. 2023.We present a new frame semantics for positive relevant and substructural propositional logics. This frame semantics is both a generalisation of Routley–Meyer ternary frames and a simplification of them. The key innovation of this semantics is the use of a single accessibility relation to relate collections of points to points. Different logics are modeled by varying the kinds of collections used: they can be sets, multisets, lists or trees. We show that collection frames on trees are sound and c…Read more
-
445Varieties of Relevant S5Logic and Logical Philosophy 32 (1). 2023.In classically based modal logic, there are three common conceptions of necessity, the universal conception, the equivalence relation conception, and the axiomatic conception. They provide distinct presentations of the modal logic S5, all of which coincide in the basic modal language. We explore these different conceptions in the context of the relevant logic R, demonstrating where they come apart. This reveals that there are many options for being an S5-ish extension of R. It further reveals a …Read more
-
289What is a Relevant Connective?Journal of Philosophical Logic 51 (4): 919-950. 2022.There appears to be few, if any, limits on what sorts of logical connectives can be added to a given logic. One source of potential limitations is the motivating ideology associated with a logic. While extraneous to the logic, the motivating ideology is often important for the development of formal and philosophical work on that logic, as is the case with intuitionistic logic. One family of logics for which the philosophical ideology is important is the family of relevant logics. In this paper, …Read more
-
210Revisiting Semilattice SemanticsIn Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs, Springer Verlag. pp. 243-259. 2021.The operational semantics of Urquhart is a deep and important part of the development of relevant logics. In this paper, I present an overview of work on Urquhart’s operational semantics. I then present the basics of collection frames. Finally, I show how one kind of collection frame, namely, functional set frames, is equivalent to Urquhart’s semilattice semantics.
-
68An Incompleteness Theorem for Modal Relevant LogicsNotre Dame Journal of Formal Logic 62 (4). 2021.In this paper, an incompleteness theorem for modal extensions of relevant logics is proved. The proof uses elementary methods and builds upon the work of Fuhrmann.
-
35Proofs and Models in Naive Property Theory: A Response to Hartry Field's ‘Properties, Propositions and Conditionals’Australasian Philosophical Review 4 (2): 162-177. 2020.ABSTRACT In our response Field's ‘Properties, Propositions and Conditionals’, we explore the methodology of Field's program. We begin by contrasting it with a proof-theoretic approach and then commenting on some of the particular choices made in the development of Field's theory. Then, we look at issues of property identity in connection with different notions of equivalence. We close with some comments relating our discussion to Field's response to Restall’s [2010] ‘What Are We to Accept, and W…Read more
-
57Identity in Mares-Goldblatt Models for Quantified Relevant LogicJournal of Philosophical Logic 50 (6): 1389-1415. 2021.Mares and Goldblatt, 163–187, 2006) provided an alternative frame semantics for two quantified extensions of the relevant logic R. In this paper, I show how to extend the Mares-Goldblatt frames to accommodate identity. Simpler frames are provided for two zero-order logics en route to the full logic in order to clarify what is needed for identity and substitution, as opposed to quantification. I close with a comparison of this work with the Fine-Mares models for relevant logics with identity and …Read more
-
23Translations between linear and tree natural deduction systems for relevant logicsReview of Symbolic Logic 14 (2). 2021.Anderson and Belnap presented indexed Fitch-style natural deduction systems for the relevant logics R, E, and T. This work was extended by Brady to cover a range of relevant logics. In this paper I present indexed tree natural deduction systems for the Anderson–Belnap–Brady systems and show how to translate proofs in one format into proofs in the other, which establishes the adequacy of the tree systems.
-
281Actual Issues for Relevant LogicsErgo: An Open Access Journal of Philosophy 7. 2020.In this paper, I motivate the addition of an actuality operator to relevant logics. Straightforward ways of doing this are in tension with standard motivations for relevant logics, but I show how to add the operator in a way that permits one to maintain the intuitions behind relevant logics. I close by exploring some of the philosophical consequences of the addition.
-
40Tracking reasons with extensions of relevant logicsLogic Journal of the IGPL 27 (4): 543-569. 2019.In relevant logics, necessary truths need not imply each other. In justification logic, necessary truths need not all be justified by the same reason. There is an affinity to these two approaches that suggests their pairing will provide good logics for tracking reasons in a fine-grained way. In this paper, I will show how to extend relevant logics with some of the basic operators of justification logic in order to track justifications or reasons. I will define and study three kinds of frames for…Read more
-
66Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction ProofsStudia Logica 107 (6): 1103-1134. 2019.Two common forms of natural deduction proof systems are found in the Gentzen–Prawitz and Jaśkowski–Fitch systems. In this paper, I provide translations between proofs in these systems, pointing out the ways in which the translations highlight the structural rules implicit in the systems. These translations work for classical, intuitionistic, and minimal logic. I then provide translations for classical S4 proofs.
-
62Proof Theory for Functional Modal LogicStudia Logica 106 (1): 49-84. 2018.We present some proof-theoretic results for the normal modal logic whose characteristic axiom is \. We present a sequent system for this logic and a hypersequent system for its first-order form and show that these are equivalent to Hilbert-style axiomatizations. We show that the question of validity for these logics reduces to that of classical tautologyhood and first-order logical truth, respectively. We close by proving equivalences with a Fitch-style proof system for revision theory.
-
767On Artifacts and Truth-PreservationAustralasian Journal of Logic 12 (3): 135-158. 2015.In Saving Truth from Paradox, Hartry Field presents and defends a theory of truth with a new conditional. In this paper, I present two criticisms of this theory, one concerning its assessments of validity and one concerning its treatment of truth-preservation claims. One way of adjusting the theory adequately responds to the truth-preservation criticism, at the cost of making the validity criticism worse. I show that in a restricted setting, Field has a way to respond to the validity criticism. …Read more
-
48Non-Classical Circular DefinitionsAustralasian Journal of Logic 14 (1). 2017.Circular denitions have primarily been studied in revision theory in the classical scheme. I present systems of circular denitions in the Strong Kleene and supervaluation schemes and provide complete proof systems for them. One class of denitions, the intrinsic denitions, naturally arises in both schemes. I survey some of the features of this class of denitions.
-
71Review of Stewart Shapiro's Varieties of Logic (review)Notre Dame Philosophical Reviews 2015. 2015.
-
72Solovay-Type Theorems for Circular DefinitionsReview of Symbolic Logic 8 (3): 467-487. 2015.We present an extension of the basic revision theory of circular definitions with a unary operator, □. We present a Fitch-style proof system that is sound and complete with respect to the extended semantics. The logic of the box gives rise to a simple modal logic, and we relate provability in the extended proof system to this modal logic via a completeness theorem, using interpretations over circular definitions, analogous to Solovay’s completeness theorem forGLusing arithmetical interpretations…Read more
-
620The Relevant Logic E and Some Close Neighbours: A ReinterpretationIfCoLog Journal of Logics and Their Applications 4 (3): 695--730. 2017.This paper has two aims. First, it sets out an interpretation of the relevant logic E of relevant entailment based on the theory of situated inference. Second, it uses this interpretation, together with Anderson and Belnap’s natural deduc- tion system for E, to generalise E to a range of other systems of strict relevant implication. Routley–Meyer ternary relation semantics for these systems are produced and completeness theorems are proven.
-
843Conditionals in Theories of TruthJournal of Philosophical Logic 46 (1): 27-63. 2017.We argue that distinct conditionals—conditionals that are governed by different logics—are needed to formalize the rules of Truth Introduction and Truth Elimination. We show that revision theory, when enriched with the new conditionals, yields an attractive theory of truth. We go on to compare this theory with one recently proposed by Hartry Field.
-
260The Tarskian Turn: Deflationism and Axiomatic TruthPhilosophical Review 122 (1): 144-147. 2013.
-
774Contraction and revisionAustralasian Journal of Logic 13 (3): 58-77. 2016.An important question for proponents of non-contractive approaches to paradox is why contraction fails. Zardini offers an answer, namely that paradoxical sentences exhibit a kind of instability. I elaborate this idea using revision theory, and I argue that while instability does motivate failures of contraction, it equally motivates failure of many principles that non-contractive theorists want to maintain.
Taipei, Taiwan
Areas of Specialization
16 more
Areas of Interest
16 more
PhilPapers Editorships
Revision Theory of Truth |
Proof Theory |