21 ideas
| 9978 | Analytic philosophy focuses too much on forms of expression, instead of what is actually said [Tait] |
| Full Idea: The tendency to attack forms of expression rather than attempting to appreciate what is actually being said is one of the more unfortunate habits that analytic philosophy inherited from Frege. | |
| From: William W. Tait (Frege versus Cantor and Dedekind [1996], IV) | |
| A reaction: The key to this, I say, is to acknowledge the existence of propositions (in brains). For example, this belief will make teachers more sympathetic to pupils who are struggling to express an idea, and verbal nit-picking becomes totally irrelevant. |
| 8893 | For any given area, there seem to be a huge number of possible coherent systems of beliefs [Bonjour] |
| Full Idea: The 2nd standard objection to coherence is 'alternative coherent systems' - that there will be indefinitely many possible systems of belief in relation to any given subject area, each as internally coherent as the others. | |
| From: Laurence Bonjour (A Version of Internalist Foundationalism [2003], 3.2) | |
| A reaction: This seems to imply that you could just invent an explanation, as long as it was coherent, but presumably good coherence is highly sensitive to the actual evidence. Bonjour observes that many of these systems would not survive over time. |
| 9986 | The null set was doubted, because numbering seemed to require 'units' [Tait] |
| Full Idea: The conception that what can be numbered is some object (including flocks of sheep) relative to a partition - a choice of unit - survived even in the late nineteenth century in the form of the rejection of the null set (and difficulties with unit sets). | |
| From: William W. Tait (Frege versus Cantor and Dedekind [1996], IX) | |
| A reaction: This old view can't be entirely wrong! Frege makes the point that if asked to count a pack of cards, you must decide whether to count cards, or suits, or pips. You may not need a 'unit', but you need a concept. 'Units' name concept-extensions nicely! |
| 9984 | We can have a series with identical members [Tait] |
| Full Idea: Why can't we have a series (as opposed to a linearly ordered set) all of whose members are identical, such as (a, a, a...,a)? | |
| From: William W. Tait (Frege versus Cantor and Dedekind [1996], VII) | |
| A reaction: The question is whether the items order themselves, which presumably the natural numbers are supposed to do, or whether we impose the order (and length) of the series. What decides how many a's there are? Do we order, or does nature? |
| 8888 | The concept of knowledge is so confused that it is best avoided [Bonjour] |
| Full Idea: The concept of knowledge is seriously problematic in more than one way, and is best avoided as far as possible in sober epistemological discussion. | |
| From: Laurence Bonjour (A Version of Internalist Foundationalism [2003], 1.5) | |
| A reaction: Two sorts of states seem to be conflated: one where an animal has a true belief caused by an environmental event, and the other where a scholar pores over books and experiments to arrive at a hard-won truth. I say only the second is 'knowledge'. |
| 8887 | It is hard to give the concept of 'self-evident' a clear and defensible characterization [Bonjour] |
| Full Idea: Foundationalists find it difficult to attach a clear and defensible content to the idea that basic beliefs that are characterized as 'self-justified' or 'self-evident'. | |
| From: Laurence Bonjour (A Version of Internalist Foundationalism [2003], 1.4) | |
| A reaction: A little surprising from a fan of a priori foundations, especially given that 'self-evident' is common usage, and not just philosophers' jargon. I think we can talk of self-evidence without a precise definition. We talk of an 'ocean' without trouble. |
| 8897 | The adverbial account will still be needed when a mind apprehends its sense-data [Bonjour] |
| Full Idea: The adverbial account of the content of experience is almost certainly correct, because no account can be given of the relation between sense-data and the apprehending mind that is independent of the adverbial theory. | |
| From: Laurence Bonjour (A Version of Internalist Foundationalism [2003], 5.1 n3) | |
| A reaction: This boils down to the usual objection to sense-data, which is 'cut out the middle man'. Bonjour is right that at some point the mind has finally to experience whatever is coming in, and it must experience it in a particular way. |
| 8896 | Conscious states have built-in awareness of content, so we know if a conceptual description of it is correct [Bonjour] |
| Full Idea: If we describe a non-conceptual conscious state, we are aware of its character via the constitutive or 'built-in' awareness of content without need for a conceptual description, and so recognise that a conceptually formulated belief about it is correct. | |
| From: Laurence Bonjour (A Version of Internalist Foundationalism [2003], 4.3) | |
| A reaction: This is Bonjour working very hard to find an account of primitive sense experiences which will enable them to function as 'basic beliefs' for foundations, without being too thin to do anything, or too thick to be basic. I'm not convinced. |
| 8891 | My incoherent beliefs about art should not undermine my very coherent beliefs about physics [Bonjour] |
| Full Idea: If coherentism is construed as involving the believer's entire body of beliefs, that would imply, most implausibly, that the justification of a belief in one area (physics) could be undermined by serious incoherence in another area (art history). | |
| From: Laurence Bonjour (A Version of Internalist Foundationalism [2003], 3.1) | |
| A reaction: Bonjour suggests that a moderated coherentism is needed to avoid this rather serious problem. It is hard to see how a precise specification could be given of 'areas' and 'local coherence'. An idiot about art would inspire little confidence on physics. |
| 8892 | Coherence seems to justify empirical beliefs about externals when there is no external input [Bonjour] |
| Full Idea: The 1st standard objection to coherence is the 'isolation problem', that contingent apparently-empirical beliefs might be justified in the absence of any informational input from the extra-conceptual world they attempt to describe. | |
| From: Laurence Bonjour (A Version of Internalist Foundationalism [2003], 3.2) | |
| A reaction: False beliefs can be well justified. In a perfect virtual reality we would believe our experiences precisely because they were so coherent. Messengers from the front line have top priority, but how do you detect infiltrators and liars? |
| 8894 | Coherentists must give a reason why coherent justification is likely to lead to the truth [Bonjour] |
| Full Idea: The 3rd standard objection to coherence is the demand for a meta-justification for coherence, a reason for thinking that justification on the basis of the coherentist view of justification is in fact likely to lead to believing the truth. | |
| From: Laurence Bonjour (A Version of Internalist Foundationalism [2003], 3.2) | |
| A reaction: Some coherentists respond by adopting a coherence theory of truth, which strikes me as extremely unwise. There must be an underlying optimistic view, centred on the principle of sufficient reason, that reality itself is coherent. I like Idea 8618. |
| 8889 | Reliabilists disagree over whether some further requirement is needed to produce knowledge [Bonjour] |
| Full Idea: Reliabilist views differ among themselves with regard to whether a belief's being produced in a reliable way is by itself sufficient for epistemic justification or whether there are further requirements that must be satisfied as well. | |
| From: Laurence Bonjour (A Version of Internalist Foundationalism [2003], 2.1) | |
| A reaction: If 'further requirements' are needed, the crucial question would be which one is trumps when they clash. If the further requirements can correct the reliable source, then it cannot any longer be called 'reliabilism'. It's Further-requirement-ism. |
| 8890 | If the reliable facts producing a belief are unknown to me, my belief is not rational or responsible [Bonjour] |
| Full Idea: How can the fact that a belief is reliably produced make my acceptance of that belief rational and responsible when that fact itself is entirely unavailable to me? | |
| From: Laurence Bonjour (A Version of Internalist Foundationalism [2003], 2.2) | |
| A reaction: This question must rival Pollock's proposal (Idea 8815) as the master argument against externalism. Bonjour is assuming that knowledge has to be 'rational and responsible', but clearly externalists take a more lax view of knowledge. |
| 8895 | If neither the first-level nor the second-level is itself conscious, there seems to be no consciousness present [Bonjour] |
| Full Idea: In the higher-order thought theory of consciousness, if the first-order thought is not itself conscious and the second-order thought is not itself conscious, then there seems to be no consciousness of the first-level content present at all. | |
| From: Laurence Bonjour (A Version of Internalist Foundationalism [2003], 4.2) | |
| A reaction: A nice basic question. The only plausible answer seems to be that consciousness arises out of the combination of levels. Otherwise one of the levels is redundant, or we are facing a regress. |
| 9981 | Abstraction is 'logical' if the sense and truth of the abstraction depend on the concrete [Tait] |
| Full Idea: If the sense of a proposition about the abstract domain is given in terms of the corresponding proposition about the (relatively) concrete domain, ..and the truth of the former is founded upon the truth of the latter, then this is 'logical abstraction'. | |
| From: William W. Tait (Frege versus Cantor and Dedekind [1996], V) | |
| A reaction: The 'relatively' in parentheses allows us to apply his idea to levels of abstraction, and not just to the simple jump up from the concrete. I think Tait's proposal is excellent, rather than purloining 'abstraction' for an internal concept within logic. |
| 9982 | Cantor and Dedekind use abstraction to fix grammar and objects, not to carry out proofs [Tait] |
| Full Idea: Although (in Cantor and Dedekind) abstraction does not (as has often been observed) play any role in their proofs, but it does play a role, in that it fixes the grammar, the domain of meaningful propositions, and so determining the objects in the proofs. | |
| From: William W. Tait (Frege versus Cantor and Dedekind [1996], V) | |
| A reaction: [compressed] This is part of a defence of abstractionism in Cantor and Dedekind (see K.Fine also on the subject). To know the members of a set, or size of a domain, you need to know the process or function which created the set. |
| 9985 | Abstraction may concern the individuation of the set itself, not its elements [Tait] |
| Full Idea: A different reading of abstraction is that it concerns, not the individuating properties of the elements relative to one another, but rather the individuating properties of the set itself, for example the concept of what is its extension. | |
| From: William W. Tait (Frege versus Cantor and Dedekind [1996], VIII) | |
| A reaction: If the set was 'objects in the room next door', we would not be able to abstract from the objects, but we might get to the idea of things being contain in things, or the concept of an object, or a room. Wrong. That's because they are objects... Hm. |
| 9972 | Why should abstraction from two equipollent sets lead to the same set of 'pure units'? [Tait] |
| Full Idea: Why should abstraction from two equipollent sets lead to the same set of 'pure units'? | |
| From: William W. Tait (Frege versus Cantor and Dedekind [1996]) | |
| A reaction: [Tait is criticising Cantor] This expresses rather better than Frege or Dummett the central problem with the abstractionist view of how numbers are derived from matching groups of objects. |
| 9980 | If abstraction produces power sets, their identity should imply identity of the originals [Tait] |
| Full Idea: If the power |A| is obtained by abstraction from set A, then if A is equipollent to set B, then |A| = |B|. But this does not imply that A = B. So |A| cannot just be A, taken in abstraction, unless that can identify distinct sets, ..or create new objects. | |
| From: William W. Tait (Frege versus Cantor and Dedekind [1996], V) | |
| A reaction: An elegant piece of argument, which shows rather crucial facts about abstraction. We are then obliged to ask how abstraction can create an object or a set, if the central activity of abstraction is just ignoring certain features. |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |