30 ideas
13786 | Wisdom is called 'beautiful', because it performs fine works [Plato] |
13780 | Good people are no different from wise ones [Plato] |
13778 | A dialectician is someone who knows how to ask and to answer questions [Plato] |
13776 | Truths say of what is that it is, falsehoods say of what is that it is not [Plato] |
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
10482 | The logic of ZF is classical first-order predicate logic with identity [Boolos] |
10492 | A few axioms of set theory 'force themselves on us', but most of them don't [Boolos] |
10485 | Naďve sets are inconsistent: there is no set for things that do not belong to themselves [Boolos] |
10484 | The iterative conception says sets are formed at stages; some are 'earlier', and must be formed first [Boolos] |
13777 | A name is a sort of tool [Plato] |
13790 | A name-giver might misname something, then force other names to conform to it [Plato] |
13791 | Things must be known before they are named, so it can't be the names that give us knowledge [Plato] |
13789 | Anyone who knows a thing's name also knows the thing [Plato] |
10491 | Infinite natural numbers is as obvious as infinite sentences in English [Boolos] |
10483 | Mathematics and science do not require very high orders of infinity [Boolos] |
10490 | Mathematics isn't surprising, given that we experience many objects as abstract [Boolos] |
2063 | How can beauty have identity if it changes? [Plato] |
13775 | We only succeed in cutting if we use appropriate tools, not if we approach it randomly [Plato] |
10488 | It is lunacy to think we only see ink-marks, and not word-types [Boolos] |
10487 | I am a fan of abstract objects, and confident of their existence [Boolos] |
10489 | We deal with abstract objects all the time: software, poems, mistakes, triangles.. [Boolos] |
13787 | Doesn't each thing have an essence, just as it has other qualities? [Plato] |
13774 | Things don't have every attribute, and essence isn't private, so each thing has an essence [Plato] |
13772 | Is the being or essence of each thing private to each person? [Plato] |
13788 | If we made a perfect duplicate of Cratylus, there would be two Cratyluses [Plato] |
13792 | There can't be any knowledge if things are constantly changing [Plato] |
13781 | Soul causes the body to live, and gives it power to breathe and to be revitalized [Plato] |
13785 | 'Arete' signifies lack of complexity and a free-flowing soul [Plato] |
13779 | The natural offspring of a lion is called a 'lion' (but what about the offspring of a king?) [Plato] |
13783 | Even the gods love play [Plato] |