44 ideas
23183 | Different abilities are needed for living in an incomplete and undogmatic system [Nietzsche] |
23188 | Bad writers use shapeless floating splotches of concepts [Nietzsche] |
23212 | A text has many interpretations, but no 'correct' one [Nietzsche] |
13838 | A decent modern definition should always imply a semantics [Hacking] |
9355 | One sort of circularity presupposes a premise, the other presupposes a rule being used [Braithwaite, by Devitt] |
23199 | What is the search for truth if it isn't moral? [Nietzsche] |
23202 | Like all philosophers, I love truth [Nietzsche] |
13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
23196 | Logic is a fiction, which invents the view that one thought causes another [Nietzsche] |
13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
23186 | Numbers enable us to manage the world - to the limits of counting [Nietzsche] |
23211 | Events are just interpretations of groups of appearances [Nietzsche] |
23201 | The 'I' does not think; it is a construction of thinking, like other useful abstractions [Nietzsche] |
23207 | Appearance is the sole reality of things, to which all predicates refer [Nietzsche] |
23197 | Memory is essential, and is only possible by means of abbreviation signs [Nietzsche] |
23206 | Schematic minds think thoughts are truer if they slot into a scheme [Nietzsche] |
23209 | Each of our personal drives has its own perspective [Nietzsche] |
23184 | The mind is a simplifying apparatus [Nietzsche] |
23190 | Consciousness is our awareness of our own mental life [Nietzsche] |
23191 | Minds have an excluding drive to scare things off, and a selecting one to filter facts [Nietzsche] |
23213 | The greatest drive of life is to discharge strength, rather than preservation [Nietzsche] |
23210 | That all events are necessary does not mean they are compelled [Nietzsche] |
23189 | Concepts are rough groups of simultaneous sensations [Nietzsche] |
23192 | Concepts don’t match one thing, but many things a little bit [Nietzsche] |
23187 | Whatever their origin, concepts survive by being useful [Nietzsche] |
23205 | Thought starts as ambiguity, in need of interpretation and narrowing [Nietzsche] |
23198 | Aesthetics can be more basic than morality, in our pleasure in certain patterns of experience [Nietzsche] |
23208 | Caesar and Napoleon point to the future, when they pursue their task regardless of human sacrifice [Nietzsche] |
23193 | Napoleon was very focused, and rightly ignored compassion [Nietzsche] |
23214 | For the strongest people, nihilism gives you wings! [Nietzsche] |
23203 | The great question is approaching, of how to govern the earth as a whole [Nietzsche] |
23200 | The controlling morality of aristocracy is the desire to resemble their ancestors [Nietzsche] |
23194 | People feel united as a nation by one language, but then want a common ancestry and history [Nietzsche] |
23204 | To be someone you need property, and wanting more is healthy [Nietzsche] |
23195 | Laws of nature are actually formulas of power relations [Nietzsche] |
23185 | In chemistry every substance pushes, and thus creates new substances [Nietzsche] |