New paper, forthcoming in a volume on the foundations of mathematics. Abstract:
The 'Implicit Commitment Thesis' (ICT) states that, if you accept a
mathematical theory, then you are 'implicitly committed' to its
consistency, and perhaps also to various sorts of reflection principles.
This is meant to have various consequences, such as that consistency
proofs can never be cogent: give us reason to believe that a theory is
consisetent. I here consider a sampling of arguments for ICT and argue
that they are all wanting. At the end, I suggest that we should, anyway,
think of soundness proofs, in particular, not as attempts to justify
reflection principles but as attempts to explain why they are true.
Get it here.
This is the paper for which the two short notes posted earlier, "A Note on the Strength of Disentangled Truth-Theories" and "Some Remarks on 'Logical' Reflection", are essentially appendices.