120 ideas
| 22659 | It is wisdom to believe what you desire, because belief is needed to achieve it [James] |
| Full Idea: Clearly it is often the part of wisdom to believe what one desires; for the belief is one of indispensable preliminary conditions of the realisation of its object. | |
| From: William James (The Sentiment of Rationality [1882], p.43) | |
| A reaction: Roughly, action is impossible without optimism about possible success. This may count as instinct, rather than 'wisdom'. |
| 22657 | All good philosophers start from a dumb conviction about which truths can be revealed [James] |
| Full Idea: Every philosopher whose initiative counts for anything in the evolution of thought has taken his stand on a sort of dumb conviction that the truth must lie in one direction rather than another, and a preliminary assurance that this can be made to work. | |
| From: William James (The Sentiment of Rationality [1882], p.40) | |
| A reaction: I would refer to this as 'intuition', which I think of as reasons (probably good reasons) which cannot yet be articulated. Hence I like this idea very much, except for the word 'dumb'. It is more like a rational vision, yet to be filled in. |
| 22647 | A complete system is just a classification of the whole world's ingredients [James] |
| Full Idea: A completed theoretic philosophy can never be anything more than a completed classification of the world's ingredients. | |
| From: William James (The Sentiment of Rationality [1882], p.23) | |
| A reaction: I assume this is not just the physical ingredients, but must also include our conceptual scheme - but then we must first decide which is the best conceptual scheme to classify, and that's where the real action is. [He scorns such classifation later]. |
| 14092 | Philosophers are often too fussy about words, dismissing perfectly useful ordinary terms [Rosen] |
| Full Idea: Philosophers can sometimes be too fussy about the words they use, dismissing as 'unintelligible' or 'obscure' certain forms of language that are perfectly meaningful by ordinary standards, and which may be of some real use. | |
| From: Gideon Rosen (Metaphysical Dependence [2010], 01) | |
| A reaction: Analytic philosophers are inclined to drop terms they can't formalise, but there is more to every concept than its formalisation (Frege's 'direction' for example). I want to rescue 'abstraction' and 'essence'. Rosen says distinguish, don't formalise. |
| 22648 | A single explanation must have a single point of view [James] |
| Full Idea: A single explanation of a fact only explains it from a single point of view. | |
| From: William James (The Sentiment of Rationality [1882], p.23) | |
| A reaction: I take this to imply that multiple viewpoints lead us towards objectivity. The single viewpoint of an expert is of much greater value than that of a novice, on the whole. |
| 22642 | Man has an intense natural interest in the consistency of his own thinking [James] |
| Full Idea: After man's interest in breathing freely, the greatest of all his interests (because it never fluctuates or remits….) is his interest in consistency, in feeling that what he now thinks goes with what he thinks on other occasions. | |
| From: William James (The Pragmatist Account of Truth [1908], 'Seventh') | |
| A reaction: People notoriously contradict themselves all the time, but I suspect that it is when they get out of their depth in complexities such as politics. They probably achieve great consistency within their own expertise, and in common knowledge. |
| 22644 | Our greatest pleasure is the economy of reducing chaotic facts to one single fact [James] |
| Full Idea: Our pleasure at finding that a chaos of facts is the expression of single underlying fact is like a musician's relief at discovering harmony. …The passion for economy of means in thought is the philosophic passion par excellence. | |
| From: William James (The Sentiment of Rationality [1882], p.21) | |
| A reaction: We do, though, possess an inner klaxon warning against stupid simplistic reductions. Reducing all the miseries of life to the workings of the Devil is not satisfactory, even it it is economical. Simplicities are dangerously tempting. |
| 14100 | Figuring in the definition of a thing doesn't make it a part of that thing [Rosen] |
| Full Idea: From the simple fact that '1' figures in the definition of '2', it does not follow that 1 is part of 2. | |
| From: Gideon Rosen (Metaphysical Dependence [2010], 10) | |
| A reaction: He observes that quite independent things can be mentioned on the two sides of a definition, with no parthood relation. You begin to wonder what a definition really is. A causal chain? |
| 6710 | You can only define a statement that something is 'true' by referring to its functional possibilities [James] |
| Full Idea: Pragmatism insists that statements and beliefs are inertly and statically true only by courtesy: they practically pass for true; but you cannot define what you mean by calling them true without referring to their functional possibilities. | |
| From: William James (The Meaning of the Word "Truth" [1907], p.2) | |
| A reaction: I think this clarifies an objection to pragmatism, because all functional definitions (e.g. of the mind, or of moral behaviour) are preceded by the question of WHY this thing is able to function in this way. What special quality makes this possible? |
| 18986 | Truth is just a name for verification-processes [James] |
| Full Idea: Truth for us is simply a collective name for verification-processes, just as 'health' is a name for other processes in life. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 6) | |
| A reaction: So the slogan is 'truth is success in belief'? Suicide and racist genocide can be 'successful'. I would have thought that truth was the end of a process, rather than the process itself. |
| 18983 | In many cases there is no obvious way in which ideas can agree with their object [James] |
| Full Idea: When you speak of the 'time-keeping function' of a clock, it is hard to see exactly what your ideas can copy. ...Where our ideas cannot copy definitely their object, what does agreement with that object mean? | |
| From: William James (Pragmatism - eight lectures [1907], Lec 6) | |
| A reaction: This is a very good criticism of the correspondence theory of truth. It looks a lovely theory when you can map components of a sentence (like 'the pen is in the drawer') onto components of reality - but it has to cover the hard cases. |
| 18972 | Ideas are true in so far as they co-ordinate our experiences [James] |
| Full Idea: Pragmatists say that ideas (which themselves are but parts of our experience) become true just in so far as they help us to get into satisfactory relation with other parts of our experience. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 2) | |
| A reaction: I'm struck by the close similarity (at least in James) of the pragmatic view of truth and the coherence theory of truth (associated later with Blanshard). Perhaps the coherence theory is one version of the pragmatic account |
| 18973 | New opinions count as 'true' if they are assimilated to an individual's current beliefs [James] |
| Full Idea: A new opinion counts as 'true' just in proportion as it gratifies the individual's desire to assimilate the novel in his experience to his beliefs in stock. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 2) | |
| A reaction: Note the tell-tale locution 'counts as' true, rather than 'is' true. The obvious problem is that someone with a big stock of foolish beliefs will 'count as' true some bad interpretation which is gratifyingly assimilated to their current confusions. |
| 22305 | If the hypothesis of God is widely successful, it is true [James] |
| Full Idea: On pragmatistic principles, if the hypothesis of God works satisfactorily in the widest sense of the word, it is true. | |
| From: William James (The Meaning of the Word "Truth" [1907], p.299), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 35 'Prag' | |
| A reaction: How you get from 'widely satisfactory' to 'true' is beyond my comprehension. This is dangerous nonsense. This view of truth seems to be a commonplace in American culture. Peirce hurray! James boo! James accepted verification, where possible. |
| 18984 | True ideas are those we can assimilate, validate, corroborate and verify (and false otherwise) [James] |
| Full Idea: True ideas are those that we can assimilate, validate, corroborate and verify. False ideas are those that we cannot. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 6) | |
| A reaction: The immediate question is why you should label something as 'false' simply on the grounds that you can't corroborate it. Proving the falsity is a stronger position than the ignorance James seems happy with. 'Assimilate' implies coherence. |
| 10073 | There cannot be a set theory which is complete [Smith,P] |
| Full Idea: By Gödel's First Incompleteness Theorem, there cannot be a negation-complete set theory. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 01.3) | |
| A reaction: This means that we can never prove all the truths of a system of set theory. |
| 18851 | Pairing (with Extensionality) guarantees an infinity of sets, just from a single element [Rosen] |
| Full Idea: In conjunction with Extensionality, Pairing entails that given a single non-set, infinitely many sets exist. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 04) |
| 10616 | Second-order arithmetic can prove new sentences of first-order [Smith,P] |
| Full Idea: Going second-order in arithmetic enables us to prove new first-order arithmetical sentences that we couldn't prove before. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 23.4) | |
| A reaction: The wages of Satan, perhaps. We can prove things about objects by proving things about their properties and sets and functions. Smith says this fact goes all the way up the hierarchy. |
| 10076 | The 'range' of a function is the set of elements in the output set created by the function [Smith,P] |
| Full Idea: The 'range' of a function is the set of elements in the output set that are values of the function for elements in the original set. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 02.1) | |
| A reaction: In other words, the range is the set of values that were created by the function. |
| 10605 | Two functions are the same if they have the same extension [Smith,P] |
| Full Idea: We count two functions as being the same if they have the same extension, i.e. if they pair up arguments with values in the same way. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 11.3) | |
| A reaction: So there's only one way to skin a cat in mathematical logic. |
| 10075 | A 'partial function' maps only some elements to another set [Smith,P] |
| Full Idea: A 'partial function' is one which maps only some elements of a domain to elements in another set. For example, the reciprocal function 1/x is not defined for x=0. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 02.1 n1) |
| 10612 | An argument is a 'fixed point' for a function if it is mapped back to itself [Smith,P] |
| Full Idea: If a function f maps the argument a back to a itself, so that f(a) = a, then a is said to be a 'fixed point' for f. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 20.5) |
| 10074 | A 'total function' maps every element to one element in another set [Smith,P] |
| Full Idea: A 'total function' is one which maps every element of a domain to exactly one corresponding value in another set. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 02.1) |
| 10615 | The Comprehension Schema says there is a property only had by things satisfying a condition [Smith,P] |
| Full Idea: The so-called Comprehension Schema ∃X∀x(Xx ↔ φ(x)) says that there is a property which is had by just those things which satisfy the condition φ. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 22.3) |
| 10595 | A 'theorem' of a theory is a sentence derived from the axioms using the proof system [Smith,P] |
| Full Idea: 'Theorem': given a derivation of the sentence φ from the axioms of the theory T using the background logical proof system, we will say that φ is a 'theorem' of the theory. Standard abbreviation is T |- φ. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 03.4) |
| 10602 | A 'natural deduction system' has no axioms but many rules [Smith,P] |
| Full Idea: A 'natural deduction system' will have no logical axioms but may rules of inference. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 09.1) | |
| A reaction: He contrasts this with 'Hilbert-style systems', which have many axioms but few rules. Natural deduction uses many assumptions which are then discharged, and so tree-systems are good for representing it. |
| 10613 | No nice theory can define truth for its own language [Smith,P] |
| Full Idea: No nice theory can define truth for its own language. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 21.5) | |
| A reaction: This leads on to Tarski's account of truth. |
| 10077 | A 'surjective' ('onto') function creates every element of the output set [Smith,P] |
| Full Idea: A 'surjective' function is 'onto' - the whole of the output set results from the function being applied to elements of the original set. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 02.1) |
| 10078 | An 'injective' ('one-to-one') function creates a distinct output element from each original [Smith,P] |
| Full Idea: An 'injective' function is 'one-to-one' - each element of the output set results from a different element of the original set. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 02.1) | |
| A reaction: That is, two different original elements cannot lead to the same output element. |
| 10079 | A 'bijective' function has one-to-one correspondence in both directions [Smith,P] |
| Full Idea: A 'bijective' function has 'one-to-one correspondence' - it is both surjective and injective, so that every element in each of the original and the output sets has a matching element in the other. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 02.1) | |
| A reaction: Note that 'injective' is also one-to-one, but only in the one direction. |
| 10070 | If everything that a theory proves is true, then it is 'sound' [Smith,P] |
| Full Idea: If everything that a theory proves must be true, then it is a 'sound' theory. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 01.1) |
| 10086 | Soundness is true axioms and a truth-preserving proof system [Smith,P] |
| Full Idea: Soundness is normally a matter of having true axioms and a truth-preserving proof system. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 03.4) | |
| A reaction: The only exception I can think of is if a theory consisted of nothing but the axioms. |
| 10596 | A theory is 'sound' iff every theorem is true (usually from true axioms and truth-preservation) [Smith,P] |
| Full Idea: A theory is 'sound' iff every theorem of it is true (i.e. true on the interpretation built into its language). Soundness is normally a matter of having true axioms and a truth-preserving proof system. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 03.4) |
| 10069 | A theory is 'negation complete' if one of its sentences or its negation can always be proved [Smith,P] |
| Full Idea: Logicians say that a theory T is '(negation) complete' if, for every sentence φ in the language of the theory, either φ or ¬φ is deducible in T's proof system. If this were the case, then truth could be equated with provability. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 01.1) | |
| A reaction: The word 'negation' seems to be a recent addition to the concept. Presumable it might be the case that φ can always be proved, but not ¬φ. |
| 10598 | A theory is 'negation complete' if it proves all sentences or their negation [Smith,P] |
| Full Idea: A theory is 'negation complete' if it decides every sentence of its language (either the sentence, or its negation). | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 03.4) |
| 10597 | 'Complete' applies both to whole logics, and to theories within them [Smith,P] |
| Full Idea: There is an annoying double-use of 'complete': a logic may be semantically complete, but there may be an incomplete theory expressed in it. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 03.4) |
| 10609 | Two routes to Incompleteness: semantics of sound/expressible, or syntax of consistency/proof [Smith,P] |
| Full Idea: There are two routes to Incompleteness results. One goes via the semantic assumption that we are dealing with sound theories, using a result about what they can express. The other uses the syntactic notion of consistency, with stronger notions of proof. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 18.1) |
| 10080 | 'Effective' means simple, unintuitive, independent, controlled, dumb, and terminating [Smith,P] |
| Full Idea: An 'effectively decidable' (or 'computable') algorithm will be step-by-small-step, with no need for intuition, or for independent sources, with no random methods, possible for a dumb computer, and terminates in finite steps. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 02.2) | |
| A reaction: [a compressed paragraph] |
| 10087 | A theory is 'decidable' if all of its sentences could be mechanically proved [Smith,P] |
| Full Idea: A theory is 'decidable' iff there is a mechanical procedure for determining whether any sentence of its language can be proved. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 03.4) | |
| A reaction: Note that it doesn't actually have to be proved. The theorems of the theory are all effectively decidable. |
| 10088 | Any consistent, axiomatized, negation-complete formal theory is decidable [Smith,P] |
| Full Idea: Any consistent, axiomatized, negation-complete formal theory is decidable. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 03.6) |
| 10081 | A set is 'enumerable' is all of its elements can result from a natural number function [Smith,P] |
| Full Idea: A set is 'enumerable' iff either the set is empty, or there is a surjective function to the set from the set of natural numbers, so that the set is in the range of that function. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 02.3) |
| 10084 | A finite set of finitely specifiable objects is always effectively enumerable (e.g. primes) [Smith,P] |
| Full Idea: A finite set of finitely specifiable objects is always effectively enumerable (for example, the prime numbers). | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 02.4) |
| 10085 | The set of ordered pairs of natural numbers <i,j> is effectively enumerable [Smith,P] |
| Full Idea: The set of ordered pairs of natural numbers (i,j) is effectively enumerable, as proven by listing them in an array (across: <0,0>, <0,1>, <0,2> ..., and down: <0,0>, <1,0>, <2,0>...), and then zig-zagging. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 02.5) |
| 10601 | The thorems of a nice arithmetic can be enumerated, but not the truths (so they're diffferent) [Smith,P] |
| Full Idea: The theorems of any properly axiomatized theory can be effectively enumerated. However, the truths of any sufficiently expressive arithmetic can't be effectively enumerated. Hence the theorems and truths of arithmetic cannot be the same. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 05 Intro) |
| 10083 | A set is 'effectively enumerable' if a computer could eventually list every member [Smith,P] |
| Full Idea: A set is 'effectively enumerable' if an (idealised) computer could be programmed to generate a list of its members such that any member will eventually be mentioned (even if the list is empty, or without end, or contains repetitions). | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 02.4) |
| 10600 | Being 'expressible' depends on language; being 'capture/represented' depends on axioms and proof system [Smith,P] |
| Full Idea: Whether a property is 'expressible' in a given theory depends on the richness of the theory's language. Whether the property can be 'captured' (or 'represented') by the theory depends on the richness of the axioms and proof system. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 04.7) |
| 14096 | Explanations fail to be monotonic [Rosen] |
| Full Idea: The failure of monotonicity is a general feature of explanatory relations. | |
| From: Gideon Rosen (Metaphysical Dependence [2010], 05) | |
| A reaction: In other words, explanations can always shift in the light of new evidence. In principle this is right, but some explanations just seem permanent, like plate-tectonics as explanation for earthquakes. |
| 10599 | For primes we write (x not= 1 ∧ ∀u∀v(u x v = x → (u = 1 ∨ v = 1))) [Smith,P] |
| Full Idea: For prime numbers we write (x not= 1 ∧ ∀u∀v(u x v = x → (u = 1 ∨ v = 1))). That is, the only way to multiply two numbers and a get a prime is if one of them is 1. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 04.5) |
| 10610 | The reals contain the naturals, but the theory of reals doesn't contain the theory of naturals [Smith,P] |
| Full Idea: It has been proved (by Tarski) that the real numbers R is a complete theory. But this means that while the real numbers contain the natural numbers, the pure theory of real numbers doesn't contain the theory of natural numbers. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 18.2) |
| 10619 | The truths of arithmetic are just true equations and their universally quantified versions [Smith,P] |
| Full Idea: The truths of arithmetic are just the true equations involving particular numbers, and universally quantified versions of such equations. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 27.7) | |
| A reaction: Must each equation be universally quantified? Why can't we just universally quantify over the whole system? |
| 10618 | All numbers are related to zero by the ancestral of the successor relation [Smith,P] |
| Full Idea: All numbers are related to zero by the ancestral of the successor relation. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 23.5) | |
| A reaction: The successor relation only ties a number to the previous one, not to the whole series. Ancestrals are a higher level of abstraction. |
| 10608 | The number of Fs is the 'successor' of the Gs if there is a single F that isn't G [Smith,P] |
| Full Idea: The number of Fs is the 'successor' of the number of Gs if there is an object which is an F, and the remaining things that are F but not identical to the object are equinumerous with the Gs. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 14.1) |
| 10849 | Baby arithmetic covers addition and multiplication, but no general facts about numbers [Smith,P] |
| Full Idea: Baby Arithmetic 'knows' the addition of particular numbers and multiplication, but can't express general facts about numbers, because it lacks quantification. It has a constant '0', a function 'S', and functions '+' and 'x', and identity and negation. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 08.1) |
| 10850 | Baby Arithmetic is complete, but not very expressive [Smith,P] |
| Full Idea: Baby Arithmetic is negation complete, so it can prove every claim (or its negation) that it can express, but it is expressively extremely impoverished. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 08.3) |
| 10852 | Robinson Arithmetic (Q) is not negation complete [Smith,P] |
| Full Idea: Robinson Arithmetic (Q) is not negation complete | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 08.4) |
| 10851 | Robinson Arithmetic 'Q' has basic axioms, quantifiers and first-order logic [Smith,P] |
| Full Idea: We can beef up Baby Arithmetic into Robinson Arithmetic (referred to as 'Q'), by restoring quantifiers and variables. It has seven generalised axioms, plus standard first-order logic. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 08.3) |
| 10068 | Natural numbers have zero, unique successors, unending, no circling back, and no strays [Smith,P] |
| Full Idea: The sequence of natural numbers starts from zero, and each number has just one immediate successor; the sequence continues without end, never circling back on itself, and there are no 'stray' numbers, lurking outside the sequence. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 01.1) | |
| A reaction: These are the characteristics of the natural numbers which have to be pinned down by any axiom system, such as Peano's, or any more modern axiomatic structures. We are in the territory of Gödel's theorems. |
| 10603 | The logic of arithmetic must quantify over properties of numbers to handle induction [Smith,P] |
| Full Idea: If the logic of arithmetic doesn't have second-order quantifiers to range over properties of numbers, how can it handle induction? | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 10.1) |
| 10604 | Incompleteness results in arithmetic from combining addition and successor with multiplication [Smith,P] |
| Full Idea: Putting multiplication together with addition and successor in the language of arithmetic produces incompleteness. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 10.7) | |
| A reaction: His 'Baby Arithmetic' has all three and is complete, but lacks quantification (p.51) |
| 10848 | Multiplication only generates incompleteness if combined with addition and successor [Smith,P] |
| Full Idea: Multiplication in itself isn't is intractable. In 1929 Skolem showed a complete theory for a first-order language with multiplication but lacking addition (or successor). Multiplication together with addition and successor produces incompleteness. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 10.7 n8) |
| 14097 | Things could be true 'in virtue of' others as relations between truths, or between truths and items [Rosen] |
| Full Idea: Our relation of 'in virtue of' is among facts or truths, whereas Fine's relation (if it is a relation at all) is a relation between a given truth and items whose natures ground that truth. | |
| From: Gideon Rosen (Metaphysical Dependence [2010], 07 n10) | |
| A reaction: This disagreement between two key players in the current debate on grounding looks rather significant. I think I favour Fine's view, as it seems more naturalistic, and less likely to succumb to conventionalism. |
| 14095 | Facts are structures of worldly items, rather like sentences, individuated by their ingredients [Rosen] |
| Full Idea: Facts are structured entities built up from worldly items rather as sentences are built up from words. They might be identified with Russellian propositions. They are individuated by their constituents and composition, and are fine-grained. | |
| From: Gideon Rosen (Metaphysical Dependence [2010], 04) | |
| A reaction: I'm a little cautious about the emphasis on being sentence-like. We have Russell's continual warnings against imposing subject-predicate structure on things. I think we should happily talk about 'facts' in metaphysics. |
| 22641 | Realities just are, and beliefs are true of them [James] |
| Full Idea: Realities are not true, they are; and beliefs are true of them. | |
| From: William James (The Pragmatist Account of Truth [1908], 'Fourth') | |
| A reaction: At last, a remark by James about truth which I really like. For 'realities' I would use the word 'facts'. |
| 22649 | Classification can only ever be for a particular purpose [James] |
| Full Idea: Every way of classifying a thing is but a way of handling it for some particular purpose. Conceptions, 'kinds', are teleological instruments. | |
| From: William James (The Sentiment of Rationality [1882], p.24) | |
| A reaction: Could there not be ways of classifying which suit all of our purposes? If there were a naturally correct way to classifying things, then any pragmatist would probably welcome that. (I don't say there is such a way). |
| 10617 | The 'ancestral' of a relation is a new relation which creates a long chain of the original relation [Smith,P] |
| Full Idea: The 'ancestral' of a relation is that relation which holds when there is an indefinitely long chain of things having the initial relation. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 23.5) | |
| A reaction: The standard example is spotting the relation 'ancestor' from the receding relation 'parent'. This is a sort of abstraction derived from a relation which is not equivalent (parenthood being transitive but not reflexive). The idea originated with Frege. |
| 14093 | An 'intrinsic' property is one that depends on a thing and its parts, and not on its relations [Rosen] |
| Full Idea: One intuitive gloss on 'intrinsic' property is that a property is intrinsic iff whether or not a thing has it depends entirely on how things stand with it and its parts, and not on its relation to some distinct thing. | |
| From: Gideon Rosen (Metaphysical Dependence [2010], 02) | |
| A reaction: He offers this as a useful reward for reviving 'depends on' in metaphysical talk. The problem here would be to explain the 'thing' and its 'parts' without mentioning the target property. The thing certainly can't be a bundle of tropes. |
| 8915 | How we refer to abstractions is much less clear than how we refer to other things [Rosen] |
| Full Idea: It is unclear how we manage to refer determinately to abstract entities in a sense in which it is not unclear how we manage to refer determinately to other things. | |
| From: Gideon Rosen (Abstract Objects [2001], 'Way of Ex') | |
| A reaction: This is where problems of abstraction overlap with problems about reference in language. Can we have a 'baptism' account of each abstraction (even very large numbers)? Will descriptions do it? Do abstractions collapse into particulars when we refer? |
| 18852 | A Meinongian principle might say that there is an object for any modest class of properties [Rosen] |
| Full Idea: Meinongian abstraction principles say that for any (suitably restricted) class of properties, there exists an abstract entity (arbitrary object, subsistent entity) that possesses just those properties. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 04) | |
| A reaction: This is 'Meinongian' because there will be an object which is circular and square. The nub of the idea presumably resides in what is meant by 'restricted'. An object possessing every conceivable property is, I guess, a step too far. |
| 18987 | A 'thing' is simply carved out of reality for human purposes [James] |
| Full Idea: What shall we call a 'thing' anyhow? It seems quite arbitrary, for we carve out everything, just as we carve out constellations, to suit our human purposes. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 7) | |
| A reaction: James wrote just before the discovery of galaxies, which are much more obviously 'things' than constellations like the Plough are! This idea suggests a connection between pragmatism and the nihilist view of objects of Van Inwagen and co. |
| 18981 | 'Substance' is just a word for groupings and structures in experience [James] |
| Full Idea: 'Substance' appears now only as another name for the fact that phenomena as they come are actually grouped and given in coherent forms. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 4) | |
| A reaction: This is the strongly empirical strain in James's empiricism. This sounds like a David Lewis comment on the Humean mosaic of experience. We Aristotelians at least believe that the groups run much deeper than the surface of experience. |
| 18849 | Metaphysical necessity is absolute and universal; metaphysical possibility is very tolerant [Rosen] |
| Full Idea: If P is metaphysically necessary, then it is absolutely necessary, and necessary in every real (non-epistemic) sense; and if P is possible in any sense, then it's possible in the metaphysical sense. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 02) | |
| A reaction: Rosen's shot at defining metaphysical necessity and possibility, and it looks pretty good to me. In my terms (drawing from Kit Fine) it is what is necessitated or permitted 'by everything'. So if it is necessitated by logic or nature, that's included. |
| 14094 | The excellent notion of metaphysical 'necessity' cannot be defined [Rosen] |
| Full Idea: Many of our best words in philosophy do not admit of definition, the notion of metaphysical 'necessity' being one pertinent example. | |
| From: Gideon Rosen (Metaphysical Dependence [2010], 03) | |
| A reaction: Rosen is busy defending words in metaphysics which cannot be pinned down with logical rigour. We are allowed to write □ for 'necessary', and it is accepted by logicians as being stable in a language. |
| 18850 | 'Metaphysical' modality is the one that makes the necessity or contingency of laws of nature interesting [Rosen] |
| Full Idea: 'Metaphysical' modality is the sort of modality relative to which it is an interesting question whether the laws of nature are necessary or contingent. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 02) | |
| A reaction: Being an essentialist here, I take it that the stuff of the universe necessitates the so-called 'laws'. The metaphysically interesting question is whether the stuff might have been different. Search me! A nice test of metaphysical modality though. |
| 18858 | Sets, universals and aggregates may be metaphysically necessary in one sense, but not another [Rosen] |
| Full Idea: It may be metaphysically necessary in one sense that sets or universals or mereological aggregates exist, while in another sense existence is always a contingent matter. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 10) | |
| A reaction: This idea depends on Idea 18856 and 18857. Personally I only think mereological aggregates and sets exist when people decide that they exist, so I don't see how they could ever be necessary. I'm unconvinced about his two concepts. |
| 18857 | Standard Metaphysical Necessity: P holds wherever the actual form of the world holds [Rosen] |
| Full Idea: According to the Standard Conception of Metaphysical Necessity, P is metaphysically necessary when it holds in every possible world in which the laws of metaphysics (about the form or structure of the actual world) hold | |
| From: Gideon Rosen (The Limits of Contingency [2006], 10) | |
| A reaction: Rosen has a second meaning, in Idea 18856. He thinks it is crucial to see that there are two senses, because many things come out as metaphysically necessary on one concept, but contingent on the other. Interesting.... |
| 18856 | Non-Standard Metaphysical Necessity: when ¬P is incompatible with the nature of things [Rosen] |
| Full Idea: According to the Non-Standard conception of Metaphysical Necessity, P is metaphysically necessary when its negation is logically incompatible with the nature of things. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 10) | |
| A reaction: Rosen's new second meaning of the term. My immediate problem is with it resting on being 'logically' incompatible. Are squares 'logically' incompatible with circles? I like the idea that it rests on 'the nature of things'. (Psst! natures = essences) |
| 18848 | Something may be necessary because of logic, but is that therefore a special sort of necessity? [Rosen] |
| Full Idea: It is one thing to say that P is necessary in some generic sense because it is a truth of logic (true in all models of a language, perhaps). It is something else to say that P therefore enjoys a special sort of necessity. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 02) | |
| A reaction: This encourages my thought that there is only one sort of necessity (what must be), and the variety comes from the different types of necessity makers (everything there could be, nature, duties, promises, logics, concepts...). |
| 18855 | Combinatorial theories of possibility assume the principles of combination don't change across worlds [Rosen] |
| Full Idea: Combinatorial theories of possibility take it for granted ....that possible worlds in general share a syntax, as it were, differing only in the constituents from which they are generated, or in the particular manner of their arrangements. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 08) | |
| A reaction: For instance, it might assume that every world has 'objects', to which 'properties' and 'relations' can be attached, or to which 'functions' can apply. |
| 14101 | Are necessary truths rooted in essences, or also in basic grounding laws? [Rosen] |
| Full Idea: Fine says a truth is necessary when it is a logical consequence of the essential truths, but maybe it is a consequence of the essential truths together with the basic grounding laws (the 'Moorean connections'). | |
| From: Gideon Rosen (Metaphysical Dependence [2010], 13) | |
| A reaction: I'm with Fine all the way here, as we really don't need to clog nature up with things called 'grounding laws', which are both obscure and inexplicable. Fine's story is the one for naturalistically inclined philosophers. |
| 18853 | A proposition is 'correctly' conceivable if an ominiscient being could conceive it [Rosen] |
| Full Idea: To a first approximation, P is correctly conceivable iff it would be conceivable for a logically ominiscient being who was fully informed about the nature of things. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 05) | |
| A reaction: Isn't the last bit covered by 'ominiscient'? Ah, I think the 'logically' only means they have a perfect grasp of what is consistent. This is to meet the standard problem, of ill-informed people 'conceiving' of things which are actually impossible. |
| 18974 | Truth is a species of good, being whatever proves itself good in the way of belief [James] |
| Full Idea: Truth is one species of good, and not, as is usually supposed, a category distinct from good, and co-ordinate with it. The true is whatever proves itself to be good in the way of belief, and good, too, for definite, assignable reasons. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 2) | |
| A reaction: The trouble is that false optimism can often often be what is 'good in the way of belief'. That said, I think quite a good way to specify 'truth' is 'success in belief', but I mean intrinsically successful, not pragmatically successful. |
| 18989 | Pragmatism accepts any hypothesis which has useful consequences [James] |
| Full Idea: On pragmatic principles we cannot reject any hypothesis if consequences useful to life flow from it. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 8) | |
| A reaction: Most governments seem to find lies more useful than the truth. Maybe most children are better off not knowing the truth about their parents. It might be disastrous to know the truth about what other people are thinking. Is 'useful but false' meaningful? |
| 22640 | We find satisfaction in consistency of all of our beliefs, perceptions and mental connections [James] |
| Full Idea: We find satisfaction in consistency between the present idea and the entire rest of our mental equipment, including the whole order of our sensations, and that of our intuitions of likeness and difference, and our whole stock previously acquired truths. | |
| From: William James (The Pragmatist Account of Truth [1908], 'Fourth') | |
| A reaction: I like this, apart from the idea that the criterion of good coherence seems to be subjective 'satisfaction'. We should ask why some large set of beliefs is coherent. I assume nature is coherent, and truth is the best explanation of our coherence about it. |
| 22655 | Scientific genius extracts more than other people from the same evidence [James] |
| Full Idea: What is the use of being a genius, unless with the same scientific evidence as other men, one can reach more truth than they? | |
| From: William James (The Sentiment of Rationality [1882], p.40) | |
| A reaction: This is aimed at Clifford's famous principle. He isn't actually contraverting the principle, but it is a nice point about evidence. Simple empiricists think detectives only have to stare at the evidence and the solution creates itself. |
| 22658 | Experimenters assume the theory is true, and stick to it as long as result don't disappoint [James] |
| Full Idea: Each tester of the truth of a theory …acts as if it were true, and expects the result to disappoint him if his assumption is false. The longer disappointment is delayed, the stronger grows his faith in his theory. | |
| From: William James (The Sentiment of Rationality [1882], p.42) | |
| A reaction: This is almost exactly Popper's falsificationist proposal for science, which interestingly shows the close relationship of his view to pragmatism. Believe it as long as it is still working. |
| 18971 | Theories are practical tools for progress, not answers to enigmas [James] |
| Full Idea: Theories are instruments, not answers to enigmas, in which we can rest. We don't lie back upon them, we move forward, and, on occasion, make nature over again by their aid. Pragmatism unstiffens all our theories, limbers them up and sets each one to work. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 2) | |
| A reaction: This follows his criticism of the quest for 'solving names' - big words that give bogus solutions to problems. James's view is not the same as 'instrumentalism', though he would probably sympathise with that view. The defines theories badly. |
| 18985 | True thoughts are just valuable instruments of action [James] |
| Full Idea: The possession of true thoughts means everywhere the possession of invaluable instruments of action. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 6) | |
| A reaction: It looks to me like we should distinguish 'active' and 'passive' instrumentalism. The passive version says there is no more to theories and truth than what instruments record. James's active version says truth is an instrument for doing things well. |
| 18982 | Pragmatism says all theories are instrumental - that is, mental modes of adaptation to reality [James] |
| Full Idea: The pragmatist view is that all our theories are instrumental, are mental modes of adaptation to reality, rather than revelations or gnostic answers to some divinely instituted world enigma. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 5) | |
| A reaction: This treats instrumentalism as the pragmatic idea of theories as what works (and nothing more), with, presumably, no interest in grasping something called 'reality'. Presumably instrumentalism might have other motivations - such as fun. |
| 22654 | We can't know if the laws of nature are stable, but we must postulate it or assume it [James] |
| Full Idea: That nature will follow tomorrow the same laws that she follows today is a truth which no man can know; but in the interests of cognition as well as of action we must postulate or assume it. | |
| From: William James (The Sentiment of Rationality [1882], p.39) | |
| A reaction: The stability of nature is something to be assessed, not something taken for granted. If you arrive in a new city and it all seems quiet, you keep your fingers crossed and treat it as stable. But revolution or coup could be just round the corner. |
| 22656 | Trying to assess probabilities by mere calculation is absurd and impossible [James] |
| Full Idea: The absurd abstraction of an intellect verbally formulating all its evidence and carefully estimating the probability thereof solely by the size of a vulgar fraction, is as ideally inept as it is practically impossible. | |
| From: William James (The Sentiment of Rationality [1882], p.40) | |
| A reaction: James probably didn't know about Bayes, but this is directed at the Bayesian approach. My view is that full rational assessment of coherence is a much better bet than a Bayesian calculation. Factors must be weighted. |
| 22646 | We have a passion for knowing the parts of something, rather than the whole [James] |
| Full Idea: Alongside the passion for simplification …is the passion for distinguishing; it is the passion to be acquainted with the parts rather than to comprehend the whole. | |
| From: William James (The Sentiment of Rationality [1882], p.22) | |
| A reaction: As I child I dismantled almost every toy I was given. This seems to be the motivation for a lot of analytic philosophy, but Aristotle also tended to think that way. |
| 22652 | The mind has evolved entirely for practical interests, seen in our reflex actions [James] |
| Full Idea: It is far too little recognised how entirely the intellect is built up of practical interests. The theory of evolution is beginning to do very good service by its reduction of all mentality to the type of reflex action. | |
| From: William James (The Sentiment of Rationality [1882], p.34) | |
| A reaction: Hands evolved for manipulating tools end up playing the piano. Minds evolved for action can be afflicted with boredom. He's not wrong, but he is risking the etymological fallacy (origin = purpose). I take navigation to be the original purpose of mind. |
| 22651 | Dogs' curiosity only concerns what will happen next [James] |
| Full Idea: A dog's curiosity about the movements of his master or a strange object only extends as far as the point of what is going to happen next. | |
| From: William James (The Sentiment of Rationality [1882], p.31) | |
| A reaction: Good. A nice corrective to people like myself who are tempted to inflate animal rationality, in order to emphasise human evolutionary continuity with them. It is hard to disagree with his observation. But dogs do make judgements! True/false! |
| 9286 | Consciousness is not a stuff, but is explained by the relations between experiences [James] |
| Full Idea: Consciousness connotes a kind of external relation, and not a special stuff or way of being. The peculiarity of our experiences, that they not only are, but are known, is best explained by their relations to one another, the relations being experiences. | |
| From: William James (Does Consciousness Exist? [1904], §3) | |
| A reaction: This view has suddenly caught people's interest. It might be better than the higher/lower relationship, which seems to leave the basic problem untouched. Does a whole network of relations between experiences gradually 'add up' to consciousness? |
| 9285 | 'Consciousness' is a nonentity, a mere echo of the disappearing 'soul' [James] |
| Full Idea: 'Consciousness' is the name of a nonentity. ..Those who cling to it are clinging to a mere echo, the faint rumour left behind by the disappearing 'soul' upon the air of philosophy. ..I deny that it stands for an entity, but it does stand for a function. | |
| From: William James (Does Consciousness Exist? [1904], Intro) | |
| A reaction: This kind of view is often treated as being preposterous, but I think it is correct. No one is denying the phenomenology, but it is the ontology which is at stake. Either you are a substance dualist, or mind must be eliminated as an 'entity'. |
| 23981 | Rage is inconceivable without bodily responses; so there are no disembodied emotions [James] |
| Full Idea: Can one fancy a state of rage and picture no flushing of the face, no dilation of the nostrils, no clenching of the teeth, no impulse to vigorous action? …A purely disembodied human emotion is a nonentity. | |
| From: William James (What is an Emotion? [1884], p.194), quoted by Peter Goldie - The Emotions 3 'Bodily' | |
| A reaction: Plausible for rage, but less so for irritation or admiration. Goldie thinks James is wrong. James says if intellectual feelings don't become bodily then they don't qualify as emotions. No True Scotsman! |
| 22650 | How can the ground of rationality be itself rational? [James] |
| Full Idea: Can that which is the ground of rationality in all else be itself properly called rational? | |
| From: William James (The Sentiment of Rationality [1882], p.25) | |
| A reaction: This is the perennial problem in deciding grounds, and in deciding what to treat as primitive. The stoics see the whole of nature as rational. Cf how can the ground of what is physical be itself physical? |
| 22643 | It seems that we feel rational when we detect no irrationality [James] |
| Full Idea: I think there are very good grounds for upholding the view that the feeling of rationality is constituted merely by the absence of any feelings of irrationality. | |
| From: William James (The Sentiment of Rationality [1882], p.20) | |
| A reaction: A very interesting proposal. Nothing is more basic to logic (well, plausible versions of logic) than the principle of non-contradiction - perhaps because it is the foundation of our natural intellectual equipment. |
| 18975 | We return to experience with concepts, where they show us differences [James] |
| Full Idea: Concepts for the pragmatist are things to come back into experience with, things to make us look for differences. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 3) | |
| A reaction: That's good. I like both halves of this. Experience gives us the concepts, but then we 'come back' into experience equipped with them. Presumably animals can look for differences, but concepts enhance that hugely. Know the names of the flowers. |
| 8917 | The Way of Abstraction used to say an abstraction is an idea that was formed by abstracting [Rosen] |
| Full Idea: The simplest version of the Way of Abstraction would be to say that an object is abstract if it is a referent of an idea that was formed by abstraction, but this is wedded to an outmoded philosophy of mind. | |
| From: Gideon Rosen (Abstract Objects [2001], 'Way of Abs') | |
| A reaction: This presumably refers to Locke, who wields the highly ambiguous term 'idea'. But if we sort out that ambiguity (by using modern talk of mental events, concepts and content?) we might reclaim the view. But do we have a 'genetic fallacy' here? |
| 8912 | Nowadays abstractions are defined as non-spatial, causally inert things [Rosen] |
| Full Idea: If any characterization of the abstract deserves to be regarded as the modern standard one, it is this: an abstract entity is a non-spatial (or non-spatiotemporal) causally inert thing. This view presents a number of perplexities... | |
| From: Gideon Rosen (Abstract Objects [2001], 'Non-spat') | |
| A reaction: As indicated in other ideas, the problem is that some abstractions do seem to be located somewhere in space-time, and to have come into existence, and to pass away. I like 'to exist is to have causal powers'. See Ideas 5992 and 8300. |
| 8913 | Chess may be abstract, but it has existed in specific space and time [Rosen] |
| Full Idea: The natural view of chess is not that it is a non-spatiotemporal mathematical object, but that it was invented at a certain time and place, that it has changed over the years, and so on. | |
| From: Gideon Rosen (Abstract Objects [2001], 'Non-spat') | |
| A reaction: This strikes me as being undeniable, and being an incredibly important point. Logicians seem to want to subsume things like games into the highly abstract world of logic and numbers. In fact the direction of explanation should be reversed. |
| 8914 | Sets are said to be abstract and non-spatial, but a set of books can be on a shelf [Rosen] |
| Full Idea: It is thought that sets are abstract, abstract objects do not exist in space, so sets must not exist in space. But it is not unnatural to say that a set of books is located on a certain shelf in the library. | |
| From: Gideon Rosen (Abstract Objects [2001], 'Non-spat') | |
| A reaction: The arguments against non-spatiality of abstractions seem to me to be conclusive. Not being able to assign a location to the cosine function is on a par with not knowing where my thoughts are located in my brain. |
| 8916 | Conflating abstractions with either sets or universals is a big claim, needing a big defence [Rosen] |
| Full Idea: The Way of Conflation account of abstractions (identifying them sets or with universals) is now relatively rare. The claim sets or universals are the only abstract objects would amount to a substantive metaphysical thesis, in need of defence. | |
| From: Gideon Rosen (Abstract Objects [2001], 'Way of Con') | |
| A reaction: If you produce a concept like 'mammal' by psychological abstraction, you do seem to end up with a set of things with shared properties, so this approach is not silly. I can't think of any examples of abstractions which are not sets or universals. |
| 8918 | Functional terms can pick out abstractions by asserting an equivalence relation [Rosen] |
| Full Idea: On Frege's suggestion, functional terms that pick out abstract expressions (such as 'direction' or 'equinumeral') have a typical form of f(a) = f(b) iff aRb, where R is an equivalence relation, a relation which is reflexive, symmetric and transitive. | |
| From: Gideon Rosen (Abstract Objects [2001], 'Way of Abs') | |
| A reaction: [Wright and Hale are credited with the details] This has become the modern orthodoxy among the logically-minded. Examples of R are 'parallel' or 'just as many as'. It picks out an 'aspect', which isn't far from the old view. |
| 8919 | Abstraction by equivalence relationships might prove that a train is an abstract entity [Rosen] |
| Full Idea: It seems possible to define a train in terms of its carriages and the connection relationship, which would meet the equivalence account of abstraction, but demonstrate that trains are actually abstract. | |
| From: Gideon Rosen (Abstract Objects [2001], 'Way of Abs') | |
| A reaction: [Compressed. See article for more detail] A tricky example, but a suggestive line of criticism. If you find two physical objects which relate to one another reflexively, symmetrically and transitively, they may turn out to be abstract. |
| 14099 | 'Bachelor' consists in or reduces to 'unmarried' male, but not the other way around [Rosen] |
| Full Idea: It sounds right to say that Fred's being a bachelor consists in (reduces to) being an unmarried male, but slightly off to say that Fred's being an unmarried male consists in (or reduces to) being a bachelor. There is a corresponding explanatory asymmetry. | |
| From: Gideon Rosen (Metaphysical Dependence [2010], 10) | |
| A reaction: This emerging understanding of the asymmetry of the idea shows that we are not just dealing with a simple semantic identity. Our concepts are richer than our language. He adds that a ball could be blue in virtue of being cerulean. |
| 22660 | Evolution suggests prevailing or survival as a new criterion of right and wrong [James] |
| Full Idea: The philosophy of evolution offers us today a new criterion, which is objective and fixed, as an ethical test between right and wrong: That is to be called good which is destined to prevail or survive. | |
| From: William James (The Sentiment of Rationality [1882], p.44) | |
| A reaction: Perceptive for its time. Herbert Spencer may have suggested the idea. James dismisses it, because it implies a sort of fatalism, whereas genuine moral choices are involved in what survives. |
| 6570 | Imagine millions made happy on condition that one person suffers endless lonely torture [James] |
| Full Idea: Consider a case in which millions could be made permanently happy on the one simple condition that a certain lost soul on the far-off edge of things should lead a life of lonely torture. | |
| From: William James (The Will to Believe [1896], p.188), quoted by Robert Fogelin - Walking the Tightrope of Reason Ch.2 | |
| A reaction: This seems to be one of the earliest pinpointings of a key problem with utilitiarianism, which is that other values than happiness (in this case, fairness) seem to be utterly overruled. If we ignore fairness, why shouldn't we ignore happiness? |
| 22645 | Understanding by means of causes is useless if they are not reduced to a minimum number [James] |
| Full Idea: The knowledge of things by their causes, which is often given as a definition of rational knowledge, is useless unless the causes converge to a minimum number, while still producing the maximum number of effects. | |
| From: William James (The Sentiment of Rationality [1882], p.21) | |
| A reaction: This is certainly the psychological motivation for trying to identify 'the' cause of something, but James always tries to sell such things as subjective. 'Useless' to one person is a subjective criterion; useless to anyone is much more objective. |
| 18854 | The MRL view says laws are the theorems of the simplest and strongest account of the world [Rosen] |
| Full Idea: According to the Mill-Ramsey-Lewis account of the laws of nature, a generalisation is a law just in case it is a theorem of every true account of the actual world that achieves the best overall balance of simplicity and strength. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 08) | |
| A reaction: The obvious objection is that many of the theorems will be utterly trivial, and that is one thing that the laws of nature are not. Unless you are including 'metaphysical laws' about very very fundamental things, like objects, properties, relations. |
| 14098 | An acid is just a proton donor [Rosen] |
| Full Idea: To be an acid just is to be a proton donor. | |
| From: Gideon Rosen (Metaphysical Dependence [2010], 10) | |
| A reaction: My interest here is in whether we can say that we have found the 'essence' of an acid - so we want to know whether something 'deeper' explains the proton-donation. I suspect not. Being a proton donor happens to have a group of related consequences. |
| 18980 | If there is a 'greatest knower', it doesn't follow that they know absolutely everything [James] |
| Full Idea: The greatest knower of them all may yet not know the whole of everything, or even know what he does know at one single stroke: - he may be liable to forget. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 4) | |
| A reaction: And that's before you get to the problem of how the greatest knower could possibly know whether or not they knew absolutely everything, or whether there might be some fact which was irremediably hidden from them. |
| 18978 | It is hard to grasp a cosmic mind which produces such a mixture of goods and evils [James] |
| Full Idea: We can with difficulty comprehend the character of a cosmic mind whose purposes are fully revealed by the strange mixture of good and evils that we find in this actual world's particulars. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 3) | |
| A reaction: And, of course, what counts as 'goods' or 'evils' seems to have a highly relative aspect to it. To claim that really it is all good is massive hope based on flimsy evidence. |
| 18991 | If the God hypothesis works well, then it is true [James] |
| Full Idea: On pragmatistic principles, if the hypothesis of God works satisfactorily in the widest sense of the word, it is true. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 8) | |
| A reaction: The truth of God's existence certainly is a challenging test case for the pragmatic theory of truth, and James really bites the bullet here. Pragmatism may ultimately founder on the impossibility of specifying what 'works satisfactorily' means. |
| 18977 | The wonderful design of a woodpecker looks diabolical to its victims [James] |
| Full Idea: To the grub under the bark the exquisite fitness of the woodpecker's organism to extract him would certainly argue a diabolical designer. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 3) | |
| A reaction: What an elegant sentence! The huge problem for religious people who accept (probably reluctantly) evolution by natural selection is the moral nature of the divine being who could use such a ruthless method of design. |
| 18979 | Things with parts always have some structure, so they always appear to be designed [James] |
| Full Idea: The parts of things must always make some definite resultant, be it chaotic or harmonious. When we look at what has actually come, the conditions must always appear perfectly designed to ensure it. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 3) | |
| A reaction: In so far as the design argument is an analogy with human affairs, we can't deny that high levels of order suggest an organising mind, and mere chaos suggests a coincidence of unco-ordinated forces. |
| 18976 | Private experience is the main evidence for God [James] |
| Full Idea: I myself believe that the evidence for God lies primarily in inner personal experience. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 3) | |
| A reaction: There is not much you can say to someone who claims incontrovertible evidence which is utterly private to themselves. Does total absence of private religious experience count as evidence on the subject? |
| 22653 | Early Christianity says God recognises the neglected weak and tender impulses [James] |
| Full Idea: In what did the emancipating message of primitive Christianity consist but in the announcement that God recognizes those weak and tender impulses which paganism had so rudely overlooked. | |
| From: William James (The Sentiment of Rationality [1882], p.36) | |
| A reaction: Nietzsche says these are the virtues of a good slave. Previous virtues were dominated by military needs, but the new virtues are those of large cities, where communal living with strangers is the challenge. |
| 18990 | Nirvana means safety from sense experience, and hindus and buddhists are just afraid of life [James] |
| Full Idea: Nirvana means safety from the everlasting round of adventures of which the world of sense consists. The hindoo and the buddhist for this is essentially their attitude, are simply afraid, afraid of more experience, afraid of life. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 8) | |
| A reaction: Wonderfully American! From what I have seen of eastern thought, including Taoism, I agree with James, in general. There is a rejection of knowledge and of human life which I find shocking. I suspect it is a defence mechanism for downtrodden people. |