Strauss, D. Transcending Logic: The Difference Between Contradiction and Antinomy. SATNT 2007, 26, 37-61.