56 ideas
| 20121 | Grammar only reveals popular metaphysics [Nietzsche] |
| 22270 | Frege changed philosophy by extending logic's ability to check the grounds of thinking [Potter on Frege] |
| 8939 | We should not describe human laws of thought, but how to correctly track truth [Frege, by Fisher] |
| 24082 | Is the will to truth the desire to avoid deception? [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] |
| 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] |
| 17855 | It may be possible to define induction in terms of the ancestral relation [Frege, by Wright,C] |
| 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] |
| 20360 | We Germans value becoming and development more highly than mere being of what 'is' [Nietzsche] |
| 24077 | Necessity is thought to require an event, but is only an after-effect of the event [Nietzsche] |
| 20126 | The strength of knowledge is not its truth, but its entrenchment in our culture [Nietzsche] |
| 20119 | We became increasingly conscious of our sense impressions in order to communicate them [Nietzsche] |
| 20122 | We have no organ for knowledge or truth; we only 'know' what is useful to the human herd [Nietzsche] |
| 4423 | We assume causes, geometry, motion, bodies etc to live, but they haven't been proved [Nietzsche] |
| 6579 | Nietzsche's perspectivism says our worldview depends on our personality [Nietzsche, by Fogelin] |
| 24083 | It would be absurd to say we are only permitted our own single perspective [Nietzsche] |
| 20115 | All of our normal mental life could be conducted without consciousness [Nietzsche] |
| 20117 | Only the need for communication has led to consciousness developing [Nietzsche] |
| 20118 | Only our conscious thought is verbal, and this shows the origin of consciousness [Nietzsche] |
| 20116 | Most of our lives, even the important parts, take place outside of consciousness [Nietzsche] |
| 20120 | Whatever moves into consciousness becomes thereby much more superficial [Nietzsche] |
| 2932 | 'Know thyself' is impossible and ridiculous [Nietzsche] |
| 24078 | Thoughts cannot be fully reproduced in words [Nietzsche] |
| 24081 | Most of our intellectual activity is unconscious [Nietzsche] |
| 22280 | Frege's account was top-down and decompositional, not bottom-up and compositional [Frege, by Potter] |
| 2933 | Why do you listen to the voice of your conscience? [Nietzsche] |
| 20141 | Higher human beings see and hear far more than others, and do it more thoughtfully [Nietzsche] |
| 24076 | A morality ranks human drives and actions, for the sake of the herd, and subordinating individuals [Nietzsche] |
| 22471 | Nietzsche thought it 'childish' to say morality isn't binding because it varies between cultures [Nietzsche, by Foot] |
| 5049 | Intelligent pleasure is the perception of beauty, order and perfection [Leibniz] |
| 2935 | No two actions are the same [Nietzsche] |
| 20198 | Many virtues are harmful traps, but that is why other people praise them [Nietzsche] |
| 4275 | You cannot advocate joyful wisdom while rejecting pity, because the two are complementary [Scruton on Nietzsche] |
| 2934 | To see one's own judgement as a universal law is selfish [Nietzsche] |
| 24080 | We should give style to our character - by applying an artistic plan to its strengths and weaknesses [Nietzsche] |
| 20125 | The ethical teacher exists to give purpose to what happens necessarily and without purpose [Nietzsche] |
| 9306 | To ward off boredom at any cost is vulgar [Nietzsche] |
| 24079 | The best life is the dangerous life [Nietzsche] |
| 2936 | Imagine if before each of your actions you had to accept repeating the action over and over again [Nietzsche] |
| 6842 | Nietzsche says facing up to the eternal return of meaninglessness is the response to nihilism [Nietzsche, by Critchley] |
| 5048 | Perfection is simply quantity of reality [Leibniz] |
| 7741 | The predicate 'exists' is actually a natural language expression for a quantifier [Frege, by Weiner] |
| 2931 | God is dead, and we have killed him [Nietzsche] |
| 5050 | Evil serves a greater good, and pain is necessary for higher pleasure [Leibniz] |