A Kripkean approach to unknowability and truth (Q5937827)

From MaRDI portal
Revision as of 17:25, 3 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 1620822
Language Label Description Also known as
English
A Kripkean approach to unknowability and truth
scientific article; zbMATH DE number 1620822

    Statements

    A Kripkean approach to unknowability and truth (English)
    0 references
    0 references
    17 July 2001
    0 references
    The author introduces and carefully discusses four inductive hierarchy rules for defining the extension and anti-extension of both the truth predicate and the predicate `is knowable in principle by a fixed epistemic subject'. The preferred rule \(R_3\) has the wanted property that at the least fixed point, the absolute Gödel sentence, which says of itself that it is unknowable, comes out true, and the absolute knower sentence, which says of its own negation that it is knowable, comes out false. A suitable interaction between truth and unknowability is required and argued for.
    0 references
    knowability predicate
    0 references
    inductive hierarchy rules
    0 references
    truth predicate
    0 references
    fixed point
    0 references
    unknowability
    0 references

    Identifiers