29 ideas
| 21844 | The history of philosophy is an agent of power: how can you think if you haven't read the great names? [Deleuze] |
| 21849 | Thought should be thrown like a stone from a war-machine [Deleuze] |
| 21845 | Philosophy aims to become the official language, supporting orthodoxy and the state [Deleuze] |
| 21839 | When I meet objections I just move on; they never contribute anything [Deleuze] |
| 21841 | We must create new words, and treat them as normal, and as if designating real things. [Deleuze] |
| 8251 | The logical space of reasons is a natural phenomenon, and it is the realm of freedom [McDowell] |
| 21842 | Don't assess ideas for truth or justice; look for another idea, and establish a relationship with it [Deleuze] |
| 21850 | Dualisms can be undone from within, by tracing connections, and drawing them to a new path [Deleuze] |
| 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] |
| 21838 | Before we seek solutions, it is important to invent problems [Deleuze] |
| 21847 | Before Being there is politics [Deleuze] |
| 8128 | Representation must be propositional if it can give reasons and be epistemological [McDowell, by Burge] |
| 19092 | There is no pure Given, but it is cultured, rather than entirely relative [McDowell, by Macbeth] |
| 8253 | Sense impressions already have conceptual content [McDowell] |
| 21840 | A meeting of man and animal can be deterritorialization (like a wasp with an orchid) [Deleuze] |
| 21843 | People consist of many undetermined lines, some rigid, some supple, some 'lines of flight' [Deleuze] |
| 8254 | Forming concepts by abstraction from the Given is private definition, which the Private Lang. Arg. attacks [McDowell] |
| 21848 | Some lines (of flight) are becomings which escape the system [Deleuze] |