3 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
16728 | Logicians acknowledge too few things, while others acknowledge too many [Fitzralph] |
16009 | When we seek our own 'freedom' we are just trying to avoid responsibility [Kierkegaard] |