display all the ideas for this combination of philosophers
11 ideas
13979 | Logic studies consequence, compatibility, contradiction, corroboration, necessitation, grounding.... [Ryle] |
16333 | The underestimated costs of giving up classical logic are found in mathematical reasoning [Halbach] |
15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
16310 | A theory is some formulae and all of their consequences [Halbach] |
10800 | The values of variables can't determine existence, because they are just expressions [Ryle, by Quine] |
16342 | You cannot just say all of Peano arithmetic is true, as 'true' isn't part of the system [Halbach] |
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] |
16347 | Many new paradoxes may await us when we study interactions between frameworks [Halbach] |
16336 | The liar paradox applies truth to a negated truth (but the conditional will serve equally) [Halbach] |