Constructive Truth and Circularity


    We propose a constructive interpretation of truth which resolves the standard semantic paradoxes. In intuitionism the law of excluded middle (LEM) is not accepted because the assignment of truth values to sentences is seen as a kind of open-ended process. Although the validity of any purported proof is supposed to be decidable, the truth value of a given… (More)


    Figures and Tables

    Sorry, we couldn't extract any figures or tables for this paper.

    Slides referencing similar topics