Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Computable Quantification in Reflective Grounded Arithmetic
Bryan Ford
Informal statements of Gödel's incompleteness theorems often run: "no consistent formal system with arithmetic can be complete" - omitting the fact that the theorems as proved ass…
math.LO2025
Reasoning Around Paradox with Grounded Deduction
Bryan Ford
How can we reason around logical paradoxes without falling into them? This paper introduces grounded deduction or GD, a Kripke-inspired approach to first-order logic and arithmetic…