29 ideas
10147 | The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman] |
10148 | Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman] |
10149 | Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman] |
10150 | The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman] |
10146 | Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman] |
10158 | A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman] |
10162 | Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman] |
10160 | Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman] |
10159 | Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman] |
10161 | If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman] |
10156 | 'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman] |
10155 | Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman] |
20339 | Classes rarely share properties with their members - unlike universals and types [Wollheim] |
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] |
6017 | Nomos is king [Pindar] |