display all the ideas for this combination of philosophers
2 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
10204 | An 'implicit definition' gives a direct description of the relations of an entity [Shapiro] |