ST, LP, and tolerant metainferences

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 claim is founded. Building on some results by Girard (Diss Math 136, 1976) we show that the usual proof-theoretic formulation of propositional ST in terms of the classical sequent calculus without primitive Cut is incomplete with respect to ST-valid metainferences, and exhibit a complete calculus for the same class of metainferences. We also argue that the latter calculus, far from coinciding with classical logic, is a close kin of Priest’s LP