24 ideas
| 7910 | Pursue truth with the urgency of someone whose clothes are on fire [Ashvaghosha] |
| Full Idea: As though your turban or your clothes were on fire, so with a sense of urgency should you apply your intellect to the comprehension of the truths. | |
| From: Ashvaghosha (Saundaranandakavya [c.50], XVI) | |
| A reaction: The best philosophers need no such urging. I retain a romantic view that we should be 'natural' in these things. See Plato's views in Idea 2153 and 1638. However, maybe I should be confronted with this quotation every morning when I awake. |
| 14273 | Conditional Proof is only valid if we accept the truth-functional reading of 'if' [Edgington] |
| Full Idea: Conditional Proof seems sound: 'From X and Y, it follows that Z. So from X it follows that if Y,Z'. Yet for no reading of 'if' which is stronger that the truth-functional reading is CP valid, at least if we accept ¬(A&¬B);A; therefore B. | |
| From: Dorothy Edgington (Conditionals (Stanf) [2006], 2.2) | |
| A reaction: See the section of ideas on Conditionals (filed under 'Modality') for a fuller picture of this issue. Edgington offers it as one of the main arguments in favour of the truth-functional reading of 'if' (though she rejects that reading). |
| 9837 | 0 is not a number, as it answers 'how many?' negatively [Husserl, by Dummett] |
| Full Idea: Husserl contends that 0 is not a number, on the grounds that 'nought' is a negative answer to the question 'how many?'. | |
| From: report of Edmund Husserl (Philosophy of Arithmetic [1894], p.144) by Michael Dummett - Frege philosophy of mathematics Ch.8 | |
| A reaction: I seem to be in a tiny minority in thinking that Husserl may have a good point. One apple is different from one orange, but no apples are the same as no oranges. That makes 0 a very peculiar number. See Idea 9838. |
| 9576 | Multiplicity in general is just one and one and one, etc. [Husserl] |
| Full Idea: Multiplicity in general is no more than something and something and something, etc.; ..or more briefly, one and one and one, etc. | |
| From: Edmund Husserl (Philosophy of Arithmetic [1894], p.85), quoted by Gottlob Frege - Review of Husserl's 'Phil of Arithmetic' | |
| A reaction: Frege goes on to attack this idea fairly convincingly. It seems obvious that it is hard to say that you have seventeen items, if the only numberical concept in your possession is 'one'. How would you distinguish 17 from 16? What makes the ones 'multiple'? |
| 17444 | Husserl said counting is more basic than Frege's one-one correspondence [Husserl, by Heck] |
| Full Idea: Husserl famously argued that one should not explain number in terms of equinumerosity (or one-one correspondence), but should explain equinumerosity in terms of sameness of number, which should be characterised in terms of counting. | |
| From: report of Edmund Husserl (Philosophy of Arithmetic [1894]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 3 | |
| A reaction: [Heck admits he hasn't read the Husserl] I'm very sympathetic to Husserl, though nearly all modern thinking favours Frege. Counting connects numbers to their roots in the world. Mathematicians seem oblivious of such things. |
| 14281 | A thing works like formal probability if all the options sum to 100% [Edgington] |
| Full Idea: One's degrees of belief in the members of an idealised partition should sum to 100%. That is all there is to the claim that degrees of belief should have the structure of probabilities. | |
| From: Dorothy Edgington (Conditionals (Stanf) [2006], 3.1) |
| 14284 | Conclusion improbability can't exceed summed premise improbability in valid arguments [Edgington] |
| Full Idea: If (and only if) an argument is valid, then in no probability distribution does the improbability of its conclusion exceed the sum of the improbabilities of its premises. We can call this the Probability Preservation Principle. | |
| From: Dorothy Edgington (Conditionals (Stanf) [2006], 3.2) | |
| A reaction: [Ernest Adams is credited with this] This means that classical logic is in some way probability-preserving as well as truth-preserving. |
| 14270 | Simple indicatives about past, present or future do seem to form a single semantic kind [Edgington] |
| Full Idea: Straightforward statements about the past, present or future, to which a conditional clause is attached - the traditional class of indicative conditionals - do (in my view) constitute a single semantic kind. | |
| From: Dorothy Edgington (Conditionals (Stanf) [2006], 1) | |
| A reaction: This contrasts with Idea 14269, where the future indicatives are group instead with the counterfactuals. |
| 14269 | Maybe forward-looking indicatives are best classed with the subjunctives [Edgington] |
| Full Idea: According to some theorists, the forward-looking 'indicatives' (those with a 'will' in the main clause) belong with the 'subjunctives' (those with a 'would' in the main clause), and not with the other 'indicatives'. | |
| From: Dorothy Edgington (Conditionals (Stanf) [2006], 1) | |
| A reaction: [She cites Gibbard, Dudman and 1988 Bennett; Jackson defends the indicative/subjunctive division, and recent Bennett defends it too] It is plausible to say that 'If you will do x' is counterfactual, since it hasn't actually happened. |
| 14275 | Truth-function problems don't show up in mathematics [Edgington] |
| Full Idea: The main defects of the truth-functional account of conditionals don't show up in mathematics. | |
| From: Dorothy Edgington (Conditionals (Stanf) [2006], 2.3) | |
| A reaction: These problems are the paradoxes associated with the material conditional ⊃. Too often mathematical logic has been the tail that wagged the dog in modern philosophy. |
| 14274 | Inferring conditionals from disjunctions or negated conjunctions gives support to truth-functionalism [Edgington] |
| Full Idea: If either A or B is true, then you are intuitively justified in believe that If ¬A, B. If you know that ¬(A&B), then you may justifiably infer that if A, ¬B. The truth-functionalist gets both of these cases (disjunction and negated conjunction) correct. | |
| From: Dorothy Edgington (Conditionals (Stanf) [2006], 2.1) | |
| A reaction: [compressed version] This summarises two of Edgington's three main arguments in favour of the truth-functional account of conditions (along with the existence of Conditional Proof). It is elementary classical logic which supports truth-functionalism. |
| 14276 | The truth-functional view makes conditionals with unlikely antecedents likely to be true [Edgington] |
| Full Idea: The truth-functional view of conditionals has the unhappy consequence that all conditionals with unlikely antecedents are likely to be true. To think it likely that ¬A is to think it likely that a sufficient condition for the truth of A⊃B obtains. | |
| From: Dorothy Edgington (Conditionals (Stanf) [2006], 2.3) | |
| A reaction: This is Edgington's main reason for rejecting the truth-functional account of conditionals. She says it removes our power to discriminate between believable and unbelievable conditionals, which is basic to practical reasoning. |
| 14290 | Doctor:'If patient still alive, change dressing'; Nurse:'Either dead patient, or change dressing'; kills patient! [Edgington] |
| Full Idea: The doctor says "If the patient is still alive in the morning, change the dressing". As a truth-functional command this says "Make it that either the patient is dead in the morning, or change the dressing", so the nurse kills the patient. | |
| From: Dorothy Edgington (Conditionals (Stanf) [2006], 5) | |
| A reaction: Isn't philosophy wonderful? |
| 14271 | Non-truth-functionalist say 'If A,B' is false if A is T and B is F, but deny that is always true for TT,FT and FF [Edgington] |
| Full Idea: Non-truth-functional accounts agree that 'If A,B' is false when A is true and B is false; and that it is sometimes true for the other three combinations of truth-values; but they deny that the conditional is always true in each of these three cases. | |
| From: Dorothy Edgington (Conditionals (Stanf) [2006], 2.1) | |
| A reaction: Truth-functional connectives like 'and' and 'or' don't add any truth-conditions to the values of the propositions, but 'If...then' seems to assert a relationship that goes beyond its component propositions, so non-truth-functionalists are right. |
| 14272 | I say "If you touch that wire you'll get a shock"; you don't touch it. How can that make the conditional true? [Edgington] |
| Full Idea: Non-truth-functionalists agree that when A is false, 'If A,B' may be either true or false. I say "If you touch that wire, you will get an electric shock". You don't touch it. Was my remark true or false? They say it depends on the wire etc. | |
| From: Dorothy Edgington (Conditionals (Stanf) [2006], 2.1) | |
| A reaction: This example seems to me to be a pretty conclusive refutation of the truth-functional view. How can the conditional be implied simply by my failure to touch the wire (which is what benighted truth-functionalists seem to believe)? |
| 14282 | On the supposition view, believe if A,B to the extent that A&B is nearly as likely as A [Edgington] |
| Full Idea: Accepting Ramsey's suggestion that 'if' and 'on the supposition that' come to the same thing, we get an equation which says ...you believe if A,B to the extent that you think that A&B is nearly as likely as A. | |
| From: Dorothy Edgington (Conditionals (Stanf) [2006], 3.1) |
| 14278 | Truth-functionalists support some conditionals which we assert, but should not actually believe [Edgington] |
| Full Idea: There are compounds of conditionals which we confidently assert and accept which, by the lights of the truth-functionalist, we do not have reason to believe true, such as 'If it broke if it was dropped, it was fragile', when it is NOT dropped. | |
| From: Dorothy Edgington (Conditionals (Stanf) [2006], 2.5) | |
| A reaction: [The example is from Gibbard 1981] The fact that it wasn't dropped only negates the nested antecedent, not the whole antecedent. I suppose it also wasn't broken, and both negations seem to be required. |
| 14287 | Does 'If A,B' say something different in each context, because of the possibiites there? [Edgington] |
| Full Idea: A pragmatic constraint might say that as different possibilities are live in different conversational settings, a different proposition may be expressed by 'If A,B' in different conversational settings. | |
| From: Dorothy Edgington (Conditionals (Stanf) [2006], 4.1) | |
| A reaction: Edgington says that it is only the truth of the proposition, not its content, which changes with context. I'm not so sure. 'If Hitler finds out, we are in trouble' says different things in 1914 and 1944. |
| 9575 | Husserl identifies a positive mental act of unification, and a negative mental act for differences [Husserl, by Frege] |
| Full Idea: Husserl identifies a 'unitary mental act' where several contents are connected or related to one another, and also a difference-relation where two contents are related to one another by a negative judgement. | |
| From: report of Edmund Husserl (Philosophy of Arithmetic [1894], p.73-74) by Gottlob Frege - Review of Husserl's 'Phil of Arithmetic' p.322 | |
| A reaction: Frege is setting this up ready for a fairly vicious attack. Where Hume has a faculty for spotting resemblances, it is not implausible that we should also be hard-wired to spot differences. 'You look different; have you changed your hair style?' |
| 21214 | We clarify concepts (e.g. numbers) by determining their psychological origin [Husserl, by Velarde-Mayol] |
| Full Idea: Husserl said that the clarification of any concept is made by determining its psychological origin. He is concerned with the psychological origins of the operation of calculating cardinal numbers. | |
| From: report of Edmund Husserl (Philosophy of Arithmetic [1894]) by Victor Velarde-Mayol - On Husserl 2.2 | |
| A reaction: This may not be the same as the 'psychologism' that Frege so despised, because Husserl is offering a clarification, rather than the intrinsic nature of number concepts. It is not a theory of the origin of numbers. |
| 9819 | Psychologism blunders in focusing on concept-formation instead of delineating the concepts [Dummett on Husserl] |
| Full Idea: Husserl substitutes his account of the process of concept-formation for a delineation of the concept. It is above all in making this substitution that psychologism is objectionable (and Frege opposed it so vehemently). | |
| From: comment on Edmund Husserl (Philosophy of Arithmetic [1894]) by Michael Dummett - Frege philosophy of mathematics Ch.2 | |
| A reaction: While this is a powerful point which is a modern orthodoxy, it hardly excludes a study of concept-formation from being of great interest for other reasons. It may not appeal to logicians, but it is crucial part of the metaphysics of nature. |
| 9851 | Husserl wanted to keep a shadowy remnant of abstracted objects, to correlate them [Dummett on Husserl] |
| Full Idea: Husserl saw that abstracted units, though featureless, must in some way retain their distinctness, some shadowy remnant of their objects. So he wanted to correlate like-numbered sets, not just register their identity, but then abstractionism fails. | |
| From: comment on Edmund Husserl (Philosophy of Arithmetic [1894]) by Michael Dummett - Frege philosophy of mathematics Ch.12 | |
| A reaction: Abstractionism is held to be between the devil and the deep blue sea, of depending on units which are identifiable, when they are defined as devoid of all individuality. We seem forced to say that the only distinction between them is countability. |
| 7909 | The Eightfold Path concerns morality, wisdom, and tranquillity [Ashvaghosha] |
| Full Idea: The Eightfold Path has three steps concerning morality - right speech, right bodily action, and right livelihood; three of wisdom - right views, right intentions, and right effort; and two of tranquillity - right mindfulness and right concentration. | |
| From: Ashvaghosha (Saundaranandakavya [c.50], XVI) | |
| A reaction: Most of this translates quite comfortably into the aspirations of western philosophy. For example, 'right effort' sounds like Kant's claim that only a good will is truly good (Idea 3710). The Buddhist division is interesting for action theory. |
| 7908 | At the end of a saint, he is not located in space, but just ceases to be disturbed [Ashvaghosha] |
| Full Idea: When an accomplished saint comes to the end, he does not go anywhere down in the earth or up in the sky, nor into any of the directions of space, but because his defilements have become extinct he simply ceases to be disturbed. | |
| From: Ashvaghosha (Saundaranandakavya [c.50], XVI) | |
| A reaction: To 'cease to be disturbed' is the most attractive account of heaven I have encountered. It all sounds a bit dull though. I wonder, as usual, how they know all this stuff. |