Inhabiting Kripke’s truth via a working paracomplete formal arithmetic

Talk at Saul Kripke Center, CUNY March 23, 2026 – CUNY Graduate Center, New York, NY, USA Abstract: While Kripke inspired numerous alternative approaches to truth and paradox, could we accomplish something like ordinary “working mathematical reasoning” in any of them? Yes. Grounded arithmetic (GA) combines paracomplete reasoning and computational semantics into a concrete, usable, and powerful…