This paper presents and motivates a new philosophical and logical approach to truth and
semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of …

In this article, we will present a number of technical results concerning Classical Logic, ST
and related systems. Our main contribution consists in offering a novel identity criterion for …

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 …

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 …

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 …

In their recent article “A Hierarchy of Classical and Paraconsistent Logics”, Eduardo Barrio,
Federico Pailos and Damien Szmuc (BPS hereafter) present novel and striking results about …

ABSTRACT Since Saul Kripke's influential work in the 1970s, the revisionary approach to
semantic paradox—the idea that semantic paradoxes must be solved by weakening …

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 …

Several definitions of logical consequence have been proposed in many-valued logic, which
coincide in the two-valued case, but come apart as soon as three truth values come into …