Combining Texts

All the ideas for 'works', 'System of Logic' and 'Philebus'

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


101 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
There is practical wisdom (for action), and theoretical wisdom (for deep understanding) [Aristotle, by Whitcomb]
     Full Idea: Aristotle takes wisdom to come in two forms, the practical and the theoretical, the former of which is good judgement about how to act, and the latter of which is deep knowledge or understanding.
     From: report of Aristotle (works [c.330 BCE]) by Dennis Whitcomb - Wisdom Intro
     A reaction: The interesting question is then whether the two are connected. One might be thoroughly 'sensible' about action, without counting as 'wise', which seems to require a broader view of what is being done. Whitcomb endorses Aristotle on this idea.
2. Reason / A. Nature of Reason / 2. Logos
For Aristotle logos is essentially the ability to talk rationally about questions of value [Roochnik on Aristotle]
     Full Idea: For Aristotle logos is the ability to speak rationally about, with the hope of attaining knowledge, questions of value.
     From: comment on Aristotle (works [c.330 BCE]) by David Roochnik - The Tragedy of Reason p.26
2. Reason / A. Nature of Reason / 4. Aims of Reason
Aristotle is the supreme optimist about the ability of logos to explain nature [Roochnik on Aristotle]
     Full Idea: Aristotle is the great theoretician who articulates a vision of a world in which natural and stable structures can be rationally discovered. His is the most optimistic and richest view of the possibilities of logos
     From: comment on Aristotle (works [c.330 BCE]) by David Roochnik - The Tragedy of Reason p.95
2. Reason / D. Definition / 4. Real Definition
Aristotelian definitions aim to give the essential properties of the thing defined [Aristotle, by Quine]
     Full Idea: A real definition, according to the Aristotelian tradition, gives the essence of the kind of thing defined. Man is defined as a rational animal, and thus rationality and animality are of the essence of each of us.
     From: report of Aristotle (works [c.330 BCE]) by Willard Quine - Vagaries of Definition p.51
     A reaction: Compare Idea 4385. Personally I prefer the Aristotelian approach, but we may have to say 'We cannot identify the essence of x, and so x cannot be defined'. Compare 'his mood was hard to define' with 'his mood was hostile'.
2. Reason / D. Definition / 5. Genus and Differentia
Aristotelian definition involves first stating the genus, then the differentia of the thing [Aristotle, by Urmson]
     Full Idea: For Aristotle, to give a definition one must first state the genus and then the differentia of the kind of thing to be defined.
     From: report of Aristotle (works [c.330 BCE]) by J.O. Urmson - Aristotle's Doctrine of the Mean p.157
     A reaction: Presumably a modern definition would just be a list of properties, but Aristotle seeks the substance. How does he define a genus? - by placing it in a further genus?
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
What physical facts could underlie 0 or 1, or very large numbers? [Frege on Mill]
     Full Idea: What in the world can be the observed fact, or the physical fact, which is asserted in the definition of the number 777864? ...What a pity that Mill did not also illustrate the physical facts underlying the numbers 0 and 1!
     From: comment on John Stuart Mill (System of Logic [1843]) by Gottlob Frege - Grundlagen der Arithmetik (Foundations) §7
     A reaction: I still think patterns could be an empirical foundation for arithmetic, though you still have to grasp the abstract concept of the pattern. An innate capacity to spot resemblance gets you a long way.
4. Formal Logic / G. Formal Mereology / 1. Mereology
It seems absurd that seeing a person's limbs, the one is many, and yet the many are one [Plato]
     Full Idea: Someone first distinguishes a person's limbs and parts and asks your agreement that all the parts are identical with that unity, then ridicules you that you have to admit one is many, and indefinitely many, and again that the many are only only one thing.
     From: Plato (Philebus [c.353 BCE], 14e)
     A reaction: This is a passing aporia, but actually seems to approach the central mystery of the metaphysics of identity. A thing can't be a 'unity' if there are not things to unify? So what sorts of 'unification' are there?
Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki]
     Full Idea: Aristotle proposes to relativise unity and plurality, so that a single object can be both one (indivisible) and many (divisible) simultaneously, without contradiction, relative to different measures. Wholeness has degrees, with the strength of the unity.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.12
     A reaction: [see Koslicki's account of Aristotle for details] As always, the Aristotelian approach looks by far the most promising. Simplistic mechanical accounts of how parts make wholes aren't going to work. We must include the conventional and conceptual bit.
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady]
     Full Idea: Aristotle apparently believed that the subject-predicate structure of Greek reflected the substance-accident nature of reality.
     From: report of Aristotle (works [c.330 BCE]) by Paul O'Grady - Relativism Ch.4
     A reaction: We need not assume that Aristotle is wrong. It is a chicken-and-egg. There is something obvious about subject-predicate language, if one assumes that unified objects are part of nature, and not just conventional.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / d. and
Combining two distinct assertions does not necessarily lead to a single 'complex proposition' [Mill]
     Full Idea: In 'Caesar is dead, and Brutus is alive' ...there are here two distinct assertions; and we might as well call a street a complex house, as these two propositions a complex proposition.
     From: John Stuart Mill (System of Logic [1843], 1.04.3)
     A reaction: Arthur Prior, in his article on 'tonk', cites this to claim that the mere account of the and-introduction rule does not guarantee the existence of any conjunctive proposition that can result from it. Mill says you are adding a third proposition.
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
All names are names of something, real or imaginary [Mill]
     Full Idea: All names are names of something, real or imaginary.
     From: John Stuart Mill (System of Logic [1843], p.32), quoted by Mark Sainsbury - The Essence of Reference 18.2
     A reaction: Mill's example of of being like a chalk mark on a door, but Sainsbury points out that names can be detached from bearers in a way that chalk marks can't.
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
Mill says names have denotation but not connotation [Mill, by Kripke]
     Full Idea: It is a well known doctrine of Mill that names have denotation but not connotation.
     From: report of John Stuart Mill (System of Logic [1843]) by Saul A. Kripke - Naming and Necessity lectures Lecture 1
     A reaction: A nice starting point for any discussion of the topic. The obvious response is that a name like 'Attila the Hun' seems to have a very vague denotation for most of us, but a rather powerful connotation.
Proper names are just labels for persons or objects, and the meaning is the object [Mill, by Lycan]
     Full Idea: Mill seemed to defend the view that proper names are merely labels for individual persons or objects, and contribute no more than those individuals themselves to the meanings of sentences in which they occur.
     From: report of John Stuart Mill (System of Logic [1843]) by William Lycan - Philosophy of Language
     A reaction: Identity statements can become trivial on this view ('Twain is Clemens'). Modern views have become more sympathetic to Mill, since externalism places meanings outside the head of the speaker.
6. Mathematics / A. Nature of Mathematics / 2. Geometry
It is absurd to define a circle, but not be able to recognise a real one [Plato]
     Full Idea: It will be ridiculous if our student knows the definition of the circle and of the divine sphere itself, but cannot recognize the human sphere and these our circles, used in housebuilding.
     From: Plato (Philebus [c.353 BCE], 62a)
     A reaction: This is the equivalent of being able to recite numbers, but not to count objects. It also resembles Molyneux's question (to Locke), of whether recognition by one sense entails recognition by others. Nice (and a bit anti-platonist!).
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / a. Units
Numbers must be assumed to have identical units, as horses are equalised in 'horse-power' [Mill]
     Full Idea: There is one hypothetical element in the basis of arithmetic, without which none of it would be true: all the numbers are numbers of the same or of equal units. When we talk of forty horse-power, we assume all horses are of equal strength.
     From: John Stuart Mill (System of Logic [1843], 2.6.3)
     A reaction: Of course, horses are not all of equal strength, so there is a problem here for your hard-line empiricist. Mill needs processes of idealisation and abstraction before his empirical arithmetic can get off the ground.
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / f. Arithmetic
Daily arithmetic counts unequal things, but pure arithmetic equalises them [Plato]
     Full Idea: The arithmetic of the many computes sums of unequal units, such as two armies, or two herds, ..but philosopher's arithmetic computes when it is guaranteed that none of those infinitely many units differed in the least from any of the others.
     From: Plato (Philebus [c.353 BCE], 56d)
     A reaction: But of course 'the many' are ironing out the differences too, when they say there are 'three armies'. Shocking snob, Plato. Even philosophers are interested in the difference between three armies and three platoons.
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
The only axioms needed are for equality, addition, and successive numbers [Mill, by Shapiro]
     Full Idea: Mill says arithmetic has two axioms, that 'things which are equal to the same thing are equal to each other', and 'equals added to equals make equal sums', plus a definition for each numeral as 'formed by the addition of a unit to the previous number'.
     From: report of John Stuart Mill (System of Logic [1843], p.610?) by Stewart Shapiro - Thinking About Mathematics 4.3
     A reaction: The difficulty here seems to be the definition of 1, and (even worse for an empiricist), of 0. Then he may have a little trouble when he reaches infinity.
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / b. Greek arithmetic
Arithmetic is based on definitions, and Sums of equals are equal, and Differences of equals are equal [Mill]
     Full Idea: The inductions of arithmetic are based on so-called definitions (such as '2 and 1 are three'), and on two axioms: The sums of equals are equal, The differences of equals are equal.
     From: John Stuart Mill (System of Logic [1843], 2.6.3)
     A reaction: These are axioms for arithmetical operations, rather than for numbers themselves (which, for Mill, do not require axioms as they are empirically derived).
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Mill says logic and maths is induction based on a very large number of instances [Mill, by Ayer]
     Full Idea: Mill maintained that the truths of logic and mathematics are not necessary or certain, by saying these propositions are inductive generalisations based on an extremely large number of instances.
     From: report of John Stuart Mill (System of Logic [1843]) by A.J. Ayer - Language,Truth and Logic Ch.4
     A reaction: Ayer asserts that they are necessary (but only because they are tautological). I like the idea that maths is the 'science of patterns', but that might lead from an empirical start to a rationalist belief in a priori synthetic truths.
If two black and two white objects in practice produced five, what colour is the fifth one? [Lewis,CI on Mill]
     Full Idea: If Mill has a demon who, every time two things are brought together with two other things, always introduces a fifth, then if two black marbles and two white ones are put in an urn, the demon could choose his color, but there would be more of one colour.
     From: comment on John Stuart Mill (System of Logic [1843]) by C.I. Lewis - A Pragmatic Conception of the A Priori p.367
     A reaction: Nice to see philosophers fighting back against demons. This is a lovely argument against the absurdity of thinking that experience could ever controvert a priori knowledge (though Lewis is no great fan of the latter).
Mill mistakes particular applications as integral to arithmetic, instead of general patterns [Dummett on Mill]
     Full Idea: Mill's mistake is taking particular applications as integral to the sense of arithmetical propositions. But what is integral to arithmetic is the general principle that explains its applicability, and determines the pattern of particular applications.
     From: comment on John Stuart Mill (System of Logic [1843], 2.6) by Michael Dummett - Frege philosophy of mathematics Ch.20
     A reaction: [Dummett is summarising Frege's view] Sounds like a tidy objection, but you still have to connect the general principles and patterns to the physical world. 'Structure' could be the magic word to achieve this.
There are no such things as numbers in the abstract [Mill]
     Full Idea: There are no such things as numbers in the abstract.
     From: John Stuart Mill (System of Logic [1843], 2.6.2)
     A reaction: Depends. Would we want to say that 'horses don't exist' (although each individual horse does exist)? It sounds odd to say of an idea that it doesn't exist, when you are currently thinking about it. I am, however, sympathetic to Mill.
Things possess the properties of numbers, as quantity, and as countable parts [Mill]
     Full Idea: All things possess quantity; consist of parts which can be numbered; and in that character possess all the properties which are called properties of numbers.
     From: John Stuart Mill (System of Logic [1843], 2.6.2)
     A reaction: Here Mill is skating on the very thinnest of ice, and I find myself reluctantly siding with Frege. It is a very optimistic empiricist who hopes to find the numbers actually occurring as properties of experienced objects. A pack of cards, for example.
Numbers have generalised application to entities (such as bodies or sounds) [Mill]
     Full Idea: 'Ten' must mean ten bodies, or ten sounds, or ten beatings of the pulse. But though numbers must be numbers of something, they may be numbers of anything.
     From: John Stuart Mill (System of Logic [1843], 2.6.2)
     A reaction: Mill always prefers things in close proximity, in space or time. 'I've had ten headaches in the last year'. 'There are ten reasons for doubting p'. His second point puts him very close to Aristotle in his view.
Different parcels made from three pebbles produce different actual sensations [Mill]
     Full Idea: Three pebbles make different sense impressions in one parcel or in two. That the same pebbles by an alteration of place and arrangement may be made to produce either sensation is not the identical proposition.
     From: John Stuart Mill (System of Logic [1843], 2.6.2)
     A reaction: [compressed] Not quite clear, but Mill seems to be adamant that we really must experience the separation, and not just think what 'may' happen, so Frege is right that Mill is lucky that everything is not 'nailed down'.
'2 pebbles and 1 pebble' and '3 pebbles' name the same aggregation, but different facts [Mill]
     Full Idea: The expressions '2 pebbles and 1 pebble' and '3 pebbles' stand for the same aggregation of objects, but do not stand for the same physical fact. They name the same objects in different states, 'denoting' the same things, with different 'connotations'.
     From: John Stuart Mill (System of Logic [1843], 2.6.2)
     A reaction: Nothing in this would convert me from the analytic view to the empirical view of simple arithmetic, if I were that way inclined. Personally I think of three pebbles as 4 minus 1, because I am haunted by the thought of a missing stone.
3=2+1 presupposes collections of objects ('Threes'), which may be divided thus [Mill]
     Full Idea: 'Three is two and one' presupposes that collections of objects exist, which while they impress the senses thus, ¶¶¶, may be separated into two parts, thus, ¶¶ ¶. This being granted, we term all such parcels Threes.
     From: John Stuart Mill (System of Logic [1843], 2.6.2)
     A reaction: Mill is clearly in trouble here because he sticks to simple arithmetic. He must deal with parcels too big for humans to count, and parcels so big that they could not naturally exist, and that is before you even reach infinite parcels.
Numbers denote physical properties of physical phenomena [Mill]
     Full Idea: The fact asserted in the definition of a number is a physical fact. Each of the numbers two, three, four denotes physical phenomena, and connotes a physical property of those phenomena. Two denotes all pairs of things, and twelve all dozens.
     From: John Stuart Mill (System of Logic [1843], 3.24.5)
     A reaction: The least plausible part of Mill's thesis. Is the fact that a pair of things is fewer than five things also a property? You see two boots, or you see a pair of boots, depending partly on you. Is pure two a visible property? Courage and an onion?
We can't easily distinguish 102 horses from 103, but we could arrange them to make it obvious [Mill]
     Full Idea: 102 horses are not as easily distinguished from 103 as two are from three, yet the horses may be so placed that a difference will be perceptible.
     From: John Stuart Mill (System of Logic [1843], 3.24.5)
     A reaction: More trouble for Mill. We are now moving from the claim that we actually perceive numbers to the claim that we could if we arranged things right. But we would still only see which group of horses was bigger by one, not how many horses there were.
Arithmetical results give a mode of formation of a given number [Mill]
     Full Idea: Every statement of the result of an arithmetical operation is a statement of one of the modes of formation of a given number.
     From: John Stuart Mill (System of Logic [1843], 3.24.5)
     A reaction: Although Mill sticks cautiously to very simple arithmetic, inviting empirical accounts of much higher mathematics, I think the phrase 'modes of formation' of numbers is very helpful. It could take us either into structuralism, or into constructivism.
12 is the cube of 1728 means pebbles can be aggregated a certain way [Mill]
     Full Idea: When we say 12 is the cube of 1728, we affirm that if we had sufficient pebbles, we put them into parcels or aggregates called twelves, and put those twelves into similar collections, and make twelve of these largests parcels, we have the aggregate 1728.
     From: John Stuart Mill (System of Logic [1843], 3.24.5)
     A reaction: There is always hidden modal thinking in Mill's proposals, despite his longing to stick to actual experience. Imagination actually plays a much bigger role in his theory than sense experience does.
Numbers must be of something; they don't exist as abstractions [Mill]
     Full Idea: All numbers must be numbers of something: there are no such things as numbers in the abstract.
     From: John Stuart Mill (System of Logic [1843], p.245?), quoted by Stewart Shapiro - Thinking About Mathematics 4.3
     A reaction: This shows why the concept of 'abstraction' is such a deep problem. Numbers can't be properties of objects, because two boots can become one boot without changing the surviving boot. But why should abstractions have to 'exist'?
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
Mill is too imprecise, and is restricted to simple arithmetic [Kitcher on Mill]
     Full Idea: The problem with Mill is that many of his formulations are imprecise, and he only considers the most rudimentary parts of arithmetic.
     From: comment on John Stuart Mill (System of Logic [1843]) by Philip Kitcher - The Nature of Mathematical Knowledge Intro
     A reaction: This is from a fan of Mill, trying to restore his approach in the face of the authoritative and crushing criticisms offered by Frege. I too am a fan of Mill's approach. Patterns can be discerned in arrangements of pebbles. Infinities are a problem.
Empirical theories of arithmetic ignore zero, limit our maths, and need probability to get started [Frege on Mill]
     Full Idea: Mill does not give us a clue as to how to understand the number zero, he limits our mathematical knowledge to the limits of our experience, ..and induction can only give you probability, but that presupposes arithmetical laws.
     From: comment on John Stuart Mill (System of Logic [1843]) by Gottlob Frege - Grundlagen der Arithmetik (Foundations)
     A reaction: This summarises Frege's criticisms of Mill's empirical account of maths. I like 'maths is the science of patterns', in which case zero is just a late-introduced trick (it is hardly a Platonic Form!), and induction is the wrong account to give.
6. Mathematics / C. Sources of Mathematics / 5. Numbers as Adjectival
Numbers are a very general property of objects [Mill, by Brown,JR]
     Full Idea: Mill held that numbers are a kind of very general property that objects possess.
     From: report of John Stuart Mill (System of Logic [1843], Ch.4) by James Robert Brown - Philosophy of Mathematics
     A reaction: Intuitively this sounds hopeless, because if you place one apple next to another you introduce 'two', but which apple has changed its property? Both? It seems to be a Cambridge change. It isn't a change that would bother the apples. Kitcher pursues this.
7. Existence / C. Structure of Existence / 8. Stuff / b. Mixtures
If a mixture does not contain measure and proportion, it is corrupted and destroyed [Plato]
     Full Idea: Any kind of mixture that does not ...possess measure or the nature of proportion will necessarily corrupt its ingredients and most of all itself. For there would be no blending in such cases but really an unconnected medley, and ruin what contains it.
     From: Plato (Philebus [c.353 BCE], 64d)
     A reaction: My guess is that Plato is thinking of the decay of living things when they die, losing the proportions of psuché, and then applying this to the unity of inanimate objects as well. One might compare Leibniz's monads.
Any mixture which lacks measure and proportion doesn't even count as a mixture at all [Plato]
     Full Idea: Any blend [mixture] which does not have measure or the nature of proportion in any way whatsoever, of necessity destroys both its ingredients and, primarily, itself. It is truly no blend at all, but a kind of unblended disaster.
     From: Plato (Philebus [c.353 BCE], 64e)
     A reaction: Obviously there can be chaotic mixtures, but I guess Plato is picking out mixtures about which we can say something
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
If the good is one, is it unchanged when it is in particulars, and is it then separated from itself? [Plato]
     Full Idea: If man is one, and the good is one, how are they supposed to exist? Do they stay the same even though they are found in many things at the same time, and are they then entirely separated from themselves, which seems most impossible of all?
     From: Plato (Philebus [c.353 BCE], 15a)
     A reaction: Presumably Plato anguishes over this because he thinks Forms are self-predicating (the Good is good). Big mistake. The Good fathers good particulars which resemble itself, but are diluted?
9. Objects / B. Unity of Objects / 1. Unifying an Object / c. Unity as conceptual
A thing can become one or many, depending on how we talk about it [Plato]
     Full Idea: It is through discourse that the same thing flits around, becoming one and many in all sorts of ways.
     From: Plato (Philebus [c.353 BCE], 15d)
     A reaction: This is not scepticism about wholes on Plato's part, but a reminder of an obvious fact, that in thought we can break the world up and put it back together again. It is a touchstone of the debate, though.
9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
The unmoved mover and the soul show Aristotelian form as the ultimate mereological atom [Aristotle, by Koslicki]
     Full Idea: Aristotle's discussion of the unmoved mover and of the soul confirms the suspicion that form, when it is not thought of as the object represented in a definition, plays the role of the ultimate mereological atom within his system.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 6.6
     A reaction: Aristotle is concerned with which things are 'divisible', and he cites these two examples as indivisible, but they may be too unusual to offer an actual theory of how Aristotle builds up wholes from atoms. He denies atoms in matter.
9. Objects / C. Structure of Objects / 2. Hylomorphism / d. Form as unifier
The 'form' is the recipe for building wholes of a particular kind [Aristotle, by Koslicki]
     Full Idea: Thus in Aristotle we may think of an object's formal components as a sort of recipe for how to build wholes of that particular kind.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.5
     A reaction: In the elusive business of pinning down what Aristotle means by the crucial idea of 'form', this analogy strikes me as being quite illuminating. It would fit DNA in living things, and the design of an artifact.
9. Objects / C. Structure of Objects / 5. Composition of an Object
If one object is divided into its parts, someone can then say that one are many and many is one [Plato]
     Full Idea: Someone can theoretically divide an object into constituent parts, concede that they are one object, and then claim that therefore the one is many and the many are one.
     From: Plato (Philebus [c.353 BCE], 14e)
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
Whatever is made up of parts is made up of parts of those parts [Mill]
     Full Idea: Whatever is made up of parts is made up of parts of those parts.
     From: John Stuart Mill (System of Logic [1843], 3.24.5)
     A reaction: Mill considers this principle to be fundamental to the possibilities of arithmetic. Presumably he thought of it as an inductive inference from our dealings with physical objects.
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
The essence is that without which a thing can neither be, nor be conceived to be [Mill]
     Full Idea: The essence of a thing was said to be that without which the thing could neither be, nor be conceived to be.
     From: John Stuart Mill (System of Logic [1843], 1.6.2)
     A reaction: Fine cites this as the 'modal' account of essence, as opposed to the 'definitional' account.
10. Modality / A. Necessity / 2. Nature of Necessity
Necessity is what will be, despite any alternative suppositions whatever [Mill]
     Full Idea: That which is necessary, that which must be, means that which will be, whatever suppositions we may make in regard to all other things.
     From: John Stuart Mill (System of Logic [1843], 3.06.6)
     A reaction: [Mill discusses causal necessity] This is quoted by McFetridge. This slightly firms up the definition as 'what has to be true', though it makes it dependent on our 'suppositions'. Presumably nothing beyond our powers of supposition could matter either.
Necessity can only mean what must be, without conditions of any kind [Mill]
     Full Idea: If there be any meaning which confessedly belongs to the term necessity, it is unconditionalness. That which is necessary, that which must be, means that which will be whatever supposition we make with regard to other things.
     From: John Stuart Mill (System of Logic [1843], p.339 [1974 ed]), quoted by R.D. Ingthorsson - A Powerful Particulars View of Causation 5.3
     A reaction: 'It is necessary to leave now, if you want to catch the train' is a genuine type of necessity. Mill's type is probably Absolute necessity, to which nothing could make any difference. Or Metaphysical necessity, determined by all things.
11. Knowledge Aims / A. Knowledge / 1. Knowledge
For Aristotle, knowledge is of causes, and is theoretical, practical or productive [Aristotle, by Code]
     Full Idea: Aristotle thinks that in general we have knowledge or understanding when we grasp causes, and he distinguishes three fundamental types of knowledge - theoretical, practical and productive.
     From: report of Aristotle (works [c.330 BCE]) by Alan D. Code - Aristotle
     A reaction: Productive knowledge we tend to label as 'knowing how'. The centrality of causes for knowledge would get Aristotle nowadays labelled as a 'naturalist'. It is hard to disagree with his three types, though they may overlap.
11. Knowledge Aims / B. Certain Knowledge / 1. Certainty
How can you be certain about aspects of the world if they aren't constant? [Plato]
     Full Idea: Could we attribute certainty to studying aspects of the world, such as how it arose, or acts, or is acted upon, when none of them ever was or will be constant? Of course not.
     From: Plato (Philebus [c.353 BCE], 59b)
12. Knowledge Sources / A. A Priori Knowledge / 1. Nature of the A Priori
The notion of a priori truth is absent in Aristotle [Aristotle, by Politis]
     Full Idea: The notion of a priori truth is conspicuously absent in Aristotle.
     From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.5
     A reaction: Cf. Idea 11240.
12. Knowledge Sources / B. Perception / 6. Inference in Perception
Most perception is one-tenth observation and nine-tenths inference [Mill]
     Full Idea: In almost every act of our perceiving faculties, observation and inference are intimately blended. What we are said to observe is usually a compound result, of which one-tenth may be observation, and the remaining nine-tenths inference.
     From: John Stuart Mill (System of Logic [1843], 4.1.2), quoted by Peter Lipton - Inference to the Best Explanation (2nd) 11 'The scientific'
     A reaction: We seem to think that his kind of observation is a great realisation of twentieth century thought, but thoughtful empiricists spotted it much earlier.
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Aristotle is a rationalist, but reason is slowly acquired through perception and experience [Aristotle, by Frede,M]
     Full Idea: Aristotle is a rationalist …but reason for him is a disposition which we only acquire over time. Its acquisition is made possible primarily by perception and experience.
     From: report of Aristotle (works [c.330 BCE]) by Michael Frede - Aristotle's Rationalism p.173
     A reaction: I would describe this process as the gradual acquisition of the skill of objectivity, which needs the right knowledge and concepts to evaluate new experiences.
12. Knowledge Sources / D. Empiricism / 4. Pro-Empiricism
Clear concepts result from good observation, extensive experience, and accurate memory [Mill]
     Full Idea: The principle requisites of clear conceptions, are habits of attentive observation, an extensive experience, and a memory which receives and retains an exact image of what is observed.
     From: John Stuart Mill (System of Logic [1843], 4.2.5)
     A reaction: Empiricists are always crying out for people to 'attend to the evidence', and this is the deeper reason why. Not only will one know the world better in a direct way, but one will actually think more clearly. Darwin is the perfect model for this.
12. Knowledge Sources / E. Direct Knowledge / 2. Intuition
Aristotle wants to fit common intuitions, and therefore uses language as a guide [Aristotle, by Gill,ML]
     Full Idea: Since Aristotle generally prefers a metaphysical theory that accords with common intuitions, he frequently relies on facts about language to guide his metaphysical claims.
     From: report of Aristotle (works [c.330 BCE]) by Mary Louise Gill - Aristotle on Substance Ch.5
     A reaction: I approve of his procedure. I take intuition to be largely rational justifications too complex for us to enunciate fully, and language embodies folk intuitions in its concepts (especially if the concepts occur in many languages).
14. Science / A. Basis of Science / 5. Anomalies
Inductive generalisation is more reliable than one of its instances; they can't all be wrong [Mill]
     Full Idea: A general proposition collected from particulars is often more certainly true than any one of the particular propositions from which, by an act of induction, it was inferred. It might be erroneous in any instance, but cannot be erroneous in all of them.
     From: John Stuart Mill (System of Logic [1843], 4.1.2), quoted by Peter Lipton - Inference to the Best Explanation (2nd) 11 'The scientific'
     A reaction: One anomaly can be ignored, but several can't, especially if the anomalies agree.
14. Science / B. Scientific Theories / 1. Scientific Theory
Plato says sciences are unified around Forms; Aristotle says they're unified around substance [Aristotle, by Moravcsik]
     Full Idea: Plato's unity of science principle states that all - legitimate - sciences are ultimately about the Forms. Aristotle's principle states that all sciences must be, ultimately, about substances, or aspects of substances.
     From: report of Aristotle (works [c.330 BCE], 1) by Julius Moravcsik - Aristotle on Adequate Explanations 1
14. Science / C. Induction / 1. Induction
Mill's methods (Difference,Agreement,Residues,Concomitance,Hypothesis) don't nail induction [Mill, by Lipton]
     Full Idea: The Method of Difference, and even the full four 'experimental methods' (Difference, Agreement, Residues and Concomitant Variations) are agreed on all sides to be incomplete accounts of inductive inference. Mill himself added the Method of Hypothesis.
     From: report of John Stuart Mill (System of Logic [1843], 3.14.4-5) by Peter Lipton - Inference to the Best Explanation (2nd) 08 'Improved'
     A reaction: If induction is just 'learning from experience' (my preferred definition) then there is unlikely to be a precise account of its methods. Mill seems to have done a lovely job.
The whole theory of induction rests on causes [Mill]
     Full Idea: The notion of cause is the root of the whole theory of induction.
     From: John Stuart Mill (System of Logic [1843], 3.05.2), quoted by Peter Lipton - Inference to the Best Explanation (2nd) 08 'From cause'
     A reaction: This sounds much better to me than the Humean view that it rests on the psychology of regularity and habit. However, maybe Hume describes induction, and Mill is adding abduction (inference to the best explanation).
14. Science / D. Explanation / 1. Explanation / a. Explanation
Aristotelian explanations are facts, while modern explanations depend on human conceptions [Aristotle, by Politis]
     Full Idea: For Aristotle things which explain (the explanantia) are facts, which should not be associated with the modern view that says explanations are dependent on how we conceive and describe the world (where causes are independent of us).
     From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 2.1
     A reaction: There must be some room in modern thought for the Aristotelian view, if some sort of robust scientific realism is being maintained against the highly linguistic view of philosophy found in the twentieth century.
Surprisingly, empiricists before Mill ignore explanation, which seems to transcend experience [Mill, by Ruben]
     Full Idea: It is surprising that no empiricist philosopher before Mill turned in an explicit way to the scrutiny of the concept of explanation, which had …every appearance of being experience-transcendent.
     From: report of John Stuart Mill (System of Logic [1843]) by David-Hillel Ruben - Explaining Explanation Ch 4
     A reaction: Yes indeed! This is why explanation is absolutely basic, to philosophy and to human understanding. The whole of philosophy is a quest for explanations, so to be strictly empirical about it strikes me as crazy.
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
Aristotle's standard analysis of species and genus involves specifying things in terms of something more general [Aristotle, by Benardete,JA]
     Full Idea: The standard Aristotelian doctrine of species and genus in the theory of anything whatever involves specifying what the thing is in terms of something more general.
     From: report of Aristotle (works [c.330 BCE]) by José A. Benardete - Metaphysics: the logical approach Ch.10
14. Science / D. Explanation / 2. Types of Explanation / e. Lawlike explanations
Explanation is fitting of facts into ever more general patterns of regularity [Mill, by Ruben]
     Full Idea: For Mill, explanation was always the fitting of facts into ever more general patterns of regularity.
     From: report of John Stuart Mill (System of Logic [1843]) by David-Hillel Ruben - Explaining Explanation Ch 6
     A reaction: This seems to nicely capture the standard empirical approach to explanation. If you say that this fitting in doesn't explain much, the answer (I think) is that this is the best we can do.
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
Causal inference is by spotting either Agreements or Differences [Mill, by Lipton]
     Full Idea: The best known account of causal inference is Mill's Method of Agreement (only one antecedent is shared by the effects), and the Method of Difference (there is only one difference prior to the effect occurring or not occurring).
     From: report of John Stuart Mill (System of Logic [1843], 3.07) by Peter Lipton - Inference to the Best Explanation (2nd) 01 'Descr'
     A reaction: [my summary of Lipton's summary of Mill]
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
Aristotle regularly says that essential properties explain other significant properties [Aristotle, by Kung]
     Full Idea: The view that essential properties are those in virtue of which other significant properties of the subjects under investigation can be explained is encountered repeatedly in Aristotle's work.
     From: report of Aristotle (works [c.330 BCE]) by Joan Kung - Aristotle on Essence and Explanation IV
     A reaction: What does 'significant' mean here? I take it that the significant properties are the ones which explain the role, function and powers of the object.
14. Science / D. Explanation / 3. Best Explanation / a. Best explanation
The Methods of Difference and of Agreement are forms of inference to the best explanation [Mill, by Lipton]
     Full Idea: Like Mill's Method of Difference, applications of the Method of Agreement are naturally construed as inferences to the best explanation.
     From: report of John Stuart Mill (System of Logic [1843], 3.07/8) by Peter Lipton - Inference to the Best Explanation (2nd) 06 'The Method'
     A reaction: This sort of thoroughly sensible approach to understanding modes of investigation has been absurdly sidelined by the desire to 'deduce' observations from 'laws'. Scientific investigation is no different from enquiry in daily life. Where are my glasses?
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
We can focus our minds on what is common to a whole class, neglecting other aspects [Mill]
     Full Idea: The voluntary power which the mind has, of attending to one part of what is present at any moment, and neglecting another part, enables us to be unaffected by anything in the idea which is not really common to the whole class.
     From: John Stuart Mill (System of Logic [1843], 4.2.1)
     A reaction: There is a question for empiricists of whether abstraction is a 'voluntary' power or a mechanical one. Associationism presents it as more mechanical. I would say, with Mill, that it is a least partly voluntary, and even rational.
15. Nature of Minds / C. Capacities of Minds / 7. Seeing Resemblance
We don't recognise comparisons by something in our minds; the concepts result from the comparisons [Mill]
     Full Idea: It is not a law of our intellect that in comparing things and noting their agreements we recognise as realized in the outward world something we already had in our minds. The conception found its way to us as the result of such a comparison.
     From: John Stuart Mill (System of Logic [1843], 4.2.2)
     A reaction: He recognises, of course, that this gradually becomes a two-way process. In the physicalist view of things, it is not really of great importance which concepts are hard-wired, and which constructed culturally or through perception.
18. Thought / A. Modes of Thought / 5. Rationality / c. Animal rationality
Aristotle and the Stoics denied rationality to animals, while Platonists affirmed it [Aristotle, by Sorabji]
     Full Idea: Aristotle, and also the Stoics, denied rationality to animals. …The Platonists, the Pythagoreans, and some more independent Aristotelians, did grant reason and intellect to animals.
     From: report of Aristotle (works [c.330 BCE]) by Richard Sorabji - Rationality 'Denial'
     A reaction: This is not the same as affirming or denying their consciousness. The debate depends on how rationality is conceived.
18. Thought / E. Abstraction / 1. Abstract Thought
The study of the nature of Abstract Ideas does not belong to logic, but to a different science [Mill]
     Full Idea: The metaphysical inquiry into the nature and composition of what have been called Abstract Ideas, or in other words, of the notions which answer in the mind to classes and to general names, belongs not to Logic, but to a different science.
     From: John Stuart Mill (System of Logic [1843], 4.2.1)
     A reaction: He doesn't name the science, but the point here seems to be precisely what Frege so vigorously disagreed with. I would say that the state of being 'abstract' has logical aspects, and can be partly described by logic, but that Mill is basically right.
General conceptions are a necessary preliminary to Induction [Mill]
     Full Idea: Forming general conceptions is a necessary preliminary to Induction.
     From: John Stuart Mill (System of Logic [1843], 4.2.1)
     A reaction: A key link in the framework of empirical philosophies, which gets us from experience to science. Induction is the very process of generalisation. We can't bring a concept like 'evolution' to preliminary observations, so it must be formulated inductively.
19. Language / E. Analyticity / 2. Analytic Truths
The notion of analytic truth is absent in Aristotle [Aristotle, by Politis]
     Full Idea: The notion of analytic truth is conspicuously absent in Aristotle.
     From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.5
     A reaction: Cf. Idea 11239.
21. Aesthetics / A. Aesthetic Experience / 4. Beauty
If goodness involves moderation and proportion, then it seems to be found in beauty [Plato]
     Full Idea: Moderation and proportion seem, in effect, to be beauty and excellence. So now this property we're looking for, goodness, has taken refuge in beauty.
     From: Plato (Philebus [c.353 BCE], 64e)
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
Aristotle never actually says that man is a rational animal [Aristotle, by Fogelin]
     Full Idea: To the best of my knowledge (and somewhat to my surprise), Aristotle never actually says that man is a rational animal; however, he all but says it.
     From: report of Aristotle (works [c.330 BCE]) by Robert Fogelin - Walking the Tightrope of Reason Ch.1
     A reaction: When I read this I thought that this database would prove Fogelin wrong, but it actually supports him, as I can't find it in Aristotle either. Descartes refers to it in Med.Two. In Idea 5133 Aristotle does say that man is a 'social being'. But 22586!
22. Metaethics / C. The Good / 1. Goodness / a. Form of the Good
Neither intellect nor pleasure are the good, because they are not perfect and self-sufficient [Plato]
     Full Idea: Both intellect and pleasure are completely absolved of being the good itself, since they both lack independence, that is, sufficiency and perfection.
     From: Plato (Philebus [c.353 BCE], 67a)
     A reaction: This seems to be Plato disagreeing with Socrates, who sees reason and intellect as central to morality. Presumable he means that the good should be a primitive. Why is pleasure not sufficient?
The good involves beauty, proportion and truth [Plato]
     Full Idea: If we are unable to net the good in a single concept, three must capture it: namely, beauty, proportion and truth.
     From: Plato (Philebus [c.353 BCE], 65a)
     A reaction: Very interesting. More illuminating than the discussion of the Good in 'Republic'. Is a handsome and honest murderer good? Is beauty part of the nature of the good, or a hallmark of it?
22. Metaethics / C. The Good / 1. Goodness / b. Types of good
Good first, then beauty, then reason, then knowledge, then pleasure [Plato, by PG]
     Full Idea: Good is supreme, followed by beauty, then reason, then knowledge, then pure pleasure, then mixed pleasure.
     From: report of Plato (Philebus [c.353 BCE], 67a) by PG - Db (ideas)
     A reaction: He tells us that pure pleasures are simple pleasures. Epicurus presumably read this. No mention of truth, unless that is part of reason. Why does he value beauty so highly?
22. Metaethics / C. The Good / 3. Pleasure / a. Nature of pleasure
Some of the pleasures and pains we feel are false [Plato]
     Full Idea: Living beings experience pleasures and pains which seem, and indeed are, false.
     From: Plato (Philebus [c.353 BCE], 42c)
     A reaction: The idea that there are 'authentic' pleasures and pains needs some investigation. Misguided anger is a false pain? Vanity is a false pleasure?
22. Metaethics / C. The Good / 3. Pleasure / b. Types of pleasure
A small pure pleasure is much finer than a large one contaminated with pain [Plato]
     Full Idea: A tiny little pleasure is, if uncontaminated by pain, always more pleasant, truer and finer than a large amount.
     From: Plato (Philebus [c.353 BCE], 53b)
     A reaction: More Platonic puritanism. Is a complete absence of pleasure the highest pleasure of all? I don't think I understand 'truer'. Why would a pleasure be false because it is intense?
22. Metaethics / C. The Good / 3. Pleasure / c. Value of pleasure
The good must be sufficient and perfect, and neither intellect nor pleasure are that [Plato]
     Full Idea: Neither pleasure nor intellect comprises the good. If it did it would have to be sufficient and perfect.
     From: Plato (Philebus [c.353 BCE], 22b)
     A reaction: Seems sensible. I can't make sense of any vision of the good which consists of suppressing some aspect of human nature. (Hm. Our capacity for violence?)
Would you prefer a life of pleasure without reason, or one of reason without pleasure? [Plato]
     Full Idea: Try thinking about the life of pleasure without reason, and the life of reason without pleasure.
     From: Plato (Philebus [c.353 BCE], 20e)
     A reaction: I suspect that we see the two as more deeply entangled that Plato did. It would be hard to motivate reasoning if we didn't enjoy it. Pleasure without reason sound dire.
Reason, memory, truth and wisdom are far better than pleasure, for those who can attain them [Plato]
     Full Idea: My contention is that reason, intellect, memory - along with correct belief and true calculation - are far better than pleasure for all creatures capable of attaining them.
     From: Plato (Philebus [c.353 BCE], 11b)
     A reaction: Why? Is it better to understand deeply, or to act well? Can we just say there is objective good and subjective good, and they have little in common? Depressed heroes.
Pleasure is certainly very pleasant, but it doesn't follow that all pleasures are good [Plato]
     Full Idea: The pleasantness of pleasure is not in dispute, but where we say the majority of pleasures are bad, though some are good, you are attributing goodness to all of them.
     From: Plato (Philebus [c.353 BCE], 13b)
     A reaction: Bentham's plausible view is that the feeling of pleasure is always good, and the badness is in some other aspect of the event. Compare sadistic fantasy with sadistic action.
It is unlikely that the gods feel either pleasure or pain [Plato]
     Full Idea: It is unlikely that the gods feel pleasure or the opposite.
     From: Plato (Philebus [c.353 BCE], 33b)
     A reaction: Compare Idea 383.
22. Metaethics / C. The Good / 3. Pleasure / d. Sources of pleasure
We feel pleasure when we approach our natural state of harmony [Plato]
     Full Idea: When harmony is being restored, and the natural state of harmony is approached, then pleasure arises.
     From: Plato (Philebus [c.353 BCE], 31d)
     A reaction: The supreme value of harmony was important to Plato, but most of us are less convinced, I suspect. The way to achieve harmony is to avoid anything stressful.
22. Metaethics / C. The Good / 3. Pleasure / e. Role of pleasure
Intense pleasure and pain are not felt in a good body, but in a worthless one [Plato]
     Full Idea: Intensity of pleasure and pain is to be found not in a good state of body and soul, but in a worthless one.
     From: Plato (Philebus [c.353 BCE], 45e)
     A reaction: This just seems to be Plato's puritanism. How can you criticise someone for experience genuine intense pain? Experiencing intense pleasure is no crime, but pursuit of it might be.
23. Ethics / A. Egoism / 2. Hedonism
Hedonists must say that someone in pain is bad, even if they are virtuous [Plato]
     Full Idea: A hedonist must say that someone who happens to be feeling pain rather than pleasure is, as long as the pain lasts, a bad man, even if he is the most virtuous man in the world.
     From: Plato (Philebus [c.353 BCE], 55b)
If you lived a life of maximum pleasure, would you still be lacking anything? [Plato]
     Full Idea: Would you, Protarchus, gladly live your whole life experiencing only the greatest pleasure? Would you think you were still lacking anything?
     From: Plato (Philebus [c.353 BCE], 21a)
     A reaction: the pleasure machine problem
A life of pure pleasure with no intellect is the life of a jellyfish [Plato]
     Full Idea: A life of pure pleasure with no intellect is not the life of a human being, but the life of a jellyfish.
     From: Plato (Philebus [c.353 BCE], 21c)
25. Social Practice / E. Policies / 5. Education / a. Aims of education
It is the mark of an educated mind to be able to entertain an idea without accepting it [Aristotle]
     Full Idea: It is the mark of an educated mind to be able to entertain an idea without accepting it.
     From: Aristotle (works [c.330 BCE])
     A reaction: The epigraph on a David Chalmers website. A wonderful remark, and it should be on the wall of every beginners' philosophy class. However, while it is in the spirit of Aristotle, it appears to be a misattribution with no ancient provenance.
25. Social Practice / E. Policies / 5. Education / b. Education principles
Aristotle said the educated were superior to the uneducated as the living are to the dead [Aristotle, by Diog. Laertius]
     Full Idea: Aristotle was asked how much educated men were superior to those uneducated; "As much," he said, "as the living are to the dead."
     From: report of Aristotle (works [c.330 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 05.1.11
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
There are potential infinities (never running out), but actual infinity is incoherent [Aristotle, by Friend]
     Full Idea: Aristotle developed his own distinction between potential infinity (never running out) and actual infinity (there being a collection of an actual infinite number of things, such as places, times, objects). He decided that actual infinity was incoherent.
     From: report of Aristotle (works [c.330 BCE]) by Michèle Friend - Introducing the Philosophy of Mathematics 1.3
     A reaction: Friend argues, plausibly, that this won't do, since potential infinity doesn't make much sense if there is not an actual infinity of things to supply the demand. It seems to just illustrate how boggling and uncongenial infinity was to Aristotle.
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / a. Greek matter
Aristotle's matter can become any other kind of matter [Aristotle, by Wiggins]
     Full Idea: Aristotle's conception of matter permits any kind of matter to become any other kind of matter.
     From: report of Aristotle (works [c.330 BCE]) by David Wiggins - Substance 4.11.2
     A reaction: This is obviously crucial background information when we read Aristotle on matter. Our 92+ elements, and fixed fundamental particles, gives a quite different picture. Aristotle would discuss form and matter quite differently now.
26. Natural Theory / C. Causation / 8. Particular Causation / c. Conditions of causation
A cause is the total of all the conditions which inevitably produce the result [Mill]
     Full Idea: A cause is the sum total of the conditions positive and negative taken together ...which being realized, the consequent invariably follows.
     From: John Stuart Mill (System of Logic [1843]), quoted by Donald Davidson - Causal Relations §1
     A reaction: This has obvious problems. The absence of Napoleon was a cause of the English Civil War. The Big Bang was a cause of, well, every event. As Davidson notes, some narrowing down is needed.
26. Natural Theory / C. Causation / 8. Particular Causation / d. Selecting the cause
Causes and conditions are not distinct, because we select capriciously from among them [Mill]
     Full Idea: Nothing can better show the absence of any scientific ground for the distinction between the cause of a phenomena and its conditions, than the capricious manner in which we select from among the conditions that which we choose to denominate the cause.
     From: John Stuart Mill (System of Logic [1843]), quoted by Jonathan Schaffer - The Metaphysics of Causation 2.2
     A reaction: [ref Mill p.196, 1846 edn] Schaffer gives this as the main argument for the 'no-basis' view of the selection of what causes an event. The usual thought is that it is entirely our immediate interests which make us select THE cause. Not convinced.
The strict cause is the total positive and negative conditions which ensure the consequent [Mill]
     Full Idea: The cause, philosophically speaking, is the sum total of the conditions, positive and negative taken together; the whole of the contigencies of every description, which being realized, the consequent invariably follows.
     From: John Stuart Mill (System of Logic [1843], 3.05.3)
     A reaction: This somewhat notorious remark is not going to be much help in a law court or a laboratory. It is that view which says that the Big Bang must be included in every causal list ever compiled. Well, yes...
26. Natural Theory / C. Causation / 9. General Causation / a. Constant conjunction
Causation is just invariability of succession between every natural fact and a preceding fact [Mill]
     Full Idea: The Law of Causation, the recognition of which is the main pillar of inductive science, is but the familiar truth, that invariability of succession is found by observation between every fact in nature and some other fact which has preceded it.
     From: John Stuart Mill (System of Logic [1843], 3.5.2), quoted by Bertrand Russell - On the Notion of Cause p.178
     A reaction: Note that Mill rests causation on 'facts'. In the empiricist Mill endorsing the views of Hume. Russell attacks the bogus claim that science rests on causation. Personally I think Mill's view is incorrect.
26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity
A cause is an antecedent which invariably and unconditionally leads to a phenomenon [Mill]
     Full Idea: We may define the cause of a phenomenon to be the antecedent, or the concurrence of the antecedents, on which it is invariably and unconditionally consequent.
     From: John Stuart Mill (System of Logic [1843], 3.05.6)
     A reaction: This ignores the possibility of the world ending just before the effect occurs, the 'ceteris paribus' clause. If it only counts as a cause if the effect has actually occurred, we begin to suspect tautology.
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
Mill's regularity theory of causation is based on an effect preceded by a conjunction of causes [Mill, by Psillos]
     Full Idea: Millian causation is a version of the Regularity Theory, but with the addition that when claiming that an effect invariably follows from the cause, the cause is not a single factor, but a whole conjunction of necessary and sufficient conditions.
     From: report of John Stuart Mill (System of Logic [1843], p.217) by Stathis Psillos - Causation and Explanation §2.2
     A reaction: Psillos endorses this as an improvement on Hume. But while we may replicate one event preceding another to get regularity, groups of events are hardly ever identical, so no precise pattern will ever be seen.
In Mill's 'Method of Agreement' cause is the common factor in a range of different cases [Mill, by Psillos]
     Full Idea: In Mill's 'Method of Agreement' the cause is the common factor in a number of otherwise different cases in which the effect occurs.
     From: report of John Stuart Mill (System of Logic [1843], p.255) by Stathis Psillos - Causation and Explanation §2.3
     A reaction: This looks more likely to be good evidence for the cause of an event, rather than a definition of what a cause actually is. Suppose a footballer only scores if and only if I go to watch him?
In Mill's 'Method of Difference' the cause is what stops the effect when it is removed [Mill, by Psillos]
     Full Idea: In Mill's 'Method of Difference' the cause is the factor which is different in two cases which are similar, except that in one the effect occurs, and in the other it doesn't.
     From: report of John Stuart Mill (System of Logic [1843], p.256) by Stathis Psillos - Causation and Explanation §2.3
     A reaction: Like the Method of Agreement, this is a good test, but is unlikely to be a conclusive hallmark of causation. A footballer may never score unless I go to watch him. I become his lucky mascot…
26. Natural Theory / D. Laws of Nature / 4. Regularities / b. Best system theory
What are the fewest propositions from which all natural uniformities could be inferred? [Mill]
     Full Idea: What are the fewest general propositions from which all the uniformities which exist in the universe might be deductively inferred?
     From: John Stuart Mill (System of Logic [1843], 3.4.1)
     A reaction: This is the germ of the Mill-Ramsey-Lewis view.
29. Religion / A. Polytheistic Religion / 2. Greek Polytheism
The concepts of gods arose from observing the soul, and the cosmos [Aristotle, by Sext.Empiricus]
     Full Idea: Aristotle said that the conception of gods arose among mankind from two originating causes, namely from events which concern the soul and from celestial phenomena.
     From: report of Aristotle (works [c.330 BCE], Frag 10) by Sextus Empiricus - Against the Physicists (two books) I.20
     A reaction: The cosmos suggests order, and possible creation. What do events of the soul suggest? It doesn't seem to be its non-physical nature, because Aristotle is more of a functionalist. Puzzling. (It says later that gods are like the soul).