81 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] |
9724 | Until the 1960s the only semantics was truth-tables [Enderton] |
9703 | 'dom R' indicates the 'domain' of objects having a relation [Enderton] |
9705 | 'fld R' indicates the 'field' of all objects in the relation [Enderton] |
9704 | 'ran R' indicates the 'range' of objects being related to [Enderton] |
9710 | We write F:A→B to indicate that A maps into B (the output of F on A is in B) [Enderton] |
9707 | 'F(x)' is the unique value which F assumes for a value of x [Enderton] |
9712 | A relation is 'symmetric' on a set if every ordered pair has the relation in both directions [Enderton] |
9713 | A relation is 'transitive' if it can be carried over from two ordered pairs to a third [Enderton] |
9699 | The 'powerset' of a set is all the subsets of a given set [Enderton] |
9700 | Two sets are 'disjoint' iff their intersection is empty [Enderton] |
9702 | A 'domain' of a relation is the set of members of ordered pairs in the relation [Enderton] |
9701 | A 'relation' is a set of ordered pairs [Enderton] |
9706 | A 'function' is a relation in which each object is related to just one other object [Enderton] |
9708 | A function 'maps A into B' if the relating things are set A, and the things related to are all in B [Enderton] |
9709 | A function 'maps A onto B' if the relating things are set A, and the things related to are set B [Enderton] |
9711 | A relation is 'reflexive' on a set if every member bears the relation to itself [Enderton] |
9714 | A relation satisfies 'trichotomy' if all pairs are either relations, or contain identical objects [Enderton] |
9717 | A set is 'dominated' by another if a one-to-one function maps the first set into a subset of the second [Enderton] |
9715 | An 'equivalence relation' is a reflexive, symmetric and transitive binary relation [Enderton] |
9716 | We 'partition' a set into distinct subsets, according to each relation on its objects [Enderton] |
9722 | Inference not from content, but from the fact that it was said, is 'conversational implicature' [Enderton] |
9718 | Validity is either semantic (what preserves truth), or proof-theoretic (following procedures) [Enderton] |
9721 | A logical truth or tautology is a logical consequence of the empty set [Enderton] |
9994 | A truth assignment to the components of a wff 'satisfy' it if the wff is then True [Enderton] |
9719 | A proof theory is 'sound' if its valid inferences entail semantic validity [Enderton] |
9720 | A proof theory is 'complete' if semantically valid inferences entail proof-theoretic validity [Enderton] |
9995 | Proof in finite subsets is sufficient for proof in an infinite set [Enderton] |
9996 | Expressions are 'decidable' if inclusion in them (or not) can be proved [Enderton] |
9997 | For a reasonable language, the set of valid wff's can always be enumerated [Enderton] |
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] |
9723 | Sentences with 'if' are only conditionals if they can read as A-implies-B [Enderton] |
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] |
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] |
16713 | Philosophers are the forefathers of heretics [Tertullian] |
6610 | I believe because it is absurd [Tertullian] |
18318 | People who disparage actual life avenge themselves by imagining a better one [Nietzsche] |