40 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] |
10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
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] |
10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
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] |
16659 | Relations do not add anything to reality, though they are real aspects of the world [Olivi] |
10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
13787 | Doesn't each thing have an essence, just as it has other qualities? [Plato] |
16673 | Quantity just adds union and location to the extension of parts [Olivi] |
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] |
16663 | Things are limited by the species to certain modes of being [Olivi] |
13783 | Even the gods love play [Plato] |