Combining Texts

All the ideas for 'Axiomatic Theories of Truth (2005 ver)', 'fragments/reports' and 'Laws in Nature'

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


70 ideas

1. Philosophy / A. Wisdom / 2. Wise People
Men who love wisdom must be inquirers into very many things indeed [Heraclitus]
     Full Idea: Men who love wisdom must be inquirers into very many things indeed.
     From: Heraclitus (fragments/reports [c.500 BCE], B035), quoted by Clement - Miscellanies 5.140.5
     A reaction: …which invites the question 'Is there anything that a wisdom-seeker should NOT be interested in?'
1. Philosophy / D. Nature of Philosophy / 2. Invocation to Philosophy
Everyone has the potential for self-knowledge and sound thinking [Heraclitus]
     Full Idea: Everyone has the potential for self-knowledge and sound thinking.
     From: Heraclitus (fragments/reports [c.500 BCE], B116), quoted by John Stobaeus - Anthology 3.05.06
     A reaction: This is true. When people are labelled as incapable of philosophy (e.g. by Plato), it is just that they are slow developers.
1. Philosophy / D. Nature of Philosophy / 6. Hopes for Philosophy
Science studies phenomena, but only metaphysics tells us what exists [Mumford]
     Full Idea: Science deals with the phenomena, ..but it is metaphysics, and only metaphysics, that tells us what ultimately exists.
     From: Stephen Mumford (Laws in Nature [2004], 01.2)
1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
Reason is eternal, but men are foolish [Heraclitus]
     Full Idea: Although reason exists forever, men are foolish.
     From: Heraclitus (fragments/reports [c.500 BCE]), quoted by Aristotle - The Art of Rhetoric 1407b
     A reaction: The despair of all philosophers (e.g. Plato) who think reason is the easiest thing in the world, and stares everyone in the face, and yet people seem to spurn this supreme gift from the gods. They needed the optimism of the career teacher.
2. Reason / A. Nature of Reason / 1. On Reason
Many forms of reasoning, such as extrapolation and analogy, are useful but deductively invalid [Mumford]
     Full Idea: There are many forms of reasoning - extrapolation, interpolation, and other arguments from analogy - that are useful but deductively invalid.
     From: Stephen Mumford (Laws in Nature [2004], 04.4)
     A reaction: [He cites Molnar for this]
2. Reason / A. Nature of Reason / 2. Logos
Logos is common to all, but most people live as if they have a private understanding [Heraclitus]
     Full Idea: Although the universal law (logos) is common to all, the majority live as if they had understanding peculiar to themselves.
     From: Heraclitus (fragments/reports [c.500 BCE], B002), quoted by Sextus Empiricus - Against the Professors (six books) 7.133.4-
     A reaction: Heraclitus mentions 'logos' in just three fragments - this one, and Idea 15660 and Idea 424.
2. Reason / B. Laws of Thought / 5. Opposites
Beautiful harmony comes from things that are in opposition to one another [Heraclitus]
     Full Idea: That which is in opposition is in concert, and from things that differ comes the beautiful harmony.
     From: Heraclitus (fragments/reports [c.500 BCE], B008), quoted by Aristotle - Nicomachean Ethics 1155b04
A thing can have opposing tensions but be in harmony, like a lyre [Heraclitus]
     Full Idea: They do not understand how that which differs with itself is in agreement: harmony consists of opposing tensions, like that of the bow and the lyre.
     From: Heraclitus (fragments/reports [c.500 BCE], B051), quoted by Hippolytus - Refutation of All Heresies 9.9.2
     A reaction: Like squabbling couples who resent outside intervention. The remark suggests the virtues of 'dialectic', and may get to the heart of what philosophy is.
3. Truth / A. Truth Problems / 2. Defining Truth
Truth definitions don't produce a good theory, because they go beyond your current language [Halbach]
     Full Idea: It is far from clear that a definition of truth can lead to a philosophically satisfactory theory of truth. Tarski's theorem on the undefinability of the truth predicate needs resources beyond those of the language for which it is being defined.
     From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1)
     A reaction: The idea is that you need a 'metalanguage' for the definition. If I say 'p' is a true sentence in language 'L', I am not making that observation from within language L. The dream is a theory confined to the object language.
3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach]
     Full Idea: In semantic theories of truth (Tarski or Kripke), a truth predicate is defined for an object-language. This definition is carried out in a metalanguage, which is typically taken to include set theory or another strong theory or expressive language.
     From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1)
     A reaction: Presumably the metalanguage includes set theory because that connects it with mathematics, and enables it to be formally rigorous. Tarski showed, in his undefinability theorem, that the meta-language must have increased resources.
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach]
     Full Idea: If truth is not explanatory, truth axioms should not allow proof of new theorems not involving the truth predicate. It is hence said that axiomatic truth should be 'conservative' - not implying further sentences beyond what the axioms can prove.
     From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3)
     A reaction: [compressed]
If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach]
     Full Idea: If truth can be explicitly defined, it can be eliminated, whereas an axiomatized notion of truth may bring all kinds of commitments.
     From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3)
     A reaction: The general principle that anything which can be defined can be eliminated (in an abstract theory, presumably, not in nature!) raises interesting questions about how many true theories there are which are all equivalent to one another.
Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach]
     Full Idea: Axiomatic theories of truth can be presented within very weak logical frameworks which require very few resources, and avoid the need for a strong metalanguage and metatheory.
     From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1)
Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach]
     Full Idea: The axiomatic approach does not presuppose that truth can be defined. Instead, a formal language is expanded by a new primitive predicate of truth, and axioms for that predicate are then laid down.
     From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1)
     A reaction: Idea 15647 explains why Halbach thinks the definition route is no good.
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
Deflationists say truth merely serves to express infinite conjunctions [Halbach]
     Full Idea: According to many deflationists, truth serves merely the purpose of expressing infinite conjunctions.
     From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3)
     A reaction: That is, it asserts sentences that are too numerous to express individually. It also seems, on a deflationist view, to serve for anaphoric reference to sentences, such as 'what she just said is true'.
4. Formal Logic / F. Set Theory ST / 1. Set Theory
To prove the consistency of set theory, we must go beyond set theory [Halbach]
     Full Idea: The consistency of set theory cannot be established without assumptions transcending set theory.
     From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 2.1)
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach]
     Full Idea: The reduction of 2nd-order theories (of properties or sets) to axiomatic theories of truth may be conceived as a form of reductive nominalism, replacing existence assumptions (for comprehension axioms) by ontologically innocent truth assumptions.
     From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.1)
     A reaction: I like this very much, as weeding properties out of logic (without weeding them out of the world). So-called properties in logic are too abundant, so there is a misfit with their role in science.
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
If everything is and isn't then everything is true, and a midway between true and false makes everything false [Aristotle on Heraclitus]
     Full Idea: The remark of Heraclitus that all things are and are not effectively renders all assertions true, and that of Anaxagoras that there is an intermediary between assertion and negation makes all assertions false.
     From: comment on Heraclitus (fragments/reports [c.500 BCE]) by Aristotle - Metaphysics 1012a
     A reaction: Compare Idea 416. Heraclitus is discussing truth-value 'gluts', as in paraconsistent logic, and Anaxagoras is discussing truth-value 'gaps', as in three-valued Kleene logic.
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach]
     Full Idea: Quantification over (certain) properties can be mimicked in a language with a truth predicate by quantifying over formulas. Instead of saying that Tom has the property of being a poor philosopher, we can say 'x is a poor philosopher' is true of Tom.
     From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.1)
     A reaction: I love this, and think it is very important. He talks of 'mimicking' properties, but I see it as philosophers mistakenly attributing properties, when actually what they were doing is asserting truths involving certain predicates.
7. Existence / A. Nature of Existence / 1. Nature of Existence
For Humeans the world is a world primarily of events [Mumford]
     Full Idea: For Humeans the world is a world primarily of events.
     From: Stephen Mumford (Laws in Nature [2004], 03.6)
8. Modes of Existence / C. Powers and Dispositions / 2. Powers as Basic
Properties are just natural clusters of powers [Mumford]
     Full Idea: The view of properties I find most attractive is one in which they are natural clusters of, and exhausted by, powers (plus other connections to other properties).
     From: Stephen Mumford (Laws in Nature [2004], 10.6)
8. Modes of Existence / C. Powers and Dispositions / 4. Powers as Essence
The hidden harmony is stronger than the visible [Heraclitus]
     Full Idea: The hidden harmony is stronger (or 'better') than the visible.
     From: Heraclitus (fragments/reports [c.500 BCE], B055), quoted by Hippolytus - Refutation of All Heresies 9.9.5
     A reaction: 'An unapparent connection [harmonia] is stronger than an apparent one' is Curd's translation. I'm taking this for essentialism. It is the basic idea of the essentialising child (see Gelman). The hidden explains the apparent.
8. Modes of Existence / E. Nominalism / 1. Nominalism / a. Nominalism
A 'porridge' nominalist thinks we just divide reality in any way that suits us [Mumford]
     Full Idea: A 'porridge' nominalist denies natural kinds, and thinks there are no objective divisions in reality, so concepts or words can be used by a community to divide the world up in any way that suits their purposes.
     From: Stephen Mumford (Laws in Nature [2004], 07.3)
8. Modes of Existence / E. Nominalism / 2. Resemblance Nominalism
If properties are clusters of powers, this can explain why properties resemble in degrees [Mumford]
     Full Idea: If a cluster of ten powers exhausts property F, and property G differs in respect of just one power, this might explain why properties can resemble other properties and in different degrees.
     From: Stephen Mumford (Laws in Nature [2004], 10.6)
     A reaction: I love this. The most intractable problem about properties and universals is that of abstract reference - pink resembles red more than pink resembles green. If colours are clusters of powers, red and pink share nine out of ten of them.
9. Objects / A. Existence of Objects / 6. Nihilism about Objects
Everything gives way, and nothing stands fast [Heraclitus]
     Full Idea: Everything gives way, and nothing stands fast.
     From: Heraclitus (fragments/reports [c.500 BCE]), quoted by Plato - Cratylus 402a
     A reaction: This is as good a summary of the Heraclitus view of things as any, and Plato appears to present it as a verbatim quotation.
9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects
A mixed drink separates if it is not stirred [Heraclitus]
     Full Idea: The mixed drink, of wine, cheese and barley, separates if it is not stirred.
     From: Heraclitus (fragments/reports [c.500 BCE], B125)
     A reaction: Wiggins quotes this, because it seems to be Heraclitus struggling to decide what sortal his drink falls under. I take it to be a problem of vagueness, since separation and mixing occur along a continuum, like a sorites.
9. Objects / D. Essence of Objects / 14. Knowledge of Essences
How can we show that a universally possessed property is an essential property? [Mumford]
     Full Idea: Essentialists fail to show how we ascend from being a property universally possessed, by all kind members, to the status of being an essential property.
     From: Stephen Mumford (Laws in Nature [2004], 07.5)
     A reaction: This is precisely where my proposal comes in - the essential properties, as opposed to the accidentaly universals, are those which explain the nature and behaviour of each kind of thing (and each individual thing).
9. Objects / E. Objects over Time / 8. Continuity of Rivers
It is not possible to step twice into the same river [Heraclitus]
     Full Idea: It is not possible to step twice into the same river.
     From: Heraclitus (fragments/reports [c.500 BCE], B091), quoted by Plutarch - 24: The E at Delphi 392b10-
You can bathe in the same river twice, but not in the same river stage [Quine on Heraclitus]
     Full Idea: You can bathe in the same river twice, but not in the same river stage.
     From: comment on Heraclitus (fragments/reports [c.500 BCE]) by Willard Quine - Identity, Ostension, and Hypostasis 1
     A reaction: This seems to make Quine a 'perdurantist', committed to time-slices of objects, rather than whole objects enduring through change.
9. Objects / E. Objects over Time / 13. No Identity over Time
If flux is continuous, then lack of change can't be a property, so everything changes in every possible way [Plato on Heraclitus]
     Full Idea: According to Heracliteans, since things must be changing, and since lack of change can't be a property of anything, then everything is always undergoing change of every kind.
     From: comment on Heraclitus (fragments/reports [c.500 BCE], B030) by Plato - Theaetetus 182a
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Senses are no use if the soul is corrupt [Heraclitus]
     Full Idea: The eyes and ears are bad witnesses for men if they have barbarian souls.
     From: Heraclitus (fragments/reports [c.500 BCE], B107), quoted by Sextus Empiricus - Against the Mathematicians 7.126
12. Knowledge Sources / D. Empiricism / 4. Pro-Empiricism
When we sleep, reason closes down as the senses do [Heraclitus, by Sext.Empiricus]
     Full Idea: Since when we sleep the senses are closed, mind is separated from its surroundings and loses the power of memory. When we wake the mind re-contacts the world, and regains the power of reason.
     From: report of Heraclitus (fragments/reports [c.500 BCE], A16) by Sextus Empiricus - Against the Professors (six books) 7.130
13. Knowledge Criteria / E. Relativism / 1. Relativism
Donkeys prefer chaff to gold [Heraclitus]
     Full Idea: Donkeys prefer chaff to gold.
     From: Heraclitus (fragments/reports [c.500 BCE], B009), quoted by Aristotle - Nicomachean Ethics 1176a07
Sea water is life-giving for fish, but not for people [Heraclitus]
     Full Idea: Sea-water is the purest and the most polluted: for fish it is drinkable and life-giving; for men, not drinkable and destructive.
     From: Heraclitus (fragments/reports [c.500 BCE], B061), quoted by Hippolytus - Refutation of All Heresies 9.10.5
13. Knowledge Criteria / E. Relativism / 3. Subjectivism
Health, feeding and rest are only made good by disease, hunger and weariness [Heraclitus]
     Full Idea: Disease makes health pleasant and good, hunger makes satisfaction good, weariness makes rest good.
     From: Heraclitus (fragments/reports [c.500 BCE], B111), quoted by John Stobaeus - Anthology 3.1.178
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / e. Ethical cognitivism
To God (though not to humans) all things are beautiful and good and just [Heraclitus]
     Full Idea: To God, all things are beautiful, good and just; but men have assumed some things to be unjust, others just.
     From: Heraclitus (fragments/reports [c.500 BCE], B102), quoted by Porphyry - Notes on Homer Il.4.4
     A reaction: The idea that all things are actually 'just' strikes me as nonsense. I also don't think I can get my head round the idea that everything is actually good and beautiful. Must try harder.
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / h. Against ethics
Good and evil are the same thing [Heraclitus, by Aristotle]
     Full Idea: Heraclitus said that good and evil are the same thing.
     From: report of Heraclitus (fragments/reports [c.500 BCE], 58/102) by Aristotle - Topics 159b32
     A reaction: Heaven knows what he meant by this, though it sounds suspiciously like moral nihilism. Maybe Heraclitus was not a very nice man. Or is the thought a more sophisticated one, in line with Nietzsche's remarks about cultural morality?
22. Metaethics / B. Value / 1. Nature of Value / e. Means and ends
If one does not hope, one will not find the unhoped-for, since nothing leads to it [Heraclitus]
     Full Idea: If one does not hope, one will not find the unhoped-for, since there is no trail leading to it and no path.
     From: Heraclitus (fragments/reports [c.500 BCE], B018), quoted by Clement - Miscellanies 2.17.4
     A reaction: The best remark about hope I have ever encountered. Usually they are empty platitudes.
22. Metaethics / C. The Good / 1. Goodness / f. Good as pleasure
If happiness is bodily pleasure, then oxen are happy when they have vetch to eat [Heraclitus]
     Full Idea: If happiness lay in bodily pleasures, we would call oxen happy when they find vetch to eat.
     From: Heraclitus (fragments/reports [c.500 BCE], B004), quoted by Albertus Magnus - On Vegetables 6.401
     A reaction: But surely oxen are happy when they find some good vetch? Presumably, though, they are not 'eudaimon'. What is the complete fulfilment of life for an ox?
22. Metaethics / C. The Good / 3. Pleasure / f. Dangers of pleasure
It is hard to fight against emotion, but harder still to fight against pleasure [Heraclitus]
     Full Idea: It is hard to fight against emotion, but harder still to fight against pleasure.
     From: Heraclitus (fragments/reports [c.500 BCE], B085), quoted by Aristotle - Nicomachean Ethics 1105a08
     A reaction: 'Emotion' is the Greek word 'thumos'. "The only way to get rid of a temptation is to yield to it", said Oscar Wilde. Heraclitus underestimates how very good many modern people are at dieting.
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / e. Character
For man character is destiny [Heraclitus]
     Full Idea: For man character is destiny.
     From: Heraclitus (fragments/reports [c.500 BCE], B119), quoted by John Stobaeus - Anthology 4.40.23
     A reaction: This is the extreme opposite of Sartre's existentialist claim that we can entirely change ourselves. Personally I am with Heraclitus, though I don't see why our destined character shouldn't be modified (e.g. by education).
25. Social Practice / D. Justice / 2. The Law / b. Rule of law
The people should fight for the law as if for their city-wall [Heraclitus]
     Full Idea: The people should fight for the law as if for their city-wall.
     From: Heraclitus (fragments/reports [c.500 BCE], B044), quoted by Diogenes Laertius - Lives of Eminent Philosophers 09.2
     A reaction: This may be the first recorded assertion of the rule of law, and hence of the separation of powers. We still have plenty of people who reject this principle.
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / c. Ultimate substances
Heraclitus said sometimes everything becomes fire [Heraclitus, by Aristotle]
     Full Idea: Heraclitus claimed that from time to time everything becomes fire.
     From: report of Heraclitus (fragments/reports [c.500 BCE]) by Aristotle - Metaphysics 1067a
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / e. The One
Reason tells us that all things are one [Heraclitus]
     Full Idea: When you have listened, not to me but to the law (logos), it is wise to agree that all things are one.
     From: Heraclitus (fragments/reports [c.500 BCE], B050), quoted by Hippolytus - Refutation of All Heresies 9.9.1
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / f. Ancient elements
Heraclitus says that at some time everything becomes fire [Heraclitus, by Aristotle]
     Full Idea: Heraclitus says that at some time everything becomes fire.
     From: report of Heraclitus (fragments/reports [c.500 BCE]) by Aristotle - Physics 204b37
     A reaction: Modern cosmology says that Heraclitus was right (pretty much). If we say 'energy' instead of 'fire' (which may be what he meant), then he is absolutely spot-on.
The sayings of Heraclitus are still correct, if we replace 'fire' with 'energy' [Heraclitus, by Heisenberg]
     Full Idea: If we replace Heraclitus's word 'fire' by the word 'energy' we can almost repeat his statements word for word from our modern point of view.
     From: report of Heraclitus (fragments/reports [c.500 BCE]) by Werner Heisenberg - Physics and Philosophy 04
     A reaction: My problem has always been that I have no idea what 'energy' is, so I'm none the wiser.
Heraclitus said fire could be transformed to create the other lower elements [Heraclitus, by Diog. Laertius]
     Full Idea: Heraclitus taught that fire when densified becomes liquid, and becoming concrete, becomes also water; again, that the water when concrete is turned to earth, and this is the road down.
     From: report of Heraclitus (fragments/reports [c.500 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.1.6
26. Natural Theory / B. Natural Kinds / 4. Source of Kinds
Logos is the source of everything, and my theories separate and explain each nature [Heraclitus]
     Full Idea: All things come into being according to this Law ('logos'), ...and I expound theories (words) and processes (actions) separating each thing according to its nature and explaining how it is made.
     From: Heraclitus (fragments/reports [c.500 BCE], B001), quoted by Sextus Empiricus - Against the Mathematicians 7.133
     A reaction: I like the fact that things are separated according to their natures (particulars!), and not that natures are somehow bestowed on individuals.
26. Natural Theory / C. Causation / 9. General Causation / b. Nomological causation
Singular causes, and identities, might be necessary without falling under a law [Mumford]
     Full Idea: One might have a singularist view of causation in which a cause necessitates its effect, but they need not be subsumed under a law, ..and there are identities which are metaphysically necessary without being laws of nature.
     From: Stephen Mumford (Laws in Nature [2004], 04.5)
26. Natural Theory / C. Causation / 9. General Causation / c. Counterfactual causation
We can give up the counterfactual account if we take causal language at face value [Mumford]
     Full Idea: If we take causal language at face value and give up reducing causal concepts to non-causal, non-modal concepts, we can give up the counterfactual dependence account.
     From: Stephen Mumford (Laws in Nature [2004], 10.5)
26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity
It is only properties which are the source of necessity in the world [Mumford]
     Full Idea: If laws do not give the world necessity, what does? I argue the positive case for it being properties, and properties alone, that do the job (so we might call them 'modal properties').
     From: Stephen Mumford (Laws in Nature [2004], 10.1)
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
There are four candidates for the logical form of law statements [Mumford]
     Full Idea: The contenders for the logical form of a law statement are 1) a universally quantified conditional, 2) a second-order relation between first-order universals, 3) a functional equivalence, and 4) a dispositional characteristic of a natural kind.
     From: Stephen Mumford (Laws in Nature [2004], 10.3)
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
Regularities are more likely with few instances, and guaranteed with no instances! [Mumford]
     Full Idea: It seems that the fewer the instances, the more likely it is that there be a regularity, ..and if there are no cases at all, and no S is P, that is a regularity.
     From: Stephen Mumford (Laws in Nature [2004], 03.3)
     A reaction: [He attributes the second point to Molnar]
Regularity laws don't explain, because they have no governing role [Mumford]
     Full Idea: A regularity-law does not explain its instances, because such laws play no role in determining or governing their instances.
     From: Stephen Mumford (Laws in Nature [2004], 09.7)
     A reaction: Good. It has always seemed to me entirely vacuous to explain an event simply by saying that it falls under some law.
Pure regularities are rare, usually only found in idealized conditions [Mumford]
     Full Idea: Pure regularities are not nearly as common as might have been thought, and are usually only to be found in simplified or idealized conditions.
     From: Stephen Mumford (Laws in Nature [2004], 05.3)
     A reaction: [He cites Nancy Cartwright 1999 for this view]
Would it count as a regularity if the only five As were also B? [Mumford]
     Full Idea: While it might be true that for all x, if Ax then Bx, would we really want to count it as a genuine regularity in nature if only five things were A (and all five were also B)?
     From: Stephen Mumford (Laws in Nature [2004], 03.3)
26. Natural Theory / D. Laws of Nature / 4. Regularities / b. Best system theory
If the best system describes a nomological system, the laws are in nature, not in the description [Mumford]
     Full Idea: If the world really does have its own nomological structure, that a systematization merely describes, why are the laws not to be equated with the nomological structure itself, rather than with the system that describes it?
     From: Stephen Mumford (Laws in Nature [2004], 03.4)
The best systems theory says regularities derive from laws, rather than constituting them [Mumford]
     Full Idea: The best systems theory (of Mill-Ramsey-Lewis) says that laws are not seen as regularities but, rather, as those things from which regularities - or rather, the whole world history including the regularities and everything else - can be derived.
     From: Stephen Mumford (Laws in Nature [2004], 03.4)
     A reaction: Put this way, the theory invites questions about ontology. Regularities are just patterns in physical reality, but axioms are propositions. So are they just features of human thought, or do these axioms actuallyr reside in reality. Too weak or too strong.
26. Natural Theory / D. Laws of Nature / 5. Laws from Universals
Laws of nature are necessary relations between universal properties, rather than about particulars [Mumford]
     Full Idea: The core of the Dretske-Tooley-Armstrong view of the late 70s is that we have a law of nature when we have a relation of natural necessitation between universals. ..The innovation was that laws are about properties, and only indirectly about particulars.
     From: Stephen Mumford (Laws in Nature [2004], 06.2)
     A reaction: It sounds as if we should then be able to know the laws of nature a priori, since that was Russell's 1912 definition of a priori knowledge.
If laws can be uninstantiated, this favours the view of them as connecting universals [Mumford]
     Full Idea: If there are laws that are instantiated in no particulars, then this would seem to favour the theory that laws connect universals rather than particulars.
     From: Stephen Mumford (Laws in Nature [2004], 06.4)
     A reaction: There is a dispute here between the Platonic view of uninstantiated universals (Tooley) and the Aristotelian instantiated view (Armstrong). Mumford and I prefer the dispositional account.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / c. Essence and laws
Laws of nature are just the possession of essential properties by natural kinds [Mumford]
     Full Idea: If dispositional essentialism is granted, then there is a law of nature wherever there is an essential property of a natural kind; laws are just the havings of essential properties by natural kinds.
     From: Stephen Mumford (Laws in Nature [2004], 07.2)
     A reaction: [He is expounding Ellis's view]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
To distinguish accidental from essential properties, we must include possible members of kinds [Mumford]
     Full Idea: Where properties are possessed by all kind members, we must distinguish the accidental from essential ones by considering all actual and possible kind members.
     From: Stephen Mumford (Laws in Nature [2004], 07.5)
     A reaction: This is why we must treat possibilities as features of the actual world.
26. Natural Theory / D. Laws of Nature / 11. Against Laws of Nature
The Central Dilemma is how to explain an internal or external view of laws which govern [Mumford]
     Full Idea: The Central Dilemma about laws of nature is that, if they have some governing role, then they must be internal or external to the things governed, and it is hard to give a plausible account of either view.
     From: Stephen Mumford (Laws in Nature [2004], 09.2)
     A reaction: This dilemma is the basis of Mumford's total rejection of 'laws of nature'. I think I agree.
You only need laws if you (erroneously) think the world is otherwise inert [Mumford]
     Full Idea: Laws are a solution to a problem that was misconceived. Only if you think that the world would be otherwise inactive or inanimate, do you have the need to add laws to your ontology.
     From: Stephen Mumford (Laws in Nature [2004], 01.5)
     A reaction: This is a bold and extreme view - and I agree with it. I consider laws to be quite a useful concept when discussing nature, but they are not part of the ontology, and they don't do any work. They are metaphysically hopeless.
There are no laws of nature in Aristotle; they became standard with Descartes and Newton [Mumford]
     Full Idea: Laws do not appear in Aristotle's metaphysics, and it wasn't until Descartes and Newton that laws entered the intellectual mainstream.
     From: Stephen Mumford (Laws in Nature [2004], 01.5)
     A reaction: Cf. Idea 5470.
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
All things are in a state of motion [Heraclitus, by Aristotle]
     Full Idea: All things are in a state of motion.
     From: report of Heraclitus (fragments/reports [c.500 BCE]) by Aristotle - Topics 104b22
     A reaction: This seems right, I would say. It seems to make a 'process' the fundamental category of ontology, rather than an 'object'.
27. Natural Reality / E. Cosmology / 2. Eternal Universe
The cosmos is eternal not created, and is an ever-living and changing fire [Heraclitus]
     Full Idea: This cosmos, which is the same for all, was not created by any one of the gods or of mankind, but it was ever and is and shall be ever-living fire, kindled and quenched in measure.
     From: Heraclitus (fragments/reports [c.500 BCE], B030), quoted by Clement - Miscellanies 5.1.103
28. God / B. Proving God / 3. Proofs of Evidence / b. Teleological Proof
Heraclitus says intelligence draws on divine reason [Heraclitus, by Sext.Empiricus]
     Full Idea: According to Heraclitus we become intelligent by drawing on divine reason.
     From: report of Heraclitus (fragments/reports [c.500 BCE], A16) by Sextus Empiricus - Against the Professors (six books) 7.129
29. Religion / A. Polytheistic Religion / 2. Greek Polytheism
Purifying yourself with blood is as crazy as using mud to wash off mud [Heraclitus]
     Full Idea: They purify themselves by staining themselves with other blood, as if one were to step into mud to wash off mud. But a man would be thought mad if any of his fellow-men should perceive him acting thus.
     From: Heraclitus (fragments/reports [c.500 BCE], B005), quoted by Origen - Against Celsus 7.62
29. Religion / D. Religious Issues / 1. Religious Commitment / a. Religious Belief
In their ignorance people pray to statues, which is like talking to a house [Heraclitus]
     Full Idea: In their ignorance of the true nature of gods and heroes people pray to these statues, which is like someone holding a conversation with a house.
     From: Heraclitus (fragments/reports [c.500 BCE], B005), quoted by Anon (Pyth) - Theosophia Tubigensis 68