5 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
3299 | In logic identity involves reflexivity (x=x), symmetry (if x=y, then y=x) and transitivity (if x=y and y=z, then x=z) [Baillie] |
22745 | Pherecydes said the first principle and element is earth [Pherecydes, by Sext.Empiricus] |
10246 | The limit of science is isomorphism of theories, with essences a matter of indifference [Weyl] |
5883 | Pherecydes was the first to say that the soul is eternal [Pherecydes, by Cicero] |