9 ideas
11257 | The Pythagoreans were the first to offer definitions [Politis, by Politis] |
11235 | 'True of' is applicable to things, while 'true' is applicable to words [Politis] |
10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
16974 | The nature of each logical concept is given by a collection of inference rules [Correia] |
10303 | Restricted Platonism is just an ideal projection of a domain of thought [Bernays] |
10306 | Mathematical abstraction just goes in a different direction from logic [Bernays] |
11277 | Maybe 'What is being? is confusing because we can't ask what non-being is like [Politis] |
11248 | Necessary truths can be two-way relational, where essential truths are one-way or intrinsic [Politis] |
16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |