Combining Texts

All the ideas for 'Counterpart theory and Quant. Modal Logic', 'What is a Law of Nature?' and 'Phaedo'

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


63 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
Wisdom makes virtue and true goodness possible [Plato]
     Full Idea: It is wisdom that makes possible courage and self-control and integrity or, in a word, true goodness.
     From: Plato (Phaedo [c.382 BCE], 069b)
     A reaction: Aristotle also says that prudence (phronesis) makes virtue possible.
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / b. Philosophy as transcendent
Philosophy is a purification of the soul ready for the afterlife [Plato]
     Full Idea: Souls which have purified themselves sufficiently by philosophy will live after death without bodies.
     From: Plato (Phaedo [c.382 BCE], 114b)
     A reaction: Purifying it of what? Error, or desire, or narrow-mindedness, or the physical?
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 / A. Nature of Reason / 3. Pure Reason
In investigation the body leads us astray, but the soul gets a clear view of the facts [Plato]
     Full Idea: When philosophers investigate with the help of the body they are led astray, but through reflection the soul gets a clear view of the facts.
     From: Plato (Phaedo [c.382 BCE], 065c)
2. Reason / A. Nature of Reason / 7. Status of Reason
The greatest misfortune for a person is to develop a dislike for argument [Plato]
     Full Idea: No greater misfortune could happen to anyone than developing a dislike for argument.
     From: Plato (Phaedo [c.382 BCE], 089d)
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / f. Arithmetic
If you add one to one, which one becomes two, or do they both become two? [Plato]
     Full Idea: I cannot convince myself that when you add one to one either the first or the second one becomes two, or they both become two by the addition of the one to the other, ...or that when you divide one, the cause of becoming two is now the division.
     From: Plato (Phaedo [c.382 BCE], 097d)
     A reaction: Lovely questions, all leading to the conclusion that two consists of partaking in duality, to which you can come by several different routes.
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)
8. Modes of Existence / A. Relations / 2. Internal Relations
If Simmias is taller than Socrates, that isn't a feature that is just in Simmias [Plato]
     Full Idea: When you say Simmias is taller than Socrates but shorter than Phaedo, so you mean there is in Simmias both tallness and shortness? - I do. ...But surely he is not taller than Socrates because he is Simmias but because of the tallness he happens to have?
     From: Plato (Phaedo [c.382 BCE], 102b-c)
     A reaction: He adds that both people must be cited. This appears to be what we now call a rejection relative height as an 'internal' relation, which is it would presumably be if it was a feature of one or of both men.
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
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.
8. Modes of Existence / B. Properties / 6. Categorical Properties
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 / 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.
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.
8. Modes of Existence / D. Universals / 2. Need for Universals
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.
8. Modes of Existence / D. Universals / 3. Instantiated Universals
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.
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?
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
We must have a prior knowledge of equality, if we see 'equal' things and realise they fall short of it [Plato]
     Full Idea: We must have some previous knowledge of equality, before the time when we saw equal things, but realised that they fell short of it.
     From: Plato (Phaedo [c.382 BCE], 075a)
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
There is only one source for all beauty [Plato]
     Full Idea: If anything is beautiful other than beauty itself, it is beautiful for no other reason but because it participates in that beautiful.
     From: Plato (Phaedo [c.382 BCE], 100c)
     A reaction: The Greek word will be 'kalon' (beautiful, fine, noble). Like Aristotle, I find it baffling that such diversity could have a single source. Beautiful things have diverse aims.
Other things are named after the Forms because they participate in them [Plato]
     Full Idea: The reason why other things are called after the forms is that they participate in the forms.
     From: Plato (Phaedo [c.382 BCE], 102a)
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 / 1. Essences of Objects
Aristotelian essentialism says essences are not relative to specification [Lewis]
     Full Idea: So-called 'Aristotelian essentialism' is the doctrine of essences not relative to specifications.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], III)
     A reaction: In other words, they are so-called 'real essences', understood as de re. Quine says essences are all de dicto, and relative to some specification. I vote for Aristotle.
9. Objects / E. Objects over Time / 9. Ship of Theseus
The ship which Theseus took to Crete is now sent to Delos crowned with flowers [Plato]
     Full Idea: The day before the trial the prow of the ship that the Athenians send to Delos had been crowned with garlands. - Which ship is that? - It is the ship in which, the Athenians say, Theseus once sailed to Crete, taking the victims.
     From: Plato (Phaedo [c.382 BCE], 058a)
     A reaction: Not philosophical, but this is the Ship of Theseus whose subsequent identity, Plutarch tells us, became a matter of dispute.
9. Objects / F. Identity among Objects / 5. Self-Identity
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 / 7. Natural Necessity
Causal necessities hold in all worlds compatible with the laws of nature [Lewis]
     Full Idea: Just as a sentence is necessary if it holds in all worlds, so it is causally necessary if it holds in all worlds compatible with the laws of nature.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], V)
     A reaction: I don't believe in the so-called 'laws of nature', so I'm not buying that. Is there no distinction in Lewis's view between those sentences which must hold, and those which happen to hold universally?
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 / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
It doesn't take the whole of a possible Humphrey to win the election [Lewis]
     Full Idea: Even if Humphrey is a modal continuant, it doesn't take the whole of him to do such things as winning.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], Post B)
     A reaction: This responds to Kripke's famous example, that people only care about what happens to themselves, and not to some 'counterpart' of themselves.
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
Counterpart theory is bizarre, as no one cares what happens to a mere counterpart [Kripke on Lewis]
     Full Idea: Probably Humphrey could not care less whether someone else, no matter how much resembling him, would have been victorious in another possible world. Thus Lewis's view seems even more bizarre that the usual transworld identification it replaces.
     From: comment on David Lewis (Counterpart theory and Quant. Modal Logic [1968]) by Saul A. Kripke - Naming and Necessity notes and addenda note 13
     A reaction: I begin to see this as a devastating reply to a theory I previously found quite congenial.
Counterparts are not the original thing, but resemble it more than other things do [Lewis]
     Full Idea: Your counterparts resemble you closely in content and context in important respects. They resemble you more closely than do the other things in their worlds. But they are not really you.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], I)
     A reaction: It is a dilemma. If my counterpart were exactly me, I couldn't contemplate possibly losing a leg, or my sanity. But if my counterpart isn't exactly me, then I don't have much interest in its fate. Only essences can save us here. Cf. me tomorrow.
If the closest resembler to you is in fact quite unlike you, then you have no counterpart [Lewis]
     Full Idea: If whatever thing in world w6 it is that resembles you more closely than anything else in w6 is nevertheless quite unlike you; nothing in w6 resembles you at all closely. If so, you have no counterpart in w6.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], I)
     A reaction: This is the nub, because the whole theory rests on deciding whether two things resemble sufficiently 'closely'. But then we need a criterion of closeness, so we must start talking about which properties matter. Essences loom.
Essential attributes are those shared with all the counterparts [Lewis]
     Full Idea: An essential attribute of something is an attribute it shares with all its counterparts.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], III)
     A reaction: I don't like this. It ties essence entirely to identity, but I think essence precedes identity. Essence is a nexus of causal and explanatory powers which bestows an identity on each thing. But essence might be unstable, and identity with it.
12. Knowledge Sources / A. A Priori Knowledge / 3. Innate Knowledge / b. Recollection doctrine
People are obviously recollecting when they react to a geometrical diagram [Plato]
     Full Idea: The way in which people react to a geometrical diagram or anything like that is unmistakable proof of the theory of recollection.
     From: Plato (Phaedo [c.382 BCE], 073a)
If we feel the inadequacy of a resemblance, we must recollect the original [Plato]
     Full Idea: If someone sees a resemblance, but feels that it falls far short of the original, they must therefore have a recollection of the original.
     From: Plato (Phaedo [c.382 BCE], 074e)
12. Knowledge Sources / A. A Priori Knowledge / 6. A Priori from Reason
To achieve pure knowledge, we must get rid of the body and contemplate things with the soul [Plato]
     Full Idea: We are convinced that if we are ever to have pure knowledge of anything, we must get rid of the body and contemplate things by themselves with the soul by itself.
     From: Plato (Phaedo [c.382 BCE], 066c)
     A reaction: This seems to be the original ideal which motivates the devotion to a priori knowledge - that it will lead to a 'pure' knowledge, which in Plato's case will be eternal and necessary knowledge, like taking lessons from the gods. Wrong.
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 / 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 / 2. Types of Explanation / g. Causal explanations
To investigate the causes of things, study what is best for them [Plato]
     Full Idea: If one wished to know the cause of each thing, why it comes to be or perishes or exists, one had to find what was the best way for it to be, or to be acted upon, or to act. Then it befitted a man to investigate only ...what is best.
     From: Plato (Phaedo [c.382 BCE], 097d)
     A reaction: A reversal of the modern idea of 'best explanation'. Socrates is citing Anaxagoras's proposal to understand things by interpreting the workings of a supreme Mind. It is the religious version of best explanation.
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 / 8. Brain
Do we think and experience with blood, air or fire, or could it be our brain? [Plato]
     Full Idea: Is it with the blood that we think, or with the air or the fire that is in us? Or is it none of these, but the brain that supplies our senses of hearing and sight and smell.
     From: Plato (Phaedo [c.382 BCE], 097a)
     A reaction: In retrospect it seems surprising that such clever people hadn't worked this one out, given the evidence of anatomy, in animals and people, and given brain injuries. By the time of Galen they appear to have got the answer.
16. Persons / D. Continuity of the Self / 1. Identity and the Self
One soul can't be more or less of a soul than another [Plato]
     Full Idea: Is one soul, even minutely, more or less of a soul than another? Not in the least.
     From: Plato (Phaedo [c.382 BCE], 093b)
     A reaction: This idea is attractive because unconsciousness and death seem to be abrupt procedures, and so appear to be all-or-nothing, but I would personally view extreme Alzheimer's as an erasing of the soul, though a minimum level of it seems all-or-nothing.
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'.
22. Metaethics / C. The Good / 3. Pleasure / e. Role of pleasure
It is a mistake to think that the most violent pleasure or pain is therefore the truest reality [Plato]
     Full Idea: When anyone's soul feels a keen pleasure or pain it cannot help supposing that whatever causes the most violent emotion is the plainest and truest reality - which it is not.
     From: Plato (Phaedo [c.382 BCE], 084c)
     A reaction: Do people think that? Most people distinguish subjective from objective. Wounded soldiers are also aware of victory or defeat.
23. Ethics / C. Virtue Theory / 4. External Goods / c. Wealth
War aims at the acquisition of wealth, because we are enslaved to the body [Plato]
     Full Idea: All wars are undertaken for the acquisition of wealth, and we want this because of the body, to which we are slave.
     From: Plato (Phaedo [c.382 BCE], 066c)
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
Fancy being unable to distinguish a cause from its necessary background conditions! [Plato]
     Full Idea: Fancy being unable to distinguish between the cause of a thing, and the condition without which it could not be a cause.
     From: Plato (Phaedo [c.382 BCE], 099c)
     A reaction: Not as simple as he thinks. It seems fairly easy to construct a case where the immediately impacting event remains constant, and the background condition is changed. Even worse when negligence is held to be the 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 / 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.
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.
27. Natural Reality / E. Cosmology / 1. Cosmology
If the Earth is spherical and in the centre, it is kept in place by universal symmetry, not by force [Plato]
     Full Idea: If the earth is spherical and in the middle of the heavens, it needs neither air nor force to keep it from falling. The uniformity of heaven and equilibrium of earth are sufficient support.
     From: Plato (Phaedo [c.382 BCE], 108e)
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
Whether the soul pre-exists our body depends on whether it contains the ultimate standard of reality [Plato]
     Full Idea: The theory that our soul exists even before it enters the body surely stands or falls with the soul's possession of the ultimate standard of reality.
     From: Plato (Phaedo [c.382 BCE], 092d)