ABSTRACT
Ever since the discovery of the arithmetical incompleteness phenomena, proof-theoretic reflection principles have been intensively investigated in mathematical logic. But reflection principles also have philosophical significance. As articulations of trust in formal systems, they provide information about the relations between concepts such as provability, rational belief, truth, consistency. Against this background, this chapter discusses proof-theoretic reflection principles from a logico-philosophical perspective.
