Metaphysics & Logic Seminar: Greg Restall, “The Logic of Paradox as a Substructural Logic”
Graham Priest鈥檚 simple three-valued logic LP has many curious properties. It has the same valid formulas as classical logic, but differs from classical logic when it comes to valid聽sequents. The valid sequents do not uniquely characterise the logic: it is possible to have more than one different LP-鈥渘egation鈥�, each of which satisfies all the LP-requirements,…