A Detailed Examination of Methods for Unifying, Simplifying and Extending Several Results About Self-Justifying Logics

2011/08/31 by Willard, Dan E.
#03B52 #03F25 #03F4 #03H13 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1108.6330

Abstract

This paper will develop a single framework for unifying, simplifying and extending our prior results about axiom systems that retain a partial knowledge of their own consistency, via an axiomatic declaration of self-consistency. Its perhaps single most surprising new result will be its exploration of a viable alternative to conventional reflection principles.

Related

• Semantic Self-Consistency: Enhancing Language Model Reasoning via Semantic Weighting
• Self-Consistency Improves Chain of Thought Reasoning in Language Models
• Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers
• Self-Contradictory Reasoning Evaluation and Detection
• Reflective Confidence: Correcting Reasoning Flaws via Online Self-Correction