Tag Archives: semantic completeness

CATEGORICITY, OPEN-ENDED SCHEMAS AND PEANO ARITHMETIC (pages 313-332)

Adrian LUDUȘAN ABSTRACT: One of the philosophical uses of Dedekind’s categoricity theorem for Peano Arithmetic is to provide support for semantic realism. To this end, the logical framework in which the proof of the theorem is conducted becomes highly significant. I examine different proposals regarding these logical frameworks and focus on the philosophical benefits of adopting open-ended schemas in contrast to …

Read More »