A theory of implicit commitment

DOI10.1007/S11229-022-03601-5MaRDI QIDQ6837778zbMATH OpenFDO

Authors Carlo Nicolai

Publication date 26 March 2026

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S11229-022-03601-5

zbMATH Keywords

entitlementepistemic stabilityimplicit commitmentincompletenessmathematical justificationreflection principles

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Cites work

• Arithmetical reflection and the provability of soundness
• Axiomatic truth, syntax and metatheoretic reasoning
• Bounded Induction and Satisfaction Classes
• Conservativity for theories of compositional truth via cut elimination
• Construction of Satisfaction Classes for Nonstandard Models
• Defending the axioms. On the philosophical foundations of set theory
• Disquotational truth and analyticity
• scientific article; zbMATH DE number 4021095 (Why is no real title available?)
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 3679820 (Why is no real title available?)
• scientific article; zbMATH DE number 1144041 (Why is no real title available?)
• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• Hypatia's silence: truth, justification, and entitlement
• Inexhaustibility: A non-exhaustive treatment
• Interpretability in Robinson's Q
• Iterated reflection over full disquotational truth
• Minimalism and the generalisation problem: on Horwich's second solution
• On interpretations of bounded arithmetic and bounded set theory
• Reflection algebras and conservation results for theories of iterated truth
• Reflection principles and provability algebras in formal arithmetic
• Systems of logic based on ordinals.
• The implicit commitment of arithmetical theories and its semantic core
• Transfinite recursive progressions of axiomatic theories
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I.
• What is Cantor's Continuum Problem?

This page was built for publication: A theory of implicit commitment

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