display all the ideas for this combination of texts
4 ideas
12595 | We have a theory of logic (implication and inconsistency), but not of inference or reasoning [Harman] |
15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
12597 | I might accept P and Q as likely, but reject P-and-Q as unlikely [Harman] |
15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |