5 ideas
14263 | Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K] |
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
14262 | Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties [Fine,K] |
8119 | Art aims only at beauty, of form, of idea, and (above all) of expression [Winckelmann, by Tolstoy] |