The Revision Theory of Truth
Gupta and Belnap on truth as a circular concept defined by revision sequences
Planned, not yet written
This rung already has its place in the Metalogic ladder and a fixed job in the order. The prose is what is missing. Writing it out of sequence would break the guarantee that nothing here uses a term before an earlier article defines it.
Will definerevision theory of truthrevision sequencecircular definition
AssumesT-schemafixed-point theory of truthgroundednessliar paradox
Related
- Paradoxes at the Foundationsplanned