display all the ideas for this combination of texts
4 ideas
16341 | Normally we only endorse a theory if we believe it to be sound [Halbach] |
16344 | Soundness must involve truth; the soundness of PA certainly needs it [Halbach] |
16342 | You cannot just say all of Peano arithmetic is true, as 'true' isn't part of the system [Halbach] |
19065 | Soundness and completeness proofs test the theory of meaning, rather than the logic theory [Dummett] |