75 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] |
22270 | Frege changed philosophy by extending logic's ability to check the grounds of thinking [Potter on Frege] |
2896 | I want to understand the Socratic idea that 'reason equals virtue equals happiness' [Nietzsche] |
8939 | We should not describe human laws of thought, but how to correctly track truth [Frege, by Fisher] |
2897 | With dialectics the rabble gets on top [Nietzsche] |
2898 | Anything which must first be proved is of little value [Nietzsche] |
4971 | I don't use 'subject' and 'predicate' in my way of representing a judgement [Frege] |
17745 | For Frege, 'All A's are B's' means that the concept A implies the concept B [Frege, by Walicki] |
17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
7728 | Frege has a judgement stroke (vertical, asserting or judging) and a content stroke (horizontal, expressing) [Frege, by Weiner] |
16881 | The laws of logic are boundless, so we want the few whose power contains the others [Frege] |
7622 | In 1879 Frege developed second order logic [Frege, by Putnam] |
7729 | Frege replaced Aristotle's subject/predicate form with function/argument form [Frege, by Weiner] |
9950 | A quantifier is a second-level predicate (which explains how it contributes to truth-conditions) [Frege, by George/Velleman] |
9991 | For Frege the variable ranges over all objects [Frege, by Tait] |
10536 | Frege's domain for variables is all objects, but modern interpretations first fix the domain [Dummett on Frege] |
7730 | Frege introduced quantifiers for generality [Frege, by Weiner] |
7742 | Frege reduced most quantifiers to 'everything' combined with 'not' [Frege, by McCullogh] |
13824 | Proof theory began with Frege's definition of derivability [Frege, by Prawitz] |
13609 | Frege produced axioms for logic, though that does not now seem the natural basis for logic [Frege, by Kaplan] |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
17855 | It may be possible to define induction in terms of the ancestral relation [Frege, by Wright,C] |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
10607 | Frege's logic has a hierarchy of object, property, property-of-property etc. [Frege, by Smith,P] |
11008 | Existence is not a first-order property, but the instantiation of a property [Frege, by Read] |
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] |
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] |
2899 | The fanatical rationality of Greek philosophy shows that they were in a state of emergency [Nietzsche] |
22280 | Frege's account was top-down and decompositional, not bottom-up and compositional [Frege, by Potter] |
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] |
18308 | A philosopher fails in wisdom if he thinks the value of life is a problem [Nietzsche] |
18322 | When we establish values, that is life itself establishing them, through us [Nietzsche] |
18321 | To evaluate life one must know it, but also be situated outside of it [Nietzsche] |
2893 | In every age the wisest people have judged life to be worthless [Nietzsche] |
2894 | Value judgements about life can never be true [Nietzsche] |
2895 | The value of life cannot be estimated [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] |
7741 | The predicate 'exists' is actually a natural language expression for a quantifier [Frege, by Weiner] |
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] |