Constructive Truth and Circularity

    Abstract

    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)

    Topics

    Figures and Tables

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

    Slides referencing similar topics