18 ideas
2922 | All intelligent Romans were Epicureans [Nietzsche] |
2914 | One must never ask whether truth is useful [Nietzsche] |
23520 | Truth has had to be fought for, and normal life must be sacrificed to achieve it [Nietzsche] |
11022 | Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read] |
11065 | The inferential role of a logical constant constitutes its meaning [Gentzen, by Hanna] |
11023 | The logical connectives are 'defined' by their introduction rules [Gentzen] |
11213 | Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule [Gentzen] |
10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
2921 | Philosophy grasps the limits of human reason, and values are beyond it [Nietzsche] |
20138 | Christianity is at war with the higher type of man, and excommunicates his basic instincts [Nietzsche] |
20375 | Virtues must be highly personal; if not, it is merely respect for a concept [Nietzsche] |
2915 | Each person should devise his own virtues and categorical imperative [Nietzsche] |
2920 | A God who cures us of a head cold at the right moment is a total absurdity [Nietzsche] |
2917 | Christianity is a revolt of things crawling on the ground against elevated things [Nietzsche] |
2918 | The story in Genesis is the story of God's fear of science [Nietzsche] |
2919 | 'Faith' means not wanting to know what is true [Nietzsche] |
2916 | The great lie of immortality destroys rationality and natural instinct [Nietzsche] |