34 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] |
| 13201 | ∈ says the whole set is in the other; ⊆ says the members of the subset are in the other [Enderton] |
| 13206 | A 'linear or total ordering' must be transitive and satisfy trichotomy [Enderton] |
| 13204 | The 'ordered pair' <x,y> is defined to be {{x}, {x,y}} [Enderton] |
| 13200 | Note that {Φ} =/= Φ, because Φ ∈ {Φ} but Φ ∉ Φ [Enderton] |
| 13199 | The empty set may look pointless, but many sets can be constructed from it [Enderton] |
| 13203 | The singleton is defined using the pairing axiom (as {x,x}) [Enderton] |
| 13202 | Fraenkel added Replacement, to give a theory of ordinal numbers [Enderton] |
| 13205 | We can only define functions if Choice tells us which items are involved [Enderton] |
| 13790 | A name-giver might misname something, then force other names to conform to it [Plato] |
| 13777 | A name is a sort of tool [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] |
| 2063 | How can beauty have identity if it changes? [Plato] |
| 1630 | We can only see an alien language in terms of our own thought structures (e.g. physical/abstract) [Quine] |
| 5747 | "No entity without identity" - our ontology must contain items with settled identity conditions [Quine, by Melia] |
| 13775 | We only succeed in cutting if we use appropriate tools, not if we approach it randomly [Plato] |
| 7925 | There is no proper identity concept for properties, and it is hard to distinguish one from two [Quine] |
| 13387 | Our conceptual scheme becomes more powerful when we posit abstract objects [Quine] |
| 8277 | I prefer 'no object without identity' to Quine's 'no entity without identity' [Lowe on Quine] |
| 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] |
| 1631 | You could know the complete behavioural conditions for a foreign language, and still not know their beliefs [Quine] |
| 1632 | Translation of our remote past or language could be as problematic as alien languages [Quine] |
| 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] |