Para Priest, la necesidad de postular la existencia de contradicciones verdaderas proviene en primer lugar de la lógica, especialmente de la paradoja del mentiroso y similares.