3 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
5880 | Xenocrates held that the soul had no form or substance, but was number [Xenocrates, by Cicero] |