Cool Logic

Ásgeir Berg Matthíasson (ILLC / St. Andrews)

Are there true contradictions?: Paraconsistent logic and dialetheism

October 4th at 17:30, in ILLC Seminar Room (F1.15)

The semantic paradoxes, most famously among them the Liar paradox, have long resisted any widely accepted solution. This talk is an introduction to dialetheism—the philosophical position that there exist true contradictions—and paraconsistent logic, a neccessary modification of classical logic to accommodate contradictions and avoid explosion. It will be argued that the most common arguments against this position are not sound.

Slides