88 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] |
18835 | Logic doesn't have a metaphysical basis, but nor can logic give rise to the metaphysics [Rumfitt] |
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] |
18819 | The idea that there are unrecognised truths is basic to our concept of truth [Rumfitt] |
18826 | 'True at a possibility' means necessarily true if what is said had obtained [Rumfitt] |
18803 | Semantics for propositions: 1) validity preserves truth 2) non-contradition 3) bivalence 4) truth tables [Rumfitt] |
18814 | 'Absolute necessity' would have to rest on S5 [Rumfitt] |
18798 | It is the second-order part of intuitionistic logic which actually negates some classical theorems [Rumfitt] |
18799 | Intuitionists can accept Double Negation Elimination for decidable propositions [Rumfitt] |
18830 | Most set theorists doubt bivalence for the Continuum Hypothesis, but still use classical logic [Rumfitt] |
18843 | The iterated conception of set requires continual increase in axiom strength [Rumfitt] |
18836 | A set may well not consist of its members; the empty set, for example, is a problem [Rumfitt] |
18837 | A set can be determinate, because of its concept, and still have vague membership [Rumfitt] |
18845 | If the totality of sets is not well-defined, there must be doubt about the Power Set Axiom [Rumfitt] |
18815 | Logic is higher-order laws which can expand the range of any sort of deduction [Rumfitt] |
18804 | The case for classical logic rests on its rules, much more than on the Principle of Bivalence [Rumfitt] |
18805 | Classical logic rules cannot be proved, but various lines of attack can be repelled [Rumfitt] |
18827 | If truth-tables specify the connectives, classical logic must rely on Bivalence [Rumfitt] |
18813 | Logical consequence is a relation that can extended into further statements [Rumfitt] |
18808 | Normal deduction presupposes the Cut Law [Rumfitt] |
18840 | When faced with vague statements, Bivalence is not a compelling principle [Rumfitt] |
18802 | In specifying a logical constant, use of that constant is quite unavoidable [Rumfitt] |
18800 | Introduction rules give deduction conditions, and Elimination says what can be deduced [Rumfitt] |
18809 | Logical truths are just the assumption-free by-products of logical rules [Rumfitt] |
18807 | Monotonicity means there is a guarantee, rather than mere inductive support [Rumfitt] |
18842 | Maybe an ordinal is a property of isomorphic well-ordered sets, and not itself a set [Rumfitt] |
18834 | Infinitesimals do not stand in a determinate order relation to zero [Rumfitt] |
18846 | Cantor and Dedekind aimed to give analysis a foundation in set theory (rather than geometry) [Rumfitt] |
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] |
18839 | An object that is not clearly red or orange can still be red-or-orange, which sweeps up problem cases [Rumfitt] |
18838 | The extension of a colour is decided by a concept's place in a network of contraries [Rumfitt] |
18816 | Metaphysical modalities respect the actual identities of things [Rumfitt] |
18825 | S5 is the logic of logical necessity [Rumfitt] |
18824 | Since possibilities are properties of the world, calling 'red' the determination of a determinable seems right [Rumfitt] |
18828 | If two possibilities can't share a determiner, they are incompatible [Rumfitt] |
18821 | Possibilities are like possible worlds, but not fully determinate or complete [Rumfitt] |
18831 | Medieval logicians said understanding A also involved understanding not-A [Rumfitt] |
18309 | The evidence of the senses is falsified by reason [Nietzsche] |
18820 | In English 'evidence' is a mass term, qualified by 'little' and 'more' [Rumfitt] |
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] |
3238 | 'Dead person' isn't a contradiction, so 'person' is somewhat vague [Williams,B] |
3239 | You can only really love a person as a token, not as a type [Williams,B] |
20368 | There are no 'individual' persons; we are each the sum of humanity up to this moment [Nietzsche] |
2899 | The fanatical rationality of Greek philosophy shows that they were in a state of emergency [Nietzsche] |
18817 | We understand conditionals, but disagree over their truth-conditions [Rumfitt] |
18829 | The truth grounds for 'not A' are the possibilities incompatible with truth grounds for A [Rumfitt] |
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] |
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] |
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] |
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] |