Logic isn't special. Its theories are continuous with science; its method continuous with
scientific method. Logic isn'ta priori, nor are its truths analytic truths. Logical theories are …

Kevin Scharp proposes an original theory of the nature and logic of truth on which truth is an
inconsistent concept that should be replaced for certain theoretical purposes. Replacing …

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 …

After an introductory section, this article will focus on four questions: How should the Kyoto
School be defined? What is meant by its central philosophical concept of “absolute …

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 …

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 …

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 …

There are a lot of excellent works in proof theory using various forms of Sequent Calculi (SC)
as the basic formal systems. 1 This book is of a different character. It is not a systematic …

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 …