Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'A Mathematical Introduction to Logic (2nd)' and 'fragments/reports'

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


67 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 / 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 / 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.
4. Formal Logic / B. Propositional Logic PL / 3. Truth Tables
Until the 1960s the only semantics was truth-tables [Enderton]
     Full Idea: Until the 1960s standard truth-table semantics were the only ones that there were.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.10.1)
     A reaction: The 1960s presumably marked the advent of possible worlds.
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / a. Symbols of ST
'dom R' indicates the 'domain' of objects having a relation [Enderton]
     Full Idea: 'dom R' indicates the 'domain' of a relation, that is, the set of all objects that are members of ordered pairs and that have that relation.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
'fld R' indicates the 'field' of all objects in the relation [Enderton]
     Full Idea: 'fld R' indicates the 'field' of a relation, that is, the set of all objects that are members of ordered pairs on either side of the relation.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
'ran R' indicates the 'range' of objects being related to [Enderton]
     Full Idea: 'ran R' indicates the 'range' of a relation, that is, the set of all objects that are members of ordered pairs and that are related to by the first objects.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
We write F:A→B to indicate that A maps into B (the output of F on A is in B) [Enderton]
     Full Idea: We write F : A → B to indicate that A maps into B, that is, the domain of relating things is set A, and the things related to are all in B. If we add that F = B, then A maps 'onto' B.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
'F(x)' is the unique value which F assumes for a value of x [Enderton]
     Full Idea: F(x) is a 'function', which indicates the unique value which y takes in ∈ F. That is, F(x) is the value y which F assumes at x.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
A relation is 'symmetric' on a set if every ordered pair has the relation in both directions [Enderton]
     Full Idea: A relation is 'symmetric' on a set if every ordered pair in the set has the relation in both directions.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
A relation is 'transitive' if it can be carried over from two ordered pairs to a third [Enderton]
     Full Idea: A relation is 'transitive' on a set if the relation can be carried over from two ordered pairs to a third.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
The 'powerset' of a set is all the subsets of a given set [Enderton]
     Full Idea: The 'powerset' of a set is all the subsets of a given set. Thus: PA = {x : x ⊆ A}.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
Two sets are 'disjoint' iff their intersection is empty [Enderton]
     Full Idea: Two sets are 'disjoint' iff their intersection is empty (i.e. they have no members in common).
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
A 'domain' of a relation is the set of members of ordered pairs in the relation [Enderton]
     Full Idea: The 'domain' of a relation is the set of all objects that are members of ordered pairs that are members of the relation.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
A 'relation' is a set of ordered pairs [Enderton]
     Full Idea: A 'relation' is a set of ordered pairs. The ordering relation on the numbers 0-3 is captured by - in fact it is - the set of ordered pairs {<0,1>,<0,2>,<0,3>,<1,2>,<1,3>,<2,3>}.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
     A reaction: This can't quite be a definition of order among numbers, since it relies on the notion of a 'ordered' pair.
A 'function' is a relation in which each object is related to just one other object [Enderton]
     Full Idea: A 'function' is a relation which is single-valued. That is, for each object, there is only one object in the function set to which that object is related.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
A function 'maps A into B' if the relating things are set A, and the things related to are all in B [Enderton]
     Full Idea: A function 'maps A into B' if the domain of relating things is set A, and the things related to are all in B.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
A function 'maps A onto B' if the relating things are set A, and the things related to are set B [Enderton]
     Full Idea: A function 'maps A onto B' if the domain of relating things is set A, and the things related to are set B.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
A relation is 'reflexive' on a set if every member bears the relation to itself [Enderton]
     Full Idea: A relation is 'reflexive' on a set if every member of the set bears the relation to itself.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
A relation satisfies 'trichotomy' if all pairs are either relations, or contain identical objects [Enderton]
     Full Idea: A relation satisfies 'trichotomy' on a set if every ordered pair is related (in either direction), or the objects are identical.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
A set is 'dominated' by another if a one-to-one function maps the first set into a subset of the second [Enderton]
     Full Idea: A set is 'dominated' by another if a one-to-one function maps the first set into a subset of the second.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
4. Formal Logic / F. Set Theory ST / 3. Types of Set / e. Equivalence classes
An 'equivalence relation' is a reflexive, symmetric and transitive binary relation [Enderton]
     Full Idea: An 'equivalence relation' is a binary relation which is reflexive, and symmetric, and transitive.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
We 'partition' a set into distinct subsets, according to each relation on its objects [Enderton]
     Full Idea: Equivalence classes will 'partition' a set. That is, it will divide it into distinct subsets, according to each relation on the set.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Inference not from content, but from the fact that it was said, is 'conversational implicature' [Enderton]
     Full Idea: The process is dubbed 'conversational implicature' when the inference is not from the content of what has been said, but from the fact that it has been said.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.7.3)
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
Validity is either semantic (what preserves truth), or proof-theoretic (following procedures) [Enderton]
     Full Idea: The point of logic is to give an account of the notion of validity,..in two standard ways: the semantic way says that a valid inference preserves truth (symbol |=), and the proof-theoretic way is defined in terms of purely formal procedures (symbol |-).
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.1.3..)
     A reaction: This division can be mirrored in mathematics, where it is either to do with counting or theorising about things in the physical world, or following sets of rules from axioms. Language can discuss reality, or play word-games.
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 / I. Semantics of Logic / 3. Logical Truth
A logical truth or tautology is a logical consequence of the empty set [Enderton]
     Full Idea: A is a logical truth (tautology) (|= A) iff it is a semantic consequence of the empty set of premises (φ |= A), that is, every interpretation makes A true.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.3.4)
     A reaction: So the final column of every line of the truth table will be T.
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
A truth assignment to the components of a wff 'satisfy' it if the wff is then True [Enderton]
     Full Idea: A truth assignment 'satisfies' a formula, or set of formulae, if it evaluates as True when all of its components have been assigned truth values.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.2)
     A reaction: [very roughly what Enderton says!] The concept becomes most significant when a large set of wff's is pronounced 'satisfied' after a truth assignment leads to them all being true.
5. Theory of Logic / K. Features of Logics / 3. Soundness
A proof theory is 'sound' if its valid inferences entail semantic validity [Enderton]
     Full Idea: If every proof-theoretically valid inference is semantically valid (so that |- entails |=), the proof theory is said to be 'sound'.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.1.7)
5. Theory of Logic / K. Features of Logics / 4. Completeness
A proof theory is 'complete' if semantically valid inferences entail proof-theoretic validity [Enderton]
     Full Idea: If every semantically valid inference is proof-theoretically valid (so that |= entails |-), the proof-theory is said to be 'complete'.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.1.7)
5. Theory of Logic / K. Features of Logics / 6. Compactness
Proof in finite subsets is sufficient for proof in an infinite set [Enderton]
     Full Idea: If a wff is tautologically implied by a set of wff's, it is implied by a finite subset of them; and if every finite subset is satisfiable, then so is the whole set of wff's.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 2.5)
     A reaction: [Enderton's account is more symbolic] He adds that this also applies to models. It is a 'theorem' because it can be proved. It is a major theorem in logic, because it brings the infinite under control, and who doesn't want that?
5. Theory of Logic / K. Features of Logics / 7. Decidability
Expressions are 'decidable' if inclusion in them (or not) can be proved [Enderton]
     Full Idea: A set of expressions is 'decidable' iff there exists an effective procedure (qv) that, given some expression, will decide whether or not the expression is included in the set (i.e. doesn't contradict it).
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.7)
     A reaction: This is obviously a highly desirable feature for a really reliable system of expressions to possess. All finite sets are decidable, but some infinite sets are not.
5. Theory of Logic / K. Features of Logics / 8. Enumerability
For a reasonable language, the set of valid wff's can always be enumerated [Enderton]
     Full Idea: The Enumerability Theorem says that for a reasonable language, the set of valid wff's can be effectively enumerated.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 2.5)
     A reaction: There are criteria for what makes a 'reasonable' language (probably specified to ensure enumerability!). Predicates and functions must be decidable, and the language must be finite.
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.
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 / 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
10. Modality / B. Possibility / 8. Conditionals / f. Pragmatics of conditionals
Sentences with 'if' are only conditionals if they can read as A-implies-B [Enderton]
     Full Idea: Not all sentences using 'if' are conditionals. Consider 'if you want a banana, there is one in the kitchen'. The rough test is that a conditional can be rewritten as 'that A implies that B'.
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.6.4)
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).
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]
     Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom.
     From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88)
     A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate').
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.
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