27 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. |
| 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? |
| 13416 | Mathematics must be based on axioms, which are true because they are axioms, not vice versa [Tait, by Parsons,C] |
| Full Idea: The axiomatic conception of mathematics is the only viable one. ...But they are true because they are axioms, in contrast to the view advanced by Frege (to Hilbert) that to be a candidate for axiomhood a statement must be true. | |
| From: report of William W. Tait (Intro to 'Provenance of Pure Reason' [2005], p.4) by Charles Parsons - Review of Tait 'Provenance of Pure Reason' §2 | |
| A reaction: This looks like the classic twentieth century shift in the attitude to axioms. The Greek idea is that they must be self-evident truths, but the Tait-style view is that they are just the first steps in establishing a logical structure. I prefer the Greeks. |
| 16756 | Substantial forms must exist, to explain the stability of metals like silver and tin [Albertus Magnus] |
| Full Idea: There is no reason why the matter in any natural thing should be stable in its nature, if it is not completed by a substantial form. But we see that silver is stable, and tin and other metals. Therefore they will seem to be perfected by substantial forms. | |
| From: Albertus Magnus (On Minerals [1260], III.1.7), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 24.2 | |
| A reaction: Illuminating. This may be the best reason for proposing substantial forms. Once materialism arrives, the so-called 'laws' of nature have to be imposed on the material to do the job - but what the hell is a law supposed to be? |
| 16718 | Primary qualities are the cause of all the other sensible qualities [Albertus Magnus] |
| Full Idea: The primary qualities of tangible things are the cause of all the other sensible qualities. | |
| From: Albertus Magnus (On 'Generation and Corruption' [1261], II.1.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 21.2 | |
| A reaction: This makes the primary qualities sound suspiciously like the essence. |
| 2584 | Lobotomised patients can cease to care about a pain [Block] |
| Full Idea: After frontal lobotomies, patients typically report that they still have pains, though the pains no longer bother them. | |
| From: Ned Block (Troubles with Functionalism [1978], p. 83) | |
| A reaction: I take this to be an endorsement of reductive physicalism, because what matters about pains is that they bother us, not how they feel, so frog pain could do the job, if it felt different from ours, but was disliked by the frog. |
| 6172 | The Inverted Earth example shows that phenomenal properties are not representational [Block, by Rowlands] |
| Full Idea: Block's Inverted Earth example (with matching inversion of both colours and colour-language) tries to show a variation of representational properties without a variation of phenomenal properties, so that the latter are not constituted by the former. | |
| From: report of Ned Block (Inverted Earth [1990]) by Mark Rowlands - Externalism Ch.7 | |
| A reaction: (The example is actually quite complex). This type of argument - a thought experiment in which qualia are held steady while everything else varies, or vice versa - seems to be the only way that we can possibly get at an assessment of the role of qualia. |
| 2582 | A brain looks no more likely than anything else to cause qualia [Block] |
| Full Idea: NO physical mechanism seems very intuitively plausible as a seat of qualia, least of all a brain. | |
| From: Ned Block (Troubles with Functionalism [1978], p. 78) | |
| A reaction: I'm not sure about "least of all", given the mind-boggling complexity of the brain's connections. Certainly, though, nothing in either folk physics or academic physics suggests that any physical object is likely to be aware of anything. |
| 2574 | Behaviour requires knowledge as well as dispositions [Block] |
| Full Idea: A desire cannot be identified with a disposition to act, since the agent might not know that a particular act leads to the thing desired, and thus might not be disposed to do it. | |
| From: Ned Block (Troubles with Functionalism [1978], p. 69) | |
| A reaction: One might have a disposition to act, but not in a particular way. "Something must be done". To get to the particular act, it seems that indeed a belief must be added to the desire. |
| 2575 | Functionalism is behaviourism, but with mental states as intermediaries [Block] |
| Full Idea: Functionalism is a new incarnation of behaviourism, replacing sensory inputs with sensory inputs plus mental states, and replacing dispositions to act with dispositions plus certain mental states. | |
| From: Ned Block (Troubles with Functionalism [1978], p. 69) | |
| A reaction: I think of functionalism as behaviourism which extends inside the 'black box' between stimulus and response. It proposes internal stimuli and responses. Consequently functionalism inherits some behaviourist problems. |
| 2576 | In functionalism, desires are internal states with causal relations [Block] |
| Full Idea: According to functionalism, a system might have the behaviouristic input-output relations, yet not desire something, as this requires internal states with certain causal relations. | |
| From: Ned Block (Troubles with Functionalism [1978], p. 69) | |
| A reaction: Such a system might be Putnam's 'superactor', who only behaves as if he desires something. Of course, the internal states might need more than just 'causal relations'. |
| 2583 | You might invert colours, but you can't invert beliefs [Block] |
| Full Idea: It is hard to see how to make sense of the analog of color spectrum inversion with respect to non-qualitative states such a beliefs (where they are functionally equivalent but have different beliefs). | |
| From: Ned Block (Troubles with Functionalism [1978], p. 81) | |
| A reaction: I would suggest that beliefs can be 'inverted', because there are all sorts of ways to implement a belief, but colour can't be inverted, because that depends on a particular brain state. It makes good sense to me... |
| 2578 | Could a creature without a brain be in the right functional state for pain? [Block] |
| Full Idea: If pain is a functional state, it cannot be a brain state, because creatures without brains could realise the same Turing machine as creatures with brains. | |
| From: Ned Block (Troubles with Functionalism [1978], p. 70) | |
| A reaction: This strikes me as being a poorly grounded claim. There may be some hypothetical world where brainless creatures implement all our functions, but from here brains look the only plausible option. |
| 2585 | Not just any old functional network will have mental states [Block] |
| Full Idea: If there are any fixed points in the mind-body problem, one of them is that the economy of Bolivia could not have mental states, no matter how it is distorted. | |
| From: Ned Block (Troubles with Functionalism [1978], p. 86) | |
| A reaction: It is hard to disagree with this, but then it can hardly be a serious suggestion that anyone could see how to reconfigure an economy so that it mapped the functional state of the human brain. This is not a crucial problem. |
| 2586 | In functionalism, what are the special inputs and outputs of conscious creatures? [Block] |
| Full Idea: In functionalism, it is very hard to see how there could be a single physical characterization of the inputs and outputs of all and only creatures with mentality. | |
| From: Ned Block (Troubles with Functionalism [1978], p. 87) | |
| A reaction: It would be theoretically possible if the only way to achieve mentality was to have a particular pattern of inputs and outputs. I don't think, though, that 'mentality' is an all-or-nothing concept. |
| 2579 | Physicalism is prejudiced in favour of our neurology, when other systems might have minds [Block] |
| Full Idea: Physicalism is a chauvinist theory: it withholds mental properties from systems that in fact have them. | |
| From: Ned Block (Troubles with Functionalism [1978], p. 71) | |
| A reaction: This criticism interprets physicalism too rigidly. There may be several ways to implement a state. My own view is that other systems might implement our functions, but they won't experience them in a human way. |
| 2577 | Simple machine-functionalism says mind just is a Turing machine [Block] |
| Full Idea: In the simplest Turing-machine version of functionalism (Putnam 1967), mental states are identified with the total Turing-machine state, involving a machine table and its inputs and outputs. | |
| From: Ned Block (Troubles with Functionalism [1978], p. 70) | |
| A reaction: This obviously invites the question of why mental states would be conscious and phenomenal, given that modern computers are devoid of same, despite being classy Turing machines. |
| 2580 | A Turing machine, given a state and input, specifies an output and the next state [Block] |
| Full Idea: In a Turing machine, given any state and input, the machine table specifies an output and the next state. …To have full power the tape must be infinite in at least one direction, and be movable in both directions. | |
| From: Ned Block (Troubles with Functionalism [1978], p. 71) | |
| A reaction: In retrospect, the proposal that this feeble item should be taken as a model for the glorious complexity and richness of human consciousness doesn't look too plausible. |
| 3178 | A fast machine could pass all behavioural tests with a vast lookup table [Block, by Rey] |
| Full Idea: Ned Block proposes a machine (a 'blockhead') which could pass the Turing Test just by looking up responses in a vast look-up table. | |
| From: report of Ned Block (works [1984]) by Georges Rey - Contemporary Philosophy of Mind 5.3 | |
| A reaction: Once you suspected you were talking to a blockhead, I think you could catch it out in a Turing Test. How can the lookup table keep up to date with immediate experience? Ask it about your new poem. |
| 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. |
| 18033 | The meaning of a representation is its role in thought, perception or decisions [Block] |
| Full Idea: According to conceptual role semantics, the meaning of a representation is the role of that representation in the cognitive life of the agent, for example, in perception, thought and decision-making. | |
| From: Ned Block (Semantics, Conceptual Role [1998]) | |
| A reaction: I never believe theories of this kind, because I always find myself asking 'what is the nature of this representation which enables it to play this role?'. |
| 2581 | Intuition may say that a complex sentence is ungrammatical, but linguistics can show that it is not [Block] |
| Full Idea: Linguistics rejects (on theoretical grounds) the intuition that the sentence "the boy the girl the cat bit scratched died" is ungrammatical. | |
| From: Ned Block (Troubles with Functionalism [1978], p. 78) | |
| A reaction: Once we have disentangled it, we practical speakers have no right to say it is ungrammatical. It isn't only theory. The sentence is just stylistically infelicitous. |