75 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. |
| 13734 | Modern Quinean metaphysics is about what exists, but Aristotelian metaphysics asks about grounding [Schaffer,J] |
| Full Idea: On the now dominant Quinean view, metaphysics is about what there is (such as properties, meanings and numbers). I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. | |
| From: Jonathan Schaffer (On What Grounds What [2009], Intro) | |
| A reaction: I find that an enormously helpful distinction, and support the Aristotelian view. Schaffer's general line is that what exists is fairly uncontroversial and dull, but the interesting truths about the world emerge when we grasp its structure. |
| 13751 | If you tore the metaphysics out of philosophy, the whole enterprise would collapse [Schaffer,J] |
| Full Idea: Traditional metaphysics is so tightly woven into the fabric of philosophy that it cannot be torn out without the whole tapestry unravelling. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.3) | |
| A reaction: I often wonder why the opponents of metaphysics still continue to do philosophy. I don't see how you address questions of ethics, or philosophy of mathematics (etc) without coming up against highly general and abstract over-questions. |
| 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. |
| 13743 | We should not multiply basic entities, but we can have as many derivative entities as we like [Schaffer,J] |
| Full Idea: Occam's Razor should only be understood to concern substances: do not multiply basic entities without necessity. There is no problem with the multiplication of derivative entities - they are an 'ontological free lunch'. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.1) | |
| A reaction: The phrase 'ontological free lunch' comes from Armstrong. This is probably what Occam meant. A few extra specks of dust, or even a few more numbers (thank you, Cantor!) don't seem to challenge the principle. |
| 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. |
| 16295 | Tarski proved that truth cannot be defined from within a given theory [Tarski, by Halbach] |
| Full Idea: Tarski's Theorem states that under fairly generally applicable conditions, the assumption that there is a definition of truth within a given theory for the language of that same theory leads to a contradiction. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 1 | |
| A reaction: That might leave room for a definition outside the given theory. I take the main motivation for the axiomatic approach to be a desire to get a theory of truth within the given theory, where Tarski's Theorem says traditional approaches are just wrong. |
| 15342 | Tarski proved that any reasonably expressive language suffers from the liar paradox [Tarski, by Horsten] |
| Full Idea: Tarski's Theorem on the undefinability of truth says in a language sufficiently rich to talk about itself (which Gödel proved possible, via coding) the liar paradox can be carried out. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Leon Horsten - The Tarskian Turn 02.2 | |
| A reaction: The point is that truth is formally indefinable if it leads inescapably to contradiction, which the liar paradox does. This theorem is the motivation for all modern attempts to give a rigorous account of truth. |
| 19069 | 'True sentence' has no use consistent with logic and ordinary language, so definition seems hopeless [Tarski] |
| Full Idea: The possibility of a consistent use of 'true sentence' which is in harmony with the laws of logic and the spirit of everyday language seems to be very questionable, so the same doubt attaches to the possibility of constructing a correct definition. | |
| From: Alfred Tarski (The Concept of Truth for Formalized Languages [1933], §1) | |
| A reaction: This is often cited as Tarski having conclusively proved that 'true' cannot be defined from within a language, but his language here is much more circumspect. Modern critics say the claim depends entirely on classical logic. |
| 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. |
| 16296 | Tarski's Theorem renders any precise version of correspondence impossible [Tarski, by Halbach] |
| Full Idea: Tarski's Theorem applies to any sufficient precise version of the correspondence theory of truth, and all the other traditional theories of truth. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 1 | |
| A reaction: This is the key reason why modern thinkers have largely dropped talk of the correspondence theory. See Idea 16295. |
| 15339 | Tarski gave up on the essence of truth, and asked how truth is used, or how it functions [Tarski, by Horsten] |
| Full Idea: Tarski emancipated truth theory from traditional philosophy, by no longer posing Pilate's question (what is truth? or what is the essence of truth?) but instead 'how is truth used?', 'how does truth function?' and 'how can its functioning be described?'. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Leon Horsten - The Tarskian Turn 02.2 | |
| A reaction: Horsten, later in the book, does not give up on the essence of truth, and modern theorists are trying to get back to that question by following Tarski's formal route. Modern analytic philosophy at its best, it seems to me. |
| 16302 | Tarski did not just aim at a definition; he also offered an adequacy criterion for any truth definition [Tarski, by Halbach] |
| Full Idea: Tarski did not settle for a definition of truth, taking its adequacy for granted. Rather he proposed an adequacy criterion for evaluating the adequacy of definitions of truth. The criterion is his famous Convention T. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 3 | |
| A reaction: Convention T famously says the sentence is true if and only if a description of the sentence is equivalent to affirming the sentence. 'Snow is white' iff snow is white. |
| 19135 | Tarski enumerates cases of truth, so it can't be applied to new words or languages [Davidson on Tarski] |
| Full Idea: Tarski does not tell us how to apply his concept of truth to a new case, whether the new case is a new language or a word newly added to a language. This is because enumerating cases gives no clue for the next or general case. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Donald Davidson - Truth and Predication 1 | |
| A reaction: His account has been compared to a telephone directory. We aim to understand the essence of anything, so that we can fully know it, and explain and predict how it will behave. Either truth is primitive, or I demand to know its essence. |
| 19138 | Tarski define truths by giving the extension of the predicate, rather than the meaning [Davidson on Tarski] |
| Full Idea: Tarski defined the class of true sentences by giving the extension of the truth predicate, but he did not give the meaning. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Donald Davidson - Truth and Predication 1 | |
| A reaction: This is analogous to giving an account of the predicate 'red' as the set of red objects. Since I regard that as a hopeless definition of 'red', I am inclined to think the same of Tarski's account of truth. It works in the logic, but so what? |
| 4699 | Tarski made truth relative, by only defining truth within some given artificial language [Tarski, by O'Grady] |
| Full Idea: Tarski's account doesn't hold for natural languages. The general notion of truth is replaced by "true-in-L", where L is a formal language. Hence truth is relativized to each artificial language. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Paul O'Grady - Relativism Ch.2 | |
| A reaction: This is a pretty good indication that Tarski's theory is NOT a correspondence theory, even if its structure may sometimes give that impression. |
| 19324 | Tarski has to avoid stating how truths relate to states of affairs [Kirkham on Tarski] |
| Full Idea: Tarski has to define truths so as not to make explicit the relation between a true sentence and an obtaining state of affairs. ...He has to list each sentence separately, and simply assign it a state of affairs. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.8 | |
| A reaction: He has to avoid semantic concepts like 'reference', because he wants a physicalist theory, according to Kirkham. Thus the hot interest in theories of reference in the 1970s/80s. And also attempts to give a physicalist account of meaning. |
| 10672 | Tarskian semantics says that a sentence is true iff it is satisfied by every sequence [Tarski, by Hossack] |
| Full Idea: Tarskian semantics says that a sentence is true iff it is satisfied by every sequence, where a sequence is a set-theoretic individual, a set of ordered pairs each with a natural number as its first element and an object from the domain for its second. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Keith Hossack - Plurals and Complexes 3 |
| 15410 | Truth only applies to closed formulas, but we need satisfaction of open formulas to define it [Burgess on Tarski] |
| Full Idea: In Tarski's theory of truth, although the notion of truth is applicable only to closed formulas, to define it we must define a more general notion of satisfaction applicable to open formulas. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by John P. Burgess - Philosophical Logic 1.8 | |
| A reaction: This is a helpful pointer to what is going on in the Tarski definition. It culminates in the 'satisfaction of all sequences', which presumable delivers the required closed formula. |
| 18811 | Tarski uses sentential functions; truly assigning the objects to variables is what satisfies them [Tarski, by Rumfitt] |
| Full Idea: Tarski invoked the notion of a sentential function, where components are replaced by appropriate variables. A function is then satisfied by assigning objects to variables. An assignment satisfies if the function is true of the things assigned. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Ian Rumfitt - The Boundary Stones of Thought 3.2 | |
| A reaction: [very compressed] This use of sentential functions, rather than sentences, looks like the key to Tarski's definition of truth. |
| 15365 | We can define the truth predicate using 'true of' (satisfaction) for variables and some objects [Tarski, by Horsten] |
| Full Idea: The truth predicate, says Tarski, should be defined in terms of the more primitive satisfaction relation: the relation of being 'true of'. The fundamental notion is a formula (containing the free variables) being true of a sequence of objects as values. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Leon Horsten - The Tarskian Turn 06.3 |
| 19314 | For physicalism, reduce truth to satisfaction, then define satisfaction as physical-plus-logic [Tarski, by Kirkham] |
| Full Idea: Tarski, a physicalist, reduced semantics to physical and/or logicomathematical concepts. He defined all semantic concepts, save satisfaction, in terms of truth. Then truth is defined in terms of satisfaction, and satisfaction is given non-semantically. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.1 | |
| A reaction: The term 'logicomathematical' is intended to cover set theory. Kirkham says you can remove these restrictions from Tarski's theory, and the result is a version of the correspondence theory. |
| 19316 | Insight: don't use truth, use a property which can be compositional in complex quantified sentence [Tarski, by Kirkham] |
| Full Idea: Tarski's great insight is find another property, since open sentences are not truth. It must be had by open and genuine sentences. Clauses having it must generate it for the whole sentence. Truth can be defined for sentences by using it. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.4 | |
| A reaction: The proposed property is 'satisfaction', which can (unlike truth) be a feature open sentences (such as 'x is green', which is satisfied by x='grass'), |
| 19175 | Tarski gave axioms for satisfaction, then derived its explicit definition, which led to defining truth [Tarski, by Davidson] |
| Full Idea: Tarski turned his axiomatic characterisation of satisfaction into an explicit definition of the satisfaction-predicate using some fancy set theoretical apparatus, and this in turn leads to the explicit definition of the truth predicate. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Donald Davidson - Truth and Predication 7 |
| 10969 | Tarski had a theory of truth, and a theory of theories of truth [Tarski, by Read] |
| Full Idea: Besides a theory of truth of his own, Tarski developed a theory of theories of truth. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Stephen Read - Thinking About Logic Ch.1 | |
| A reaction: The famous snow biconditional is the latter, and the recursive account based on satisfaction is the former. |
| 17746 | Tarski's 'truth' is a precise relation between the language and its semantics [Tarski, by Walicki] |
| Full Idea: Tarski's analysis of the concept of 'truth' ...is given a precise treatment as a particular relation between syntax (language) and semantics (the world). | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Michal Walicki - Introduction to Mathematical Logic History E.1 | |
| A reaction: My problem is that the concept of truth seems to apply to animal minds, which are capable of making right or wrong judgements, and of realising their errors. Tarski didn't make universal claims for his account. |
| 10904 | Tarskian truth neglects the atomic sentences [Mulligan/Simons/Smith on Tarski] |
| Full Idea: The Tarskian account of truth neglects the atomic sentences. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Mulligan/Simons/Smith - Truth-makers §1 | |
| A reaction: Yes! The whole Tarskian edifice is built on a foundation which it is taboo even to mention. If truth is just the assignment of 'T' and 'F', that isn't even the beginnings of a theory of 'truth'. |
| 2571 | Tarski says that his semantic theory of truth is completely neutral about all metaphysics [Tarski, by Haack] |
| Full Idea: Tarski says "we may remain naïve realists or idealists, empiricists or metaphysicians… The semantic conception is completely neutral toward all these issues." | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Susan Haack - Philosophy of Logics 7.5 |
| 10821 | Physicalists should explain reference nonsemantically, rather than getting rid of it [Tarski, by Field,H] |
| Full Idea: Tarski work was to persuade physicalist that eliminating semantics was on the wrong track, and that we should explicate notions in the theory of reference nonsemantically rather than simply get rid of them. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Hartry Field - Tarski's Theory of Truth §3 |
| 10822 | A physicalist account must add primitive reference to Tarski's theory [Field,H on Tarski] |
| Full Idea: We need to add theories of primitive reference to Tarski's account if we are to establish the notion of truth as a physicalistically acceptable notion. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Hartry Field - Tarski's Theory of Truth §4 | |
| A reaction: This is the main point of Field's paper, and sounds very plausible to me. There is something major missing from Tarski, and at some point there needs to be a 'primitive' notion of thought and language making contact with the world, as it can't be proved. |
| 19134 | Tarski defined truth for particular languages, but didn't define it across languages [Davidson on Tarski] |
| Full Idea: Tarski defined various predicates of the form 's is true in L', each applicable to a single language, but he failed to define a predicate of the form 's is true in L' for variable 'L'. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Donald Davidson - Truth and Predication 1 | |
| A reaction: You might say that no one defines 'tree' to be just 'in English', but we might define 'multiplies' to be in Peano Arithmetic. This indicates the limited and formal nature of what Tarski was trying to achieve. |
| 16303 | Tarski made truth respectable, by proving that it could be defined [Tarski, by Halbach] |
| Full Idea: Tarski's proof of the definability of truth allowed him to establish truth as a respectable notion by his standards. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 3 |
| 16304 | Tarski didn't capture the notion of an adequate truth definition, as Convention T won't prove non-contradiction [Halbach on Tarski] |
| Full Idea: Every really adequate theory of truth should also prove the law of non-contradiction. Therefore Tarski's notion of adequacy in Convention T fails to capture the intuitive notion of adequacy he is after. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 3 | |
| A reaction: Tarski points out this weakness, in a passage quoted by Halbach. This obviously raises the question of what truth theories should prove, and this is explored by Halbach. If they start to prove arithmetic, we get nervous. Non-contradiction and x-middle? |
| 16306 | Tarski defined truth, but an axiomatisation can be extracted from his inductive clauses [Tarski, by Halbach] |
| Full Idea: Tarski preferred a definition of truth, but from that an axiomatisation can be extracted. His induction clauses can be turned into axioms. Hence he opened the way to axiomatic theories of truth. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 3 |
| 15322 | Tarski's had the first axiomatic theory of truth that was minimally adequate [Tarski, by Horsten] |
| Full Idea: Tarski's work is the earliest axiomatic theory of truth that meets minimal adequacy conditions. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Leon Horsten - The Tarskian Turn 01.1 | |
| A reaction: This shows a way in which Tarski gave a new direction to the study of truth. Subsequent theories have been 'stronger'. |
| 18759 | Identity is invariant under arbitrary permutations, so it seems to be a logical term [Tarski, by McGee] |
| Full Idea: Tarski showed that the only binary relations invariant under arbitrary permutations are the universal relation, the empty relation, identity and non-identity, thus giving us a reason to include '=' among the logical terms. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Vann McGee - Logical Consequence 6 | |
| A reaction: Tarski was looking for a criterion to distinguish logical from non-logical terms, since his account of logical validity depended on it. This idea lies behind whether a logic is or is not specified to be 'with identity' (i.e. using '='). |
| 10823 | A name denotes an object if the object satisfies a particular sentential function [Tarski] |
| Full Idea: To say that the name x denotes a given object a is the same as to stipulate that the object a ... satisfies a sentential function of a particular type. | |
| From: Alfred Tarski (The Concept of Truth for Formalized Languages [1933], p.194) |
| 18756 | Tarski built a compositional semantics for predicate logic, from dependent satisfactions [Tarski, by McGee] |
| Full Idea: Tarski discovered how to give a compositional semantics for predicate calculus, defining truth in terms of satisfaction, and showing how satisfaction for a complicated formula depends on satisfaction of the simple subformulas. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Vann McGee - Logical Consequence 4 | |
| A reaction: The problem was that the subformulas may contain free variables, and thus not be sentences with truth values. 'Satisfaction' can handle this, where 'truth' cannot (I think). |
| 19313 | Tarksi invented the first semantics for predicate logic, using this conception of truth [Tarski, by Kirkham] |
| Full Idea: Tarski invented a formal semantics for quantified predicate logic, the logic of reasoning about mathematics. The heart of this great accomplishment is his theory of truth. It has been called semantic 'theory' of truth, but Tarski preferred 'conception'. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.1 |
| 16323 | The object language/ metalanguage distinction is the basis of model theory [Tarski, by Halbach] |
| Full Idea: Tarski's distinction between object and metalanguage forms the basis of model theory. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 11 |
| 8940 | Tarski avoids the Liar Paradox, because truth cannot be asserted within the object language [Tarski, by Fisher] |
| Full Idea: In Tarski's account of truth, self-reference (as found in the Liar Paradox) is prevented because the truth predicate for any given object language is never a part of that object language, and so a sentence can never predicate truth of itself. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Jennifer Fisher - On the Philosophy of Logic 03.I | |
| A reaction: Thus we solve the Liar Paradox by ruling that 'you are not allowed to say that'. Hm. The slightly odd result is that in any conversation about whether p is true, we end up using (logically speaking) two different languages simultaneously. Hm. |
| 13741 | If 'there are red roses' implies 'there are roses', then 'there are prime numbers' implies 'there are numbers' [Schaffer,J] |
| Full Idea: We can automatically infer 'there are roses' from 'there are red roses' (with no shift in the meaning of 'roses'). Likewise one can automatically infer 'there are numbers' from 'there are prime numbers'. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.1) | |
| A reaction: He similarly observes that the atheist's 'God is a fictional character' implies 'there are fictional characters'. Schaffer is not committing to a strong platonism with his claim - merely that the existence of numbers is hardly worth disputing. |
| 10154 | Tarski's theory of truth shifted the approach away from syntax, to set theory and semantics [Feferman/Feferman on Tarski] |
| Full Idea: Tarski's theory of truth has been most influential in eventually creating a shift from the entirely syntactic way of doing things in metamathematics (promoted by Hilbert in the 1920s, in his theory of proofs), towards a set-theoretical, semantic approach. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Feferman / Feferman - Alfred Tarski: life and logic Int III |
| 13748 | Grounding is unanalysable and primitive, and is the basic structuring concept in metaphysics [Schaffer,J] |
| Full Idea: Grounding should be taken as primitive, as per the neo-Aristotelian approach. Grounding is an unanalyzable but needed notion - it is the primitive structuring conception of metaphysics. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.2) | |
| A reaction: [he cites K.Fine 1991] I find that this simple claim clarifies the discussions of Kit Fine, where you are not always quite sure what the game is. I agree fully with it. It makes metaphysics interesting, where cataloguing entities is boring. |
| 13747 | Supervenience is just modal correlation [Schaffer,J] |
| Full Idea: Supervenience is mere modal correlation. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.2) |
| 13744 | The cosmos is the only fundamental entity, from which all else exists by abstraction [Schaffer,J] |
| Full Idea: My preferred view is that there is only one fundamental entity - the whole concrete cosmos - from which all else exists by abstraction. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.1) | |
| A reaction: This looks to me like weak anti-realism - that there are no natural 'joints' in nature - but I don't think Schaffer intends that. I take the joints to be fundamentals, which necessitates that the cosmos has parts. His 'abstraction' is clearly a process. |
| 13739 | Maybe categories are just the different ways that things depend on basic substances [Schaffer,J] |
| Full Idea: Maybe the categories are determined by the different grounding relations, ..so that categories just are the ways things depend on substances. ...Categories are places in the dependence ordering. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 1.3) |
| 13742 | There exist heaps with no integral unity, so we should accept arbitrary composites in the same way [Schaffer,J] |
| Full Idea: I am happy to accept universal composition, on the grounds that there are heaps, piles etc with no integral unity, and that arbitrary composites are no less unified than heaps. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.1 n11) | |
| A reaction: The metaphysical focus is then placed on what constitutes 'integral unity', which is precisely the question which most interested Aristotle. Clearly if there is nothing more to an entity than its components, scattering them isn't destruction. |
| 13752 | The notion of 'grounding' can explain integrated wholes in a way that mere aggregates can't [Schaffer,J] |
| Full Idea: The notion of grounding my capture a crucial mereological distinction (missing from classical mereology) between an integrated whole with genuine unity, and a mere aggregate. x is an integrated whole if it grounds its proper parts. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 3.1) | |
| A reaction: That gives a nice theoretical notion, but if you remove each of the proper parts, does x remain? Is it a bare particular? I take it that it will have to be an abstract principle, the one Aristotle was aiming at with his notion of 'form'. Schaffer agrees. |
| 13749 | Belief in impossible worlds may require dialetheism [Schaffer,J] |
| Full Idea: One motivation for dialetheism is the view that there are impossible worlds. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.3) |
| 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. |
| 13740 | 'Moorean certainties' are more credible than any sceptical argument [Schaffer,J] |
| Full Idea: A 'Moorean certainty' is when something is more credible than any philosopher's argument to the contrary. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.1) | |
| A reaction: The reference is to G.E. Moore's famous claim that the existence of his hand is more certain than standard sceptical arguments. It sounds empiricist, but they might be parallel rational truths, of basic logic or arithmetic. |
| 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. |
| 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. |
| 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. |
| 20407 | Taste is the capacity to judge an object or representation which is thought to be beautiful [Tarski, by Schellekens] |
| Full Idea: Taste is the faculty for judging an object or a kind of representation through a satisfaction or a dissatisfaction, ...where the object of such a satisfaction is called beautiful. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Elizabeth Schellekens - Immanuel Kant (aesthetics) 1 | |
| A reaction: We usually avoid the word 'faculty' nowadays, because it implies a specific mechanism, but 'capacity' will do. Kant is said to focus specifically on beauty, whereas modern aestheticians have a broader view of the type of subject matter. |
| 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. |
| 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. |