Avoiding Contradictions in the Paradoxes, the Halting Problem, and Diagonalization

Timothy J. Armstrong

The fundamental proposal in this article is that logical formulas of the form (f <-> ~f) are not contradictions, and that formulas of the form (t <-> t) are not tautologies. Such f…