40 ideas
| 9786 | Philosophers working like teams of scientists is absurd, yet isolation is hard [Cartwright,R] |
| Full Idea: The notion that philosophy can be done cooperatively, in the manner of scientists or engineers engaged in a research project, seems to me absurd. And yet few philosophers can survive in isolation. | |
| From: Richard Cartwright (Intro to 'Philosophical Essays' [1987], xxi) | |
| A reaction: This why Nietzsche said that philosophers were 'rare plants'. |
| 9784 | A false proposition isn't truer because it is part of a coherent system [Cartwright,R] |
| Full Idea: You do not improve the truth value of a false proposition by calling attention to a coherent system of propositions of which it is one. | |
| From: Richard Cartwright (Intro to 'Philosophical Essays' [1987], xi) | |
| A reaction: We need to disentangle the truth-value from the justification here. If it is false, then we can safely assume that is false, but we are struggling to decide whether it is false, and we want all the evidence we can get. Falsehood tends towards incoherence. |
| 18776 | Contextual definitions eliminate descriptions from contexts [Linsky,B] |
| Full Idea: A 'contextual' definition shows how to eliminate a description from a context. | |
| From: Bernard Linsky (Quantification and Descriptions [2014], 2) | |
| A reaction: I'm trying to think of an example, but what I come up with are better described as 'paraphrases' than as 'definitions'. |
| 21704 | 'Impredictative' definitions fix a class in terms of the greater class to which it belongs [Linsky,B] |
| Full Idea: The ban on 'impredicative' definitions says you can't define a class in terms of a totality to which that class must be seen as belonging. | |
| From: Bernard Linsky (Russell's Metaphysical Logic [1999], 1) | |
| A reaction: So that would be defining 'citizen' in terms of the community to which the citizen belongs? If you are asked to define 'community' and 'citizen' together, where do you start? But how else can it be done? Russell's Reducibility aimed to block this. |
| 13941 | Are the truth-bearers sentences, utterances, ideas, beliefs, judgements, propositions or statements? [Cartwright,R] |
| Full Idea: What is it that is susceptible of truth or falsity? The answers suggested constitute a bewildering variety: sentences, utterances, ideas, beliefs, judgments, propositions, statements. | |
| From: Richard Cartwright (Propositions [1962], 01) | |
| A reaction: Carwright's answer is 'statements', which seem to be the same as propositions. |
| 13942 | Logicians take sentences to be truth-bearers for rigour, rather than for philosophical reasons [Cartwright,R] |
| Full Idea: The current fashion among logicians of taking sentences to be the bearers of truth and falsity indicates less an agreement on philosophical theory than a desire for rigor and smoothness in calculative practice. | |
| From: Richard Cartwright (Propositions [1962], 01) | |
| A reaction: A remark close to my heart. Propositions are rejected first because language offers hope of answers, then because they seem metaphysically odd, and finally because you can't pin them down rigorously. But the blighters won't lie down and die. |
| 21705 | Reducibility says any impredicative function has an appropriate predicative replacement [Linsky,B] |
| Full Idea: The Axiom of Reducibility avoids impredicativity, by asserting that for any predicate of given arguments defined by quantifying over higher-order functions or classes, there is another co-extensive but predicative function of the same type of arguments. | |
| From: Bernard Linsky (Russell's Metaphysical Logic [1999], 1) | |
| A reaction: Eventually the axiom seemed too arbitrary, and was dropped. Linsky's book explores it. |
| 18774 | Definite descriptions, unlike proper names, have a logical structure [Linsky,B] |
| Full Idea: Definite descriptions seem to have a logical structure in a way that proper names do not. | |
| From: Bernard Linsky (Quantification and Descriptions [2014], 1.1.1) | |
| A reaction: Thus descriptions have implications which plain names do not. |
| 21727 | Definite descriptions theory eliminates the King of France, but not the Queen of England [Linsky,B] |
| Full Idea: The theory of definite descriptions may eliminate apparent commitment to such entities as the present King of France, but certainly not to the present Queen of England. | |
| From: Bernard Linsky (Russell's Metaphysical Logic [1999], 7.3) |
| 21719 | Extensionalism means what is true of a function is true of coextensive functions [Linsky,B] |
| Full Idea: With the principle of extensionality anything true of one propositional functions will be true of every coextensive one. | |
| From: Bernard Linsky (Russell's Metaphysical Logic [1999], 6.3) |
| 21723 | The task of logicism was to define by logic the concepts 'number', 'successor' and '0' [Linsky,B] |
| Full Idea: The problem for logicism was to find definitions of the primitive notions of Peano's theory, number, successor and 0, in terms of logical notions, so that the postulates could then be derived by logic alone. | |
| From: Bernard Linsky (Russell's Metaphysical Logic [1999], 7) | |
| A reaction: Both Frege and Russell defined numbers as equivalence classes. Successor is easily defined (in various ways) in set theory. An impossible set can exemplify zero. The trouble for logicism is this all relies on sets. |
| 21721 | Higher types are needed to distinguished intensional phenomena which are coextensive [Linsky,B] |
| Full Idea: The higher types are needed for intensional phenomena, cases where the same class is picked out by distinct propositional functions. | |
| From: Bernard Linsky (Russell's Metaphysical Logic [1999], 6.4) | |
| A reaction: I take it that in this way 'x is renate' can be distinguished from 'x is cordate', a task nowadays performed by possible worlds. |
| 21703 | Types are 'ramified' when there are further differences between the type of quantifier and its range [Linsky,B] |
| Full Idea: The types is 'ramified' because there are further differences between the type of a function defined in terms of a quantifier ranging over other functions and the type of those other functions, despite the functions applying to the same simple type. | |
| From: Bernard Linsky (Russell's Metaphysical Logic [1999], 1) | |
| A reaction: Not sure I understand this, but it evidently created difficulties for dealing with actual mathematics, and Ramsey showed how you could manage without the ramifications. |
| 21714 | The ramified theory subdivides each type, according to the range of the variables [Linsky,B] |
| Full Idea: The original ramified theory of types ...furthern subdivides each of the types of the 'simple' theory according to the range of the bound variables used in the definition of each propositional function. | |
| From: Bernard Linsky (Russell's Metaphysical Logic [1999], 6) | |
| A reaction: For a non-intiate like me it certainly sounds disappointing that such a bold and neat theory because a tangle of complications. Ramsey and Russell in the 1920s seem to have dropped the ramifications. |
| 21713 | Did logicism fail, when Russell added three nonlogical axioms, to save mathematics? [Linsky,B] |
| Full Idea: It is often thought that Logicism was a failure, because after Frege's contradiction, Russell required obviously nonlogical principles, in order to develop mathematics. The axioms of Reducibility, Infinity and Choice are cited. | |
| From: Bernard Linsky (Russell's Metaphysical Logic [1999], 6) | |
| A reaction: Infinity and Choice remain as axioms of the standard ZFC system of set theory, which is why set theory is always assumed to be 'up to its neck' in ontological commitments. Linsky argues that Russell saw ontology in logic. |
| 21715 | For those who abandon logicism, standard set theory is a rival option [Linsky,B] |
| Full Idea: ZF set theory is seen as a rival to logicism as a foundational scheme. Set theory is for those who have given up the project of reducing mathematics to logic. | |
| From: Bernard Linsky (Russell's Metaphysical Logic [1999], 6.1) | |
| A reaction: Presumably there are other rivals. Set theory has lots of ontological commitments. One could start at the other end, and investigate the basic ontological commitments of arithmetic. I have no idea what those might be. |
| 9783 | While no two classes coincide in membership, there are distinct but coextensive attributes [Cartwright,R] |
| Full Idea: Attributes and classes are said to be distinguished by the fact that whereas no two classes coincide in membership, there are supposed to be distinct but coextensive attributes. | |
| From: Richard Cartwright (Classes and Attributes [1967], §2) | |
| A reaction: This spells out the standard problem of renates and cordates, that creatures with hearts and with kidneys are precisely coextensive, but that these properties are different. Cartwright then attacks the distinction. |
| 21729 | Construct properties as sets of objects, or say an object must be in the set to have the property [Linsky,B] |
| Full Idea: Rather than directly constructing properties as sets of objects and proving neat facts about properties by proxy, we can assert biconditionals, such as that an object has a property if and only if it is in a certain set. | |
| From: Bernard Linsky (Russell's Metaphysical Logic [1999], 7.6) | |
| A reaction: Linsky is describing Russell's method of logical construction. I'm not clear what is gained by this move, but at least it is a variant of the usual irritating expression of properties as sets of objects. |
| 14961 | Clearly a pipe can survive being taken apart [Cartwright,R] |
| Full Idea: There is at the moment a pipe on my desk. Its stem has been removed but it remains a pipe for all that; otherwise no pipe could survive a thorough cleaning. | |
| From: Richard Cartwright (Scattered Objects [1974], p.175) | |
| A reaction: To say that the pipe survives dismantling is not to say that it is fully a pipe during its dismantled phase. He gives a further example of a book in two volumes. |
| 14962 | Bodies don't becomes scattered by losing small or minor parts [Cartwright,R] |
| Full Idea: If a branch falls from a tree, the tree does not thereby become scattered, and a human body does not become scattered upon loss of a bit of fingernail. | |
| From: Richard Cartwright (Scattered Objects [1974], p.184) | |
| A reaction: This sort of observation draws me towards essentialism. A body is scattered if you divide it in a major way, but not if you separate off a minor part. It isn't just a matter of size, or even function. We have broader idea of what is essential. |
| 13952 | Essentialism says some of a thing's properties are necessary, and could not be absent [Cartwright,R] |
| Full Idea: Essentialism, as I shall understand it, is the doctrine that among the attributes of a thing some are essential, others merely accidental. Its essential attributes are those it has necessarily, those it could not have lacked. | |
| From: Richard Cartwright (Some Remarks on Essentialism [1968], p.149) | |
| A reaction: The problem with this, which Cartwright does not address, is that trivial and gerrymandered properties (such as having self-identity, or being 'such that 2+2=4') seem to be necessarily, but don't seem to constitute the essence of a thing. |
| 13954 | The difficulty in essentialism is deciding the grounds for rating an attribute as essential [Cartwright,R] |
| Full Idea: I see no reason for thinking essentialism unintelligible, but a chief perplexity is the obscurity of the grounds on which ratings of attributes as essential or accidental are to be made. | |
| From: Richard Cartwright (Some Remarks on Essentialism [1968], p.158) | |
| A reaction: In that case some of us younger philosophers will have to roll up our sleeves and tease out the grounds for essentialism, starting with Aristotle and Leibniz, and ending with the successes of modern science. |
| 13955 | Essentialism is said to be unintelligible, because relative, if necessary truths are all analytic [Cartwright,R] |
| Full Idea: Apparently those who think essentialism unintelligible see support for their position in the doctrine that necessary truths are all analytic. Only relative to some mode of designation does it make sense to speak of an object as necessarily this or that. | |
| From: Richard Cartwright (Some Remarks on Essentialism [1968], p.158) | |
| A reaction: He has in mind Quine and his mathematician-cyclist (Idea 8482). Personally I have no problems with the example. No one is essentially a cyclist - that isn't what essence is. Two-legged people can be cyclists. |
| 13953 | An act of ostension doesn't seem to need a 'sort' of thing, even of a very broad kind [Cartwright,R] |
| Full Idea: For an ostension to be successful it is surely not necessary that I gather what sort of object it is you have indicated, such as being a horse or a zebra. I may even gather which thing you have indicated without knowing that it is a mammal or even alive. | |
| From: Richard Cartwright (Some Remarks on Essentialism [1968], p.157) | |
| A reaction: This nicely articulates the objection I have always felt to Geach's relative identity. 'Oh my God, what the hell is THAT???' is probably going to be a successful act of verbal reference, even while explicitly denying all knowledge of sortals. |
| 13945 | A token isn't a unique occurrence, as the case of a word or a number shows [Cartwright,R] |
| Full Idea: We cannot take a token of a word to be an occurrence of it. Suppose there is exactly one occurrence of the word 'etherized' in the whole of English poetry? Exactly one 'token'? This sort of occurrence is like the occurrence of a number in a sequence. | |
| From: Richard Cartwright (Propositions [1962], Add 2) | |
| A reaction: This remark is in an addendum to his paper, criticising his own lax use of the idea of 'token' in the actual paper. The example nicely shows that the type/token distinction isn't neat and tidy - though I consider it very useful. |
| 13948 | For any statement, there is no one meaning which any sentence asserting it must have [Cartwright,R] |
| Full Idea: It does have to be acknowledged, I think, that every statement whatever is such that there is no one meaning which any sentence used to assert it must have. | |
| From: Richard Cartwright (Propositions [1962], 11) | |
| A reaction: This feels to me like a Gricean move - that what we are really interested in is communicating one mental state to another mental state, and there are all sorts of tools that can do that one job. |
| 13950 | People don't assert the meaning of the words they utter [Cartwright,R] |
| Full Idea: No one ever asserts the meaning of the words he utters. | |
| From: Richard Cartwright (Propositions [1962], 12) | |
| A reaction: Cartwright is using this point to drive a wedge between sentence meaning and the assertion made by the utterance. Hence he defends propositions. Presumably people utilise word-meanings, rather than asserting them. Meanings (not words) are tools. |
| 13944 | We can pull apart assertion from utterance, and the action, the event and the subject-matter for each [Cartwright,R] |
| Full Idea: We need to distinguish 1) what is asserted, 2) that assertion, 3) asserting something, 4) what is predicated, 5) what is uttered, 6) that utterance, 7) uttering something, 8) the utterance token, and 9) the meaning. | |
| From: Richard Cartwright (Propositions [1962], 05-06) | |
| A reaction: [summary of his overall analysis in the paper] It is amazingly hard to offer a critical assessment of this sort of analysis, but it gives you a foot in the door for thinking about the issues with increasing clarity. |
| 13947 | 'It's raining' makes a different assertion on different occasions, but its meaning remains the same [Cartwright,R] |
| Full Idea: A person who utters 'It's raining' one day does not normally make the same statement as one who utters it the next. But these variations are not accompanied by corresponding changes of meaning. The words 'It's raining' retain the same meaning throughout. | |
| From: Richard Cartwright (Propositions [1962], 10) | |
| A reaction: This is important, because it shows that a proposition is not just the mental shadow behind a sentence, or a mental shadow awaiting a sentence. Unlike a sentence, a proposition can (and possibly must) include its own context. Very interesting! |
| 13943 | We can attribute 'true' and 'false' to whatever it was that was said [Cartwright,R] |
| Full Idea: We do sometimes say of something to which we have referred that it is true (or false). Are we not ordinarily doing just this when we utter such sentences as 'That's true' and 'What he said was false'? | |
| From: Richard Cartwright (Propositions [1962], 03) | |
| A reaction: This supports propositions, but doesn't clinch the matter. One could interpret this phenomenon as always being (implicitly) the reference of one sentence to another. However, I remember what he said, but I can't remember how he said it. |
| 13946 | To assert that p, it is neither necessary nor sufficient to utter some particular words [Cartwright,R] |
| Full Idea: In order to assert that p it is not necessary to utter exactly those words. ...Clearly, also, in order to assert that p, it is not sufficient to utter the words that were actually uttered. | |
| From: Richard Cartwright (Propositions [1962], 07) | |
| A reaction: I take the first point to be completely obvious (you can assert one thing with various wordings), and the second seems right after a little thought (the words could be vague, ambiguous, inaccurate, contextual) |
| 7357 | People who control others with fluent language often end up being hated [Kongzi (Confucius)] |
| Full Idea: Of what use is eloquence? He who engages in fluency of words to control men often finds himself hated by them. | |
| From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], V.5) | |
| A reaction: I don't recall Socrates making this very good point to any of the sophists (such as Gorgias). The idea that if you battle or connive your way to dominance over others then you are successful is false. Life is a much longer game than that. |
| 13951 | Assertions, unlike sentence meanings, can be accurate, probable, exaggerated, false.... [Cartwright,R] |
| Full Idea: Whereas what is asserted can be said to be accurate, exaggerated, unfounded, overdrawn, probable, improbable, plausible, true, or false, none of these can be said of the meaning of a sentence. | |
| From: Richard Cartwright (Propositions [1962], 12) | |
| A reaction: That fairly firmly kicks into touch the idea that the assertion is the same as the meaning of the sentence. |
| 7358 | All men prefer outward appearance to true excellence [Kongzi (Confucius)] |
| Full Idea: I have yet to meet a man as fond of excellence as he is of outward appearances. | |
| From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], IX.18) | |
| A reaction: Interestingly, this cynical view of the love of virtue is put by Plato into the mouths of Glaucon and Adeimantus (in Bk II of 'Republic', e.g. Idea 12), and not into the mouth of Socrates, who goes on to defend the possibility of true virtue. |
| 7362 | Humans are similar, but social conventions drive us apart (sages and idiots being the exceptions) [Kongzi (Confucius)] |
| Full Idea: In our natures we approximate one another; habits put us further and further apart. The only ones who do not change are sages and idiots. | |
| From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], XVII.2) | |
| A reaction: I find most of Confucius rather uninteresting, but this is a splendid remark about the influence of social conventions on human nature. Sages can achieve universal morality if they rise above social convention, and seek the true virtues of human nature. |
| 7360 | Do not do to others what you would not desire yourself [Kongzi (Confucius)] |
| Full Idea: Do not do to others what you would not desire yourself. Then you will have no enemies, either in the state or in your home. | |
| From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], XII.2) | |
| A reaction: The Golden Rule, but note the second sentence. Logically, it leads to the absurdity of not giving someone an Elvis record for Christmas because you yourself don't like Elvis. Kant (Idea 3733) and Nietzsche (Idea 4560) offer good criticisms. |
| 7359 | Excess and deficiency are equally at fault [Kongzi (Confucius)] |
| Full Idea: Excess and deficiency are equally at fault. | |
| From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], XI.16) | |
| A reaction: This is the sort of wisdom we admire in Aristotle (and in any sensible person), but it may also be the deepest motto of conservatism, and it is a long way from romantic philosophy, and the clarion call of Nietzsche to greater excitement in life. |
| 7363 | The virtues of the best people are humility, maganimity, sincerity, diligence, and graciousness [Kongzi (Confucius)] |
| Full Idea: He who in this world can practise five things may indeed be considered Man-at-his-best: humility, maganimity, sincerity, diligence, and graciousness. | |
| From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], XVII.5) | |
| A reaction: A very nice list. Who could resist working with a colleague who had such virtues? Who could go wrong if they married a person who had them? I can't think of anything important that is missing. |
| 7361 | Men of the highest calibre avoid political life completely [Kongzi (Confucius)] |
| Full Idea: Men of the highest calibre avoid political life completely. | |
| From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], XIV.37) | |
| A reaction: Plato notes that such people tend to avoid political life (and a left sheltering, as if from a wild storm!), but he thinks they should be dragged into the political arena for the common good. Confucius seems to approve of the avoidance. Plato is right. |
| 23393 | Confucianism assumes that all good developments have happened, and there is only one Way [Norden on Kongzi (Confucius)] |
| Full Idea: The two major limitations of Confucianism are that it assumes that all worthwhile cultural, social and ethical innovation has already occurred, and that it does not recognise the plurality of worthwhile ways of life. | |
| From: comment on Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE]) by Bryan van Norden - Intro to Classical Chinese Philosophy 3.III | |
| A reaction: In modern liberal terms that is about as conservative as it is possible to get. We think of it as the state of mind of an old person who can only long for the way things were when they were young. But 'hold fast to that which is good'! |