display all the ideas for this combination of texts
2 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
3894 | We may define 'good' correctly, but then ask whether the application of the definition is good [Scruton] |