Combining Texts

All the ideas for 'Parmenides', 'My Philosophical Development' and 'The Philosophy of Logical Atomism'

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


91 ideas

1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
The business of metaphysics is to describe the world [Russell]
     Full Idea: It seems to me that the business of metaphysics is to describe the world.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §III)
     A reaction: At least he believed in metaphysics. Presumably he intends to describe the world in terms of its categories, rather than cataloguing every blade of grass.
1. Philosophy / F. Analytic Philosophy / 1. Nature of Analysis
Only by analysing is progress possible in philosophy [Russell]
     Full Idea: I remain firmly persuaded, in spite of some modern tendencies to the contrary, that only by analysing is progress possible, …for example, by analysing physics and perception, the problem of mind and matter can be completely solved.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.1)
     A reaction: I don't share his confidence in the second part of this, but I subscribe to the maxim that 'analsis is the path to wisdom'. It is a very western view, and lots of people (mostly of a mystical disposition) hate it, but I see no better path.
Analysis gives new knowledge, without destroying what we already have [Russell]
     Full Idea: It seems to me evident that, as in the case of impure water, analysis gives new knowledge without destroying any of the previously existing knowledge.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.11)
     A reaction: I agree. On the whole, opponents of analysis are sentimental mystics who are reluctant to think carefully about life. I'm not sure what careful and concentrated thought is capable of, apart from analysis.
2. Reason / A. Nature of Reason / 1. On Reason
When questions are doubtful we should concentrate not on objects but on ideas of the intellect [Plato]
     Full Idea: Doubtful questions should not be discussed in terms of visible objects or in relation to them, but only with reference to ideas conceived by the intellect.
     From: Plato (Parmenides [c.364 BCE], 135e)
2. Reason / B. Laws of Thought / 5. Opposites
Opposites are as unlike as possible [Plato]
     Full Idea: Opposites are as unlike as possible.
     From: Plato (Parmenides [c.364 BCE], 159a)
2. Reason / B. Laws of Thought / 6. Ockham's Razor
Reducing entities and premisses makes error less likely [Russell]
     Full Idea: You diminish the risk of error with every diminution of entities and premisses.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §VIII)
     A reaction: If there are actually lots of entities, you would increase error if you reduced them too much. Ockham's Razor seems more to do with the limited capacity of the human mind than with the simplicity or complexity of reality. See Idea 4456.
2. Reason / C. Styles of Reason / 1. Dialectic
Plato's 'Parmenides' is the greatest artistic achievement of the ancient dialectic [Hegel on Plato]
     Full Idea: Plato's 'Parmenides' is the greatest artistic achievement of the ancient dialectic.
     From: comment on Plato (Parmenides [c.364 BCE]) by Georg W.F.Hegel - Phenomenology of Spirit Pref 71
     A reaction: It is a long way from the analytic tradition of philosophy to be singling out a classic text for its 'artistic' achievement. Eventually we may even look back on, say, Kripke's 'Naming and Necessity' and see it in that light.
2. Reason / F. Fallacies / 8. Category Mistake / a. Category mistakes
The theory of types makes 'Socrates and killing are two' illegitimate [Russell]
     Full Idea: 'Socrates and killing are two' would be an illegitimate sentence according to the doctrine of types.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.14)
     A reaction: This nicely shows how Ryle's notion of a 'category mistake', although it is a commonsense observation of bogus reasoning, arises out of Russell's logical analysis of sets. Of course, the theory of types has its critics.
3. Truth / A. Truth Problems / 5. Truth Bearers
Truth belongs to beliefs, not to propositions and sentences [Russell]
     Full Idea: Truth and falsehood both belong primarily to beliefs, and only derivatively to propositions and sentences.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.15)
     A reaction: I'm not sure why a proposition which is date/place stamped ('it is raining, here and now') could not be considered a truth, even if no one believed it. Is not the proposition 'squares have four sides' true?
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
Facts make propositions true or false, and are expressed by whole sentences [Russell]
     Full Idea: A fact is the kind of thing that makes a proposition true or false, …and it is the sort of thing that is expressed by a whole sentence, not by a single name like 'Socrates'.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §I)
     A reaction: It is important to note a point here which I consider vital - that Russell keeps the idea of a fact quite distinct from the language in which it is expressed. Facts are a 'sort of thing', of the kind which are now referred to as 'truth-makers'.
3. Truth / B. Truthmakers / 8. Making General Truths
Not only atomic truths, but also general and negative truths, have truth-makers [Russell, by Rami]
     Full Idea: In 1918 Russell held that beside atomic truths, also general and negative truths have truth-makers.
     From: report of Bertrand Russell (The Philosophy of Logical Atomism [1918]) by Adolph Rami - Introduction: Truth and Truth-Making note 04
4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets
Normally a class with only one member is a problem, because the class and the member are identical [Russell]
     Full Idea: With the ordinary view of classes you would say that a class that has only one member was the same as that one member; that will land you in terrible difficulties, because in that case that one member is a member of that class, namely, itself.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §VII)
     A reaction: The problem (I think) is that classes (sets) were defined by Frege as being identical with their members (their extension). With hindsight this may have been a mistake. The question is always 'why is that particular a member of that set?'
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
I gradually replaced classes with properties, and they ended as a symbolic convenience [Russell]
     Full Idea: My original use of classes was gradually more and more replaced by properties, and in the end disappeared except as a symbolic convenience.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.14)
     A reaction: I wish I knew what properties are. On the whole, though, I agree with this, because it is more naturalistic. We may place things in classes because of their properties, and this means there are natural classes, but classes can't have a life of their own.
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
In a logically perfect language, there will be just one word for every simple object [Russell]
     Full Idea: In a logically perfect language, there will be one word and no more for every simple object.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §II)
     A reaction: In other words, there would be no universals, only names? All that matters is that a language can successfully refer (unambiguously) to anything it wishes to. There must be better ways than Russell's lexical explosion.
Romulus does not occur in the proposition 'Romulus did not exist' [Russell]
     Full Idea: Romulus does not occur in the proposition 'Romulus did not exist'.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §VI)
     A reaction: A very nice paradoxical assertion, which captures the problem of finding the logical form for negative existential statements. Presumably the proposition refers to the mythical founder of Rome, though. He is not, I suppose, rigidly designated.
Leibniz bases everything on subject/predicate and substance/property propositions [Russell]
     Full Idea: The metaphysics of Leibniz was explicitly based upon the doctrine that every proposition attributes a predicate to a subject and (what seemed to him almost the same thing) that every fact consists of a substance having a property.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.5)
     A reaction: I think it is realised now that although predicates tend to attribute properties to things, they are far from being the same thing. See Idea 4587, for example. Russell gives us an interesting foot in the door of Leibniz's complex system.
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
You can understand 'author of Waverley', but to understand 'Scott' you must know who it applies to [Russell]
     Full Idea: If you understand English you would understand the phrase 'the author of Waverley' if you had not heard it before, whereas you would not understand the meaning of 'Scott', because to know the meaning of a name is to know who it is applied to.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §VI)
     A reaction: Actually, you would find 'Waverley' a bit baffling too. Would you understand "he was the author of his own destruction"? You can understand "Homer was the author of this" without knowing quite who 'Homer' applies to. All very tricky.
There are a set of criteria for pinning down a logically proper name [Russell, by Sainsbury]
     Full Idea: A logically proper name must be semantically simple, have just one referent, be understood by the user, be scopeless, is not a definite description, and rigidly designates.
     From: report of Bertrand Russell (The Philosophy of Logical Atomism [1918], 24th pg) by Mark Sainsbury - The Essence of Reference Intro
     A reaction: Famously, Russell's hopes of achieving this logically desirable end got narrower and narrower, and ended with 'this' or 'that'. Maybe pure language can't do the job.
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
Treat description using quantifiers, and treat proper names as descriptions [Russell, by McCullogh]
     Full Idea: Having proposed that descriptions should be treated in quantificational terms, Russell then went on to introduce the subsidiary injunction that proper names should be treated as descriptions.
     From: report of Bertrand Russell (The Philosophy of Logical Atomism [1918]) by Gregory McCullogh - The Game of the Name 2.18
     A reaction: McCulloch says Russell 'has a lot to answer for' here. It became a hot topic with Kripke. Personally I find Lewis's notion of counterparts the most promising line of enquiry.
5. Theory of Logic / F. Referring in Logic / 1. Naming / e. Empty names
Names are meaningless unless there is an object which they designate [Russell]
     Full Idea: Unlike descriptions, names are meaningless unless there is an object which they designate.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.14)
     A reaction: This interests Russell because of its ontological implications. If we reduce language to names, we can have a pure ontology of 'objects'. We need a system for saying whether a description names something - which is his theory of definite descriptions.
A name has got to name something or it is not a name [Russell]
     Full Idea: A name has got to name something or it is not a name.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], 66th pg), quoted by Mark Sainsbury - The Essence of Reference 18.2
     A reaction: This seems to be stipulative, since most people would say that a list of potential names for a baby counted as names. It may be wrong. There are fictional names, or mistakes.
5. Theory of Logic / L. Paradox / 3. Antinomies
Plato found antinomies in ideas, Kant in space and time, and Bradley in relations [Plato, by Ryle]
     Full Idea: Plato (in 'Parmenides') shows that the theory that 'Eide' are substances, and Kant that space and time are substances, and Bradley that relations are substances, all lead to aninomies.
     From: report of Plato (Parmenides [c.364 BCE]) by Gilbert Ryle - Are there propositions? 'Objections'
Plato's 'Parmenides' is perhaps the best collection of antinomies ever made [Russell on Plato]
     Full Idea: Plato's 'Parmenides' is perhaps the best collection of antinomies ever made.
     From: comment on Plato (Parmenides [c.364 BCE]) by Bertrand Russell - The Principles of Mathematics §337
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
One is, so numbers exist, so endless numbers exist, and each one must partake of being [Plato]
     Full Idea: If one is, there must also necessarily be number - Necessarily - But if there is number, there would be many, and an unlimited multitude of beings. ..So if all partakes of being, each part of number would also partake of it.
     From: Plato (Parmenides [c.364 BCE], 144a)
     A reaction: This seems to commit to numbers having being, then to too many numbers, and hence to too much being - but without backing down and wondering whether numbers had being after all. Aristotle disagreed.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
We tried to define all of pure maths using logical premisses and concepts [Russell]
     Full Idea: The primary aim of our 'Principia Mathematica' was to show that all pure mathematics follows from purely logical premisses and uses only concepts definable in logical terms.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.7)
     A reaction: This spells out the main programme of logicism, by its great hero, Russell. The big question now is whether Gödel's Incompleteness Theorems have succeeded in disproving logicism.
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Formalists say maths is merely conventional marks on paper, like the arbitrary rules of chess [Russell]
     Full Idea: The Formalists, led by Hilbert, maintain that arithmetic symbols are merely marks on paper, devoid of meaning, and that arithmetic consists of certain arbitrary rules, like the rules of chess, by which these marks can be manipulated.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.10)
     A reaction: I just don't believe that maths is arbitrary, and this view pushes me into the arms of the empiricists, who say maths is far more likely to arise from experience than from arbitrary convention. The key to maths is patterns.
Formalism can't apply numbers to reality, so it is an evasion [Russell]
     Full Idea: Formalism is perfectly adequate for doing sums, but not for the application of number, such as the simple statement 'there are three men in this room', so it must be regarded as an unsatisfactory evasion.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.10)
     A reaction: This seems to me a powerful and simple objection. The foundation of arithmetic is that there are three men in the room, not that one plus two is three. Three men and three ties make a pattern, which we call 'three'.
6. Mathematics / C. Sources of Mathematics / 9. Fictional Mathematics
Numbers are classes of classes, and hence fictions of fictions [Russell]
     Full Idea: Numbers are classes of classes, and classes are logical fictions, so that numbers are, as it were, fictions at two removes, fictions of fictions.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §VIII)
     A reaction: This summarises the findings of Russell and Whitehead's researches into logicism. Gödel may have proved that project impossible, but there is now debate about that. Personally I think of numbers as names of patterns.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Intuitionism says propositions are only true or false if there is a method of showing it [Russell]
     Full Idea: The nerve of the Intuitionist theory, led by Brouwer, is the denial of the law of excluded middle; it holds that a proposition can only be accounted true or false when there is some method of ascertaining which of these it is.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.2)
     A reaction: He cites 'there are three successive sevens in the expansion of pi' as a case in point. This seems to me an example of the verificationism and anti-realism which is typical of that period. It strikes me as nonsense, but Russell takes it seriously.
7. Existence / A. Nature of Existence / 3. Being / c. Becoming
The one was and is and will be and was becoming and is becoming and will become [Plato]
     Full Idea: The one was and is and will be and was becoming and is becoming and will become.
     From: Plato (Parmenides [c.364 BCE], 155d)
7. Existence / A. Nature of Existence / 3. Being / f. Primary being
Plato's Parmenides has a three-part theory, of Primal One, a One-Many, and a One-and-Many [Plato, by Plotinus]
     Full Idea: The Platonic Parmenides is more exact [than Parmenides himself]; the distinction is made between the Primal One, a strictly pure Unity, and a secondary One which is a One-Many, and a third which is a One-and-Many.
     From: report of Plato (Parmenides [c.364 BCE]) by Plotinus - The Enneads 5.1.08
     A reaction: Plotinus approves of this three-part theory. Parmenides has the problem that the highest Being contains no movement. By placing the One outside Being you can give it powers which an existent thing cannot have. Cf the concept of God.
7. Existence / C. Structure of Existence / 6. Fundamentals / d. Logical atoms
Russell's new logical atomist was of particulars, universals and facts (not platonic propositions) [Russell, by Linsky,B]
     Full Idea: Russell's new logical atomist ontology was of particulars, universals and facts, replacing the ontology of 'platonic atomism' consisting just of propositions.
     From: report of Bertrand Russell (The Philosophy of Logical Atomism [1918]) by Bernard Linsky - Russell's Metaphysical Logic 1
     A reaction: Linsky cites Peter Hylton as saying that the earlier view was never replaced. The earlier view required propositions to be 'unified'. I surmise that the formula 'Fa' combines a universal and a particular, to form an atomic fact. [...but Idea 6111!]
Russell's atomic facts are actually compounds, and his true logical atoms are sense data [Russell, by Quine]
     Full Idea: In 1918 Russell does not admit facts as fundamental; atomic facts are atomic as facts go, but they are compound objects. The atoms of Russell's logical atomism are not atomic facts but sense data.
     From: report of Bertrand Russell (The Philosophy of Logical Atomism [1918]) by Willard Quine - Russell's Ontological Development p.83
     A reaction: By about 1921 Russell had totally given up sense-data, because he had been reading behaviourist psychology.
Logical atomism aims at logical atoms as the last residue of analysis [Russell]
     Full Idea: I call my doctrine logical atomism because, as the last residue of analysis, I wish to arrive at logical atoms and not physical atoms; some of them will be particulars, and others will be predicates and relations and so on.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §I)
     A reaction: However we judge it, logical atomism is a vital landmark in the history of 'analytical' philosophy, because it lays out the ideal for our assessment. It is fashionable to denigrate analysis, but I think it is simply the nearest to wisdom we will ever get.
Once you have enumerated all the atomic facts, there is a further fact that those are all the facts [Russell]
     Full Idea: When you have enumerated all the atomic facts in the world, it is a further fact about the world that those are all the atomic facts there are about the world.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §V)
     A reaction: There is obviously a potential regress of facts about facts here. This looks like one of the reasons why the original logical atomism had a short shelf-life. Personally I see this as an argument in favour of rationalism, in the way Bonjour argues for it.
Logical atoms aims to get down to ultimate simples, with their own unique reality [Russell]
     Full Idea: Logical atomism is the view that you can get down in theory, if not in practice, to ultimate simples, out of which the world is built, and that those simples have a kind of reality not belonging to anything else.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §VIII)
     A reaction: This dream is to empiricists what the Absolute is to rationalists - a bit silly, but an embodiment of the motivating dream.
In 1899-1900 I adopted the philosophy of logical atomism [Russell]
     Full Idea: In the years 1899-1900 I adopted the philosophy of logical atomism.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.1)
     A reaction: This is interesting (about Russell) because he only labelled it as 'logical atomism' in about 1912, and only wrote about it as such in 1918. It is helpful to understand that the theory of definite descriptions was part of his logical atomism.
Complex things can be known, but not simple things [Russell]
     Full Idea: I have come to think that, although many things can be known to be complex, nothing can be known to be simple.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.14)
     A reaction: This appears to be a rejection of his logical atomism. It goes with a general rebellion against foundationalist epistemology, because the empiricists foundations (e.g. Hume's impressions) seem devoid of all content.
7. Existence / D. Theories of Reality / 3. Reality
Absolute ideas, such as the Good and the Beautiful, cannot be known by us [Plato]
     Full Idea: The absolute good and the beautiful and all which we conceive to be absolute ideas are unknown to us.
     From: Plato (Parmenides [c.364 BCE], 134c)
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
You can't name all the facts, so they are not real, but are what propositions assert [Russell]
     Full Idea: Facts are the sort of things that are asserted or denied by propositions, and are not properly entities at all in the same sense in which their constituents are. That is shown by the fact that you cannot name them.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], p.235), quoted by Bernard Linsky - Russell's Metaphysical Logic 2.2
     A reaction: [ref to Papers vol.8] It is customary to specify a proposition by its capacity for T and F. So is a fact just 'a truth'? This contains the Fregean idea that things are only real if they can be picked out. I think of facts as independent of minds.
Facts are everything, except simples; they are either relations or qualities [Russell]
     Full Idea: Facts, as I am using the word, consist always of relations between parts of a whole or qualities of single things; facts, in a word, are whatever there is except what (if anything) is completely simple.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.13)
     A reaction: This is the view that goes with Russell's 'logical atomism', where the 'completely simple' is used to build up the 'facts'. If World War One was a fact, was it a 'relation' or a 'quality'. Must events then be defined in terms of those two?
7. Existence / D. Theories of Reality / 8. Facts / b. Types of fact
Russell asserts atomic, existential, negative and general facts [Russell, by Armstrong]
     Full Idea: Russell argues for atomic facts, and also for existential facts, negative facts and general facts.
     From: report of Bertrand Russell (The Philosophy of Logical Atomism [1918]) by David M. Armstrong - Truth and Truthmakers 05.1
     A reaction: Armstrong says he overdoes it. I would even add disjunctive facts, which Russell rejects. 'Rain or snow will ruin the cricket match'. Rain can make that true, but it is a disjunctive fact about the match.
7. Existence / D. Theories of Reality / 9. States of Affairs
Modern trope theory tries, like logical atomism, to reduce things to elementary states [Russell, by Ellis]
     Full Idea: Russell and Wittgenstein sought to reduce everything to singular facts or states of affairs, and Armstrong and Keith Campbell have more recently advocated ontologies of tropes or elementary states of affairs.
     From: report of Bertrand Russell (The Philosophy of Logical Atomism [1918]) by Brian Ellis - The Philosophy of Nature: new essentialism Ch.3 n 11
     A reaction: A very interesting historical link. Logical atomism strikes me as a key landmark in the history of philosophy, and not an eccentric cul-de-sac. It is always worth trying to get your ontology down to minimal small units, to see what happens.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
'Existence' means that a propositional function is sometimes true [Russell]
     Full Idea: When you take any propositional function and assert of it that it is possible, that it is sometimes true, that gives you the fundamental meaning of 'existence'.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918]), quoted by Colin McGinn - Logical Properties Ch.2
     A reaction: Functions depend on variables, so this leads to Quine's slogan "to be is to be the value of a variable". Assertions of non-existence are an obvious problem, but Russell thought of all that. All of this makes existence too dependent on language.
8. Modes of Existence / D. Universals / 2. Need for Universals
You must always mean the same thing when you utter the same name [Plato]
     Full Idea: You must always mean the same thing when you utter the same name.
     From: Plato (Parmenides [c.364 BCE], 147d)
If you deny that each thing always stays the same, you destroy the possibility of discussion [Plato]
     Full Idea: If a person denies that the idea of each thing is always the same, he will utterly destroy the power of carrying on discussion.
     From: Plato (Parmenides [c.364 BCE], 135c)
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
It would be absurd to think there were abstract Forms for vile things like hair, mud and dirt [Plato]
     Full Idea: Are there abstract ideas for such things as hair, mud and dirt, which are particularly vile and worthless? That would be quite absurd.
     From: Plato (Parmenides [c.364 BCE], 130d)
The concept of a master includes the concept of a slave [Plato]
     Full Idea: Mastership in the abstract is mastership of slavery in the abstract.
     From: Plato (Parmenides [c.364 BCE], 133e)
If admirable things have Forms, maybe everything else does as well [Plato]
     Full Idea: It is troubling that if admirable things have abstract ideas, then perhaps everything else must have ideas as well.
     From: Plato (Parmenides [c.364 BCE], 130d)
If absolute ideas existed in us, they would cease to be absolute [Plato]
     Full Idea: None of the absolute ideas exists in us, because then it would no longer be absolute.
     From: Plato (Parmenides [c.364 BCE], 133c)
Greatness and smallness must exist, to be opposed to one another, and come into being in things [Plato]
     Full Idea: These two ideas, greatness and smallness, exist, do they not? For if they did not exist, they could not be opposites of one another, and could not come into being in things.
     From: Plato (Parmenides [c.364 BCE], 149e)
Plato moves from Forms to a theory of genera and principles in his later work [Plato, by Frede,M]
     Full Idea: It seems to me that Plato in the later dialogues, beginning with the second half of 'Parmenides', wants to substitute a theory of genera and theory of principles that constitute these genera for the earlier theory of forms.
     From: report of Plato (Parmenides [c.364 BCE]) by Michael Frede - Title, Unity, Authenticity of the 'Categories' V
     A reaction: My theory is that the later Plato came under the influence of the brilliant young Aristotle, and this idea is a symptom of it. The theory of 'principles' sounds like hylomorphism to me.
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
Each idea is in all its participants at once, just as daytime is a unity but in many separate places at once [Plato]
     Full Idea: Just as day is in many places at once, but not separated from itself, so each idea might be in all its participants at once.
     From: Plato (Parmenides [c.364 BCE], 131b)
If things are made alike by participating in something, that thing will be the absolute idea [Plato]
     Full Idea: That by participation in which like things are made like, will be the absolute idea, will it not?
     From: Plato (Parmenides [c.364 BCE], 132e)
Participation is not by means of similarity, so we are looking for some other method of participation [Plato]
     Full Idea: Participation is not by means of likeness, so we must seek some other method of participation.
     From: Plato (Parmenides [c.364 BCE], 133a)
The whole idea of each Form must be found in each thing which participates in it [Plato]
     Full Idea: The whole idea of each form (of beauty, justice etc) must be found in each thing which participates in it.
     From: Plato (Parmenides [c.364 BCE], 131a)
If things partake of ideas, this implies either that everything thinks, or that everything actually is thought [Plato]
     Full Idea: If all things partake of ideas, must either everything be made of thoughts and everything thinks, or everything is thought, and so can't think?
     From: Plato (Parmenides [c.364 BCE], 132c)
8. Modes of Existence / D. Universals / 6. Platonic Forms / c. Self-predication
Nothing can be like an absolute idea, because a third idea intervenes to make them alike (leading to a regress) [Plato]
     Full Idea: It is impossible for anything to be like an absolute idea, because a third idea will appear to make them alike, and if that is like anything, it will lead to another idea, and so on.
     From: Plato (Parmenides [c.364 BCE], 133a)
If absolute greatness and great things are seen as the same, another thing appears which makes them seem great [Plato]
     Full Idea: If you regard the absolute great and the many great things in the same way, will not another appear beyond, by which all these must appear to be great?
     From: Plato (Parmenides [c.364 BCE], 132a)
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
Universals can't just be words, because words themselves are universals [Russell]
     Full Idea: Those who dislike universals have thought that they could be merely words; the trouble with this view is that a word itself is a universal.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.14)
     A reaction: Russell gradually lost his faith in most things, but never in universals. I find it unconvincing that we might dismiss nominalism so easily. I'm not sure why the application of the word 'cat' could not just be conventional.
9. Objects / B. Unity of Objects / 1. Unifying an Object / b. Unifying aggregates
Parts must belong to a created thing with a distinct form [Plato]
     Full Idea: The part would not be the part of many things or all, but of some one character ['ideas'] and of some one thing, which we call a 'whole', since it has come to be one complete [perfected] thing composed [created] of all.
     From: Plato (Parmenides [c.364 BCE], 157d)
     A reaction: A serious shot by Plato at what identity is. Harte quotes it (125) and shows that 'character' is Gk 'idea', and 'composed' will translate as 'created'. 'Form' links this Platonic passage to Aristotle's hylomorphism.
9. Objects / C. Structure of Objects / 5. Composition of an Object
In Parmenides, if composition is identity, a whole is nothing more than its parts [Plato, by Harte,V]
     Full Idea: At the heart of the 'Parmenides' puzzles about composition is the thesis that composition is identity. Considered thus, a whole adds nothing to an ontology that already includes its parts
     From: report of Plato (Parmenides [c.364 BCE]) by Verity Harte - Plato on Parts and Wholes 2.5
     A reaction: There has to be more to a unified identity that mere proximity of the parts. When do parts come together, and when do they actually 'compose' something?
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
Plato says only a one has parts, and a many does not [Plato, by Harte,V]
     Full Idea: In 'Parmenides' it is argued that a part cannot be part of a many, but must be part of something one.
     From: report of Plato (Parmenides [c.364 BCE], 157c) by Verity Harte - Plato on Parts and Wholes 3.2
     A reaction: This looks like the right way to go with the term 'part'. We presuppose a unity before we even talk of its parts, so we can't get into contradictions and paradoxes about their relationships.
Anything which has parts must be one thing, and parts are of a one, not of a many [Plato]
     Full Idea: The whole of which the parts are parts must be one thing composed of many; for each of the parts must be part, not of a many, but of a whole.
     From: Plato (Parmenides [c.364 BCE], 157c)
     A reaction: This is a key move of metaphysics, and we should hang on to it. The other way madness lies.
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
It seems that the One must be composed of parts, which contradicts its being one [Plato]
     Full Idea: The One must be composed of parts, both being a whole and having parts. So on both grounds the One would thus be many and not one. But it must be not many, but one. So if the One will be one, it will neither be a whole, nor have parts.
     From: Plato (Parmenides [c.364 BCE], 137c09), quoted by Kathrin Koslicki - The Structure of Objects 5.2
     A reaction: This is the starting point for Plato's metaphysical discussion of objects. It seems to begin a line of thought which is completed by Aristotle, surmising that only an essential structure can bestow identity on a bunch of parts.
9. Objects / F. Identity among Objects / 6. Identity between Objects
Two things relate either as same or different, or part of a whole, or the whole of the part [Plato]
     Full Idea: Everything is surely related to everything as follows: either it is the same or different; or, if it is not the same or different, it would be related as part to whole or as whole to part.
     From: Plato (Parmenides [c.364 BCE], 146b)
     A reaction: This strikes me as a really helpful first step in trying to analyse the nature of identity. Two things are either two or (actually) one, or related mereologically.
10. Modality / A. Necessity / 2. Nature of Necessity
Modal terms are properties of propositional functions, not of propositions [Russell]
     Full Idea: Traditional philosophy discusses 'necessary', 'possible' and 'impossible' as properties of propositions, whereas in fact they are properties of propositional functions; propositions are only true or false.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §V)
     A reaction: I am unclear how a truth could be known to be necessary if it is full of variables. 'x is human' seems to have no modality, but 'Socrates is human' could well be necessary. I like McGinn's rather adverbial account of modality.
11. Knowledge Aims / A. Knowledge / 1. Knowledge
In epistemology we should emphasis the continuity between animal and human minds [Russell]
     Full Idea: It seems to me desirable in the theory of knowledge to emphasise the continuity between animal and human minds.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.11)
     A reaction: I strongly agree with this, mainly because it avoids overemphasis on language in epistemology. It doesn't follow that animals know a lot, and there is a good case for saying that they don't actually 'know' anything, despite having true beliefs.
12. Knowledge Sources / B. Perception / 5. Interpretation
Perception goes straight to the fact, and not through the proposition [Russell]
     Full Idea: I am inclined to think that perception, as opposed to belief, does go straight to the fact and not through the proposition.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §IV.4)
     A reaction: There seems to be a question of an intermediate stage, which is the formulation of concepts. Is full 'perception' (backed by attention and intellect) laden with concepts, which point to facts? Where are the facts in sensation without recognition?
12. Knowledge Sources / D. Empiricism / 3. Pragmatism
Pragmatism judges by effects, but I judge truth by causes [Russell]
     Full Idea: Pragmatism holds that a belief is to be judged if it has certain effects, whereas I hold that an empirical belief is to be judged true if it has certain kinds of causes.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.15)
     A reaction: I'm with Russell here, and this seems to me a convincing objection to pragmatism. The simple problem is that falsehoods can occasionally have very beneficial effects. Beliefs are made true by the facts, not by their consequences.
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
Empiricists seem unclear what they mean by 'experience' [Russell]
     Full Idea: When I began to think about theory of knowledge, I found that none of the philosophers who emphasise 'experience' tells us what they mean by the word.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.11)
     A reaction: A very significant comment about empiricism. Hume does not seem very clear about what an 'impression' is. Russell's problem has been dealt with intensively by modern empiricists, who discuss 'the given', and conceptualised perception.
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / b. Gettier problem
True belief about the time is not knowledge if I luckily observe a stopped clock at the right moment [Russell]
     Full Idea: Not all true beliefs are knowledge; the stock example to the contrary is that of a clock which has stopped by which I believe to be going and which I happen to look at when, by chance, it shows the right time.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.15)
     A reaction: [in his 1948:112] Russell had spotted Gettier-type problems long before Gettier. The problem of lucky true beliefs dates back to Plato (Idea 2140). This example is also a problem for reliabilism, if the clock is usually working fine.
17. Mind and Body / B. Behaviourism / 4. Behaviourism Critique
Behaviourists struggle to explain memory and imagination, because they won't admit images [Russell]
     Full Idea: Behaviourists refuse to admit images because they cannot be observed from without, but this causes them difficulties when they attempt to explain either memory or imagination.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.13)
     A reaction: This is a striking objection to behaviourism, and it is rarely mentioned in modern discussions of the topic. They might try denying the existence of private 'images', but that wouldn't be very plausible.
18. Thought / A. Modes of Thought / 6. Judgement / b. Error
Surprise is a criterion of error [Russell]
     Full Idea: Surprise is a criterion of error.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.15)
     A reaction: Russell is not too precise about this, but it is a nice point. Surprise is thwarted expectation, which implies prior misjudgement.
The theory of error seems to need the existence of the non-existent [Russell]
     Full Idea: It is very difficult to deal with the theory of error without assuming the existence of the non-existent.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §IV.3)
     A reaction: This problem really bothered Russell (and Plato). I suspect that it was a self-inflicted problem because at this point Russell had ceased to believe in propositions. If we accept propositions as intentional objects, they can be as silly as you like.
19. Language / A. Nature of Meaning / 5. Meaning as Verification
Unverifiable propositions about the remote past are still either true or false [Russell]
     Full Idea: There is no conceivable method by which we can discover whether the proposition 'It snowed on Manhattan Island on the 1st January in the year 1 A.D.' is true or false, but it seems preposterous to maintain that it is neither.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.10)
     A reaction: I love this example, which seems so simple and so clear-cut. It criticises verificationism, and gives strong intuitive support for realism, and supports the law of excluded middle.
19. Language / C. Assigning Meanings / 3. Predicates
Russell uses 'propositional function' to refer to both predicates and to attributes [Quine on Russell]
     Full Idea: Russell used the phrase 'propositional function' (adapted from Frege) to refer sometimes to predicates and sometimes to attributes.
     From: comment on Bertrand Russell (The Philosophy of Logical Atomism [1918]) by Willard Quine - Philosophy of Logic Ch.5
     A reaction: He calls Russell 'confused' on this, and he would indeed be guilty of what now looks like a classic confusion, between the properties and the predicates that express them. Only a verificationist would hold such a daft view.
19. Language / D. Propositions / 1. Propositions
Propositions don't name facts, because each fact corresponds to a proposition and its negation [Russell]
     Full Idea: It is obvious that a proposition is not the name for a fact, from the mere circumstance that there are two propositions corresponding to each fact, one the negation of the other.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §I)
     A reaction: Russell attributes this point to Wittgenstein. Evidently you must add that the proposition is true before it will name a fact - which is bad news for the redundancy view of truth. Couldn't lots of propositions correspond to one fact?
19. Language / D. Propositions / 3. Concrete Propositions
In 1918 still believes in nonlinguistic analogues of sentences, but he now calls them 'facts' [Russell, by Quine]
     Full Idea: In 1918 Russell insists that the world does contain nonlinguistic things that are akin to sentences and are asserted by them; he merely does not call them propositions. He calls them facts.
     From: report of Bertrand Russell (The Philosophy of Logical Atomism [1918]) by Willard Quine - Russell's Ontological Development p.81
     A reaction: Clarification! I have always been bewildered by the early Russell view of propositions as actual ingredients of the world. If we say that sentences assert facts, that makes more sense. Russell never believed in the mental entities I call 'propositions'.
19. Language / D. Propositions / 4. Mental Propositions
You can believe the meaning of a sentence without thinking of the words [Russell]
     Full Idea: If you have just heard a loud clap of thunder, you believe what is expressed by 'there has just been a loud clap of thunder' even if no words come into your mind.
     From: Bertrand Russell (My Philosophical Development [1959], Ch.13)
     A reaction: This seems to me important, and accurate. We should not be too mesmerised by language. Animals have beliefs, and this is a nice example of an undeniable non-linguistic human belief.
19. Language / D. Propositions / 6. Propositions Critique
An inventory of the world does not need to include propositions [Russell]
     Full Idea: It is quite clear that propositions are not what you might call 'real'; if you were making an inventory of the world, propositions would not come in.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §III)
     A reaction: I am not clear why this is "quite clear". Propositions might even turn up in our ontology as physical objects (brain states). He says beliefs are real, but if you can't have a belief without a proposition, and they aren't real, you are in trouble.
I no longer believe in propositions, especially concerning falsehoods [Russell]
     Full Idea: Time was when I thought there were propositions, but it does not seem to me very plausible to say that in addition to facts there are also these curious shadowy things going about as 'That today is Wednesday' when in fact it is Tuesday.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §IV.2)
     A reaction: You need to give some account of someone who thinks 'Today is Wednesday' when it is Tuesday. We can hardly avoid talking about something like an 'intentional object', which can be expressed in a sentence. Are there not possible (formulable) propositions?
I know longer believe in shadowy things like 'that today is Wednesday' when it is actually Tuesday [Russell]
     Full Idea: Time was when I thought there were propositions, but it does not seem to me very plausible to say that in addition to facts there are also these curious shadowy things going about such 'That today is Wednesday' when it is in fact Tuesday.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], p.197), quoted by Bernard Linsky - Russell's Metaphysical Logic 3.1
     A reaction: [Ref to Papers v8] I take Russell to have abandoned his propositions because his conception of them was mistaken. Presumably my thinking 'Today is Wednesay' conjures up a false proposition, which had not previously existed.
19. Language / F. Communication / 4. Private Language
The names in a logically perfect language would be private, and could not be shared [Russell]
     Full Idea: A logically perfect language, if it could be constructed, would be, as regards its vocabulary, very largely private to one speaker; that is, all the names in it would be private to that speaker and could not enter into the language of another speaker.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §II)
     A reaction: Wittgenstein obviously thought there was something not quite right about this… See Idea 4147, for example. I presume Russell's thought is that you would have no means of explaining the 'meanings' of the names in the language.
25. Social Practice / E. Policies / 5. Education / c. Teaching
Only a great person can understand the essence of things, and an even greater person can teach it [Plato]
     Full Idea: Only a man of very great natural gifts will be able to understand that everything has a class and absolute essence, and an even more wonderful man can teach this.
     From: Plato (Parmenides [c.364 BCE], 135a)
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / d. The unlimited
The unlimited has no shape and is endless [Plato]
     Full Idea: The unlimited partakes neither of the round nor of the straight, because it has no ends nor edges.
     From: Plato (Parmenides [c.364 BCE], 137e)
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / e. The One
Some things do not partake of the One [Plato]
     Full Idea: The others cannot partake of the one in any way; they can neither partake of it nor of the whole.
     From: Plato (Parmenides [c.364 BCE], 159d)
     A reaction: Compare Idea 231
The only movement possible for the One is in space or in alteration [Plato]
     Full Idea: If the One moves it either moves spatially or it is altered, since these are the only motions.
     From: Plato (Parmenides [c.364 BCE], 138b)
Everything partakes of the One in some way [Plato]
     Full Idea: The others are not altogether deprived of the one, for they partake of it in some way.
     From: Plato (Parmenides [c.364 BCE], 157c)
     A reaction: Compare Idea 233.
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
We couldn't discuss the non-existence of the One without knowledge of it [Plato]
     Full Idea: There must be knowledge of the one, or else not even the meaning of the words 'if the one does not exist' would be known.
     From: Plato (Parmenides [c.364 BCE], 160d)
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
You can discuss 'God exists', so 'God' is a description, not a name [Russell]
     Full Idea: The fact that you can discuss the proposition 'God exists' is a proof that 'God', as used in that proposition, is a description and not a name. If 'God' were a name, no question as to its existence could arise.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §VI)
     A reaction: Presumably 'a being than which none greater can be conceived' (Anselm's definition) is self-evidently a description, and doesn't claim to be a name. Aquinas caps each argument with a triumphant naming of the being he has proved.