This paper presents and defends a way to add a transparent truth predicate to classical
logic, such that and A are everywhere intersubstitutable, where all T-biconditionals hold, and …

Many logicians now think that in order to give a uniform solution to the paradoxes of self-
reference one must revise logic by dropping one of the usual structural rules. To date almost …

The strict-tolerant (ST) approach to paradox promises to erect theories of naïve truth and
tolerant vagueness on the firm bedrock of classical logic. We assess the extent to which this …

The first sentence in this essay is a lie. There is something odd about saying so, as has been
known since ancient times. To see why, remember that all lies are untrue. Is the first …

Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic,
metalogical, computational, and revision-theoretic virtues. Core Logic, which lies deep …

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 …

A natural suggestion and increasingly popular account of how to revise our logical beliefs
treats revision of logic analogously to the revision of scientific theories (Hjortland, Priest …

The recent development and exploration of mixed metainferential logics is a breakthrough in
our understanding of nontransitive and nonreflexive logics. Moreover, this exploration poses …

This paper is a sequel to Beall (2011), in which I both give and discuss the philosophical
import of a 'classical collapse'result for the propositional (multiple-conclusion) logic LP+ …

The aim of this article is to study the notion of derivability and its semantic counterpart in the
context of non-transitive and non-reflexive substructural logics. For this purpose we focus on …