29 ideas
8877 | We can't attain a coherent system by lopping off any beliefs that won't fit [Sosa] |
Full Idea: Coherence involves the logical, explanatory and probabilistic relations among one's beliefs, but it could not do to attain a tightly iterrelated system by lopping off whatever beliefs refuse to fit. | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.4) | |
A reaction: This is clearly right, so the coherentist has to distinguish between lopping off a belief because it is inconvenient (fundamentalists rejecting textual contradictions), and lopping it off because it is wrong (chemists rejecting phlogiston). |
16477 | Asserting not-p is saying p is false [Russell] |
Full Idea: When you do what a logician would call 'asserting not-p', you are saying 'p is false'. | |
From: Bertrand Russell (An Inquiry into Meaning and Truth [1940], 5) | |
A reaction: This is presumably classical logic. If we could label p as 'undetermined' (a third truth value), then 'not-p' might equally mean 'undetermined'. |
16484 | There are four experiences that lead us to talk of 'some' things [Russell] |
Full Idea: Propositions about 'some' arise, in practice, in four ways: as generalisations of disjunctions; when an instance suggests compatibility of terms we thought incompatible; as steps to a generalisation; and in cases of imperfect memory. | |
From: Bertrand Russell (An Inquiry into Meaning and Truth [1940], 5) | |
A reaction: Modern logicians seem to have no interest in the question Russell is investigating here, but I love his attempt, however vague the result, to connect logic to real experience and thought. |
16486 | The physical world doesn't need logic, but the mental world does [Russell] |
Full Idea: The non-mental world can be completely described without the use of any logical word, …but when it comes to the mental world, there are facts which cannot be mentioned without the use of logical words. | |
From: Bertrand Russell (An Inquiry into Meaning and Truth [1940], 5) | |
A reaction: He adds that logical words are not needed for physics, but are needed for psychology. I love Russell's interest in the psychology of logic (in defiance of the anti-psychologism of Frege). See also the ideas of Robert Hanna. |
2947 | Questions wouldn't lead anywhere without the law of excluded middle [Russell] |
Full Idea: Without the law of excluded middle, we could not ask the questions that give rise to discoveries. | |
From: Bertrand Russell (An Inquiry into Meaning and Truth [1940], c.p.88) |
16480 | A disjunction expresses indecision [Russell] |
Full Idea: A disjunction is the verbal expression of indecision, or, if a question, of the desire to reach a decision. | |
From: Bertrand Russell (An Inquiry into Meaning and Truth [1940], 5) | |
A reaction: Russell is fishing here for Grice's conversational implicature. If you want to assert a simple proposition, you don't introduce it into an irrelevant disjunction, because that would have a particular expressive purpose. |
16479 | 'Or' expresses hesitation, in a dog at a crossroads, or birds risking grabbing crumbs [Russell] |
Full Idea: Psychologically, 'or' corresponds to a state of hesitation. A dog waits at a fork in the road, to see which way you are going. For crumbs on a windowsill, birds behave in a manner we would express by 'shall I be brave, or go hungry?'. | |
From: Bertrand Russell (An Inquiry into Meaning and Truth [1940], 5) | |
A reaction: I love two facts here - first, that Russell wants to link the connective to the psychology of experience, and second, that a great logician wants to connect his logic to the minds of animals. |
16481 | 'Or' expresses a mental state, not something about the world [Russell] |
Full Idea: When we assert 'p or q' we are in a state which is derivative from two previous states, and we express this state, not something about the world. | |
From: Bertrand Russell (An Inquiry into Meaning and Truth [1940], 5) | |
A reaction: His example: at a junction this road or that road goes to Oxford, but the world only contains the roads, not some state of 'this or that road'. He doesn't deny that in one sense 'p or q' tells you something about the world. |
16487 | Maybe the 'or' used to describe mental states is not the 'or' of logic [Russell] |
Full Idea: It might be contended that, in describing what happens when a man believes 'p or q', the 'or' that we must use is not the same as the 'or' of logic. | |
From: Bertrand Russell (An Inquiry into Meaning and Truth [1940], 5) | |
A reaction: This seems to be the general verdict on Russell's enquiries in this chapter, but I love any attempt, however lacking in rigour etc., to connect formal logic to how we think, and thence to the world. |
16483 | Disjunction may also arise in practice if there is imperfect memory. [Russell] |
Full Idea: Another situation in which a disjunction may arise is practice is imperfect memory. 'Either Brown or Jones told me that'. | |
From: Bertrand Russell (An Inquiry into Meaning and Truth [1940], 5) |
16475 | A 'heterological' predicate can't be predicated of itself; so is 'heterological' heterological? Yes=no! [Russell] |
Full Idea: A predicate is 'heterological' when it cannot be predicated of itself; thus 'long' is heterological because it is not a long word, but 'short' is homological. So is 'heterological' heterological? Either answer leads to a contradiction. | |
From: Bertrand Russell (An Inquiry into Meaning and Truth [1940], 5) | |
A reaction: [Grelling's Paradox] Yes: 'heterological' is heterological because it isn't heterological; No: it isn't, because it is. Russell says we therefore need a hierarchy of languages (types), and the word 'word' is outside the system. |
8884 | The phenomenal concept of an eleven-dot pattern does not include the concept of eleven [Sosa] |
Full Idea: You could detect the absence of an eleven-dot pattern without having counted the dots, so your phenomenal concept of that array is not an arithmetical concept, and its content will not yield that its dots do indeed number eleven. | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 7.3) | |
A reaction: Sosa is discussing foundational epistemology, but this draws attention to the gulf that has to be leaped by structuralists. If eleven is not derived from the pattern, where does it come from? Presumably two eleven-dotters are needed, to map them. |
10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
Full Idea: Mathematics seems necessary because the real contents of mathematical statements are logical truths, which are necessary, and it seems a priori because logical truths really are a priori. | |
From: Stephen Yablo (Abstract Objects: a Case Study [2002], 10) | |
A reaction: Yablo says his logicism has a Kantian strain, because numbers and sets 'inscribed on our spectacles', but he takes a different view (in the present Idea) from Kant about where the necessity resides. Personally I am tempted by an a posteriori necessity. |
10579 | Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo] |
Full Idea: Saying 'the number of Fs is 5', instead of using five quantifiers, puts the numeral in quantifiable position, which brings expressive advantages. 'There are more sheep in the field than cows' is an infinite disjunction, expressible in finite compass. | |
From: Stephen Yablo (Abstract Objects: a Case Study [2002], 08) | |
A reaction: See Hofweber with similar thoughts. This idea I take to be a key one in explaining many metaphysical confusions. The human mind just has a strong tendency to objectify properties, relations, qualities, categories etc. - for expression and for reasoning. |
10577 | Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo] |
Full Idea: Objects like me have a few essential properties, and numerous accidental ones. Abstract objects are a different story. The intrinsic properties of the empty set are mostly essential. The relations of numbers are also mostly essential. | |
From: Stephen Yablo (Abstract Objects: a Case Study [2002], 01) |
10578 | We are thought to know concreta a posteriori, and many abstracta a priori [Yablo] |
Full Idea: Our knowledge of concreta is a posteriori, but our knowledge of numbers, at least, has often been considered a priori. | |
From: Stephen Yablo (Abstract Objects: a Case Study [2002], 02) |
16482 | All our knowledge (if verbal) is general, because all sentences contain general words [Russell] |
Full Idea: All our knowledge about the world, in so far as it is expressed in words, is more or less general, because every sentence contains at least one word that is not a proper name, and all such words are general. | |
From: Bertrand Russell (An Inquiry into Meaning and Truth [1940], 5) | |
A reaction: I really like this, especially because it addresses the excessive reliance of some essentialists on sortals, categories and natural kinds, instead of focusing on the actual physical essences of individual objects. |
8878 | It is acceptable to say a supermarket door 'knows' someone is approaching [Sosa] |
Full Idea: I am quite flexible on epistemic terminology, and am even willing to grant that a supermarket door can 'know' that someone is approaching. | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.6) | |
A reaction: I take this amazing admission to be a hallmark of externalism. Sosa must extend this to thermostats. So flowers know the sun has come out. This is knowledge without belief. Could the door ever be 'wrong'? |
4758 | Naïve realism leads to physics, but physics then shows that naïve realism is false [Russell] |
Full Idea: Naïve realism leads to physics, and physics, if true, shows that naïve realism is false. Therefore naïve realism, if true, is false, therefore it is false. | |
From: Bertrand Russell (An Inquiry into Meaning and Truth [1940], p.13) | |
A reaction: I'm inclined to agree with this, though once you have gone off and explored representation and sense data you may be driven back to naïve realism again. |
8880 | In reducing arithmetic to self-evident logic, logicism is in sympathy with rationalism [Sosa] |
Full Idea: In trying to reduce arithmetic to self-evident logical axioms, logicism is in sympathy with rationalism. | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.7) | |
A reaction: I have heard Frege called "the greatest of all rationalist philosophers". However, the apparent reduction of arithmetic to analytic truths played into the hands of logical positivists, who could then marginalise arithmetic. |
16476 | For simple words, a single experience can show that they are true [Russell] |
Full Idea: So long as a man avoids words which are condensed inductions (such as 'dog'), and confines himself to words that can describe a single experience, it is possible for a single experience to show that his words are true. | |
From: Bertrand Russell (An Inquiry into Meaning and Truth [1940], 5) | |
A reaction: One might question whether a line can be drawn between the inductive and the non-inductive in this way. I'm inclined just to say that the simpler the proposition the less room there is for error in confirming it. |
16485 | Perception can't prove universal generalisations, so abandon them, or abandon empiricism? [Russell] |
Full Idea: Propositions about 'some' may be proved empirically, but propositions about 'all' are difficult to know, and can't be proved unless such propositions are in the premisses. These aren't in perception, so forgo general propositions, or abandon empiricism? | |
From: Bertrand Russell (An Inquiry into Meaning and Truth [1940], 5) | |
A reaction: This is obviously related to the difficulty empiricists have with induction. You could hardly persuade logicians to give up the universal quantifier, because it is needed in mathematics. Do we actually know any universal empirical truths? |
8881 | Most of our knowledge has insufficient sensory support [Sosa] |
Full Idea: Almost nothing that one knows of history or geography or science has adequate sensory support, present or even recalled. | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.7) | |
A reaction: This seems a bit glib, and may be false. The main issue to which this refers is, of course, induction, which (almost by definition) is a supposedly empirical process which goes beyond the empirical evidence. |
8882 | Perception may involve thin indexical concepts, or thicker perceptual concepts [Sosa] |
Full Idea: There is a difference between having just an indexical concept which one can apply to a perceptual characteristic (just saying 'this is thus'), and having a thicker perceptual concept of that characteristic. | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 7.2) | |
A reaction: Both of these, of course, would precede any categorial concepts that enabled one to identify the characteristic or the object. This is a ladder foundationalists must climb if they are to reach the cellar of basic beliefs. |
8883 | Do beliefs only become foundationally justified if we fully attend to features of our experience? [Sosa] |
Full Idea: Are foundationally justified beliefs perhaps those that result from attending to our experience and to features of it or in it? | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 7.3) | |
A reaction: A promising suggestion. I do think our ideas acquire a different epistmological status once we have given them our full attention, though is that merely full consciousness, or full thoughtful evaluation? The latter I take to be what matters. Cf Idea 2414. |
8885 | Some features of a thought are known directly, but others must be inferred [Sosa] |
Full Idea: Some intrinsic features of our thoughts are attributable to them directly, or foundationally, while others are attributable only based on counting or inference. | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 7.5) | |
A reaction: In practice the brain combines the two at a speed which makes the distinction impossible. I'll show you ten dot-patterns: you pick out the sixer. The foundationalist problem is that only those drained of meaning could be foundational. |
8876 | Much propositional knowledge cannot be formulated, as in recognising a face [Sosa] |
Full Idea: Much of our propositional knowledge is not easily formulable, as when a witness looking at a police lineup may know what the culprit's face looks like. | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.1) | |
A reaction: This is actually a very helpful defence of foundationalism, because it shows that we will accept perceptual experiences as knowledge when they are not expressed as explicit propositions. Davidson (Idea 8801), for example, must deal with this difficulty. |
8879 | Fully comprehensive beliefs may not be knowledge [Sosa] |
Full Idea: One's beliefs can be comprehensively coherent without amounting to knowledge. | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.6) | |
A reaction: Beliefs that are fully foundational or reliably sourced may also fail to be knowledge. I take it that any epistemological theory must be fallibilist (Idea 6898). Rational coherentism will clearly be sensitive to error. |
16478 | A mother cat is paralysed if equidistant between two needy kittens [Russell] |
Full Idea: I once, to test the story of Buridan's Ass, put a cat exactly half-way between her two kittens, both too young to move: for a time she found the disjunction paralysing. | |
From: Bertrand Russell (An Inquiry into Meaning and Truth [1940], 5) | |
A reaction: Buridan's Ass is said to have starved between two equal piles of hay. Reason can't be the tie-breaker; reason obviously says 'choose one!', but intellectualism demands a reason for the one you choose. |