5 ideas
14263 | Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K] |
17697 | The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert] |
17698 | Logic already contains some arithmetic, so the two must be developed together [Hilbert] |
14262 | Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties [Fine,K] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |