Hybrid Deduction-Refutation Systems for FDE-Based Logics

Hybrid deduction-refuation systems are presented for four first-degree entailment based logics. The hybrid systems are shown to be deductively and refutationally sound with respect to their logics. The proofs of completeness are presented in a uniform way. The paper builds on work by Goranko, who presented a deductively and refutationally sound and complete hybrid system for classical logic.

The fragment of Classical Logic that respects the Variable-Sharing Principle

We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this logic. The semantics is defined in terms of a \(p\)-matrix built on top of a 5-valued extension of the 3-element weak Kleene algebra, whereas the calculus is defined in terms of a Gentzen-style sequent system where the left and right negation rules are subject to linguistic constraints.

Kripke-Style Models for Logics of Evidence and Truth

In this paper, we propose Kripke-style models for the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson’s logic N4 and the logic of first-degree entailment (FDE) with a classicality operator ∘ that recovers classical logic for formulas in its scope. According to the intended interpretation here proposed, these models represent a database that receives information as time passes, and such information can be positive, negative, non-reliable, or reliable, while a formula ∘A means that the information about A, either positive or negative, is reliable. This proposal is in line with the interpretation of N4 and FDE as information-based logics, but adds to the four scenarios expressed by them two new scenarios: reliable (or conclusive) information (i) for the truth and (ii) for the falsity of a given proposition.

The Fifth Corner of Four

The book charts the development of Buddhist metaphysics, drawing on texts which include those of Nagarjuna and Dogen. The development is viewed through the lens of the Catuṣkoṭi At its simplest, and as it appears in the earliest texts, this is a logical/metaphysical principle which says that every claim is true, false, both, or neither; but the principle itself evolves, assuming new forms as the metaphysics develops. An important step in the evolution incorporates ineffability. Such things make no sense from the perspective of a logic which endorses the principles of excluded middle and non-contradiction, which are standard fare in Western logic. However, the book shows how one can make sense of them by applying the techniques of contemporary non-classical logic, such as those of First Degree Entailment, and plurivalent logic. An important issue that emerges as the book develops is the notion of non-duality and its transcendence. This allows many of the threads of the book to be drawn together at its end. All matters are explained, as far as possible, in a way that is accessible to those with no knowledge of Buddhist philosophy or contemporary non-classical logic.