53 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] |
20339 | Classes rarely share properties with their members - unlike universals and types [Wollheim] |
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] |
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] |
20338 | We often treat a type as if it were a sort of token [Wollheim] |
20342 | Interpretation is performance for some arts, and critical for all arts [Wollheim] |
20343 | A love of nature must precede a love of art [Wollheim] |
20348 | A criterion of identity for works of art would be easier than a definition [Wollheim] |
20347 | If beauty needs organisation, then totally simple things can't be beautiful [Wollheim] |
20345 | Some say art must have verbalisable expression, and others say the opposite! [Wollheim] |
20331 | It is claimed that the expressive properties of artworks are non-physical [Wollheim] |
20336 | Style can't be seen directly within a work, but appreciation needs a grasp of style [Wollheim] |
20337 | The traditional view is that knowledge of its genre to essential to appreciating literature [Wollheim] |
20333 | If artworks are not physical objects, they are either ideal entities, or collections of phenomena [Wollheim] |
20334 | The ideal theory says art is an intuition, shaped by a particular process, and presented in public [Wollheim] |
20335 | The ideal theory of art neglects both the audience and the medium employed [Wollheim] |
20340 | A musical performance has virtually the same features as the piece of music [Wollheim] |
20341 | An interpretation adds further properties to the generic piece of music [Wollheim] |
20332 | A drawing only represents Napoleon if the artist intended it to [Wollheim] |
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] |