Combining Texts

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

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


89 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
For Plato true wisdom is supernatural [Plato, by Weil]
     Full Idea: It is evident that Plato regards true wisdom as something supernatural.
     From: report of Plato (works [c.375 BCE]) by Simone Weil - God in Plato p.61
     A reaction: Taken literally, I assume this is wrong, but we can empathise with the thought. Wisdom has the feeling of rising above the level of mere knowledge, to achieve the overview I associate with philosophy.
1. Philosophy / C. History of Philosophy / 2. Ancient Philosophy / b. Pre-Socratic philosophy
Plato never mentions Democritus, and wished to burn his books [Plato, by Diog. Laertius]
     Full Idea: Plato, who mentions nearly all the ancient philosophers, nowhere speaks of Democritus; he wished to burn all of his books, but was persuaded that it was futile.
     From: report of Plato (works [c.375 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.7.8
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
Philosophy attains its goal if one person feels perfect accord between their system and experience [Fichte]
     Full Idea: If even a single person is completely convinced of his philosophy; ...if his free judgement in philosophising, and what life obtrudes upon him, are perfectly in accord; then in this person philosophy has completed its circuit and attained its goal.
     From: Johann Fichte (works [1798], I:512), quoted by A.W. Moore - The Evolution of Modern Metaphysics 06.4
     A reaction: Interesting to hear a famous idealist offering accordance with real life as a criterion for philosophical success. But that is real life, but not as you and I may know it.... His criterion is very subjective. A bad philosopher might attain it?
2. Reason / A. Nature of Reason / 7. Status of Reason
For Fichte there is no God outside the ego, and 'our religion is reason' [Fichte, by Feuerbach]
     Full Idea: For Fichte there is no God outside the ego, and 'our religion is reason'.
     From: report of Johann Fichte (works [1798]) by Ludwig Feuerbach - Principles of Philosophy of the Future §17
     A reaction: Fichte was not an atheist, but this seems to be a supreme aphorism for summarising our image of the Englightenment. Personally I subscribe to the Enlightenment ideal (the best life is the rational life), despite doubts about 'pure' reason.
2. Reason / C. Styles of Reason / 1. Dialectic
Two contradictories force us to find a relation which will correlate them [Plato, by Weil]
     Full Idea: Where contradictions appear there is a correlation of contraries, which is relation. If a contradiction is imposed on the intelligence, it is forced to think of a relation to transform the contradiction into a correlation, which draws the soul higher.
     From: report of Plato (works [c.375 BCE]) by Simone Weil - God in Plato p.70
     A reaction: A much better account of the dialectic than anything I have yet seen in Hegel. For the first time I see some sense in it. A contradiction is not a falsehood, and it must be addressed rather than side-stepped. A kink in the system, that needs ironing.
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.
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 / 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 / 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.
8. Modes of Existence / A. Relations / 3. Structural Relations
Plato's idea of 'structure' tends to be mathematically expressed [Plato, by Koslicki]
     Full Idea: 'Structure' tends to be characterized by Plato as something that is mathematically expressed.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects V.3 iv
     A reaction: [Koslicki is drawing on Verity Harte here]
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
When Diogenes said he could only see objects but not their forms, Plato said it was because he had eyes but no intellect [Plato, by Diog. Laertius]
     Full Idea: When Diogenes told Plato he saw tables and cups, but not 'tableness' and 'cupness', Plato replied that this was because Diogenes had eyes but no intellect.
     From: report of Plato (works [c.375 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 06.2.6
Platonists argue for the indivisible triangle-in-itself [Plato, by Aristotle]
     Full Idea: The Platonists, on the basis of purely logical arguments, posit the existence of an indivisible 'triangle in itself'.
     From: report of Plato (works [c.375 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 316a15
     A reaction: A helpful confirmation that geometrical figures really are among the Forms (bearing in mind that numbers are not, because they contain one another). What shape is the Form of the triangle?
Plato's Forms meant that the sophists only taught the appearance of wisdom and virtue [Plato, by Nehamas]
     Full Idea: Plato's theory of Forms allowed him to claim that the sophists and other opponents were trapped in the world of appearance. What they therefore taught was only apparent wisdom and virtue.
     From: report of Plato (works [c.375 BCE]) by Alexander Nehamas - Eristic,Antilogic,Sophistic,Dialectic p.118
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
If there is one Form for both the Form and its participants, they must have something in common [Aristotle on Plato]
     Full Idea: If there is the same Form for the Forms and for their participants, then they must have something in common.
     From: comment on Plato (works [c.375 BCE]) by Aristotle - Metaphysics 991a
8. Modes of Existence / D. Universals / 6. Platonic Forms / c. Self-predication
If gods are like men, they are just eternal men; similarly, Forms must differ from particulars [Aristotle on Plato]
     Full Idea: We say there is the form of man, horse and health, but nothing else, making the same mistake as those who say that there are gods but that they are in the form of men. They just posit eternal men, and here we are not positing forms but eternal sensibles.
     From: comment on Plato (works [c.375 BCE]) by Aristotle - Metaphysics 997b
8. Modes of Existence / D. Universals / 6. Platonic Forms / d. Forms critiques
The Forms cannot be changeless if they are in changing things [Aristotle on Plato]
     Full Idea: The Forms could not be changeless if they were in changing things.
     From: comment on Plato (works [c.375 BCE]) by Aristotle - Metaphysics 998a
A Form is a cause of things only in the way that white mixed with white is a cause [Aristotle on Plato]
     Full Idea: A Form is a cause of things only in the way that white mixed with white is a cause.
     From: comment on Plato (works [c.375 BCE]) by Aristotle - Metaphysics 991a
9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta
The greatest discovery in human thought is Plato's discovery of abstract objects [Brown,JR on Plato]
     Full Idea: The greatest discovery in the history of human thought is Plato's discovery of abstract objects.
     From: comment on Plato (works [c.375 BCE]) by James Robert Brown - Philosophy of Mathematics Ch. 2
     A reaction: Compare Idea 2860! Given the diametrically opposed views, it is clearly likely that Plato's central view is the most important idea in the history of human thought, even if it is wrong.
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
We can grasp whole things in science, because they have a mathematics and a teleology [Plato, by Koslicki]
     Full Idea: Due to the mathematical nature of structure and the teleological cause underlying the creation of Platonic wholes, these wholes are intelligible, and are in fact the proper objects of science.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects 5.3
     A reaction: I like this idea, because it pays attention to the connection between how we conceive objects to be, and how we are able to think about objects. Only examining these two together enables us to grasp metaphysics.
9. Objects / B. Unity of Objects / 1. Unifying an Object / a. Intrinsic unification
Plato sees an object's structure as expressible in mathematics [Plato, by Koslicki]
     Full Idea: The 'structure' of an object tends to be characterised by Plato as something that is mathematically expressible.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects 5.3
     A reaction: This seems to be pure Pythagoreanism (see Idea 644). Plato is pursuing Pythagoras's research programme, of trying to find mathematics buried in every aspect of reality.
Plato was less concerned than Aristotle with the source of unity in a complex object [Plato, by Koslicki]
     Full Idea: Plato was less concerned than Aristotle with the project of how to account, in completely general terms, for the source of unity within a mereologically complex object.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects 5.5
     A reaction: Plato seems to have simply asserted that some sort of harmony held things together. Aristotles puts the forms [eidos] within objects, rather than external, so he has to give a fuller account of what is going on in an object. He never managed it!
9. Objects / B. Unity of Objects / 2. Substance / c. Types of substance
Plato's holds that there are three substances: Forms, mathematical entities, and perceptible bodies [Plato, by Aristotle]
     Full Idea: Plato's doctrine was that the Forms and mathematicals are two substances and that the third substance is that of perceptible bodies.
     From: report of Plato (works [c.375 BCE]) by Aristotle - Metaphysics 1028b
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 / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
Plato says wholes are either containers, or they're atomic, or they don't exist [Plato, by Koslicki]
     Full Idea: Plato considers a 'container' model for wholes (which are disjoint from their parts) [Parm 144e3-], and a 'nihilist' model, in which only wholes are mereological atoms, and a 'bare pluralities' view, in which wholes are not really one at all.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects 5.2
     A reaction: [She cites Verity Harte for this analysis of Plato] The fourth, and best, seems to be that wholes are parts which fall under some unifying force or structure or principle.
9. Objects / D. Essence of Objects / 2. Types of Essence
Only universals have essence [Plato, by Politis]
     Full Idea: Plato argues that only universals have essence.
     From: report of Plato (works [c.375 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.4
9. Objects / D. Essence of Objects / 6. Essence as Unifier
Plato and Aristotle take essence to make a thing what it is [Plato, by Politis]
     Full Idea: Plato and Aristotle have a shared general conception of essence: the essence of a thing is what that thing is simply in virtue of itself and in virtue of being the very thing it is. It answers the question 'What is this very thing?'
     From: report of Plato (works [c.375 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.4
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 / C. Knowing Reality / 3. Idealism / b. Transcendental idealism
Fichte believed in things-in-themselves [Fichte, by Moore,AW]
     Full Idea: Fichte retained a broadly Kantian conception of how things are in themselves.
     From: report of Johann Fichte (works [1798]) by A.W. Moore - The Evolution of Modern Metaphysics 07.2
     A reaction: The contrast is between those who believe in the thing-in-itself, while admitting that we can't know it, and those who deny such a thing. The debate returned 130 years later as verificationism in language.
We can deduce experience from self-consciousness, without the thing-in-itself [Fichte]
     Full Idea: We can abandon the thing-in-itself, and aim for 'a complete deduction of all experience from the possibility of self-consciousness'.
     From: Johann Fichte (works [1798], I p.425), quoted by Peter B. Lewis - Schopenhauer 3
     A reaction: German Idealism now looks to me like a weird abberation in the history of philosophy, though no doubt it has (like every philosophical theory) some supporters out there somewhere. Schopenhauer called this 'raving nonsense'.
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / d. Absolute idealism
The absolute I divides into consciousness, and a world which is not-I [Fichte, by Bowie]
     Full Idea: Fichte's very influential idea is that the subject becomes divided against itself. The absolute I splits into an I (consciousness) and a not-I (the objective world) that are relative to each other.
     From: report of Johann Fichte (works [1798]) by Andrew Bowie - Introduction to German Philosophy 3 'Fichtean'
     A reaction: This is German Idealism in action. Is there a before and after the split here? I can't make much sense of this idea. It is said that babies spend a while deciding which bits are them and which aren't. There is more to the world than 'not-I'.
Reason arises from freedom, so philosophy starts from the self, and not from the laws of nature [Fichte]
     Full Idea: Not by any law of nature do we attain to reason; we achieve it by absolute freedom. ...In philosophy, therefore, we must necessarily start from the self. The materialists' project of deriving the appearance of reason from natural laws is impossible.
     From: Johann Fichte (works [1798], I:298), quoted by A.W. Moore - The Evolution of Modern Metaphysics
     A reaction: I blame Descartes' Cogito for this misunderstanding. The underlying idea (in Kant, and probably earlier) is that pure reason needs pure free will. Modern thought usually sees reason as extremely impure.
Abandon the thing-in-itself; things only exist in relation to our thinking [Fichte]
     Full Idea: We must be rid of the thing-in-itself; for whatever we may think, we are that which thinks therein, and hence nothing could ever come to exist independently of us, for everything is necessarily related to our thinking.
     From: Johann Fichte (works [1798], I:501), quoted by A.W. Moore - The Evolution of Modern Metaphysics 06.3
     A reaction: Some statements of idealism are understandable, or even quite plausible, but this one sounds ridiculous. The idea that if human beings die out then reality ceases to exist is absurd humanistic vanity.
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 / 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.
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 / C. Induction / 1. Induction
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).
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.
14. Science / D. Explanation / 1. Explanation / a. Explanation
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 / 1. Explanation / b. Aims of explanation
A good explanation totally rules out the opposite explanation (so Forms are required) [Plato, by Ruben]
     Full Idea: For Plato, an acceptable explanation is one such that there is no possibility of there being the opposite explanation at all, and he thought that only explanations in terms of the Forms, but never physical explanations, could meet this requirement.
     From: report of Plato (works [c.375 BCE]) by David-Hillel Ruben - Explaining Explanation Ch 2
     A reaction: [Republic 436c is cited]
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 / 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.
16. Persons / F. Free Will / 4. For Free Will
Spinoza could not actually believe his determinism, because living requires free will [Fichte]
     Full Idea: Spinoza could only think his philosophy, not believe it, for it stood in immediate contradiction to his necessary conviction in daily life, whereby he was bound to regard himself as free and independent.
     From: Johann Fichte (works [1798], I:513), quoted by A.W. Moore - The Evolution of Modern Metaphysics 06.2
     A reaction: This seems to be invoking Kant's idea that we must presuppose free will, rather than an assertion that we actually have it.
18. Thought / A. Modes of Thought / 3. Emotions / g. Controlling emotions
Plato wanted to somehow control and purify the passions [Vlastos on Plato]
     Full Idea: Plato put high on his agenda a project which did not figure in Socrates' programme at all: the hygienic conditioning of the passions. This cannot be an intellectual process, as argument cannot touch them.
     From: comment on Plato (works [c.375 BCE]) by Gregory Vlastos - Socrates: Ironist and Moral Philosopher p.88
     A reaction: This is the standard traditional view of any thinker who exaggerates the importance and potential of reason in our lives.
18. Thought / E. Abstraction / 1. Abstract Thought
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.
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.
19. Language / F. Communication / 1. Rhetoric
Plato's whole philosophy may be based on being duped by reification - a figure of speech [Benardete,JA on Plato]
     Full Idea: Plato is liable to the charge of having been duped by a figure of speech, albeit the most profound of all, the trope of reification.
     From: comment on Plato (works [c.375 BCE]) by José A. Benardete - Metaphysics: the logical approach Ch.12
     A reaction: That might be a plausible account if his view was ridiculous, but given how many powerful friends Plato has, especially in the philosophy of mathematics, we should assume he was cleverer than that.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / c. Ethical intuitionism
Plato never refers to examining the conscience [Plato, by Foucault]
     Full Idea: Plato never speaks of the examination of conscience - never!
     From: report of Plato (works [c.375 BCE]) by Michel Foucault - On the Genealogy of Ethics p.276
     A reaction: Plato does imply some sort of self-evident direct knowledge about that nature of a healthy soul. Presumably the full-blown concept of conscience is something given from outside, from God. In 'Euthyphro', Plato asserts the primacy of morality (Idea 337).
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
As religion and convention collapsed, Plato sought morals not just in knowledge, but in the soul [Williams,B on Plato]
     Full Idea: Once gods and fate and social expectation were no longer there, Plato felt it necessary to discover ethics inside human nature, not just as ethical knowledge (Socrates' view), but in the structure of the soul.
     From: comment on Plato (works [c.375 BCE]) by Bernard Williams - Shame and Necessity II - p.43
     A reaction: anti Charles Taylor
22. Metaethics / C. The Good / 1. Goodness / b. Types of good
Plato's legacy to European thought was the Good, the Beautiful and the True [Plato, by Gray]
     Full Idea: Plato's legacy to European thought was a trio of capital letters - the Good, the Beautiful and the True.
     From: report of Plato (works [c.375 BCE]) by John Gray - Straw Dogs 2.8
     A reaction: It seems to have been Baumgarten who turned this into a slogan (Idea 8117). Gray says these ideals are lethal, but I identify with them very strongly, and am quite happy to see the good life as an attempt to find the right balance between them.
22. Metaethics / C. The Good / 1. Goodness / f. Good as pleasure
Pleasure is better with the addition of intelligence, so pleasure is not the good [Plato, by Aristotle]
     Full Idea: Plato says the life of pleasure is more desirable with the addition of intelligence, and if the combination is better, pleasure is not the good.
     From: report of Plato (works [c.375 BCE]) by Aristotle - Nicomachean Ethics 1172b27
     A reaction: It is obvious why we like pleasure, but not why intelligence makes it 'better'. Maybe it is just because we enjoy intelligence?
22. Metaethics / C. The Good / 2. Happiness / d. Routes to happiness
Plato decided that the virtuous and happy life was the philosophical life [Plato, by Nehamas]
     Full Idea: Plato came to the conclusion that virtue and happiness consist in the life of philosophy itself.
     From: report of Plato (works [c.375 BCE]) by Alexander Nehamas - Eristic,Antilogic,Sophistic,Dialectic p.117
     A reaction: This view is obviously ridiculous, because it largely excludes almost the entire human race, which sees philosophy as a cul-de-sac, even if it is good. But virtue and happiness need some serious thought.
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
Plato, unusually, said that theoretical and practical wisdom are inseparable [Plato, by Kraut]
     Full Idea: Two virtues that are ordinarily kept distinct - theoretical and practical wisdom - are joined by Plato; he thinks that neither one can be fully possessed unless it is combined with the other.
     From: report of Plato (works [c.375 BCE]) by Richard Kraut - Plato
     A reaction: I get the impression that this doctrine comes from Socrates, whose position is widely reported as 'intellectualist'. Aristotle certainly held the opposite view.
23. Ethics / F. Existentialism / 4. Boredom
Plato is boring [Nietzsche on Plato]
     Full Idea: Plato is boring.
     From: comment on Plato (works [c.375 BCE]) by Friedrich Nietzsche - Twilight of the Idols 9.2
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.
27. Natural Reality / D. Time / 3. Parts of Time / a. Beginning of time
Almost everyone except Plato thinks that time could not have been generated [Plato, by Aristotle]
     Full Idea: With a single exception (Plato) everyone agrees about time - that it is not generated. Democritus says time is an obvious example of something not generated.
     From: report of Plato (works [c.375 BCE]) by Aristotle - Physics 251b14