Combining Texts

All the ideas for 'works', 'Grundgesetze der Arithmetik 2 (Basic Laws)' and 'The Structure of Objects'

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


64 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
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.
2. Reason / D. Definition / 2. Aims of Definition
Later Frege held that definitions must fix a function's value for every possible argument [Frege, by Wright,C]
     Full Idea: Frege later became fastidious about definitions, and demanded that they must provide for every possible case, and that no function is properly determined unless its value is fixed for every conceivable object as argument.
     From: report of Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903]) by Crispin Wright - Frege's Concept of Numbers as Objects 3.xiv
     A reaction: Presumably definitions come in degrees of completeness, but it seems harsh to describe a desire for the perfect definition as 'fastidious', especially if we are talking about mathematics, rather than defining 'happiness'.
2. Reason / D. Definition / 7. Contextual Definition
We can't define a word by defining an expression containing it, as the remaining parts are a problem [Frege]
     Full Idea: Given the reference (bedeutung) of an expression and a part of it, obviously the reference of the remaining part is not always determined. So we may not define a symbol or word by defining an expression in which it occurs, whose remaining parts are known
     From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §66)
     A reaction: Dummett cites this as Frege's rejection of contextual definitions, which he had employed in the Grundlagen. I take it not so much that they are wrong, as that Frege decided to set the bar a bit higher.
2. Reason / D. Definition / 11. Ostensive Definition
Only what is logically complex can be defined; what is simple must be pointed to [Frege]
     Full Idea: Only what is logically complex can be defined; what is simple can only be pointed to.
     From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §180), quoted by Harold Hodes - Logicism and Ontological Commits. of Arithmetic p.137
     A reaction: Frege presumably has in mind his treasured abstract objects, such as cardinal numbers. It is hard to see how you could 'point to' anything in the phenomenal world that had atomic simplicity. Hodes calls this a 'desperate Kantian move'.
4. Formal Logic / G. Formal Mereology / 1. Mereology
The 'aggregative' objections says mereology gets existence and location of objects wrong [Koslicki]
     Full Idea: The 'aggregative' objection to classical extensional mereology is that it assigns simply the wrong, set-like conditions of existence and spatio-temporal location to ordinary material objects.
     From: Kathrin Koslicki (The Structure of Objects [2008], 5.1)
     A reaction: [She attributes this to Kit Fine] The point is that there is more to a whole than just some parts, otherwise you could scatter the parts across the globe (or even across time) and claim that the object still existed. It's obvious really.
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Consequence is truth-preserving, either despite substitutions, or in all interpretations [Koslicki]
     Full Idea: Two conceptions of logical consequence: a substitutional account, where no substitution of non-logical terms for others (of the right syntactic category) produce true premises and false conclusions; and model theory, where no interpretation can do it.
     From: Kathrin Koslicki (The Structure of Objects [2008], 9.3.2 n8)
     A reaction: [compressed]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
'Roses are red; therefore, roses are colored' seems truth-preserving, but not valid in a system [Koslicki]
     Full Idea: 'Roses are red; therefore, roses are colored' may be necessarily truth-preserving, but it would not be classified as logically valid by standard systems of logic.
     From: Kathrin Koslicki (The Structure of Objects [2008], 9.3.2)
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
Cardinals say how many, and reals give measurements compared to a unit quantity [Frege]
     Full Idea: The cardinals and the reals are completely disjoint domains. The cardinal numbers answer the question 'How many objects of a given kind are there?', but the real numbers are for measurement, saying how large a quantity is compared to a unit quantity.
     From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §157), quoted by Michael Dummett - Frege philosophy of mathematics Ch.19
     A reaction: We might say that cardinals are digital and reals are analogue. Frege is unusual in totally separating them. They map onto one another, after all. Cardinals look like special cases of reals. Reals are dreams about the gaps between cardinals.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
Real numbers are ratios of quantities [Frege, by Dummett]
     Full Idea: Frege fixed on construing real numbers as ratios of quantities (in agreement with Newton).
     From: report of Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903]) by Michael Dummett - Frege philosophy of mathematics Ch.20
     A reaction: If 3/4 is the same real number as 6/8, which is the correct ratio? Why doesn't the square root of 9/16 also express it? Why should irrationals be so utterly different from rationals? In what sense are they both 'numbers'?
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
A number is a class of classes of the same cardinality [Frege, by Dummett]
     Full Idea: For Frege, in 'Grundgesetze', a number is a class of classes of the same cardinality.
     From: report of Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903]) by Michael Dummett - Frege Philosophy of Language (2nd ed) Ch.14
Frege's biggest error is in not accounting for the senses of number terms [Hodes on Frege]
     Full Idea: The inconsistency of Grundgesetze was only a minor flaw. Its fundamental flaw was its inability to account for the way in which the senses of number terms are determined. It leaves the reference-magnetic nature of the standard numberer a mystery.
     From: comment on Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903]) by Harold Hodes - Logicism and Ontological Commits. of Arithmetic p.139
     A reaction: A point also made by Hofweber. As a logician, Frege was only concerned with the inferential role of number terms, and he felt he had captured their logical form, but it is when you come to look at numbers in natural language that he seem in trouble.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
Some questions concern mathematical entities, rather than whole structures [Koslicki]
     Full Idea: Those who hold that not all mathematical questions can be concerned with structural matters can point to 'why are π or e transcendental?' or 'how are the prime numbers distributed?' as questions about particular features in the domain.
     From: Kathrin Koslicki (The Structure of Objects [2008], 9.3.1 n6)
     A reaction: [She cites Mac Lane on this] The reply would have to be that we only have those particular notions because we have abstracted them from structures, as in deriving π for circles.
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Formalism misunderstands applications, metatheory, and infinity [Frege, by Dummett]
     Full Idea: Frege's three main objections to radical formalism are that it cannot account for the application of mathematics, that it confuses a formal theory with its metatheory, and it cannot explain an infinite sequence.
     From: report of Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §86-137) by Michael Dummett - Frege philosophy of mathematics
     A reaction: The application is because we don't design maths randomly, but to be useful. The third objection might be dealt with by potential infinities (from formal rules). The second objection sounds promising.
Only applicability raises arithmetic from a game to a science [Frege]
     Full Idea: It is applicability alone which elevates arithmetic from a game to the rank of a science.
     From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §91), quoted by Stewart Shapiro - Thinking About Mathematics 6.1.2
     A reaction: This is the basic objection to Formalism. It invites the question of why it is applicable, which platonists like Frege don't seem to answer (though Plato himself has reality modelled on the Forms). This is why I like structuralism.
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]
Structures have positions, constituent types and number, and some invariable parts [Koslicki]
     Full Idea: Structures make available positions or places for objects, and place restraints on the type of constituent, and on their configuration. ...These lead to restrictions on the number of objects, and on which parts of the structure are invariable.
     From: Kathrin Koslicki (The Structure of Objects [2008], 9.6)
     A reaction: [compressed] That's a pretty good first shot at saying what a structure is, which I have so far not discovered any other writer willing to do. I take this to be an exploration of what Aristotle meant by 'form'.
8. Modes of Existence / B. Properties / 6. Categorical Properties
'Categorical' properties exist in the actual world, and 'hypothetical' properties in other worlds [Koslicki]
     Full Idea: The 'categorical' properties are roughly those that concern what goes on in the actual world; the properties excluded from that family are the 'hypothetical' ones, which concern what goes on in other worlds.
     From: Kathrin Koslicki (The Structure of Objects [2008], 3.2.3.1)
     A reaction: The awkward guest at this little party is the 'dispositional' properties, which are held to exist in the actual world, but have implications for other worlds. I'm a fan of them.
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
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?
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
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
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
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
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!
I aim to put the notion of structure or form back into the concepts of part, whole and object [Koslicki]
     Full Idea: My project is to put the notion of structure or form squarely back at the center of any adequate account of the notion of part, whole and object.
     From: Kathrin Koslicki (The Structure of Objects [2008], Intro)
     A reaction: Excellent. It is the fault of logicians, who presumably can't cope with such elusive and complex concepts, that we have ended up with objects as lists of things or properties, or quantifications over them.
If a whole is just a structure, a dinner party wouldn't need the guests to turn up [Koslicki]
     Full Idea: If a whole is just a structure, we wonder how the guests could really be part of the dinner party seating structure, when the complex whole is fully exhausted by the structure that specifies the slots.
     From: Kathrin Koslicki (The Structure of Objects [2008], 4.2.2)
     A reaction: This cuts both ways. A dinner party may necessarily require guests, but the seating plan can be specified in the absence of any guests, who may never turn up. A seating plan is not a dinner party. Perhaps we have two objects here.
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 / B. Unity of Objects / 3. Unity Problems / c. Statue and clay
The clay is just a part of the statue (its matter); the rest consists of its form or structure [Koslicki]
     Full Idea: That objects are compounds of matter and form yields a solution to the Problem of Constitution: the clay is merely a proper part of the statue (viz. its matter); the 'remainder' of the statue is its formal or structural components which distinguish it.
     From: Kathrin Koslicki (The Structure of Objects [2008], Info)
     A reaction: Thus philosophers have thought that it might consist of two objects because they have failed to grasp what an 'object' is. I would add that we need to mention 'essence', so that the statue can survive minor modifications. This is the solution!
Statue and clay differ in modal and temporal properties, and in constitution [Koslicki]
     Full Idea: The statue and the clay appear to differ in modal properties (such as being able to survive squashing), and temporal properties (coming into existence after the lump of clay), and in constitution (only the statue is constituted of the clay).
     From: Kathrin Koslicki (The Structure of Objects [2008], 7.2.7.2)
     A reaction: I think the modal properties are the biggest problem here. You can't say a thing and its constitution are different objects, as they are necessarily connected. Structure comes into existence at t, but the structure isn't the whole object.
9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects
The first demand of logic is of a sharp boundary [Frege]
     Full Idea: The first demand of logic is of a sharp boundary.
     From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §160), quoted by Michael Dummett - Frege philosophy of mathematics Ch.22
     A reaction: Nothing I have read about vagueness has made me doubt Frege's view of this, although precisification might allow you to do logic with vague concepts without having to finally settle where the actual boundaries are.
9. Objects / C. Structure of Objects / 2. Hylomorphism / c. Form as causal
Structure or form are right at the centre of modern rigorous modes of enquiry [Koslicki]
     Full Idea: The notion of structure or form, far from being a mysterious and causally inert invention of philosophers, lies at the very center of many scientific and other rigorous endeavours, such as mathematics, logic, linguistics, chemistry and music.
     From: Kathrin Koslicki (The Structure of Objects [2008], Intro)
     A reaction: This echoes my own belief exactly, and places Aristotle at the centre of the modern stage. Her list of subjects is intriguing, and will need a bit of thought.
9. Objects / C. Structure of Objects / 6. Constitution of an Object
There are at least six versions of constitution being identity [Koslicki]
     Full Idea: The view that constitution is identity has many versions: eliminativism (van Inwagen), identity relative to time (Gallois), identity relativized to sort (Geach), four-dimensionalism (Lewis, Sider), contingent identity (Gibbard), dominant kinds (Burke).
     From: Kathrin Koslicki (The Structure of Objects [2008], 7.2.7.2 n17)
     A reaction: [she offers other names- useful footnote] Eliminativism says there is no identity. Gallois's view is Heraclitus. Geach seems to deny nature, since sorts are partly conventional. 4-D, nah! Gibbard: it could be the thing but lack its identity? Kinds wrong.
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
For three-dimensionalist parthood must be a three-place relation, including times [Koslicki]
     Full Idea: Parthood (for the three-dimensionalist) must be a three-place relation between pairs of objects and times, not the timeless two-place relation at work in the original Calculus of Individuals.
     From: Kathrin Koslicki (The Structure of Objects [2008], 2.2)
The parts may be the same type as the whole, like a building made of buildings [Koslicki]
     Full Idea: A building may be composed of proper parts which are themselves buildings; a particular pattern may be composed of proper parts which are themselves patterns (even the same pattern, on a smaller scale).
     From: Kathrin Koslicki (The Structure of Objects [2008], 7.2.12)
     A reaction: This strikes me as a rather important observation, if you are (erroneously) trying to establish the identity of a thing simply by categorising its type.
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.
Wholes in modern mereology are intended to replace sets, so they closely resemble them [Koslicki]
     Full Idea: The modern theory of parts and wholes was intended primarily to replace set theory; in this way, wholes came out looking as much like sets as they possibly could, without set theory's commitment to an infinite hierarchy of abstract objects.
     From: Kathrin Koslicki (The Structure of Objects [2008], Intro)
     A reaction: A very nice clarificatory remark, which explains well this rather baffling phenomenon of people who think there is nothing more to a whole than a pile of parts, as if a scrap heap were the same as a fleet of motor cars.
Wholes are entities distinct from their parts, and have different properties [Koslicki]
     Full Idea: A commitment to wholes is a commitment to entities that are numerically distinct from their parts (by Leibniz's Law, they don't share all of their properties - the parts typically exist, but the whole doesn't, prior to its creation).
     From: Kathrin Koslicki (The Structure of Objects [2008], 3.1)
     A reaction: Presumably in classical mereology no act of 'creation' is needed, since all the parts in the universe already form all the possible wholes into which they might combine, however bizarrely.
Wholes are not just their parts; a whole is an entity distinct from the proper parts [Koslicki]
     Full Idea: In my approach (as in that of Plato and Aristotle), wholes are in no way identified with parts; rather, a commitment to wholes is a commitment to entities numerically distinct from their proper parts.
     From: Kathrin Koslicki (The Structure of Objects [2008], 7.2.11)
     A reaction: Calling the whole an 'entity' doesn't seem to capture it. She seems to think there are some extra parts, in addition to the material parts, that make something a whole. I think this might be a category mistake. A structure is an abstraction.
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
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]
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 / 3. Abstracta by Ignoring
The modern account of real numbers detaches a ratio from its geometrical origins [Frege]
     Full Idea: From geometry we retain the interpretation of a real number as a ratio of quantities or measurement-number; but in more recent times we detach it from geometrical quantities, and from all particular types of quantity.
     From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §159), quoted by Michael Dummett - Frege philosophy of mathematics
     A reaction: Dummett glosses the 'recent' version as by Cantor and Dedekind in 1872. This use of 'detach' seems to me startlingly like the sort of psychological abstractionism which Frege was so desperate to avoid.
18. Thought / E. Abstraction / 8. Abstractionism Critique
If we abstract the difference between two houses, they don't become the same house [Frege]
     Full Idea: If abstracting from the difference between my house and my neighbour's, I were to regard both houses as mine, the defect of the abstraction would soon be made clear. It may, though, be possible to obtain a concept by means of abstraction...
     From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §99)
     A reaction: Note the important concession at the end, which shows Frege could never deny the abstraction process, despite all the modern protests by Geach and Dummett that he totally rejected it.
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 / B. Natural Kinds / 1. Natural Kinds
The Kripke/Putnam approach to natural kind terms seems to give them excessive stability [Koslicki]
     Full Idea: Theoretical terms such as 'mass', 'force', 'motion', 'species' and 'phlogiston' seem to indicate that the Kripke/Putnam approach to natural kind terms is committed to an excessive amount of stability in the meaning and reference of such expressions.
     From: Kathrin Koslicki (The Structure of Objects [2008], 8.6.2)
     A reaction: This sounds right to me. The notion of 'rigid' designation gives a nice framework for modal logic, but it doesn't seem to fit the shifting patterns of scientific thought.
26. Natural Theory / B. Natural Kinds / 3. Knowing Kinds
Natural kinds support inductive inferences, from previous samples to the next one [Koslicki]
     Full Idea: Natural kinds are said to stand out from other classifications because they support legitimate inductive inferences ...as when we observe that past samples of copper conduct electricity and infer that the next sample will too.
     From: Kathrin Koslicki (The Structure of Objects [2008], 8.3.1)
     A reaction: A slightly more precise version of the Upanishad definition of natural kinds which I favour (Idea 8153). If you can't predict the next one from the previous one, it isn't a natural kind. You can't quite predict the next tiger from the previous one.
26. Natural Theory / B. Natural Kinds / 4. Source of Kinds
Concepts for species are either intrinsic structure, or relations like breeding or ancestry [Koslicki]
     Full Idea: Candidate species concepts can be intrinsic: morphological, physiological or genetic similarity; or relational: biology such as interbreeding and reproductive isolation, ecology, such as mate recognition in a niche, or phylogenetics (ancestor relations).
     From: Kathrin Koslicki (The Structure of Objects [2008], 8.4.1)
     A reaction: She says the relational ones are more popular, but I gather they all hit problems. See John Dupré on the hopelessness of the whole task.
26. Natural Theory / B. Natural Kinds / 5. Reference to Natural Kinds
Should vernacular classifications ever be counted as natural kind terms? [Koslicki]
     Full Idea: It is controversial whether classificatory expressions from the vernacular should ever really be counted as genuine natural kind terms.
     From: Kathrin Koslicki (The Structure of Objects [2008], 8.2)
     A reaction: This is a similar confrontation between the folk and the scientific specialist as we find in folk psychology. There are good defences of folk psychology, and it looks plausible to defend the folk classifications as having priority.
26. Natural Theory / D. Laws of Nature / 11. Against Laws of Nature
There are apparently no scientific laws concerning biological species [Koslicki]
     Full Idea: It has been observed that there are apparently no scientific laws concerning biological species.
     From: Kathrin Koslicki (The Structure of Objects [2008], 8.4.1)
     A reaction: The central concept of biology I take to be a 'mechanism'. and I suspect that this view of science is actually applicable in physics and chemistry, with so-called 'laws' being a merely superficial description of what is going on.
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