Absolute Provability and Safe Knowledge of Axioms

DOI10.1093/ACPROF:OSO/9780198759591.003.0010MaRDI QIDQ5221597zbMATH OpenOpenAlexFDO

Authors Timothy Williamson

Publication date 2 April 2020

Published in Gödel's Disjunction (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/acprof:oso/9780198759591.003.0010

zbMATH Keywords

absolute provabilityabsolute undecidabilitymathematical proof

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Undecidability and degrees of sets of sentences (03D35) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• AXIOMATIZATION OF PROVABLE n-PROVABILITY
• Axiomatizing provable \(n\)-provability
• scientific article; zbMATH DE number 7533333
• Safe beliefs for propositional theories
• Provability logic and the completeness principle
• AXIOMS FOR DETERMINATENESS AND TRUTH
• The Logic of Provability
• scientific article; zbMATH DE number 1215499
• scientific article; zbMATH DE number 1170091
• scientific article; zbMATH DE number 1301808

Cited in

(11)

• What is absolute undecidability?
• On the question of absolute undecidability
• On the Question of Absolute Undecidability
• scientific article; zbMATH DE number 1301814 (Why is no real title available?)
• Malament-Hogarth machines and Tait's axiomatic conception of mathematics
• scientific article; zbMATH DE number 7533333 (Why is no real title available?)
• A semantics for in-principle provability
• scientific article; zbMATH DE number 2190191 (Why is no real title available?)
• Truth and Provability—A Comment on Redhead
• Fragmentation and logical omniscience
• Anti-exceptionalism and the justification of basic logical principles

This page was built for publication: Absolute Provability and Safe Knowledge of Axioms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5221597)