Combining Philosophers

All the ideas for Pittacus, David M. Armstrong and Jonathan Dancy

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


191 ideas

1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
As coherence expands its interrelations become steadily tighter, culminating only in necessary truth [Dancy,J]
     Full Idea: As our system grows in coherence, the interrelations between its parts becomes tighter and tighter;… at the limit contingent truth vanishes, leaving only necessary truth.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 14.7)
1. Philosophy / E. Nature of Metaphysics / 5. Metaphysics beyond Science
All metaphysical discussion should be guided by a quest for truthmakers [Armstrong]
     Full Idea: My plea, whatever conclusions are drawn, is to control the metaphysical discussion by continual reference to suggested truthmakers.
     From: David M. Armstrong (Truth and Truthmakers [2004], 08.7)
     A reaction: ...And my plea is to control metaethical discussion by continual reference to value-makers. In general, this is the approach which will deliver a unified account of the world. Truthmakers are the ideal restraint on extravagant metaphysics.
1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
If you know what it is, investigation is pointless. If you don't, investigation is impossible [Armstrong]
     Full Idea: Paradox of Analysis:if we ask what sort of thing an X is, then either we know what an X is or we do not. If we know then there is no need to ask the question. If we do not know then there is no way to begin the investigation. It's pointless or impossible
     From: David M. Armstrong (What is a Law of Nature? [1983], 01.2)
     A reaction: [G.E. Moore is the source of this, somewhere] Plato worried that to get to know something you must already know it. Solving this requires the concept of a 'benign' circularity.
2. Reason / B. Laws of Thought / 6. Ockham's Razor
What matters is not how many entities we postulate, but how many kinds of entities [Armstrong, by Mellor/Oliver]
     Full Idea: Armstrong argues that what matters is not how few entities we postulate (quantitative economy), but how few kinds of entities (qualitative economy).
     From: report of David M. Armstrong (Properties [1992]) by DH Mellor / A Oliver - Introduction to 'Properties' §9
     A reaction: Is this what Ockham meant? Armstrong is claiming that the notion of a 'property' is needed to identify kinds. See also Idea 7038.
3. Truth / B. Truthmakers / 4. Truthmaker Necessitarianism
Truth-making can't be entailment, because truthmakers are portions of reality [Armstrong]
     Full Idea: Truth-making cannot be any form of entailment. Both terms of an entailment relation must be propositions, but the truth-making term of the truth-making relation is a portion of reality, and, in general at least, portions of reality are not propositions.
     From: David M. Armstrong (Truth and Truthmakers [2004], 02.3)
     A reaction: Along with Idea 18466, that seems to firmly demolish the idea that truth-making is a logical entailment.
Armstrong says truthmakers necessitate their truth, where 'necessitate' is a primitive relation [Armstrong, by MacBride]
     Full Idea: In a bold manouevre Armstrong posited a metaphysically primitive relation of necessitation, and then defined truth-makers in terms of this bridging relation, as a thing that necessitates something being true.
     From: report of David M. Armstrong (Truth and Truthmakers [2004], 02.3) by Fraser MacBride - Truthmakers 1.2
     A reaction: [Not sure of page reference] Spelled out so clearly by MacBride, this sounds dubious. How many truths are necessitated by the City of London? Do truthmakers necessitate the existence of their truths? MacBride says it's a circular theory.
3. Truth / B. Truthmakers / 6. Making Negative Truths
Negative existentials have 'totality facts' as truthmakers [Armstrong, by Lewis]
     Full Idea: Armstrong offers 'totality facts' (complete states of affairs) as truthmakers for negative existentials, and for negated predications.
     From: report of David M. Armstrong (A Combinatorial Theory of Possibility [1989]) by David Lewis - Armstrong on combinatorial possibility 'The demand'
Negative truths have as truthmakers all states of affairs relevant to the truth [Armstrong]
     Full Idea: Postulate a higher-order state of affairs, of all the states of affairs in which Theaetetus is involved. Is this not a good candidate for a truthmaker for the negative truth that 'Theaetetus is not flying'?
     From: David M. Armstrong (Truth and Truthmakers [2004], 05.2)
     A reaction: It certainly seems extravagant to need the whole universe to make true 'there are no lions in this room'. But for 'there are no unicorns' it is not clear which states of affairs unicorns are involved. (Armstrong is aware of this).
The nature of arctic animals is truthmaker for the absence of penguins there [Armstrong]
     Full Idea: Each of the arctic animals is by its nature different from a penguin, so this general state of affairs seems truthmaker enough for this negative existential. Similarly, the totality of all birds eliminates the phoenix.
     From: David M. Armstrong (Truth and Truthmakers [2004], 06.2)
     A reaction: Why is it 'animals' in one case, and 'birds' in the other? What if there was no life in arctic? Would the snow then do the job? This doesn't seem to work.
3. Truth / B. Truthmakers / 7. Making Modal Truths
In mathematics, truthmakers are possible instantiations of structures [Armstrong]
     Full Idea: A mathematical entity exists if and only if it is possible that there be instantiations of that structure. This transforms the question of truthmakers for the existence of mathematical entities into a question of truthmakers for certain possibilities.
     From: David M. Armstrong (Truth and Truthmakers [2004], 09.3)
     A reaction: This modal approach to structuralism [for which he endorses Hellman 1989] opens up a modal approach to other truthmakers, which places dispositions at the centre of physical truthmaking. No sets of Meinongian objects?
One truthmaker will do for a contingent truth and for its contradictory [Armstrong]
     Full Idea: It seems reasonable to say that a truthmaker for a contingent truth is also a truthmaker for the truth that the contradictory of that truth is possible.
     From: David M. Armstrong (Truth and Truthmakers [2004], 07.2)
     A reaction: The truthmaker will have to be not only some fact, but also the additional fact that it is contingent, in order to generate the possibility of the contradictory.
The truthmakers for possible unicorns are the elements in their combination [Armstrong]
     Full Idea: The obvious minimal truthmaker for the truth that 'it is possible that a unicorn exists' is combinatorial. The elements of the combination are all that is needed.
     From: David M. Armstrong (Truth and Truthmakers [2004], 07.5)
     A reaction: This seems to imply that there are no possibilities which are not combinations of what currently exists.
What is the truthmaker for 'it is possible that there could have been nothing'? [Armstrong]
     Full Idea: It is possible that there could have been nothing. ...What would be its truthmaker?
     From: David M. Armstrong (Truth and Truthmakers [2004], 07.4)
     A reaction: I suppose the truthmaker here is the whole of reality, with its dispositions and contingencies. But that won't do for 'possibly there might never have been anything'. In such a case there wouldn't be any truths.
3. Truth / B. Truthmakers / 8. Making General Truths
Necessitating general truthmakers must also specify their limits [Armstrong]
     Full Idea: The mereological sum of what happens to be all the men does not necessitate that it is all the men. So if truthmaking involves necessitation, then this object cannot be the complete truthmaker for .
     From: David M. Armstrong (Truth and Truthmakers [2004], 06.1)
     A reaction: [He invokes Russell has his source] His point is that the truthmaker needs a further fact, beyond the men, which specifies that this is all of them. But only if truthmakers necessitate their truths (as Armstrong claims). I'm sympathetic to both claims.
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Correspondence may be one-many or many one, as when either p or q make 'p or q' true [Armstrong]
     Full Idea: In Armstrong's version of the correspondence theory, the truth-making relation is not one-one, but one-many or many-one. Thus 'p or q' has two truth makers, p and q.
     From: David M. Armstrong (A World of States of Affairs [1997], p.129), quoted by Pascal Engel - Truth Ch.1
     A reaction: Interesting. Armstrong deals in universals. He also cites many swans as truth-makers for 'there is a least one black swan'. Not correspondence as we know it, Jim.
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
The correspondence theory also has the problem that two sets of propositions might fit the facts equally well [Dancy,J]
     Full Idea: The correspondence theory as well as the coherence theory has the problem of more than one set of truths. Why can't two sets of propositions "fit the facts" equally well?
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 8.2)
3. Truth / D. Coherence Truth / 1. Coherence Truth
Rescher says that if coherence requires mutual entailment, this leads to massive logical redundancy [Dancy,J]
     Full Idea: Rescher complains that if coherence requires mutual entailment, then what is entailed is logically redundant, and the whole system is infected with mutual redundancy.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 8.1)
If one theory is held to be true, all the other theories appear false, because they can't be added to the true one [Dancy,J]
     Full Idea: From the point of view of someone with a theory every other theory is false, because it cannot be added to the true theory.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 8.2)
3. Truth / D. Coherence Truth / 2. Coherence Truth Critique
Even with a tight account of coherence, there is always the possibility of more than one set of coherent propositions [Dancy,J]
     Full Idea: No matter how tight our account of coherence we have to admit that there may be more than one set of coherent propositions (as Russell pointed out (1907)).
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 8.2)
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
If what is actual might have been impossible, we need S4 modal logic [Armstrong, by Lewis]
     Full Idea: Armstrong says what is actual (namely a certain roster of universals) might have been impossible. Hence his modal logic is S4, without the 'Brouwersche Axiom'.
     From: report of David M. Armstrong (A Theory of Universals [1978]) by David Lewis - Armstrong on combinatorial possibility 'The demand'
     A reaction: So p would imply possibly-not-possibly-p.
4. Formal Logic / F. Set Theory ST / 1. Set Theory
The set theory brackets { } assert that the member is a unit [Armstrong]
     Full Idea: The idea is that braces { } attribute to an entity the place-holding, or perhaps determinable, property of unithood.
     From: David M. Armstrong (Truth and Truthmakers [2004], 09.5)
     A reaction: I like this. There is Socrates himself, then there is my concept , and then there is the singleton {Socrates}. Those braces must add something to the concept. You can't add braces to Socrates himself.
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
For 'there is a class with no members' we don't need the null set as truthmaker [Armstrong]
     Full Idea: The null class is useful in formal set theory, but I hope that does not require that there be a thing called the null class which is truthmaker for the strange proposition .
     From: David M. Armstrong (Truth and Truthmakers [2004], 09.1)
     A reaction: It is not quite clear why it doesn't, but then it is not quite clear to philosophers what the status of the null set is, in comparison with sets that have members.
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / a. Units
Classes have cardinalities, so their members must all be treated as units [Armstrong]
     Full Idea: Classes, because they have a particular cardinality, are essentially a certain number of ones, things that, within the particular class, are each taken as a unit.
     From: David M. Armstrong (Truth and Truthmakers [2004], 09.1)
     A reaction: [Singletons are exceptions] So units are basic to set theory, which is the foundations of technical analytic philosophy (as well as, for many, of mathematics). If you can't treat something as a unit, it won't go into set theory. Vagueness...
7. Existence / C. Structure of Existence / 6. Fundamentals / d. Logical atoms
Logical atomism builds on the simple properties, but are they the only possible properties? [Armstrong]
     Full Idea: One of the assumptions of logical atomism is that all structural properties, all complex properties, are composed of simple properties and relations. ...But does the totality of the simple properties consist of the only possible simple properties?
     From: David M. Armstrong (Truth and Truthmakers [2004], 07.3)
     A reaction: This refers to what Lewis calls 'alien' properties - possible properties that cannot even be constructed from actual properties. Armstrong's question is about the truthmakers for such things. A bit speculative...
7. Existence / D. Theories of Reality / 2. Realism
Realism says that most perceived objects exist, and have some of their perceived properties [Dancy,J]
     Full Idea: Realism in the theory of perception is that objects we perceive usually do exist, and retain some at least of the properties we perceive them as having.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 10.2)
7. Existence / D. Theories of Reality / 3. Reality
Some think of reality as made of things; I prefer facts or states of affairs [Armstrong]
     Full Idea: Some philosophers (like Devitt) think of reality as made up of things. Others, like me, think of it as made up of facts or states of affairs.
     From: David M. Armstrong (Against 'Ostrich Nominalism' [1980], §3)
     A reaction: Devitt is a follower of Quine on this. Personally I rather like 'processes'. Unanalysed things with predication (Quine) don't look promising. I currently favour things with active powers, which give rise to properties. See Shoemaker and Ellis.
7. Existence / D. Theories of Reality / 5. Naturalism
'Naturalism' says only the world of space-time exists [Armstrong]
     Full Idea: I define 'naturalism' as the hypothesis that the world of space-time is all that there is.
     From: David M. Armstrong (Truth and Truthmakers [2004], 09.1)
     A reaction: This is helpful, because it doesn't mention the nature of the physical matter contained in space-time, leaving theories like panpsychism as possible naturalistic theories. Galen Strawson, for example.
7. Existence / D. Theories of Reality / 7. Fictionalism
Without modality, Armstrong falls back on fictionalism to support counterfactual laws [Bird on Armstrong]
     Full Idea: Armstrong has difficulty explaining how laws entail regularities. There is no real modality in the basic components of the world, but he wants to support counterfactuals. His official position is a kind of fictionalism.
     From: comment on David M. Armstrong (A World of States of Affairs [1997], 49-51) by Alexander Bird - Nature's Metaphysics 4.4.4
     A reaction: Armstrong seems to be up against the basic problems that laws won't explain anything if they are merely regularities (assuming they are not decrees of a supernatural force).
7. Existence / D. Theories of Reality / 8. Facts / b. Types of fact
Negative facts are supervenient on positive facts, suggesting they are positive facts [Armstrong]
     Full Idea: Negative facts appear to be supervenient upon the positive facts, which suggests that they are nothing more than the positive facts.
     From: David M. Armstrong (What is a Law of Nature? [1983], 10.3)
7. Existence / D. Theories of Reality / 9. States of Affairs
Truthmaking needs states of affairs, to unite particulars with tropes or universals. [Armstrong]
     Full Idea: There must exist states of affairs as truthmakers, to get us beyond 'loose and separate' entities. ...They can be bundles of tropes, or trope-with-particular, or bundles of universals ('compresence'), or instantiations. They are an addition to ontology.
     From: David M. Armstrong (Truth and Truthmakers [2004], 04.5)
     A reaction: Armstrong is the great champion of states of affairs. They seem rather vague to me, and disconcertingly timeless.
8. Modes of Existence / A. Relations / 4. Formal Relations / a. Types of relation
Nothing is genuinely related to itself [Armstrong]
     Full Idea: I believe that nothing is genuinely related to itself.
     From: David M. Armstrong (What is a Law of Nature? [1983], 10.7)
8. Modes of Existence / B. Properties / 1. Nature of Properties
Properties are universals, which are always instantiated [Armstrong, by Heil]
     Full Idea: Armstrong takes properties to be universals, and believes there are no 'uninstantiated' universals.
     From: report of David M. Armstrong (A Theory of Universals [1978]) by John Heil - From an Ontological Point of View §9.3
     A reaction: At first glance this, like many theories of universals, seems to invite Ockham's Razor. If they are always instantiated, perhaps we should perhaps just try to talk about the instantiations (i.e. tropes), and skip the universal?
All instances of some property are strictly identical [Armstrong]
     Full Idea: A property ...is something which is strictly identical, strictly the same, in all its different instances.
     From: David M. Armstrong (What is a Law of Nature? [1983], 06.2)
     A reaction: Some is gravitation one property, or an infinity of properties, for each of its values? What is the same between objects of different mass. I sort of believe in all the masses, but I'm not sure what 'mass' is. Abstraction, say I.
Properties are contingently existing beings with multiple locations in space and time [Armstrong, by Lewis]
     Full Idea: Armstrong has a distinctive conception of (fundamental) properties as contingently existing beings with multiple locations in space and time.
     From: report of David M. Armstrong (A World of States of Affairs [1997]) by David Lewis - A world of truthmakers? p.220
     A reaction: Armstrong tries to get a naturalistically founded platonism (which he claims is Aristotelian), but the idea that one thing can be multiply located strikes me as daft (especially if the number of its locations increases or decreases).
8. Modes of Existence / B. Properties / 2. Need for Properties
Without properties we would be unable to express the laws of nature [Armstrong]
     Full Idea: The ontological correlates of true law-statements must involve properties. How else can one pick our the uniformities which the law-statements entail?
     From: David M. Armstrong (Properties [1992], 1)
     A reaction: I'm unconvinced about the 'laws', but I have to admit that it is hard to know how to describe the relevant bits of nature without some family of concepts covered by the word 'property'. I'm in favour of taking some of the family into care, though.
We need properties, as minimal truthmakers for the truths about objects [Armstrong]
     Full Idea: The 'thing itself' seems not be a minimal truthmaker for the thing having its particular mass. ...The thing has a great many other properties. ...It seems entirely reasonable to postulate that the object has properties that are objectively there.
     From: David M. Armstrong (Truth and Truthmakers [2004], 04.2)
     A reaction: This is Armstrong using the truthmaker principle to argue for the existence of properties (as instantiated universals). I like truthmakers, but truths do not have enough precision in their parts for us to read off reality from them.
8. Modes of Existence / B. Properties / 3. Types of Properties
The determinates of a determinable must be incompatible with each other [Armstrong]
     Full Idea: A set of determinates under the one determinable are incompatible by definition. If an object is not one mile in length, then its actual length will be incompatible with being one mile in length.
     From: David M. Armstrong (Truth and Truthmakers [2004], 05.2.1)
     A reaction: This is a much better general version of the standard example 'if it is red it can't be green'. Armstrong uses it to give a more precise account of incompatibility. Useful.
Length is a 'determinable' property, and one mile is one its 'determinates' [Armstrong]
     Full Idea: Length is a 'determinable' property; being some particular length, such as a mile, is one of its 'determinates'.
     From: David M. Armstrong (Truth and Truthmakers [2004], 05.2.1)
     A reaction: The seem to be 'type' and 'token' properties, except that this other vocabulary indicates the link between them.
8. Modes of Existence / B. Properties / 6. Categorical Properties
Even if all properties are categorical, they may be denoted by dispositional predicates [Armstrong, by Bird]
     Full Idea: Armstrong says all properties are categorical, but a dispositional predicate may denote such a property; the dispositional predicate denotes the categorical property in virtue of the dispositional role it happens, contingently, to play in this world.
     From: report of David M. Armstrong (A Theory of Universals [1978]) by Alexander Bird - Nature's Metaphysics 3.1
     A reaction: I favour the fundamentality of the dispositional rather than the categorical. The world consists of powers, and we find ourselves amidst their categorical expressions. I could be persuaded otherwise, though!
Armstrong holds that all basic properties are categorical [Armstrong, by Ellis]
     Full Idea: I am against Armstrong's strong categoricalism, that is, the thesis that all basic properties are categorical.
     From: report of David M. Armstrong (What is a Law of Nature? [1983]) by Brian Ellis - The Metaphysics of Scientific Realism 3
     A reaction: I certainly agree with this, as I cannot see where the power would come from to get the whole thing off the ground. Armstrong depends on universals to necessitate what happens, which I find very peculiar.
8. Modes of Existence / B. Properties / 10. Properties as Predicates
Whether we apply 'cold' or 'hot' to an object is quite separate from its change of temperature [Armstrong]
     Full Idea: Evading properties by means of predicates is implausible when things change. If a cold thing becomes hot, first 'cold' applies, and then 'hot', but what have predicates to do with the temperature of an object?
     From: David M. Armstrong (Properties [1992], §1)
     A reaction: A clear illustration of why properties are part of nature, not just part of language. But some applications of predicates are more arbitrary than this (ugly, cool)
To the claim that every predicate has a property, start by eliminating failure of application of predicate [Armstrong]
     Full Idea: Upholders of properties have been inclined to postulate a distinct property corresponding to each distinct predicate. We could start by eliminating all those properties where the predicate fails to apply, is not true, of anything.
     From: David M. Armstrong (Properties [1992], §1)
     A reaction: This would leave billions of conjunctional, disjunctional and gerrymandered properties where the predicate applies very well. We are all 'on the same planet as New York'. Am I allowed to say that I 'wish' that a was F? He aims for 'sparse' properties.
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
Tropes fall into classes, because exact similarity is symmetrical and transitive [Armstrong]
     Full Idea: Exact similarity is a symmetrical and transitive relation. (Less than exact similarity is not transitive, even for tropes). So the relation of exact similarity is an equivalence relation, partitioning the field of tropes into equivalence classes.
     From: David M. Armstrong (Properties [1992], §2)
     A reaction: Armstrong goes on the explore the difficulties for trope theory of less than exact similarity, which is a very good line of discussion. Unfortunately it is a huge problem for everyone, apart from the austere nominalist.
One moderate nominalist view says that properties and relations exist, but they are particulars [Armstrong]
     Full Idea: There is a 'moderate' nominalism (found in G.F.Stout, for example) which says that properties and relations do exist, but that they are particulars rather than universals.
     From: David M. Armstrong (Universals [1995], p.504)
     A reaction: Both this view and the 'mereological' view seem to be ducking the problem. If you have two red particulars and a green one, how do we manage to spot the odd one out?
If tropes are non-transferable, then they necessarily belong to their particular substance [Armstrong]
     Full Idea: 'Non-transferable' theories of tropes hold that the mass is of this stone by necessity. It is an identity condition for the property. Every property then becomes an essential property.
     From: David M. Armstrong (Truth and Truthmakers [2004], 04.3)
     A reaction: [He cites Martin and Heil for this view] It is hard to see in this proposal how the trope is in any way separate from its substance, and hence it seems a bit of a vacuous theory. (The other theories of properties aren't much cop either).
8. Modes of Existence / B. Properties / 13. Tropes / b. Critique of tropes
Trope theory needs extra commitments, to symmetry and non-transitivity, unless resemblance is exact [Armstrong]
     Full Idea: Trope theory needs extra ontological baggage, the Axioms of Resemblance. There is a principle of symmetry, and there is the failure of transitivity - except in the special case of exact resemblance.
     From: David M. Armstrong (Properties [1992], §2)
     A reaction: [see text for fuller detail] Is it appropriate to describe such axioms as 'ontological' baggage? Interesting, though I suspect that any account of properties and predicates will have a similar baggage of commitments.
If properties and relations are particulars, there is still the problem of how to classify and group them [Armstrong]
     Full Idea: The view that properties exist, but are particulars rather than universals, is still left with the problem of classification. On what basis do we declare that different things have the same property?
     From: David M. Armstrong (Universals [1995], p.504)
     A reaction: This seems like a fairly crucial objection. The original problem was how we manage to classify things (group them into sets), and it looks as if this theory leaves the problem untouched.
8. Modes of Existence / C. Powers and Dispositions / 5. Powers and Properties
Properties are not powers - they just have powers [Armstrong]
     Full Idea: Properties are not powers. But properties have powers. They bestow powers.
     From: David M. Armstrong (Truth and Truthmakers [2004], 10.4)
     A reaction: I think this is the wrong way round. In this view, powers become extremely vague things, ranging from the fine-grained to the hugely broad. It seems to me that powers are precise and real, but properties are the vague unhelpful things.
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / a. Dispositions
To be realists about dispositions, we can only discuss them through their categorical basis [Armstrong]
     Full Idea: It is only to the extent that we relate disposition to 'categorical basis', and difference of disposition to difference of 'categorical basis', that we can speak of dispositions. We must be Realists, not Phenomenalists, about dispositions.
     From: David M. Armstrong (A Materialist Theory of Mind (Rev) [1968], 6.VI)
     A reaction: It is Armstrong's realism which motivates this claim, because he thinks only categorical properties are real. But categorical properties seem to be passive, and the world is active.
8. Modes of Existence / C. Powers and Dispositions / 7. Against Powers
Actualism means that ontology cannot contain what is merely physically possible [Armstrong]
     Full Idea: Actualism ...debars us from admitting into our ontology the merely possible, not only the merely logically possible, but also the merely physically possible.
     From: David M. Armstrong (What is a Law of Nature? [1983], 01.3)
     A reaction: This is the big metaphysical question for fans (like myself) of 'powers' in nature. Armstrong declares himself an Actualist. I take it as obvious that the actual world contains powers, but how are we to characterise them?
Dispositions exist, but their truth-makers are actual or categorical properties [Armstrong]
     Full Idea: It is not denied that statements attributing dispositions and/or powers to objects are often true. But the truth-makers or ontological ground for such statements must always be found in the actual, or categorical, properties of the objects involved.
     From: David M. Armstrong (What is a Law of Nature? [1983], 01.3)
     A reaction: This is the big debate in the topic of powers. I love powers, but you always think there must be 'something' which has the power. Could reality entirely consist of powers? See Fetzer.
If everything is powers there is a vicious regress, as powers are defined by more powers [Armstrong]
     Full Idea: I believe reducing all universals to powers is involved in vicious regress. The power is what it is by the sort of actualisations it gives rise to in suitable sorts of circumstances. But they themselves can be nothing but powers...
     From: David M. Armstrong (What is a Law of Nature? [1983], 08.3)
     A reaction: [compressed wording] I don't see this problem. Anything postulated as fundamental is going to be baffling. Why are categorical properties superior to powers? Postulate basic powers (or basic empowered stuff), then build up.
Powers must result in some non-powers, or there would only be potential without result [Armstrong]
     Full Idea: Powers must surely issue in manifestations that are something more than just powers. A world where potency never issued in act, but only in more potency, would be one where one travelled without ever having the possibility of arriving.
     From: David M. Armstrong (Truth and Truthmakers [2004], 10.4)
     A reaction: Tricky. The picture I favour is that the distinction between powers and categorical properties is a misunderstanding. What is fundamental is active and powerful categoricals.
How does the power of gravity know the distance it acts over? [Armstrong]
     Full Idea: If masses are powers, the forces generated between two particulars have to vary inversely with the square of their distance apart. Have not the masses got to 'know' at what distance they are from each other, to exert the right amount of force?
     From: David M. Armstrong (Truth and Truthmakers [2004], 10.4)
     A reaction: This seems like a good warning against a simplistic account of powers doing all the work, but I suspect that more sophisticated physics would offer the fan of powers a solution here. The power is to 'spread' the force around.
8. Modes of Existence / D. Universals / 1. Universals
Universals are just the repeatable features of a world [Armstrong]
     Full Idea: Universals can be brought into the spatio-temporal world, becoming simply the repeatable features of that world.
     From: David M. Armstrong (What is a Law of Nature? [1983], 06.2)
     A reaction: I wish Armstrong wouldn't use the word 'universal', which has so much historical baggage. The world obviously has repeatable features, but does that mean that our ontology must include things called 'features'? Hm.
Particulars and properties are distinguishable, but too close to speak of a relation [Armstrong]
     Full Idea: I favour the Realist view that while we can distinguish the particularity of a particular from its properties, but the two 'factors' are too intimately together to speak of a relation between them.
     From: David M. Armstrong (Against 'Ostrich Nominalism' [1980], §3)
     A reaction: Is Armstrong being a bit of an ostrich here? We could talk of part-whole relationships, or internal relations, or set membership, or coinciding objects, or bundles. We certainly ought to have a go. Armstrong approaches Quine here!
Should we decide which universals exist a priori (through words), or a posteriori (through science)? [Armstrong]
     Full Idea: Should we decide what universals exist a priori (probably on semantic grounds, identifying them with the meanings of general words), or a posteriori (looking to our best general theories about nature to give revisable conjectures about universals)?
     From: David M. Armstrong (Universals [1995], p.505)
     A reaction: Nice question for a realist. Although the problem is first perceived in the use of language, if we think universals are a real feature of nature, we should pursue them scientifically, say I.
8. Modes of Existence / D. Universals / 2. Need for Universals
The problem of universals is how many particulars can all be of the same 'type' [Armstrong]
     Full Idea: The problem of universals is the problem of how numerically different particulars can nevertheless be identical in nature, all be of the same 'type'.
     From: David M. Armstrong (Nominalism and Realism [1978], p.41), quoted by DH Mellor / A Oliver - Introduction to 'Properties' §7
     A reaction: A nice statement of the problem. As usual, the question is whether the 'sameness' is a feature of nature, or a product of human thought
Realist regularity theories of laws need universals, to pick out the same phenomena [Armstrong]
     Full Idea: A Realistic version of a Regularity theory of laws will have to postulate universals. How else will it be possible to say that the different instances of a certain uniformity are all instances of objectively the same phenomenon?
     From: David M. Armstrong (What is a Law of Nature? [1983], 02.4)
     A reaction: I disagree. We may (or may not) need properties, but they can be have a range. We just need stable language. We use one word 'red', even when the shade of redness varies. Non-realists presumably refer to sense-data.
Universals are required to give a satisfactory account of the laws of nature [Armstrong]
     Full Idea: A reason why I reject trope theory is that universals are required to give a satisfactory account of the laws of nature.
     From: David M. Armstrong (Properties [1992], §2)
     A reaction: This is the key thought in Armstrong's defence of universals. Issues about universals may well be decided on such large playing fields. I think he is probably wrong, and I will gradually explain why. Watch this space as the story unfolds...
Universals explain resemblance and causal power [Armstrong, by Oliver]
     Full Idea: Armstrong thinks universals play two roles, namely grounding objective resemblances and grounding causal powers.
     From: report of David M. Armstrong (A Theory of Universals [1978]) by Alex Oliver - The Metaphysics of Properties 11
     A reaction: Personally I don't think universals explain anything at all. They just add another layer of confusion to a difficult problem. Oliver objects that this seems a priori, contrary to Armstrong's principle in Idea 10728.
8. Modes of Existence / D. Universals / 3. Instantiated Universals
Universals are abstractions from states of affairs [Armstrong]
     Full Idea: Universals are abstractions from states of affairs.
     From: David M. Armstrong (What is a Law of Nature? [1983], 7)
     A reaction: I'm getting confused about Armstrong's commitments. He bases his whole theory on the existence of universals (repeatable features), but now says those are 'abstracted' from something else. Abstracted by us?
Past, present and future must be equally real if universals are instantiated [Armstrong]
     Full Idea: Past, present and future I take to be all and equally real. A universal need not be instantiated now.
     From: David M. Armstrong (What is a Law of Nature? [1983], 06.2)
     A reaction: This is the price you must pay for saying that you only believe in universals which are instantiated.
Universals are abstractions from their particular instances [Armstrong, by Lewis]
     Full Idea: Armstrong takes universals generally, and structural universals along with the rest, to be abstractions from their particular instances.
     From: report of David M. Armstrong (What is a Law of Nature? [1983], p.83-4) by David Lewis - Against Structural Universals 'The pictorial'
     A reaction: To me, 'abstracted' implies a process of human psychology, a way of thinking about the instances. I don't see how there can be an 'abstracted' relation which is a part of the external world. That makes his laws of nature human creations.
8. Modes of Existence / D. Universals / 4. Uninstantiated Universals
It is claimed that some universals are not exemplified by any particular, so must exist separately [Armstrong]
     Full Idea: There are some who claim that there can be uninstantiated universals, which are not exemplified by any particular, past, present or future; this would certainly imply that those universals have a Platonic transcendent existence outside time and space.
     From: David M. Armstrong (Universals [1995], p.504)
     A reaction: Presumably this is potentially circular or defeasible, because one can deny the universal simply because there is no particular.
8. Modes of Existence / D. Universals / 6. Platonic Forms / c. Self-predication
Most thinkers now reject self-predication (whiteness is NOT white) so there is no Third Man problem [Armstrong]
     Full Idea: Modern upholders of universals generally reject self-predication; humanity is not a man, whiteness is not a white thing. This means that the Third Man argument does not constitute a difficulty.
     From: David M. Armstrong (Universals and Particulars [1995], p.506)
     A reaction: This certainly seems right, and is relevant to the modern problem of the content of thought. The idea of a tree does not need to be tree-like.
8. Modes of Existence / E. Nominalism / 1. Nominalism / a. Nominalism
Refusal to explain why different tokens are of the same type is to be an ostrich [Armstrong]
     Full Idea: A philosophical account of a general sort is required of what it is for different tokens to be of the same type. To refuse to give such an account is to be a metaphysical ostrich.
     From: David M. Armstrong (Against 'Ostrich Nominalism' [1980], §1)
     A reaction: This defines Ostrich Nominalism (a label Armstrong aims at Quine). I certainly sympathise with Armstrong. If there is no more to a class (a type) than just having members (tokens), nothing is explain. What is natural, essential, intensional etc.?
8. Modes of Existence / E. Nominalism / 1. Nominalism / c. Nominalism about abstracta
Deniers of properties and relations rely on either predicates or on classes [Armstrong]
     Full Idea: The great deniers of properties and relations are of two sorts: those who put their faith in predicates and those who appeal to sets (classes).
     From: David M. Armstrong (Properties [1992], §1)
     A reaction: This ignores the Quine view, which is strictly for ostriches. Put like this, properties and relations seem undeniable. Predicates are too numerous (gerrymandering) or too few (colour shades). Classes can have arbitrary members.
8. Modes of Existence / E. Nominalism / 2. Resemblance Nominalism
'Resemblance Nominalism' finds that in practice the construction of resemblance classes is hard [Armstrong]
     Full Idea: It is difficult for Resemblance Nominalists to construct their interconnected classes in practice.
     From: David M. Armstrong (Universals [1995], p.503)
     A reaction: Given the complexity of the world this is hardly surprising, but it doesn't seem insuperable for the theory. It is hard to decide whether an object is white, or hot, whatever your theory of universals.
Resemblances must be in certain 'respects', and they seem awfully like properties [Armstrong]
     Full Idea: If a resembles b, in general, they resemble in certain respects, and fail to resemble in other respects. But respects are uncomfortably close to properties, which the Resemblance theory proposes to do without.
     From: David M. Armstrong (Properties [1992], §1)
     A reaction: This is a good objection. I think it is plausible to build a metaphysics around the idea of respects, and drop properties. Shall we just talk of 'respects' for categorising, and 'powers' for causation and explanation? Respects only exist in comparisons.
'Resemblance Nominalism' says properties are resemblances between classes of particulars [Armstrong]
     Full Idea: Resemblance Nominalists say that to have a property is to be a member of a class which is part of a network of resemblance relations with other classes of particulars. ..'Resemblance' is taken to be a primitive notion, though one that admits of degrees.
     From: David M. Armstrong (Universals [1995], p.503)
     A reaction: Intuition suggests that this proposal has good prospects, as properties are neither identical, nor just particulars, but have a lot in common, which 'resemblance' captures. Hume saw resemblance as a 'primitive' process.
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
It doesn't follow that because there is a predicate there must therefore exist a property [Armstrong]
     Full Idea: I suggest that we reject the notion that just because the predicate 'red' applies to an open class of particulars, therefore there must be a property, redness.
     From: David M. Armstrong (A Theory of Universals [1978], p.8), quoted by DH Mellor / A Oliver - Introduction to 'Properties' §6
     A reaction: At last someone sensible (an Australian) rebuts that absurd idea that our ontology is entirely a feature of our language
Change of temperature in objects is quite independent of the predicates 'hot' and 'cold' [Armstrong]
     Full Idea: To appreciate the implausibility of the predicate view, consider where a thing's properties change. 'Hot' becomes applicable when 'cold' ceases to, ..but the change in the object would have occurred if the predicates had never existed.
     From: David M. Armstrong (Properties [1992], §1)
     A reaction: They keep involving secondary qualities! Armstrong is taking a strongly realist view (fine by me), but anti-realists can ignore his argument. I take predicate nominalism to be a non-starter.
We want to know what constituents of objects are grounds for the application of predicates [Armstrong]
     Full Idea: The properties that are of ontological interest are those constituents of objects, of particulars, which serve as the ground in the objects for the application of predicates.
     From: David M. Armstrong (Properties [1992], §1)
     A reaction: Good. This is a reversal of the predicate nominalist approach, and is a much healthier attitude to the relationship between ontology and language. Value judgements will be an interesting case. Does this allow us to invent new predicates?
'Predicate Nominalism' says that a 'universal' property is just a predicate applied to lots of things [Armstrong]
     Full Idea: For a Predicate Nominalist different things have the same property, or belong to the same kind, if the same predicates applies to, or is 'true of', the different things.
     From: David M. Armstrong (Universals [1995], p.503)
     A reaction: This immediately strikes me as unlikely, because I think the action is at the proposition level, not the sentence level. And why do some predicates seem to be synonymous?
8. Modes of Existence / E. Nominalism / 4. Concept Nominalism
Concept and predicate nominalism miss out some predicates, and may be viciously regressive [Armstrong]
     Full Idea: The standard objections to Predicate and Concept Nominalism are that some properties have no predicates or concepts, and that predicates and concepts seem to be types rather than particulars, and it is types the theory is seeking to analyse.
     From: David M. Armstrong (Universals [1995], p.503)
     A reaction: The claim that some properties have no concepts is devastating if true, but may not be. The regress problem is likely to occur in any explanation of universals, I suspect.
'Concept Nominalism' says a 'universal' property is just a mental concept applied to lots of things [Armstrong]
     Full Idea: Concept Nominalism says different things have the same property, or belong to the same kind, if the same concept in the mind is applied to different things.
     From: David M. Armstrong (Universals [1995], p.503)
     A reaction: This is more appealing than Predicate Nominalism, and may be right. Our perception of the 'properties' of a thing may be entirely dictated by human interests, not by nature.
8. Modes of Existence / E. Nominalism / 5. Class Nominalism
In most sets there is no property common to all the members [Armstrong]
     Full Idea: Most sets are uninteresting because they are utterly heterogeneous, that is, the members have nothing in common. For most sets there is no common property F, such that the set is the set of all the Fs.
     From: David M. Armstrong (Properties [1992], §1)
     A reaction: One might link the interesting sets together by resemblance, without invoking the actual existence of an item F which all the members carry (like freemasons' briefcases). Personally I am only really interested in 'natural' sets.
'Class Nominalism' may explain properties if we stick to 'natural' sets, and ignore random ones [Armstrong]
     Full Idea: Class Nominalism can be defended (by Quinton) against the problem of random sets (with nothing in common), by giving an account of properties in terms of 'natural' classes, where 'natural' comes in degrees, but is fundamental and unanalysable.
     From: David M. Armstrong (Universals [1995], p.503)
     A reaction: This still seems to beg the question, because you still have to decide whether two things have anything 'naturally' in common before you assign them to a set.
'Class Nominalism' says that properties or kinds are merely membership of a set (e.g. of white things) [Armstrong]
     Full Idea: Class Nominalists substitute classes or sets for properties or kinds, so that being white is just being a member of the set of white things; relations are treated as ordered sets.
     From: David M. Armstrong (Universals [1995], p.503)
     A reaction: This immediately seems wrong, because it invites the question of why something is a member of a set (unless membership is arbitrary and whimsical - which it usually isn't).
'Class Nominalism' cannot explain co-extensive properties, or sets with random members [Armstrong]
     Full Idea: Class Nominalism cannot explain co-extensive properties (which qualify the same things), and also a random (non-natural) set has particulars with nothing in common, thus failing to capture an essential feature of a general property.
     From: David M. Armstrong (Universals [1995], p.503)
     A reaction: These objections strike me as conclusive, since we can assign things to a set quite arbitrarily, so membership of a set may signify no shared property at all (except, say, 'owned by me', which is hardly a property).
The class of similar things is much too big a truthmaker for the feature of a particular [Armstrong]
     Full Idea: For a Class Nominalist 'the class of all 4-kilo objects' is the truthmaker for the truth that the particular has just that mass. Yet this looks far too big! Would not the object still be four kilos even if the other members of the class had never existed?
     From: David M. Armstrong (Truth and Truthmakers [2004], 04.2)
     A reaction: This seems so obvious to me as to be hardly worth saying. To identify redness with the class of red entities just seems crazy. Why do they belong in that class? Armstrong is illustrating the value of the truthmaker idea in philosophy.
8. Modes of Existence / E. Nominalism / 6. Mereological Nominalism
'Mereological Nominalism' sees whiteness as a huge white object consisting of all the white things [Armstrong]
     Full Idea: Mereological Nominalism views a property as the omnitemporal whole or aggregate of all the things said to have the property, so whiteness is a huge white object whose parts are all the white things.
     From: David M. Armstrong (Universals [1995], p.503)
     A reaction: A charming proposal, in which bizarre and beautiful unities thread themselves across the universe, but white objects may also be soft and warm.
'Mereological Nominalism' may work for whiteness, but it doesn't seem to work for squareness [Armstrong]
     Full Idea: Mereological Nominalism has some plausibility for a case like whiteness, but breaks down completely for other universals, such as squareness.
     From: David M. Armstrong (Universals [1995], p.503)
     A reaction: A delightful request that you attempt a hopeless feat of imagination, by seeing all squares as parts of one supreme square. A nice objection.
9. Objects / A. Existence of Objects / 5. Individuation / b. Individuation by properties
It is likely that particulars can be individuated by unique conjunctions of properties [Armstrong]
     Full Idea: For each particular it is likely that there exists at least one individuating conjunction of properties, that is, a conjunction of properties such that the particular instantiates this conjunction and nothing else does.
     From: David M. Armstrong (What is a Law of Nature? [1983], 02.3)
     A reaction: Armstrong commits to a famous Leibniz view, but I don't see his grounds for it. There is nothing incoherent about nature churning out perfect replicas of things, such as quarks and electrons. Would we care if two pens were perfectly identical?
9. Objects / D. Essence of Objects / 15. Against Essentialism
Essences might support Resemblance Nominalism, but they are too coarse and ill-defined [Armstrong]
     Full Idea: A sophisticated Resemblance theory can appeal to the natures of the resembling things, from which the resemblances flow. The natures are suitably internal, but are as coarse as the things themselves (and perhaps are the things themselves).
     From: David M. Armstrong (Properties [1992], 1)
     A reaction: Note that this is essentialism as an underpinning for Resemblance Nominalism. His objection is that he just can't believe in essences, because they are too 'coarse' - which I take to mean that we cannot distinguish the boundaries of an essence.
9. Objects / F. Identity among Objects / 1. Concept of Identity
When entities contain entities, or overlap with them, there is 'partial' identity [Armstrong]
     Full Idea: There is 'partial identity' where one entity contains another with something to spare, or else where entities overlap each other. ...Extensive quantities, such as length and mass, are the particularly plausible cases.
     From: David M. Armstrong (Truth and Truthmakers [2004], 08.5)
     A reaction: This looks like a very useful concept which deserves wider use. It will help discussions of rivers, statues, intersecting roads etc.
9. Objects / F. Identity among Objects / 4. Type Identity
The type-token distinction is the universal-particular distinction [Armstrong, by Hodes]
     Full Idea: Armstrong conflates the type-token distinction with that between universals and particulars.
     From: report of David M. Armstrong (A Theory of Universals [1978], xiii,16/17) by Harold Hodes - Logicism and Ontological Commits. of Arithmetic 147 n23
     A reaction: This seems quite reasonable, even if you don’t believe in the reality of universals. I'm beginning to think we should just use the term 'general' instead of 'universal'. 'Type' also seems to correspond to 'set', with the 'token' as the 'member'.
9. Objects / F. Identity among Objects / 5. Self-Identity
A thing's self-identity can't be a universal, since we can know it a priori [Armstrong, by Oliver]
     Full Idea: Armstrong says that if it can be proved a priori that a thing falls under a certain universal, then there is no such universal - and hence there is no universal of a thing being identical with itself.
     From: report of David M. Armstrong (A Theory of Universals [1978], II p.11) by Alex Oliver - The Metaphysics of Properties 11
     A reaction: This is a distinctively Armstrongian view, based on his belief that universals must be instantiated, and must be discoverable a posteriori, as part of science. I'm baffled by self-identity, but I don't think this argument does the job.
The identity of a thing with itself can be ruled out as a pseudo-property [Armstrong]
     Full Idea: There is reason to rule out as pseudo-properties such things as the identity of a thing with itself.
     From: David M. Armstrong (What is a Law of Nature? [1983], 06.2)
     A reaction: Good on you, David.
10. Modality / A. Necessity / 8. Transcendental Necessity
Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius]
     Full Idea: Even the gods cannot strive against necessity.
     From: report of Pittacus (reports [c.610 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 01.5.4
10. Modality / B. Possibility / 1. Possibility
All possibilities are recombinations of properties in the actual world [Armstrong, by Lewis]
     Full Idea: Armstrong's thesis is that recombination gives all the possibilities there are. There is no 'outer sphere' of possibilities wherein are found new and different universals alien to the actual world. No extra fundamental properties of fundamental particles.
     From: report of David M. Armstrong (A Combinatorial Theory of Possibility [1989]) by David Lewis - Armstrong on combinatorial possibility 'Combinatorialism'
     A reaction: I can't grasp what Armstrong's basis would be for such a claim. I surmise that current fundamental particles can only have the properties they currently have, but I can't see the impossibility of new stuff with new properties.
10. Modality / B. Possibility / 5. Contingency
The necessary/contingent distinction may need to recognise possibilities as real [Armstrong]
     Full Idea: It may be that the necessary/contingent distinction is tied to a metaphysics which recognises possibility as a real something wider than actuality.
     From: David M. Armstrong (What is a Law of Nature? [1983], 11.2)
     A reaction: Armstrong responds by trying to give an account of possibility in terms of 'combinations' from actuality. I think powers offer a much better strategy.
10. Modality / C. Sources of Modality / 1. Sources of Necessity
The truth-maker for a truth must necessitate that truth [Armstrong]
     Full Idea: The truth-maker for a truth must necessitate that truth.
     From: David M. Armstrong (A World of States of Affairs [1997], p.115), quoted by Pascal Engel - Truth Ch.1
     A reaction: Armstrong's 'truth-make principle'. It seems to be a necessity which is neither natural nor analytic, making it metaphysically necessary. Or is it part of the definition of truth?
10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism
The best version of reductionist actualism around is Armstrong's combinatorial account [Armstrong, by Read]
     Full Idea: Armstrong's combinatorial theory of possibility is perhaps the most sophisticated and best worked out reductionist version of actualism to date.
     From: report of David M. Armstrong (The Nature of Possibility [1986]) by Stephen Read - Thinking About Logic Ch.4
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
Possible worlds don't fix necessities; intrinsic necessities imply the extension in worlds [Armstrong]
     Full Idea: It seems natural and plausible to say that it is the fact that a necessary truth is itself necessary that determines its truth in all possible worlds. This intension determines its extension across possible worlds.
     From: David M. Armstrong (Truth and Truthmakers [2004], 08.1)
     A reaction: Well said. To me (but not to Armstrong) this implies essentialism, that the necessity arises from the intrinsic natures of the things involved. The whole Lewisian approach of explaining things by mapping them strikes me as wrong.
11. Knowledge Aims / B. Certain Knowledge / 1. Certainty
A pupil who lacks confidence may clearly know something but not be certain of it [Dancy,J]
     Full Idea: Why isn't certainty required for knowledge? Because we are often prepared to allow that someone does in fact have knowledge when the person is so uncertain they would not claim knowledge for themselves (the 'diffident schoolboy').
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 2.1)
11. Knowledge Aims / B. Certain Knowledge / 3. Fallibilism
If senses are fallible, then being open to correction is an epistemological virtue [Dancy,J]
     Full Idea: In my view, once we admit that our beliefs about our sensory states are not infallible, incorrigibility would be a vice rather than a virtue.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 4.3)
     A reaction: This seems to be axiomatic among modern philosophers, and I certainly agree with it.
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / a. Naďve realism
Naďve direct realists hold that objects retain all of their properties when unperceived [Dancy,J]
     Full Idea: The naďve direct realist holds that unperceived objects are able to retain properties of all the types we perceive them as having, which includes not only a shape and a size, but also a colour, a taste and a smell.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 10.3)
     A reaction: This I take to be a completely untenable view, if we are including the qualia of red, sweet or pungent among the properties. It seems uncontroversial that objects retain the capacity to cause redness etc. when they are unperceived.
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / b. Direct realism
Scientific direct realism says we know some properties of objects directly [Dancy,J]
     Full Idea: The scientific direct realist accepts the directness of our perception of the world, but restricts his realism to a special group of properties, ..not including those which are dependent for their existence upon the existence of a perceiver.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 10.3)
     A reaction: Dancy goes on to say that this distinction is a 'close relative' of Locke's primary/secondary distinction. Am I a direct realist or a representative realist about primary properties? Maybe the distinction dissolves as we unravel the true process.
Maybe we are forced from direct into indirect realism by the need to explain perceptual error [Dancy,J]
     Full Idea: Direct realism is unlikely to be able to provide an explanation of perceptual error without collapsing into indirect realism.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 10.3)
     A reaction: If there is an error, there must be two things which don't match: the perception, and the reality. This seems to me a powerful reason for preferring indirect or representative realism. I like the idea that we make mental 'models' (rather than inferences).
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / c. Representative realism
Internal realism holds that we perceive physical objects via mental objects [Dancy,J]
     Full Idea: Indirect realism holds that in perception we are indirectly aware of the physical objects around us in virtue of a direct awareness of internal, non-physical objects.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 10.4)
     A reaction: This may be a slightly prejudicial definition which invites insoluble questions about the ontological status of the internal 'objects'. It seems to me obvious that we create some sort of inner 'models' or constructions in the process of perception.
Indirect realism depends on introspection, the time-lag, illusions, and neuroscience [Dancy,J, by PG]
     Full Idea: The four standard reasons for preferring indirect to direct realism are introspection of our mental processes, the time-lag argument, the argument from illusion, and the findings of neuroscience.
     From: report of Jonathan Dancy (Intro to Contemporary Epistemology [1985], 10.4) by PG - Db (ideas)
     A reaction: Ultimately one's views about realism depend on one's views of the mind/brain, and it is the last of the four reasons that sways me. We know enough about the complexity of the brain to accept that it represents reality, with no additional ontology.
11. Knowledge Aims / C. Knowing Reality / 2. Phenomenalism
Phenomenalism includes possible experiences, but idealism only refers to actual experiences [Dancy,J]
     Full Idea: Phenomenalism talks about actual and possible experiences, whereas idealism confines itself to the actual experiences.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 9.5)
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / a. Idealism
Eliminative idealists say there are no objects; reductive idealists say objects exist as complex experiences [Dancy,J]
     Full Idea: The eliminativist idealist holds that there is no such thing as a material object; there is nothing but experience (idea, sensation). The reductive idealist holds that there are material objects, but they are nothing other than complexes of experience.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 10.6)
     A reaction: Dancy says Berkeley was of the latter type. The distinction doesn't strike me as entirely clear. I can't make much sense of the words 'are' or 'exist' in the second theory. To say it is only experiences translates (to me) as 'doesn't exist'.
11. Knowledge Aims / C. Knowing Reality / 4. Solipsism
Extreme solipsism only concerns current experience, but it might include past and future [Dancy,J]
     Full Idea: Extreme solipsism only considers present experiences, but more relaxed solipsism may include past and possible future experiences.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 9.5)
12. Knowledge Sources / A. A Priori Knowledge / 5. A Priori Synthetic
Knowing that a cow is not a horse seems to be a synthetic a priori truth [Dancy,J]
     Full Idea: The fact that a cow is not a horse is a candidate for a priori synthetic truth. It doesn't seem to be analytic, because you can know what a cow is without knowing what a horse is.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 14.3)
12. Knowledge Sources / B. Perception / 1. Perception
Perception is either direct realism, indirect realism, or phenomenalism [Dancy,J]
     Full Idea: There are three main families of theories of perception: direct realism, indirect realism, and phenomenalism.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 10.2)
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / d. Secondary qualities
Armstrong suggests secondary qualities are blurred primary qualities [Armstrong, by Robinson,H]
     Full Idea: According to D.M. Armstrong and others, when we perceive secondary qualities we are in fact perceiving primary qualities in a confused, indistinct or blurred way.
     From: report of David M. Armstrong (A Materialist Theory of Mind (Rev) [1968], 270-90) by Howard Robinson - Perception III.1
     A reaction: This is obviously an attempt to fit secondary qualities into a reductive physicalist account of the mind. Personally I favour Armstrong's project, but doubt whether this strategy is necessary. I just don't think there is anything 'primary' about redness.
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.
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / e. Primary/secondary critique
For direct realists the secondary and primary qualities seem equally direct [Dancy,J]
     Full Idea: For a direct realist our awareness of colour and heat can hardly be of a different order from our awareness of shape and size. Both sorts of properties are presented with equal directness.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 10.3)
     A reaction: This is a good objection to 'direct scientific realism', which claims direct apprehension of primary qualities alongside a totally relative view of secondary qualities. The best response seems to be to move to a representative view of primary properties.
We can't grasp the separation of quality types, or what a primary-quality world would be like [Dancy,J]
     Full Idea: There is doubt about whether our experience of the world is such that we can conceive of the sort of separation of primary and secondary qualities which the scientific view calls for, and can understand what the world is like with no secondary qualities.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 10.3)
     A reaction: Dancy attributes these doubts to Berkeley (e.g. Idea 3837). I think what is claimed here is false. Obviously we spend our whole lives immersed in secondary qualities, but separating the different aspects is precisely what scientists (and philosophers) do.
12. Knowledge Sources / B. Perception / 4. Sense Data / a. Sense-data theory
We can be looking at distant stars which no longer actually exist [Dancy,J]
     Full Idea: An object such as a distant star can have ceased to exist by the moment at which we are directly aware of it.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 10.2)
12. Knowledge Sources / B. Perception / 4. Sense Data / b. Nature of sense-data
It is not clear from the nature of sense data whether we should accept them as facts [Dancy,J]
     Full Idea: The question whether something which appears as datum should remain as accepted fact is one which is not even partially determined by its origin as datum.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 8.5)
12. Knowledge Sources / B. Perception / 7. Causal Perception
Maybe experience is not essential to perception, but only to the causing of beliefs [Armstrong, by Scruton]
     Full Idea: Armstrong has argued that experience, as normally understood, is not necessary to perception. To perceive is to acquire beliefs, through a causal process.
     From: report of David M. Armstrong (Belief Truth and Knowledge [1973]) by Roger Scruton - Modern Philosophy:introduction and survey 23.4
Appearances don't guarantee reality, unless the appearance is actually caused by the reality [Dancy,J]
     Full Idea: If I stare at a white wall with my brain wired to a virtual reality computer, and it generates a white wall, we wouldn't say I am seeing reality. It seems that the wall itself must in some way cause my perception of it.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 11.4)
     A reaction: But suppose the computer generated in my mind an image of the wall which was actually in front of me? And suppose the computer got its image from the identical wall next door, not from mine? And it was only judged identical because the architect said so
Perceptual beliefs may be directly caused, but generalisations can't be [Dancy,J]
     Full Idea: A perceptual belief that p can have as its main cause the fact that p. More general facts (all men are mortal; e=mc2) cannot be the main cause of my belief, even if they do function causally in some way.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 11.5)
     A reaction: Note that the perceptual belief can be the "main" cause; it seems to me that most beliefs are caused by judgements, though I may normally accept beliefs which are directly caused by perception, if I have no reason to challenge them.
12. Knowledge Sources / E. Direct Knowledge / 4. Memory
If perception and memory are indirect, then two things stand between mind and reality [Dancy,J]
     Full Idea: If perception is indirect as well as memory, this means there are two direct objects of awareness between the remembering mind and the original object.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 12.2)
Memories aren't directly about the past, because time-lags and illusions suggest representation [Dancy,J]
     Full Idea: Direct realism about memory believes the memory is the past. But the time-lag argument and various illusions are powerful here, suggesting indirect realism involving a memory image.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 12.2)
Phenomenalism about memory denies the past, or reduces it to present experience [Dancy,J]
     Full Idea: Eliminative phenomenalism about memory holds that there is no such thing as the past, just certain present experiences; reductive phenomenalism holds that there is a past, but it is no more than a complex of those present experiences.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 12.4)
I can remember plans about the future, and images aren't essential (2+3=5) [Dancy,J]
     Full Idea: Memory is not solely concerned with the past, let alone one's own past (I remember that I must be in London next week), and need not involve images (2+2=4).
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 12.3)
     A reaction: I can hardly remember the future, so I presume I am remembering my past commitment to go to London, even if I visualise the future with me in London. The non-necessity of images seems right. I can remember the Mona Lisa without a precise image.
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / a. Agrippa's trilemma
Foundations are justified by non-beliefs, or circularly, or they need no justification [Dancy,J]
     Full Idea: Foundationalism can get rid of the regress argument with one of three types of belief: those justified by something other than beliefs, those which justify themselves, or those which need no justification.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 4.3)
     A reaction: A nice clear trilemma, and none of them will do, which is why foundationalism is false. I vote for Davidson's view, that only a belief can justify another belief.
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / a. Pro-internalism
For internalists we must actually know that the fact caused the belief [Dancy,J]
     Full Idea: The internalist would claim that even if the belief is caused by the true fact to which it refers, it is also necessary that the believer believes that this is how their belief arose, and not some other way.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 3.5)
     A reaction: I'm converted to internalism. If the belief is externally supported in the right way, then it may well be a true belief, but knowledge needs critical faculties, and justifications which can be articulated.
Internalists tend to favour coherent justification, but not the coherence theory of truth [Dancy,J]
     Full Idea: Internalists such as Keith Lehrer tend to suggest that we adopt a coherence theory of justification but reject the coherence theory of truth.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 8.3)
     A reaction: I agree with Lehrer. Truth just isn't coherence, for all sorts of well known reasons (found in this database!). High coherence can be totally false. For justification, though, it is the best we have.
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / a. Foundationalism
Foundationalism requires inferential and non-inferential justification [Dancy,J]
     Full Idea: The core of any form of foundationalism is the view that there are two forms of justification - inferential and non-inferential - and that non-inferential justification must be possible to avoid a sceptical regress.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 4.1)
     A reaction: The foundation may be non-inferential, but is it also non-evidential, or devoid of any support at all, apart from its own eloquent self? I can't buy that, I'm afraid.
Foundationalists must accept not only the basic beliefs, but also rules of inference for further progress [Dancy,J]
     Full Idea: Foundationalists suppose we need not only basic beliefs, but also principles of inference to move to the more sophisticated superstructure. We may understand what justifies the basic beliefs, but what about the inference principles?
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 8.3)
     A reaction: Very nice question. Of course, you can't justify everything, but each part of a system can be scrutinised in turn by the other parts (with scrutinising principles tested pragmatically).
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / b. Basic beliefs
If basic beliefs can be false, falsehood in non-basic beliefs might by a symptom [Dancy,J]
     Full Idea: Falsehood in a non-basic belief would be a reason to doubt the basic beliefs which support it, once we have admitted that basic beliefs can be false.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 4.3)
     A reaction: The yearning for foundations arises from the yearning for certainty. If one embraces the fallibilist view of knowledge, as I do, then there is little motivation for foundationalism.
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / f. Foundationalism critique
Beliefs can only be infallible by having almost no content [Dancy,J]
     Full Idea: Infallible beliefs must have vanishingly small content. No belief with enough content to support the superstructure in which we are really interested is going to be infallible.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 4.2)
     A reaction: I see no reason why a foundationalist should not be a fallibilist, rather than insisting on the infallibility of their basic beliefs. I don't, though, see how basic beliefs can count as knowledge.
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
Coherentism gives a possible justification of induction, and opposes scepticism [Dancy,J]
     Full Idea: Coherentists feel that their approach provides a possible justification for induction, and offers a general stance from which the sceptic can be defused, if not rebutted.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 8.3)
     A reaction: These are two good reasons why I vote for coherentism (about justification, NOT about truth). Coherence is the main tool for leading us to the best explanation.
Idealists must be coherentists, but coherentists needn't be idealists [Dancy,J]
     Full Idea: An idealist should perhaps be a coherentist, but there seems to be no reason why the coherentist should be an idealist; the link between the two is all one-way.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 9.5)
     A reaction: I don't see why an idealist shouldn't be a rationalist foundationalist, with a private reality full of certainties founded on simple a priori truths. Personally I'm an empiricist coherentist, this week.
For coherentists justification and truth are not radically different things [Dancy,J]
     Full Idea: The coherentist idea is that justification and truth are not properties of radically different types.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 11.6)
     A reaction: Oh. And I thought I was a coherentist. It take it that keeping coherence for foundations separate from coherence as truth is absolutely basic. The latter is nonsense.
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / b. Pro-coherentism
If it is empirical propositions which have to be coherent, this eliminates coherent fiction [Dancy,J]
     Full Idea: If coherence is grounded in, and is trying to make sense of, a set of empirical propositions, this will eliminate some of the more fanciful sets of coherent propositions, such as the complete Sherlock Holmes stories.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 8.2)
     A reaction: Interestingly, I suspect that embracing the coherence view of justification drives one back to empiricisim (pace Bonjour), because that is the most authoritative part of the pattern of beliefs.
13. Knowledge Criteria / C. External Justification / 1. External Justification
Externalism says knowledge involves a natural relation between the belief state and what makes it true [Armstrong]
     Full Idea: Externalist accounts of non-inferential knowledge say what makes a true non-inferential belief a case of knowledge is some natural relation which holds between the belief state and the situation which makes the belief true.
     From: David M. Armstrong (Belief Truth and Knowledge [1973], 11.III.6)
     A reaction: Armstrong's concept is presumably a response to Quine's desire to 'naturalise epistemology'. Bad move, I suspect. It probably reduces knowledge to mere true belief, and hence a redundant concept.
Externalism could even make belief unnecessary (e.g. in animals) [Dancy,J]
     Full Idea: One reading of the externalist approach may lead to a rejection of the belief condition for knowledge (in animals, perhaps).
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 9.3)
     A reaction: At this point the concept of 'knowledge' seems to disperse into the mist. This pushes me to a 'setting the bar high' view of knowledge. Otherwise plants will have it, and we don't want that.
13. Knowledge Criteria / C. External Justification / 2. Causal Justification
How can a causal theory of justification show that all men die? [Dancy,J]
     Full Idea: How can a causal analysis of justification show that I know that all men die?
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 2.3)
     A reaction: I presume he means that inductive generalisations can't be purely causal. The claim that men are immortal is absurd because it is 'unconnected' to what actually happens.
Causal theories don't allow for errors in justification [Dancy,J]
     Full Idea: Causal accounts of justification do not allow for the possibility that a false belief may still be justified.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 2.4)
     A reaction: Good. If you switch to what you only think is the cause of your belief, you have gone internalist and ruined the party. You can't deny that a falsehood can be justified, or justification is vacuous.
13. Knowledge Criteria / C. External Justification / 8. Social Justification
Coherentism moves us towards a more social, shared view of knowledge [Dancy,J]
     Full Idea: An advantage of coherentism is that it directs attention away from the individual's struggle to achieve knowledge (the classical conception), and points to knowledge as a social phenomenon, shared, and increased by means of sharing.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 8.3)
     A reaction: This is exactly the view which I now embrace. Internal coherence is the basis, but that spills out into the community, and into books, and into the relativity of social acceptance.
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
What is the point of arguing against knowledge, if being right undermines your own argument? [Dancy,J]
     Full Idea: What is the point of arguing that justified belief is impossible, for if you were right there could be no reasons for your conclusion?
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 1.3)
14. Science / C. Induction / 3. Limits of Induction
Induction aims at 'all Fs', but abduction aims at hidden or theoretical entities [Armstrong]
     Full Idea: Many philosophers of science have distinguished between 'simple induction' - the argument from observed Fs to all Fs - and the argument to hidden or theoretical entities (Peirce's 'abduction').
     From: David M. Armstrong (What is a Law of Nature? [1983], 06.7)
     A reaction: 'Abduction' is (roughly) the same is inference to the best explanation, of which I am a great fan.
14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem
Science suggests that the predicate 'grue' is not a genuine single universal [Armstrong]
     Full Idea: It is plausible to say, on the basis of total science, that 'grue' is a predicate to which no genuine, that is, unitary, universal corresponds.
     From: David M. Armstrong (What is a Law of Nature? [1983], 06.7)
Unlike 'green', the 'grue' predicate involves a time and a change [Armstrong]
     Full Idea: The predicate 'grue' involves essential reference to a particular time, which 'green' does not. Also on the 'grue' hypothesis a change occurs in emeralds in a way that change does not occur on the 'green' hypothesis.
     From: David M. Armstrong (What is a Law of Nature? [1983], 04.5)
     A reaction: I'm inclined to think that comparing 'grue' with 'green' is a category mistake. 'Grue' is a behaviour. Armstrong says this is no objection, because Goodman's argument is purely formal.
14. Science / C. Induction / 5. Paradoxes of Induction / b. Raven paradox
The raven paradox has three disjuncts, confirmed by confirming any one of them [Armstrong]
     Full Idea: We could rewrite the generalisation as For all x, ((x is a raven and x is black) v (x is not a raven and x is black) v (x is not a raven and x is not black)). Instances of any one of the three disjuncts will do as confirmation.
     From: David M. Armstrong (What is a Law of Nature? [1983], 04.3)
     A reaction: A nice clarification.
14. Science / C. Induction / 6. Bayes's Theorem
Probabilities can only be assessed relative to some evidence [Dancy,J]
     Full Idea: In Probability Calculus probability is only assessed relative to some evidence.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 4.1)
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
A good reason for something (the smoke) is not an explanation of it (the fire) [Armstrong]
     Full Idea: A good reason for P is not necessarily an explanation of P. The presence of smoke is a good reason for thinking that fire is present. But it is not an explanation of the presence of fire.
     From: David M. Armstrong (What is a Law of Nature? [1983], 04.2)
     A reaction: This may be an equivocation on 'the reason for'. Smoke is a reason for thinking there is a fire, but no one would propose it as a reason for the fire. If the reason for the fire was arson, that would seem to explain it as well.
14. Science / D. Explanation / 2. Types of Explanation / e. Lawlike explanations
To explain observations by a regular law is to explain the observations by the observations [Armstrong]
     Full Idea: Given the Regularity theory, the explanatory element seems to vanish. For to say that all the observed Fs are Gs because all the Fs are Gs involves explaining the observations in terms of themselves.
     From: David M. Armstrong (What is a Law of Nature? [1983], 06.7)
     A reaction: This point cries out, it is so obvious (once spotted). Tigers are ferocious because all tigers are ferocious (see?).
14. Science / D. Explanation / 3. Best Explanation / a. Best explanation
Best explanations explain the most by means of the least [Armstrong]
     Full Idea: The best explanation explains the most by means of the least. Explanation unifies.
     From: David M. Armstrong (What is a Law of Nature? [1983], 05.4)
     A reaction: To get unification, you need to cite the diversity of what is explained, and not the mere quantity. The force of gravity unifies because it applies to such a diversity of things.
15. Nature of Minds / A. Nature of Mind / 4. Other Minds / d. Other minds by analogy
The argument from analogy rests on one instance alone [Dancy,J]
     Full Idea: As an inductive argument Mill's argument from analogy (other people have inputs and outputs like mine, so the intermediate explanation must be the same) is weak because it is based on a single instance.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 5.3)
     A reaction: The argument may be 'weak' as a piece of pure logic, but when faced with a strange situation, one's own case seems like crucial evidence, like a single eye-witness to a crime.
You can't separate mind and behaviour, as the analogy argument attempts [Dancy,J]
     Full Idea: The analogy argument makes the error (as Wittgenstein showed) of assuming that mind is quite separate from behaviour, and yet I can understand what it is for others to have mental states, which is contradictory.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 5.3)
     A reaction: It has always seemed to me that Wittgenstein is excessively behaviourist, and he always seems to be flirting with eliminative views of mind, so he was never bothered about other minds. Minds aren't separate from behaviour, but they are distinct.
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.
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
General truths are a type of negative truth, saying there are no more ravens than black ones [Armstrong]
     Full Idea: General truths are a species of negative truth, 'no more' truths, asserting that there are no more men than the mortal ones, no more ravens than the black ones.
     From: David M. Armstrong (Truth and Truthmakers [2004], 05.1)
     A reaction: He goes on to distinguish between 'absences' and 'limits' in this area.
16. Persons / C. Self-Awareness / 1. Introspection
A mental state without belief refutes self-intimation; a belief with no state refutes infallibility [Armstrong, by Shoemaker]
     Full Idea: For Armstrong, introspection involves a belief, and mental states and their accompanying beliefs are 'distinct existences', so a state without belief shows states are not self-intimating, and the belief without the state shows beliefs aren't infallible.
     From: report of David M. Armstrong (A Materialist Theory of Mind (Rev) [1968]) by Sydney Shoemaker - Introspection
     A reaction: I agree with Armstrong. Introspection is a two-level activity, which animals probably can't do, and there is always the possibility of a mismatch between the two levels, so introspection is neither self-intimating nor infallibe (though incorrigible).
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
If pains are defined causally, and research shows that the causal role is physical, then pains are physical [Armstrong, by Lycan]
     Full Idea: Armstrong and Lewis said that mental items were defined in terms of typical causes and effects; if, as seems likely, research reveals that a particular causal niche is occupied by a physical state, it follows that pain is a physical state.
     From: report of David M. Armstrong (A Materialist Theory of Mind (Rev) [1968]) by William Lycan - Introduction - Ontology p.5
     A reaction: I am not fully convinced of the first step in the argument. It sounds like the epistemology and the ontology have got muddled (as usual). We define mental states as we define electrons, in terms of observed behaviour, but what are they?
Armstrong and Lewis see functionalism as an identity of the function and its realiser [Armstrong, by Heil]
     Full Idea: The Armstrong/Lewis version of functionalism takes mental properties to be functional properties, but identifies these with what other functionalists would regard as their realisers.
     From: report of David M. Armstrong (A Materialist Theory of Mind (Rev) [1968]) by John Heil - Philosophy of Mind Ch.4
     A reaction: Heil rejects this, but I am beginning to think that this is the answer. If functions do not have an ontological life of their own (the 'ringing' of the bell), then functionalist mental states can't either. Function is not an ontological category.
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 / 1. Abstract Thought
Each subject has an appropriate level of abstraction [Armstrong]
     Full Idea: To every subject, its appropriate level of abstraction.
     From: David M. Armstrong (What is a Law of Nature? [1983], 01.2)
     A reaction: Mathematics rises through many levels of abstraction. Economics can be very concrete or very abstract. It think it is clearer to talk of being 'general', rather than 'abstract'.
19. Language / A. Nature of Meaning / 5. Meaning as Verification
Verificationism (the 'verification principle') is an earlier form of anti-realism [Dancy,J]
     Full Idea: Verificationism (the 'verification principle') is an earlier form of anti-realism.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 1.note)
     A reaction: If the one true God announced that there is a real world out there, I might take that as a verification of the fact.
Logical positivism implies foundationalism, by dividing weak from strong verifications [Dancy,J]
     Full Idea: The foundationalist claim that there are inferential and non-inferential justifications is mirrored by the claim of logical empiricism (the verification principle) that all significant statements are either strongly or weakly verifiable.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 6.2)
     A reaction: I take it to be characteristic of both to divide the support for something into two types, one of which is basic, and the other built up on the basics. The first step is to decide what is basic.
19. Language / A. Nature of Meaning / 7. Meaning Holism / b. Language holism
If the meanings of sentences depend on other sentences, how did we learn language? [Dancy,J]
     Full Idea: It is clearly possible to learn a language from scratch, because we have all done it, but if holism is true and the meaning of each sentence depends on the meanings of others, how did we do it?
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 7.2)
     A reaction: The question of 'how did it ever get started?' actually seems to block almost every explanation of everything that ever happens. How do I begin to move my hand?
19. Language / C. Assigning Meanings / 3. Predicates
Predicates need ontological correlates to ensure that they apply [Armstrong]
     Full Idea: Must there not be something quite specific about the thing which allows, indeed ensures, that predicates like 'underneath' and 'hot' apply? The predicates require ontological correlates.
     From: David M. Armstrong (Properties [1992], §1)
     A reaction: An interesting proposal, that in addition to making use of predicates, we should 'ensure that they apply'. Sounds verificationist. Obvious problem cases would be speculative, controversial or metaphorical predicates. "He's beneath contempt".
There must be some explanation of why certain predicates are applicable to certain objects [Armstrong]
     Full Idea: When we have said that predicates apply to objects, we have surely not said enough. The situation cries out for an explanation. Must there not be something specific about the things which allows, indeed ensures, that these predicates apply?
     From: David M. Armstrong (Properties [1992], §1)
     A reaction: A nice challenge to any philosopher who places too much emphasis on language. A random and arbitrary (nominalist?) language simply wouldn't work. Nature has joints.
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
For all being, there is a potential proposition which expresses its existence and nature [Armstrong]
     Full Idea: The thesis of 'expressibility' says that for all being, there is a proposition (perhaps one never formulated by any mind at any time) that truly renders the existence and nature of this being.
     From: David M. Armstrong (Truth and Truthmakers [2004], 02.3.2)
     A reaction: [He credits Stephen Read 2000:68-9 for this] Armstrong accepts this, but I deny it. I can't make any sense of this vast plethora of propositions, each exactly expressing some minute nuance of the infinity complexity of all being.
A realm of abstract propositions is causally inert, so has no explanatory value [Armstrong]
     Full Idea: We could not stand in any causal or nomic relation to a realm of propositions over and above the space-time world, ...so it is unclear that such a postulation is of any explanatory value.
     From: David M. Armstrong (Truth and Truthmakers [2004], 02.6)
     A reaction: I agree, and I like Armstrong's appeal to explanation as a criterion for whether we should make an ontological commitment here. I am baffled by anyone who thinks reality is crammed full of unarticulated propositions. Only a philosopher....
19. Language / F. Communication / 6. Interpreting Language / b. Indeterminate translation
There is an indeterminacy in juggling apparent meanings against probable beliefs [Dancy,J]
     Full Idea: Indeterminacy stems from an interplay between belief and meaning, as with a man who tells you he keeps two rhinoceri in the fridge and squeezes the juice of one for a drink each morning.
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 7.4)
     A reaction: I don't understand why an 'interplay' is called an 'indeterminacy'. Typical philosophers. Close examination will usually show whether the change is just in belief, or just in meaning, or in both.
19. Language / F. Communication / 6. Interpreting Language / c. Principle of charity
Charity makes native beliefs largely true, and Humanity makes them similar to ours [Dancy,J]
     Full Idea: One criterion for successful translation is that it show native beliefs to be largely true (Principle of Charity), and another is that it imputes to natives beliefs we can make sense of them having (Principle of Humanity).
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 7.4)
     A reaction: The trouble with such guidelines is that they always have to be 'all things being equal'. Sometimes the natives are really idiotic, and sometimes their attitudes seem quite inhuman.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / c. Ethical intuitionism
If there are intuited moral facts, why should we care about them? [Dancy,J]
     Full Idea: Critics asked (of intuitionism) why, if moral facts are as the intuitionists say, we should care about them at all.
     From: Jonathan Dancy (Intuitionism [1991])
     A reaction: It is a good question, as we don't care much about other a priori truths, such as the square root of 169.
Internalists say that moral intuitions are motivating; externalist say a desire is also needed [Dancy,J]
     Full Idea: There is an internalist view of intuitionism, saying that to accept that one's action is wrong is itself to be motivated not to do it. Externalists (like Ross) say that moral judgements need the help of an independent desire to motivate us.
     From: Jonathan Dancy (Intuitionism [1991])
     A reaction: The internalists would be closer to Kant or Plato (for whom reason or pure ideas motivate), while externalist would favour Hume's belief/desire account of human actions. I like Kant and Plato, but Hume is more plausible. Dancy disagrees (Idea 7262).
Obviously judging an action as wrong gives us a reason not to do it [Dancy,J]
     Full Idea: It is ludicrous to say that we might accept an action is outrageously wrong and still think of this as not in itself giving us good reason to hold back.
     From: Jonathan Dancy (Intuitionism [1991])
     A reaction: If we think of some dreadful man-made famine in a remote continent, our judgement may well give a reason to act, but apathy usually intervenes. We are discussing a purely theoretical motive on the one hand, and an actual motivator on the other.
Moral facts are not perceived facts, but perceived reasons for judgements [Dancy,J]
     Full Idea: I intend to suggest that moral facts are best thought of not as facts perceived but as reasons recognised in the exercise of practical moral judgement.
     From: Jonathan Dancy (Intuitionism [1991])
     A reaction: I'm not convinced by this modified version. Why should the fact that someone is in pain be, in itself, a reason to prevent it? There are different cultural traditions for response to the pain of others. We are the squeamish tradition.
22. Metaethics / B. Value / 1. Nature of Value / a. Nature of value
The base for values has grounds, catalysts and intensifiers [Dancy,J, by Orsi]
     Full Idea: Dancy distinguishes three parts of the supervenience base of values: 1) those which ground the value ('resultance base'); 2) those which enable the ground to make something good ('enabling conditions'); 3) those which intensify or diminish value.
     From: report of Jonathan Dancy (Ethics without Principles [2004], p. 170-181) by Francesco Orsi - Value Theory 5.2
     A reaction: I really like and admire this. Dancy has focused on what really matters about values (and hence about the whole of ethics), and begun the work of getting a bit of clarity and increased understanding.
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / e. The One
We can't deduce the phenomena from the One [Armstrong]
     Full Idea: No serious and principled deduction of the phenomena from the One has ever been given, or looks likely to be given.
     From: David M. Armstrong (What is a Law of Nature? [1983], 11)
     A reaction: This seems to pick out the best reason why hardly anybody (apart from Jonathan Schaffer) takes the One seriously.
26. Natural Theory / C. Causation / 2. Types of cause
Absences might be effects, but surely not causes? [Armstrong]
     Full Idea: Lacks and absences could perhaps by thought of as effects, but we ought to be deeply reluctant to think of them as causes.
     From: David M. Armstrong (What is a Law of Nature? [1983], 10.4)
     A reaction: Odd. So we allow that they exist (as effects), but then deny that they have any causal powers?
26. Natural Theory / C. Causation / 4. Naturalised causation
Negative causations supervene on positive causations plus their laws? [Armstrong]
     Full Idea: Is it not very plausible that negative causations supervene on the positive causations together with the laws that govern the positive causations?
     From: David M. Armstrong (Truth and Truthmakers [2004], 05.2.3)
     A reaction: This obviously has a naturalistic appeal, since all causation can then be based on the actual world.
26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity
In recent writings, Armstrong makes a direct identification of necessitation with causation [Armstrong, by Psillos]
     Full Idea: In recent writings, Armstrong makes a direct identification of necessitation with causation.
     From: report of David M. Armstrong (A World of States of Affairs [1997]) by Stathis Psillos - Causation and Explanation §6.3.3
     A reaction: Obviously logical necessity is not causal, but as a proposal for simplifying accounts of necessity in nature, this is wonderfully simple and appealing. Is his proposal an elevation of causation, or a degradation of necessity?
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
A universe couldn't consist of mere laws [Armstrong]
     Full Idea: A universe could hardly consist of laws and nothing else.
     From: David M. Armstrong (What is a Law of Nature? [1983], 06.4)
     A reaction: Hm. Discuss. How does a universe come into existence, if there are no laws to guide its creation?
Science depends on laws of nature to study unobserved times and spaces [Armstrong]
     Full Idea: The scientist trying to establish the geography and history of the unobserved portion of the universe must depend upon what he takes to be the laws of the universe.
     From: David M. Armstrong (What is a Law of Nature? [1983], 01.1)
     A reaction: This does seem to be the prime reason why we wish to invoke 'laws', but we could just as well say that we have to rely on induction. Spot patterns, then expect more of the same. Spot necessities? Mathematics is very valuable here, of course.
26. Natural Theory / D. Laws of Nature / 2. Types of Laws
Oaken conditional laws, Iron universal laws, and Steel necessary laws [Armstrong, by PG]
     Full Idea: Three degress of law: 1) 'Oaken laws' where all Fs that aren't Hs are Gs; 2) 'Iron' laws where all Fs are Gs; and 3) 'Steel' laws where all Fs must be Gs.
     From: report of David M. Armstrong (What is a Law of Nature? [1983], 10.4) by PG - Db (ideas)
     A reaction: [My summary of Armstrong's distinction] One response is to say that all laws are actually Oaken - see Mumfor and Mumford/Lill Anjum. It's all ceteris paribus.
26. Natural Theory / D. Laws of Nature / 3. Laws and Generalities
Newton's First Law refers to bodies not acted upon by a force, but there may be no such body [Armstrong]
     Full Idea: Newton's First Law of Motion tells us what happens to a body which is not acted upon by a force. Yet it may be that the antecedent of the law is never instantiated. It may be that every body that there is, is acted upon by some force.
     From: David M. Armstrong (What is a Law of Nature? [1983], 02.7)
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
Regularities are lawful if a second-order universal unites two first-order universals [Armstrong, by Lewis]
     Full Idea: Armstrong's theory holds that what makes certain regularities lawful are second-order states of affairs N(F,G) in which the two ordinary first-order universals F and G are related by a certain dyadic second-order universal N.
     From: report of David M. Armstrong (What is a Law of Nature? [1983]) by David Lewis - New work for a theory of universals 'Laws and C'
     A reaction: [see Lewis's footnote] I take the view (from Shoemaker and Ellis) that laws of nature are just plain regularities which arise from the hierarchy of natural kinds. We don't need a commitment to 'universals'.
A naive regularity view says if it never occurs then it is impossible [Armstrong]
     Full Idea: It is a Humean uniformity that no race of ravens is white-feathered. Hence, if the Naive Regularity analysis of law is correct, it is a law that no race of ravens is white-feathered, that is, such a race is physically impossible. A most unwelcome result.
     From: David M. Armstrong (What is a Law of Nature? [1983], 02.6)
     A reaction: Chapters 2-4 of Armstrong are a storming attack on the regularity view of laws of nature, and this idea is particularly nice. Laws must refer to what could happen, not what happens to happen.
Regularities theories are poor on causal connections, counterfactuals and probability [Armstrong]
     Full Idea: Regularity theories make laws molecular, with no inner causal connections; also, only some cosmic regularities are manifestations of laws; molecular states can't sustain counterfactuals; and probabilistic laws are hard to accommodate.
     From: David M. Armstrong (Properties [1992], §2)
     A reaction: [very compressed] A helpful catalogue of difficulties. The first difficulty is the biggest one - that regularity theories have nothing to say about why there is a regularity. They offer descriptions instead of explanations.
The introduction of sparse properties avoids the regularity theory's problem with 'grue' [Armstrong]
     Full Idea: Regularity theories of laws face the grue problem. That, I think, can only be got over by introducing properties, sparse properties, into one's ontology.
     From: David M. Armstrong (Properties [1992], §2)
     A reaction: The problem is, roughly, that regularities have to be described in language, which is too arbitrary in character. Armstrong rightly tries to break the rigid link to language. See his Idea 8536, which puts reality before language.
26. Natural Theory / D. Laws of Nature / 5. Laws from Universals
The laws of nature link properties with properties [Armstrong]
     Full Idea: There is an utterly natural idea that the laws of nature link properties with properties.
     From: David M. Armstrong (What is a Law of Nature? [1983], 06.3)
     A reaction: Put it this way: given that properties are expressions of invariant powers, the interaction of two properties will (ceteris paribus) be invariant, and laws are just invariances in natural behaviour.
Rather than take necessitation between universals as primitive, just make laws primitive [Maudlin on Armstrong]
     Full Idea: My own view is simple: the laws of nature ought to be accepted as ontologically primitive. …They are preferable in point of familiarity to such necessitation relations between universals.
     From: comment on David M. Armstrong (What is a Law of Nature? [1983]) by Tim Maudlin - The Metaphysics within Physics 1.4
     A reaction: I think you make natures of things primitive, and reduce laws to regularities and universals to resemblances. Job done. Natures are even more 'familiar' as primitives than laws are.
Armstrong has an unclear notion of contingent necessitation, which can't necessitate anything [Bird on Armstrong]
     Full Idea: The two criticisms levelled against Armstrong are that it is unclear what his relation of contingent necessitation is, and that it is unclear how it is able to necessitate anything.
     From: comment on David M. Armstrong (What is a Law of Nature? [1983]) by Alexander Bird - Nature's Metaphysics 3.1.2
     A reaction: I suppose someone has to explore the middle ground between the mere contingencies of Humean regularities and the strong necessities of scientific essentialism. The area doesn't, however, look promising.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / e. Anti scientific essentialism
How can essences generate the right powers to vary with distance between objects? [Armstrong]
     Full Idea: In Newtonian physics the distance between two objects determines the attractive forces between them, but then the objects will have to be sensitive to the distance, in order to 'know' what forces to generate; but distance isn't a causal power.
     From: David M. Armstrong (Two Problems for Essentialism [2001], p.170)
     A reaction: Ellis replies that he is not troubled, because he believes in essential properties which are separate from their causal roles. Indeed, how else could you explain their causal roles? Still, distance must be mentioned when explaining gravity.
27. Natural Reality / D. Time / 3. Parts of Time / e. Present moment
The pure present moment is too brief to be experienced [Armstrong]
     Full Idea: The metaphysical present will be a strict instant, or, if time is not infinitely divisible, the present will be a minimum granule of duration. But strict instants or minimal granules of duration, if these exist, cannot be experienced.
     From: David M. Armstrong (Truth and Truthmakers [2004], 11)
     A reaction: He points out that this is ironic, since Presentism lies on the basic experience of the present.