21 ideas
| 3993 | Arguments are nearly always open to challenge, but they help to explain a position rather than force people to believe [Lewis] |
| Full Idea: Philosophical arguments are never incontrovertible - well, hardly ever. Their purpose is to help expound a position, not to coerce agreement. | |
| From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.419) | |
| A reaction: A bit over-cautious, perhaps. Most philosophers are converted to a position when they hear a single key argument, though it is probably 'tipping the balance' of previous discussions. |
| 10061 | The If-thenist view only seems to work for the axiomatised portions of mathematics [Musgrave] |
| Full Idea: The If-thenist view seems to apply straightforwardly only to the axiomatised portions of mathematics. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: He cites Lakatos to show that cutting-edge mathematics is never axiomatised. One might reply that if the new mathematics is any good then it ought to be axiomatis-able (barring Gödelian problems). |
| 10065 | Perhaps If-thenism survives in mathematics if we stick to first-order logic [Musgrave] |
| Full Idea: If we identify logic with first-order logic, and mathematics with the collection of first-order theories, then maybe we can continue to maintain the If-thenist position. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: The problem is that If-thenism must rely on rules of inference. That seems to mean that what is needed is Soundness, rather than Completeness. That is, inference by the rules must work properly. |
| 10049 | Logical truths may contain non-logical notions, as in 'all men are men' [Musgrave] |
| Full Idea: Containing only logical notions is not a necessary condition for being a logical truth, since a logical truth such as 'all men are men' may contain non-logical notions such as 'men'. | |
| From: Alan Musgrave (Logicism Revisited [1977], §3) | |
| A reaction: [He attributes this point to Russell] Maybe it is only a logical truth in its general form, as ∀x(x=x). Of course not all 'banks' are banks. |
| 10050 | A statement is logically true if it comes out true in all interpretations in all (non-empty) domains [Musgrave] |
| Full Idea: The standard modern view of logical truth is that a statement is logically true if it comes out true in all interpretations in all (non-empty) domains. | |
| From: Alan Musgrave (Logicism Revisited [1977], §3) |
| 10058 | No two numbers having the same successor relies on the Axiom of Infinity [Musgrave] |
| Full Idea: The axiom of Peano which states that no two numbers have the same successor requires the Axiom of Infinity for its proof. | |
| From: Alan Musgrave (Logicism Revisited [1977], §4 n) | |
| A reaction: [He refers to Russell 1919:131-2] The Axiom of Infinity is controversial and non-logical. |
| 10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
| Full Idea: Formalism seems to exclude from consideration all creative, growing mathematics. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: [He cites Lakatos in support] I am not immediately clear why spotting the remote implications of a formal system should be uncreative. The greatest chess players are considered to be highly creative and imaginative. |
| 10063 | Formalism is a bulwark of logical positivism [Musgrave] |
| Full Idea: Formalism is a bulwark of logical positivist philosophy. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: Presumably if you drain all the empirical content out of arithmetic and geometry, you are only left with the bare formal syntax, of symbols and rules. That seems to be as analytic as you can get. |
| 3990 | The whole truth supervenes on the physical truth [Lewis] |
| Full Idea: The whole truth supervenes on the physical truth. | |
| From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.412) | |
| A reaction: This seems to me the central truth about brains, and we should not be lured into abandoning it. We should not, however, exclude the possibility that there is a non-physical reality. |
| 3991 | Where pixels make up a picture, supervenience is reduction [Lewis] |
| Full Idea: In the case of millions of pixels making up a picture on a computer screen, the supervenience is reduction. | |
| From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.414) | |
| A reaction: Since 'supervenience' seems a suspect relationship about which no one is clear, this is a point very much worth making. |
| 3995 | A mind is an organ of representation [Lewis] |
| Full Idea: A mind is an organ of representation. | |
| From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.421) | |
| A reaction: This does not seem to necessarily involve awareness, so it seems to put intentionality at the centre of things. It is a good slogan. |
| 3994 | Human pain might be one thing; Martian pain might be something else [Lewis] |
| Full Idea: Human pain might be one thing. Martian pain might be something else. | |
| From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.420) | |
| A reaction: A key suggestion in support of type-type physicalism, and against the multiple realisability objection to the identity theory |
| 3989 | I am a reductionist about mind because I am an a priori reductionist about everything [Lewis] |
| Full Idea: My reductionism about mind began as part of an a priori reductionism about everything. | |
| From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.412) | |
| A reaction: He says this is 'a priori' to avoid giving hostages to fortune, but I think is the best explanation of the total evidence facing us |
| 3992 | Folk psychology makes good predictions, by associating mental states with causal roles [Lewis] |
| Full Idea: Folk psychology is a powerful instrument of prediction, …which associates with each mental state a typical causal role. | |
| From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.416) | |
| A reaction: This seems a good account of why we should take folk psychology very seriously, even if it is sometimes wrong (e.g. about people who are mentally ill). |
| 3996 | Folk psychology doesn't say that there is a language of thought [Lewis] |
| Full Idea: I don't believe that folk psychology says there is a language of thought. | |
| From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.422) | |
| A reaction: This is aimed at Jerry Fodor. Certainly folk psychology is a strong theory, but a so-called 'language of thought' (the brain's machine code) seems a much weaker one. |
| 3997 | Nothing shows that all content is 'wide', or that wide content has logical priority [Lewis] |
| Full Idea: There is nothing to support the thesis that wide content is the only kind of content, or that it is any way pre-eminent or basic. | |
| From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.424) | |
| A reaction: The idea that all content is 'wide' seems quite wrong. We can't all be wrong about the meaning of a word, because the underlying facts have not yet been discovered. |
| 3998 | If you don't share an external world with a brain-in-a-vat, then externalism says you don't share any beliefs [Lewis] |
| Full Idea: If the famous brain in a bottle is your exact duplicate in brain states, but only experiences the computer's virtual reality, so that you share no objects of acquaintance, then according to externalists you share no beliefs whatsoever. | |
| From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.424) | |
| A reaction: A very nice reductio ad absurdum of the idea that all concepts and beliefs have external meaning. |
| 3999 | A spontaneous duplicate of you would have your brain states but no experience, so externalism would deny him any beliefs [Lewis] |
| Full Idea: According to externalists, Davidson's 'swampman' is your exact duplicate in brains states, but hasn't had time to become acquainted with much, so he has virtually no beliefs. | |
| From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.425) | |
| A reaction: An implausible fantasy, but it does highlight the fact that beliefs and concepts are primarily internal states. |
| 4000 | Wide content derives from narrow content and relationships with external things [Lewis] |
| Full Idea: Wide content is derivative, a product of narrow content and relationships of acquaintance with external things. | |
| From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.430) | |
| A reaction: I would say: content is a mental state, but it is created and fixed by a community, and wide content is the part fixed by experts in the community. We can all be wrong about meanings, and occasionally most of us are wrong about a specialised meaning. |
| 10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
| Full Idea: Logical positivists did not adopt old-style logicism, but rather logicism spiced with varying doses of If-thenism. | |
| From: Alan Musgrave (Logicism Revisited [1977], §4) | |
| A reaction: This refers to their account of mathematics as a set of purely logical truths, rather than being either empirical, or a priori synthetic. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |