Combining Texts

All the ideas for 'fragments/reports', 'Pref to new 'Materialist Theory'' and 'Frege versus Cantor and Dedekind'

unexpand these ideas     |    start again     |     specify just one area for these texts


18 ideas

1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
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.
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
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!
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
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?
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / d. Secondary qualities
Secondary qualities are microscopic primary qualities of physical things [Armstrong]
     Full Idea: I argue for the direct identification of the secondary qualities with microscopic primary qualities of physical things.
     From: David M. Armstrong (Pref to new 'Materialist Theory' [1992], p.xxii)
     A reaction: This sounds a bit like the eliminativism which Armstrong rejects. This seems in danger of mixing questions about the nature of mental events with questions about the nature of externally perceived objects.
15. Nature of Minds / B. Features of Minds / 1. Consciousness / b. Essence of consciousness
Consciousness and experience of qualities are not the same [Armstrong]
     Full Idea: Consciousness and experience of qualities are often run together - a serious mistake, I think.
     From: David M. Armstrong (Pref to new 'Materialist Theory' [1992], p.xvii)
     A reaction: A difficult claim to evaluate. Can we experience redness without being conscious of it? Could there be consciousness (e.g. of concepts) which didn't involve any qualities? I suspect that qualities are more basic than intentionality or consciousness.
17. Mind and Body / B. Behaviourism / 1. Behaviourism
Behaviourism is false, but mind is definable as the cause of behaviour [Armstrong]
     Full Idea: Behaviourism is false, but one is not far from the truth if one defines the mind as the cause of behaviour.
     From: David M. Armstrong (Pref to new 'Materialist Theory' [1992], p.xvi)
     A reaction: As Putnam says, if you cut all the efferent (outgoing) nerves, you would have a mind with no behaviour at all. I would say my mind is full of stuff that never affects my behaviour. However, influencing behaviour is certainly the main function of a mind.
17. Mind and Body / B. Behaviourism / 2. Potential Behaviour
The manifestations of a disposition need never actually exist [Armstrong]
     Full Idea: The manifestations of a disposition have the particularly mysterious property (metaphysically speaking) that they need not exist - which makes them rather like intentional objects.
     From: David M. Armstrong (Pref to new 'Materialist Theory' [1992], p.xvii)
     A reaction: His example is a brittle glass which never shatters. This problem seems to require the mention of conditional and counterfactual statements in the description of the actual world, which rather increases the workload for philosophers.
17. Mind and Body / C. Functionalism / 4. Causal Functionalism
Causal Functionalism says mental states are apt for producing behaviour [Armstrong]
     Full Idea: I speak of my view as the Causal version of functionalism, which asserts that mental states are states apt for the production of certain ranges of behaviour and, in some cases, apt for being produced by certain ranges of stimuli.
     From: David M. Armstrong (Pref to new 'Materialist Theory' [1992], p.xiv)
     A reaction: This effectively makes a mental state a place in a flowdiagram (and hence the mind is software). It says nothing about what qualities the mental states have which make them apt for this role. Full explanations need more than the function.
17. Mind and Body / C. Functionalism / 5. Teleological Functionalism
A causal theory of mentality would be improved by a teleological element [Armstrong]
     Full Idea: I now think, following Lycan, that my Causal theory of mentality would be strengthened (perhaps eliminating some potential counter-examples) by the addition of a teleological element.
     From: David M. Armstrong (Pref to new 'Materialist Theory' [1992], p.xviii)
     A reaction: For Lycan, see Idea 6533. Armstrong has begun to realise that merely specifying the causal role of a mental state is too thin as an explanation. Teleology widens the notion of function. I also want to know about the properties that make it possible.
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
The identity of mental states with physical properties is contingent, because the laws of nature are contingent [Armstrong]
     Full Idea: Granted the contingency of the laws of nature, the identification of dispositions with their categorical bases can be contingent only.
     From: David M. Armstrong (Pref to new 'Materialist Theory' [1992], p.xvi)
     A reaction: Personally I am not willing to grant the contingency of the laws of nature, but I suppose Armstrong is right about identity if he is right about laws. Presumably an identity could happen to be invariant across possible worlds, without being necessary.
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / b. Multiple realisability
One mental role might be filled by a variety of physical types [Armstrong]
     Full Idea: If the mental is just that which plays a causal role then there is the possibility, which may even be an empirical possibility, that the causal role of tokens of the same mental type should be filled by tokens of significantly different physical types.
     From: David M. Armstrong (Pref to new 'Materialist Theory' [1992], p.xiv)
     A reaction: This allows for multiple realisability in a physicalist framework. Fear has the same role in all animals, but may be realised in physically different ways. I go further, and say that two mental states could differ, while playing the same role.
18. Thought / E. Abstraction / 2. Abstracta by Selection
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.
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.
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
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.
18. Thought / E. Abstraction / 8. Abstractionism Critique
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.
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.
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
     Full Idea: Archelaus was the first person to say that the universe is boundless.
     From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3
27. Natural Reality / G. Biology / 3. Evolution
Archelaus said life began in a primeval slime [Archelaus, by Schofield]
     Full Idea: Archelaus wrote that life on Earth began in a primeval slime.
     From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus
     A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea.