48 ideas
| 2930 | The main aim of philosophy must be to determine the order of rank among values [Nietzsche] |
| Full Idea: The future task of the philosophers is the solution of the problem of value, the determination of the order of rank among values. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], I.§17 note) | |
| A reaction: 'Determine' is presumably either a power struggle, or needs criteria by which to do the judging. |
| 22270 | Frege changed philosophy by extending logic's ability to check the grounds of thinking [Potter on Frege] |
| Full Idea: Frege's 1879 logic transformed philosophy because it greatly expanded logic's reach - what thought can achieve unaided - and hence compelled a re-examination of everything previously said about the grounds of thought when logic gives out. | |
| From: comment on Gottlob Frege (Begriffsschrift [1879]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 Intro | |
| A reaction: I loved the gloss on logic as 'what thought can achieve unaided'. I largely see logic in terms of what is mechanically computable. |
| 20143 | Scientific knowledge is nothing without a prior philosophical 'faith' [Nietzsche] |
| Full Idea: Strictly speaking there is no knowledge [science] without presuppositions; a philosophy, a 'faith', must always be there first of all, for knowledge to win from it a direction, a meaning, a limit, a method, a right to exist. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], III.§24) | |
| A reaction: He sees philosophers as the creators of this faith, and laughs at anyone who tries to set philosophy on a scientific basis. |
| 23722 | Objectivity is not disinterestedness (impossible), but the ability to switch perspectives [Nietzsche] |
| Full Idea: 'Objectivity' should be understood not as 'contemplation without interest' (a non-concept and an absurdity), but as having in our power the ability to engage and disengage our 'pros' and 'cons'; we can use the difference in perspectives for knowledge. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], III.§12) | |
| A reaction: Note that he will use perspectives to achieve knowledge. The idea that Perspectivalism is mere relativism is labelled as 'extreme' in Idea 4486. He is right that objectivity is a mental capacity and achievement of individuals. |
| 8939 | We should not describe human laws of thought, but how to correctly track truth [Frege, by Fisher] |
| Full Idea: Frege disagree that logic should merely describe the laws of thought - how people actually did reason. Logic is essentially normative, not descriptive. We want the one logic which successfully tracks the truth. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Jennifer Fisher - On the Philosophy of Logic 1.III | |
| A reaction: This explains Frege's sustained attack on psychologism, and it also explains we he ended up as a platonist about logic - because he wanted its laws to be valid independently of human thinking. A step too far, perhaps. Brains are truth machines. |
| 4417 | Only that which has no history is definable [Nietzsche] |
| Full Idea: Only that which has no history is definable. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], II.§13) | |
| A reaction: Too subtle to evaluate! It sounds as if it could be right, that some things are definable, but when the accretions of human history are interwoven into an identity, we can forget it. |
| 23715 | Psychologists should be brave and proud, and prefer truth to desires, even when it is ugly [Nietzsche] |
| Full Idea: I hope [psychologists] are actually brave, generous, proud animals, who know how to control their own pleasure and pain and are taught to sacrifice desirability to truth, even a bitter, ugly, unchristian, immoral truth - Because there are such truths. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], I.§01) | |
| A reaction: A nice expression of Nietzsche's values, which makes truth central, contrary to the widespread modern view that he was the high priest of relativism. If you think that, read him more carefully. |
| 4971 | I don't use 'subject' and 'predicate' in my way of representing a judgement [Frege] |
| Full Idea: A distinction of subject and predicate finds no place in my way of representing a judgement. | |
| From: Gottlob Frege (Begriffsschrift [1879], §03) | |
| A reaction: Perhaps this sentence could be taken as the beginning of modern analytical philosophy. The old view doesn't seem to me entirely redundant - merely replaced by a much more detailed analysis of what makes a 'subject' and what makes a 'predicate'. |
| 17745 | For Frege, 'All A's are B's' means that the concept A implies the concept B [Frege, by Walicki] |
| Full Idea: 'All A's are B's' meant for Frege that the concept A implies the concept B, or that to be A implies also to be B. Moreover this applies to arbitrary x which happens to be A. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Michal Walicki - Introduction to Mathematical Logic History D.2 | |
| A reaction: This seems to hit the renate/cordate problem. If all creatures with hearts also have kidneys, does that mean that being enhearted logically implies being kidneyfied? If all chimps are hairy, is that a logical requirement? Is inclusion implication? |
| 7728 | Frege has a judgement stroke (vertical, asserting or judging) and a content stroke (horizontal, expressing) [Frege, by Weiner] |
| Full Idea: Frege distinguished between asserting a proposition and expressing it, and he introduced the judgement stroke (a small vertical line, assertion) and the content stroke (a long horizontal line, expression) to represent them. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege Ch.3 | |
| A reaction: There are also strokes for conditional and denial. |
| 16881 | The laws of logic are boundless, so we want the few whose power contains the others [Frege] |
| Full Idea: Since in view of the boundless multitude of laws that can be enunciated we cannot list them all, we cannot achieve completeness except by searching out those that, by their power, contain all of them. | |
| From: Gottlob Frege (Begriffsschrift [1879], §13) | |
| A reaction: He refers to these laws in the previous sentence as the 'core'. His talk of 'power' is music to my ears, since it implies a direction of explanation. Burge says the power is that of defining other concepts. |
| 7622 | In 1879 Frege developed second order logic [Frege, by Putnam] |
| Full Idea: By 1879 Frege had discovered an algorithm, a mechanical proof procedure, that embraces what is today standard 'second order logic'. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Hilary Putnam - Reason, Truth and History Ch.5 | |
| A reaction: Note that Frege did more than introduce quantifiers, and the logic of predicates. |
| 7729 | Frege replaced Aristotle's subject/predicate form with function/argument form [Frege, by Weiner] |
| Full Idea: Frege's regimentation is based on the view of the simplest sort of statement as having, not subject/predicate form (as in Aristotle), but function/argument form. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege | |
| A reaction: This looks like being a crucial move into the modern world, where one piece of information is taken in and dealt with, as in computer procedures. Have educated people reorganised their minds along Fregean lines? |
| 9950 | A quantifier is a second-level predicate (which explains how it contributes to truth-conditions) [Frege, by George/Velleman] |
| Full Idea: The contribution of the quantifier to the truth conditions of sentences of which it is a part cannot be adequately explained if it is treated as other than a second-level predicate (for instance, if it is viewed as name). | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2 | |
| A reaction: They suggest that this makes it something like a 'property of properties'. With this account it becomes plausible to think of numbers as quantifiers (since they do, after all, specify quantities). |
| 9991 | For Frege the variable ranges over all objects [Frege, by Tait] |
| Full Idea: For Frege the variable ranges over all objects. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by William W. Tait - Frege versus Cantor and Dedekind XII | |
| A reaction: The point is that Frege had not yet seen the necessity to define the domain of quantification, and this leads him into various difficulties. |
| 10536 | Frege's domain for variables is all objects, but modern interpretations first fix the domain [Dummett on Frege] |
| Full Idea: For Frege there is no need to specify the domain of the individual variables, which is taken as the totality of all objects. This contrasts with the standard notion of an interpretation, which demands that we first fix the domain. | |
| From: comment on Gottlob Frege (Begriffsschrift [1879]) by Michael Dummett - Frege Philosophy of Language (2nd ed) Ch.14 | |
| A reaction: What intrigues me is how domains of quantification shift according to context in ordinary usage, even in mid-sentence. I ought to go through every idea in this database, specifying its domain of quantification. Any volunteers? |
| 7730 | Frege introduced quantifiers for generality [Frege, by Weiner] |
| Full Idea: In order to express generality, Frege introduced quantifier notation. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege | |
| A reaction: This is the birth of predicate logic, beloved of analytical philosophers (but of no apparent interest to phenomenalists, deconstructionists, existentialists?). Generality is what you get from induction (which is, of course, problematic). |
| 7742 | Frege reduced most quantifiers to 'everything' combined with 'not' [Frege, by McCullogh] |
| Full Idea: Frege treated 'everything' as basic, and suggested ways of recasting propositions containing other quantifiers so that this was the only one remaining. He recast 'something' as 'at least one thing', and defined this in terms of 'everything' and 'not'. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Gregory McCullogh - The Game of the Name 1.6 | |
| A reaction: Extreme parsimony seems highly desirable in logic as well as ontology, but it can lead to frustrations, especially over the crucial question of the existence of things quantified over. See Idea 6068. |
| 13824 | Proof theory began with Frege's definition of derivability [Frege, by Prawitz] |
| Full Idea: Frege's formal definition of derivability is perhaps the first investigation in general proof theory. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Dag Prawitz - Gentzen's Analysis of First-Order Proofs 2 n2 | |
| A reaction: In 'On General Proof Theory §1' Prawitz says "proof theory originated with Hilbert" in 1900. Presumably Frege offered a theory, and then Hilbert saw it as a general project. |
| 13609 | Frege produced axioms for logic, though that does not now seem the natural basis for logic [Frege, by Kaplan] |
| Full Idea: Frege's work supplied a set of axioms for logic itself, at least partly because it was a well-known way of presenting the foundations in other disciplines, especially mathematics, but it does not nowadays strike us as natural for logic. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by David Kaplan - Dthat 5.1 | |
| A reaction: What Bostock has in mind is the so-called 'natural' deduction systems, which base logic on rules of entailment, rather than on a set of truths. The axiomatic approach uses a set of truths, plus the idea of possible contradictions. |
| 17855 | It may be possible to define induction in terms of the ancestral relation [Frege, by Wright,C] |
| Full Idea: Frege's account of the ancestral has made it possible, in effect, to define the natural numbers as entities for which induction holds. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Crispin Wright - Frege's Concept of Numbers as Objects 4.xix | |
| A reaction: This is the opposite of the approach in the Peano Axioms, where induction is used to define the natural numbers. |
| 10607 | Frege's logic has a hierarchy of object, property, property-of-property etc. [Frege, by Smith,P] |
| Full Idea: Frege's general logical system involves a type hierarchy, distinguishing objects from properties from properties-of-properties etc., with every item belonging to a determinate level. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Peter Smith - Intro to Gödel's Theorems 14.1 | |
| A reaction: The Theory of Types went on to apply this hierarchy to classes, where Frege's disastrous Basic Law V flattens the hierarchy of classes, putting them on the same level (Smith p.119) |
| 11008 | Existence is not a first-order property, but the instantiation of a property [Frege, by Read] |
| Full Idea: When Kant said that existence was not a property, what he meant was, according to Frege, that existence is not a first-order property - it is not a property of individuals but a property of properties, that the property has an instance. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Stephen Read - Thinking About Logic Ch.5 |
| 4421 | Philosophers have never asked why there is a will to truth in the first place [Nietzsche] |
| Full Idea: Both the earliest and most recent philosophers are all oblivious of how much the will to truth itself first requires justification: here there is a gap in every philosophy - how did this come about? | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], III.§24) | |
| A reaction: This seems to me a meta-philosophical question which will lead off into (quite interesting) cultural studies and (trite) evolutionary theory. Truth isn't a value, it is the biological function of brains. |
| 23719 | Forgetfulness is a strong positive ability, not mental laziness [Nietzsche] |
| Full Idea: Forgetfulness is not just a vis inertiae, as superficial people believe, but is rather an active ability to suppress, positive in the strongest sense of the word. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], II.§01) | |
| A reaction: It is unimpressive when people remember small slights and grievances for a long time - and even being owed small sums - so the ability to forget such things is admirable. But wilfully forgetting some things is obviously shameful. |
| 4420 | There is only 'perspective' seeing and knowing, and so the best objectivity is multiple points of view [Nietzsche] |
| Full Idea: There is only a perspective seeing, only a perspective "knowing", and the more different eyes we can use to observe one thing, the more complete will our "concept" of this thing, our "objectivity", be. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], III.§12) | |
| A reaction: A very perceptive statement of the most plausible and sophisticated version of relativism. It is hard to see how we could distinguish multiple viewpoints from pure objectivity. |
| 1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
| Full Idea: I regard you all as relatives - by nature, not by convention. By nature like is akin to like, but convention is a tyrant over humankind and often constrains people to act contrary to nature. | |
| From: Hippias (fragments/reports [c.430 BCE]), quoted by Plato - Protagoras 337c8 |
| 4414 | Philosophers invented "free will" so that our virtues would be permanently interesting to the gods [Nietzsche] |
| Full Idea: The philosophers invented "free will" - absolute human spontaneity in good and evil - to furnish a right to the idea that the interest of the gods in man, in human virtue, could never be exhausted. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], II.§07) | |
| A reaction: Wonderfully outrageous suggestion! If we had true metaphysical 'absolute' free will, we would be much more interesting, and have a much higher status in the cosmos. Nietzsche is probably right. |
| 4419 | People who think in words are orators rather than thinkers, and think about facts instead of thinking facts [Nietzsche] |
| Full Idea: Whoever thinks in words thinks as an orator and not as a thinker (it shows that he does not think facts, but only in relation to facts). | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], III.§08) | |
| A reaction: Good. It is certainly not true that we have to think in words, or else animals wouldn't think. Good thinking should focus on reality, and be too fast for words to keep up. |
| 22280 | Frege's account was top-down and decompositional, not bottom-up and compositional [Frege, by Potter] |
| Full Idea: Frege's account was top-down, not bottom-up: he aimed to decompose and discern function-argument structure in already existing sentences, not to explain how those sentences acquired their meanings in the first place. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 03 'Func' | |
| A reaction: This goes with the holistic account of meaning, which leads to Quine's gavagai and Kuhn's obfuscation of science. I recommend compositionality for everthing. |
| 4411 | It is a delusion to separate the man from the deed, like the flash from the lightning [Nietzsche] |
| Full Idea: Just as the popular mind separates the lightning from its flash and takes the latter for a 'action', so they separate strength from expressions of strength, but there is no such substratum; the deed is everything. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], I.§13) | |
| A reaction: Of course, there is no reason why an analysis should not separate the doer and the deed (to explain, for example, a well-meaning fool), but it is a blunder to think of a human action as a merely physical event. |
| 3793 | We must question the very value of moral values [Nietzsche] |
| Full Idea: We need a critique of moral values; the value of these values themselves must just be called in question. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], Pre f§3) | |
| A reaction: But we must start somewhere with values, to avoid an infinite regress. |
| 4408 | The concept of 'good' was created by aristocrats to describe their own actions [Nietzsche] |
| Full Idea: The judgement 'good' did not first originate with those to whom goodness was shown! Rather it was the 'good' themselves, that is to say the noble, powerful, high-stationed and high-minded who established themselves and their action as good. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], I.§02) | |
| A reaction: This may be right, but not very profound. Virtually all concepts are created by the most educated classes. The first recipient of charity may not have had the concept, but they would have been gobsmacked by the novelty. |
| 23716 | A strong rounded person soon forgets enemies, misfortunes, and even misdeeds [Nietzsche] |
| Full Idea: To be unable to take his enemies, his misfortunes and even his misdeeds seriously for long - that is the sign of strong, rounded natures with a superabundance of power. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], I.§10) | |
| A reaction: An aspect of the 'higher man' that I don't recall being mentioned elsewhere. I basically approve of this, if it means not holding grudges, and living for the future rather than for the past. |
| 20129 | All animals strive for the ideal conditions to express their power, and hate any hindrances [Nietzsche] |
| Full Idea: Every animal instinctively strives for an optimum of favourable conditions under which it can expend all its strength and achieve its maximal feeling of power; every animal abhors ...every hindrance that obstructs this path to the optimum. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], III.§07) | |
| A reaction: This became the lynchpin of Nietzsche's account of the source of values. It is a highly naturalistic view, fitting it into evolutionary theory (thought running deeper than that), so I have a lot of sympathy with the view. |
| 4409 | Only the decline of aristocratic morality led to concerns about "egoism" [Nietzsche] |
| Full Idea: It was only when aristocratic value judgements declined that the whole antithesis of "egoistic" and "unegoistic" obtruded itself more and more on the human conscience. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], I.§02) | |
| A reaction: But Aristotle, who is no aristocrat, has a balanced and sensible view of 'egoism', where it isn't the patronising arrogance that Nietzsche seems to like, but a proper concern with one's own character. |
| 3259 | Nietzsche rejects impersonal morality, and asserts the idea of living well [Nietzsche, by Nagel] |
| Full Idea: Nietzsche's rejection of impersonal morality is an assertion of the dominance of the ideal of living well. | |
| From: report of Friedrich Nietzsche (On the Genealogy of Morals [1887], I) by Thomas Nagel - The View from Nowhere X.2 |
| 4416 | Basic justice is the negotiation of agreement among equals, and the imposition of agreement [Nietzsche] |
| Full Idea: Justice on the elementary level is good will among parties of approximately equal power to come to terms with one another, and to compel parties of lesser power to reach a settlement among themselves. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], II.§08) | |
| A reaction: This pinpoints a key problem with the social contract as a moral theory - that it requires equals, and recognises only terror of superiors, and indifference to useless inferiors who have nothing to offer (paraplegics and animals). |
| 4418 | A masterful and violent person need have nothing to do with contracts [Nietzsche] |
| Full Idea: He who can command, he who is "master", he who is violent in act and bearing - what has he to do with contracts! | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], II.§17) | |
| A reaction: The persistent problem with social contract theory is that those much stronger or much weaker seem to have no interest in morality at all, and yet they can all have standards of behaviour. |
| 4407 | Plato, Spinoza and Kant are very different, but united in their low estimation of pity [Nietzsche] |
| Full Idea: Plato, Spinoza, La Rochefoucauld, and Kant are four spirits very different from one another, but united in one thing: their low estimation of pity. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], Pref §5) | |
| A reaction: Plato is no surprise, as virtually no Greeks value pity. Spinoza and Kant are interesting. Presumably Kant's 'contractualism' places respect far above pity, and is theoretical neglect of animals would fit. Remember Nietzsche embraced a horse in Turin. |
| 4415 | Guilt and obligation originated in the relationship of buying and selling, credit and debt [Nietzsche] |
| Full Idea: The feeling of guilt, of personal obligation, had its origin in the oldest and most primitive personal relationship, that between buyer and seller, between creditor and debtor. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], II.§08) | |
| A reaction: In other words, lofty Kantian ideals started life in the grubby world of the Hobbesian social contract, and self-seeking has been disguised by idealism. Too harsh on Kant, who explains why contracts have force, not just convenience. |
| 23718 | If we say birds of prey could become lambs, that makes them responsible for being birds of prey [Nietzsche] |
| Full Idea: Scientists …do not defend any belief more strongly than that the strong are free to be weak, and the birds of prey are free to be lambs: - in this way, they gain the right to make the birds of prey responsible for being birds of prey. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], I.§13) | |
| A reaction: This is a flat rejection of the Sartrean idea that we can what sort of person we want to be. He cares about birds of prey, but also lambs can't become eagles. I would say that adolescents have a reasonable degree of choice about what they will become. |
| 23717 | Modern nihilism is now feeling tired of mankind [Nietzsche] |
| Full Idea: The sight of man now makes us tired - what is nihilism today if it is not that? …We are tired of man… | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], I.§12) | |
| A reaction: That is close to Hume's nihilist, who would destroy the world to protect his own finger from a scratch. The actor George Sanders committed suicide because he was bored. Don't ever think that Nietzsche was a nihilist, just because he mentions it a lot! |
| 23721 | Old tribes always felt an obligation to the earlier generations, and the founders [Nietzsche] |
| Full Idea: Within the original tribal association the living generation always acknowledged a legal obligation towards the earlier generation, and in particular towards the earliest. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], II.§19) | |
| A reaction: This is still a factor in modern politics, though the people remember are either military heroes or the great figures of a particular political movement. We remember the big artists and personalities, but don't feel obligated to them. |
| 20142 | The state begins with brutal conquest of a disorganised people, not with a 'contract' [Nietzsche] |
| Full Idea: Some pack of blond beasts of prey, on a war footing, unscrupulously lays its dreadful paws on a populace which is shapeless. In this way the 'state' began on earth. I think I have dispensed with the fantasy which has it begin with a 'contract'. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], II.§17) | |
| A reaction: [compressed] It is certainly likely that a tribe which got itself well organised and focused on some end would achieve total dominance over other tribes that just focus on food. |
| 23720 | Punishment makes people harder, more alienated, and hostile [Nietzsche] |
| Full Idea: On the whole, punishment makes men harder and colder, it concentrates, it sharpens the feeling of alienation; it strengthens the power to resist. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], II.§14) | |
| A reaction: If the school system involves routine harsh punishments, that means that the whole population ends up in that state. I would have thought that this was an obvious truth about punishment, but no one seems to want to face up to it. |
| 7741 | The predicate 'exists' is actually a natural language expression for a quantifier [Frege, by Weiner] |
| Full Idea: On Frege's logical analysis, the predicate 'exists' is actually a natural language expression for a quantifier. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege Ch.8 | |
| A reaction: However see Idea 6067, for McGinn's alternative view of quantifiers. In the normal conventions of predicate logic it may be that existence is treated as a quantifier, but that is not the same as saying that existence just IS a quantifier. |
| 4410 | The truly great haters in world history have always been priests [Nietzsche] |
| Full Idea: The truly great haters in world history have always been priests. | |
| From: Friedrich Nietzsche (On the Genealogy of Morals [1887], I.§07) | |
| A reaction: Wicked, but it has a lot of truth. Priests have a lot to defend, and a lot of reasons for feeling threatened. |