3 ideas
10009 | Substitutional quantification is just a variant of Tarski's account [Wallace, by Baldwin] |
3425 | Reduction has been defined as deriving one theory from another by logic and maths [Nagel,E, by Kim] |
20239 | Unlike us, the early Greeks thought envy was a good thing, and hope a bad thing [Hesiod, by Nietzsche] |