Absolute Provability and Safe Knowledge of Axioms

DOI10.1093/ACPROF:OSO/9780198759591.003.0010zbMATH Open1433.03011OpenAlexW2555836453MaRDI QIDQ5221597FDOQ5221597

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

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

zbMATH Keywords

mathematical proofabsolute undecidabilityabsolute provability

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)

Cited In (5)

• On the Question of Absolute Undecidability
• Title not available (Why is that?)
• Title not available (Why is that?)
• Truth and Provability—A Comment on Redhead
• Fragmentation and logical omniscience

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)