80 ideas
18330 | Judging by the positive forces, the Renaissance was the last great age [Nietzsche] |
2900 | I revere Heraclitus [Nietzsche] |
2913 | Thucydides was the perfect anti-platonist sophist [Nietzsche] |
2909 | Thinking has to be learned in the way dancing has to be learned [Nietzsche] |
2892 | Wanting a system in philosophy is a lack of integrity [Nietzsche] |
2896 | I want to understand the Socratic idea that 'reason equals virtue equals happiness' [Nietzsche] |
2897 | With dialectics the rabble gets on top [Nietzsche] |
2898 | Anything which must first be proved is of little value [Nietzsche] |
15413 | With four tense operators, all complex tenses reduce to fourteen basic cases [Burgess] |
15415 | The temporal Barcan formulas fix what exists, which seems absurd [Burgess] |
15430 | Is classical logic a part of intuitionist logic, or vice versa? [Burgess] |
15431 | It is still unsettled whether standard intuitionist logic is complete [Burgess] |
15429 | Relevance logic's → is perhaps expressible by 'if A, then B, for that reason' [Burgess] |
15404 | Technical people see logic as any formal system that can be studied, not a study of argument validity [Burgess] |
15405 | Classical logic neglects the non-mathematical, such as temporality or modality [Burgess] |
15427 | The Cut Rule expresses the classical idea that entailment is transitive [Burgess] |
15421 | Classical logic neglects counterfactuals, temporality and modality, because maths doesn't use them [Burgess] |
15403 | Philosophical logic is a branch of logic, and is now centred in computer science [Burgess] |
15407 | Formalising arguments favours lots of connectives; proving things favours having very few [Burgess] |
15424 | Asserting a disjunction from one disjunct seems odd, but can be sensible, and needed in maths [Burgess] |
15409 | All occurrences of variables in atomic formulas are free [Burgess] |
15414 | The denotation of a definite description is flexible, rather than rigid [Burgess] |
15406 | 'Induction' and 'recursion' on complexity prove by connecting a formula to its atomic components [Burgess] |
15425 | The sequent calculus makes it possible to have proof without transitivity of entailment [Burgess] |
15426 | We can build one expanding sequence, instead of a chain of deductions [Burgess] |
15408 | 'Tautologies' are valid formulas of classical sentential logic - or substitution instances in other logics [Burgess] |
15418 | Validity (for truth) and demonstrability (for proof) have correlates in satisfiability and consistency [Burgess] |
15412 | Models leave out meaning, and just focus on truth values [Burgess] |
15411 | We only need to study mathematical models, since all other models are isomorphic to these [Burgess] |
15416 | We aim to get the technical notion of truth in all models matching intuitive truth in all instances [Burgess] |
15428 | The Liar seems like a truth-value 'gap', but dialethists see it as a 'glut' [Burgess] |
18317 | The 'real being' of things is a nothingness constructed from contradictions in the actual world [Nietzsche] |
18315 | We get the concept of 'being' from the concept of the 'ego' [Nietzsche] |
18316 | The grounds for an assertion that the world is only apparent actually establish its reality [Nietzsche] |
18314 | In language we treat 'ego' as a substance, and it is thus that we create the concept 'thing' [Nietzsche] |
15420 | De re modality seems to apply to objects a concept intended for sentences [Burgess] |
15419 | General consensus is S5 for logical modality of validity, and S4 for proof [Burgess] |
15417 | Logical necessity has two sides - validity and demonstrability - which coincide in classical logic [Burgess] |
15422 | Three conditionals theories: Materialism (material conditional), Idealism (true=assertable), Nihilism (no truth) [Burgess] |
15423 | It is doubtful whether the negation of a conditional has any clear meaning [Burgess] |
18309 | The evidence of the senses is falsified by reason [Nietzsche] |
18323 | Any explanation will be accepted as true if it gives pleasure and a feeling of power [Nietzsche] |
18310 | The 'highest' concepts are the most general and empty concepts [Nietzsche] |
20368 | There are no 'individual' persons; we are each the sum of humanity up to this moment [Nietzsche] |
7518 | If folk psychology gives a network of causal laws, that fits neatly with functionalism [Churchland,PM] |
7519 | Many mental phenomena are totally unexplained by folk psychology [Churchland,PM] |
7520 | Folk psychology never makes any progress, and is marginalised by modern science [Churchland,PM] |
2899 | The fanatical rationality of Greek philosophy shows that they were in a state of emergency [Nietzsche] |
18313 | The big error is to think the will is a faculty producing effects; in fact, it is just a word [Nietzsche] |
20133 | The 'motive' is superficial, and may even hide the antecedents of a deed [Nietzsche] |
18326 | The beautiful never stands alone; it derives from man's pleasure in man [Nietzsche] |
20101 | Without music life would be a mistake [Nietzsche] |
2902 | Healthy morality is dominated by an instinct for life [Nietzsche] |
18311 | Philosophers hate values having an origin, and want values to be self-sufficient [Nietzsche] |
18324 | There are no moral facts, and moralists believe in realities which do not exist [Nietzsche] |
2904 | The doctrine of free will has been invented essentially in order to blame and punish people [Nietzsche] |
2895 | The value of life cannot be estimated [Nietzsche] |
18322 | When we establish values, that is life itself establishing them, through us [Nietzsche] |
2893 | In every age the wisest people have judged life to be worthless [Nietzsche] |
18308 | A philosopher fails in wisdom if he thinks the value of life is a problem [Nietzsche] |
2894 | Value judgements about life can never be true [Nietzsche] |
18321 | To evaluate life one must know it, but also be situated outside of it [Nietzsche] |
18319 | Love is the spiritualisation of sensuality [Nietzsche] |
2903 | A good human will be virtuous because they are happy [Nietzsche] |
2891 | Only the English actually strive after happiness [Nietzsche] |
18327 | A wholly altruistic morality, with no egoism, is a thoroughly bad thing [Nietzsche] |
15606 | Military idea: what does not kill me makes me stronger [Nietzsche] |
18328 | Invalids are parasites [Nietzsche] |
18331 | Democracy is organisational power in decline [Nietzsche] |
18332 | The creation of institutions needs a determination which is necessarily anti-liberal [Nietzsche] |
2911 | True justice is equality for equals and inequality for unequals [Nietzsche] |
18320 | To renounce war is to renounce the grand life [Nietzsche] |
2908 | There is a need for educators who are themselves educated [Nietzsche] |
18329 | Sometimes it is an error to have been born - but we can rectify it [Nietzsche] |
2905 | 'Purpose' is just a human fiction [Nietzsche] |
18312 | The supreme general but empty concepts must be compatible, and hence we get 'God' [Nietzsche] |
2906 | By denying God we deny human accountability, and thus we redeem the world [Nietzsche] |
2901 | How could the Church intelligently fight against passion if it preferred poorness of spirit to intelligence? [Nietzsche] |
18325 | Christians believe that only God can know what is good for man [Nietzsche] |
18318 | People who disparage actual life avenge themselves by imagining a better one [Nietzsche] |