Combining Texts

All the ideas for 'Topics', 'Philosophical Explanations' and 'The Mind in Nature'

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


64 ideas

1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
Ontology is highly abstract physics, containing placeholders and exclusions [Martin,CB]
     Full Idea: Ontology sets out an even more abstract model of how the world is than theoretical physics, a model that has placeholders for scientific results and excluders for tempting confusions.
     From: C.B. Martin (The Mind in Nature [2008], 04.6)
     A reaction: Most modern metaphysicians accept this account. The interesting (mildly!) question is whether physicists will accept it. If the metaphysics is really rooted in physics, a metaphysical physicist is better placed than a metaphysician knowing some physics.
1. Philosophy / F. Analytic Philosophy / 2. Analysis by Division
Begin examination with basics, and subdivide till you can go no further [Aristotle]
     Full Idea: The examination must be carried on and begin from the primary classes and then go on step by step until further division is impossible.
     From: Aristotle (Topics [c.331 BCE], 109b17)
     A reaction: This is a good slogan for the analytic approach to thought. I take Aristotle (or possibly Socrates) to be the father of analysis, not Frege (though see Idea 9840). (He may be thinking of the tableau method of proof).
2. Reason / C. Styles of Reason / 1. Dialectic
Dialectic starts from generally accepted opinions [Aristotle]
     Full Idea: Reasoning is dialectical which reasons from generally accepted opinions.
     From: Aristotle (Topics [c.331 BCE], 100a30)
     A reaction: This is right at the heart of Aristotle's philosophical method, and Greek thinking generally. There are nice modern debates about 'folk' understanding, derived from science (e.g. quantum theory) which suggest that starting from normal views is a bad idea.
2. Reason / D. Definition / 1. Definitions
There can't be one definition of two things, or two definitions of the same thing [Aristotle]
     Full Idea: There cannot possibly be one definition of two things, or two definitions of the same thing.
     From: Aristotle (Topics [c.331 BCE], 154a11)
     A reaction: The second half of this is much bolder and more controversial, and plenty of modern thinkers would flatly reject it. Are definitions contextual, that is, designed for some specific human purpose. Must definitions be of causes?
Definitions are easily destroyed, since they can contain very many assertions [Aristotle]
     Full Idea: A definition is the easiest of all things to destroy; for, since it contains many assertions, the opportunities which it offers are very numerous, and the more abundant the material, the more quickly the reasoning can set to work.
     From: Aristotle (Topics [c.331 BCE], 155a03)
     A reaction: I quote this to show that Aristotle expected many definitions to be very long affairs (maybe even of book length?)
2. Reason / D. Definition / 5. Genus and Differentia
We describe the essence of a particular thing by means of its differentiae [Aristotle]
     Full Idea: We usually isolate the appropriate description of the essence of a particular thing by means of the differentiae which are peculiar to it.
     From: Aristotle (Topics [c.331 BCE], 108b05)
     A reaction: I take this to be important for showing the definition is more than mere categorisation. A good definition homes in the particular, by gradually narrowing down the differentiae.
The differentia indicate the qualities, but not the essence [Aristotle]
     Full Idea: No differentia indicates the essence [ti estin], but rather some quality, such as 'pedestrian' or 'biped'.
     From: Aristotle (Topics [c.331 BCE], 122b17)
     A reaction: We must disentangle this, since essence is what is definable, and definition seems to give us the essence, and yet it appears that definition only requires genus and differentia. Differentiae seem to be both generic and fine-grained. See Idea 12280!
In definitions the first term to be assigned ought to be the genus [Aristotle]
     Full Idea: In definitions the first term to be assigned ought to be the genus.
     From: Aristotle (Topics [c.331 BCE], 132a12)
     A reaction: We mustn't be deluded into thinking that nothing else is required. I take the increasing refinement of differentiae to be where the real action is. The genus gives you 70% of the explanation.
The genera and the differentiae are part of the essence [Aristotle]
     Full Idea: The genera and the differentiae are predicated in the category of essence.
     From: Aristotle (Topics [c.331 BCE], 153a19)
     A reaction: The definition is words, and the essence is real, so our best definition might not fully attain to the essence. Aristotle has us reaching out to the world through our definitions.
Differentia are generic, and belong with genus [Aristotle]
     Full Idea: The differentia, being generic in character, should be ranged with the genus.
     From: Aristotle (Topics [c.331 BCE], 101b18)
     A reaction: This does not mean that naming the differentia amounts to mere classification. I presume we can only state individual differences by using a language which is crammed full of universals.
'Genus' is part of the essence shared among several things [Aristotle]
     Full Idea: A 'genus' is that which is predicated in the category of essence of several things which differ in kind.
     From: Aristotle (Topics [c.331 BCE], 102a32)
     A reaction: Hence a genus is likely to be expressed by a universal, a one-over-many. A particular will be a highly individual collection of various genera, but what ensures the uniqueness of each thing, if they are indiscernible?
2. Reason / D. Definition / 6. Definition by Essence
The definition is peculiar to one thing, not common to many [Aristotle]
     Full Idea: The definition ought to be peculiar to one thing, not common to many.
     From: Aristotle (Topics [c.331 BCE], 149b24)
     A reaction: I take this to be very important, against those who think that definition is no more than mere categorisation. To explain, you must get down to the level of the individual. We must explain that uniquely docile tiger.
3. Truth / A. Truth Problems / 1. Truth
Truth is a relation between a representation ('bearer') and part of the world ('truthmaker') [Martin,CB]
     Full Idea: Truth is a relation between two things - a representation (the truth 'bearer') and the world or some part of it (the 'truthmaker').
     From: C.B. Martin (The Mind in Nature [2008], 03.1)
     A reaction: That truth is about representations seems to me to be exactly right. That it is about truthmakers is more controversial. There are well known problems with negative truths, general truths, future truths etc. I'm happy with 'facts'.
5. Theory of Logic / L. Paradox / 2. Aporiai
Puzzles arise when reasoning seems equal on both sides [Aristotle]
     Full Idea: The equality of opposite reasonings is the cause of aporia; for it is when we reason on both [sides of a question] and it appears to us that everything can come about either way, that we are in a state of aporia about which of the two ways to take up.
     From: Aristotle (Topics [c.331 BCE], 145b17), quoted by Vassilis Politis - Aristotle and the Metaphysics 3.1
     A reaction: Other philosophers give up on the subject in this situation, but I love Aristotle because he takes this to be the place where philosophy begins.
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / a. Units
Unit is the starting point of number [Aristotle]
     Full Idea: They say that the unit [monada] is the starting point of number (and the point the starting-point of a line).
     From: Aristotle (Topics [c.331 BCE], 108b30)
     A reaction: Yes, despite Frege's objections in the early part of the 'Grundlagen' (1884). I take arithmetic to be rooted in counting, despite all abstract definitions of number by Frege and Dedekind. Identity gives the unit, which is countable. See also Topics 141b9
7. Existence / E. Categories / 3. Proposed Categories
There are ten categories: essence, quantity, quality, relation, place, time, position, state, activity, passivity [Aristotle]
     Full Idea: The four main types of predicates fall into ten categories: essence, quantity, quality, relation, place, time, position, state, activity, passivity.
     From: Aristotle (Topics [c.331 BCE], 103b20)
     A reaction: These are the standard ten categories of Aristotle. He is notable for the divisions not being sharp, and ten being a rough total. He is well aware of the limits of precision in such matters.
8. Modes of Existence / B. Properties / 1. Nature of Properties
An individual property has to exist (in past, present or future) [Aristotle]
     Full Idea: If it does not at present exist, or, if it has not existed in the past, or if it is not going to exist in the future, it will not be a property [idion] at all.
     From: Aristotle (Topics [c.331 BCE], 129a27)
     A reaction: This seems to cramp our style in counterfactual discussion. Can't we even mention an individual property if we believe that it will never exist. Utopian political discussion will have to cease!
8. Modes of Existence / B. Properties / 3. Types of Properties
An 'accident' is something which may possibly either belong or not belong to a thing [Aristotle]
     Full Idea: An 'accident' [sumbebekos] is something which may possibly either belong or not belong to any one and the self-same thing, such as 'sitting posture' or 'whiteness'. This is the best definition, because it tells us the essential meaning of the term itself.
     From: Aristotle (Topics [c.331 BCE], 102b07)
     A reaction: Thus a car could be red, or not red. Accidents are contingent. It does not follow that necessary properties are essential (see Idea 12262). There are accidents [sumbebekos], propria [idion] and essences [to ti en einai].
8. Modes of Existence / B. Properties / 9. Qualities
A property is a combination of a disposition and a quality [Martin,CB]
     Full Idea: I take properties to have a dual nature; in virtue of possessing a property, an object possesses both a particular dispositionality and a particular qualitative character.
     From: C.B. Martin (The Mind in Nature [2008], 04.6)
     A reaction: That leaves you with the question of the relationship between the disposition and the quality. I say you must choose, and I choose the disposition. Qualities (which are partly subjective, obviously) arise from fundamental dispositions.
8. Modes of Existence / B. Properties / 11. Properties as Sets
Properties are the respects in which objects resemble, which places them in classes [Martin,CB]
     Full Idea: If objects belong to classes in virtue of resemblances they bear to one another, they resemble one another in virtue of their properties. Objects resemble in some way or respect, and you could think of these ways or respects as 'properties'.
     From: C.B. Martin (The Mind in Nature [2008], 04.6)
     A reaction: If you pare the universe down to one object with five distinct properties, they resemble nothing, and fail this definition. Resemblance seems like the epistemology, not the ontology.
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
Properties are ways particular things are, and so they are tied to the identity of their possessor [Martin,CB]
     Full Idea: The redness or sphericity of this tomato cannot migrate to another tomato. This is a consequence of the idea that properties are particular ways things are. The identity of a property is bound up with the identity of its possessor.
     From: C.B. Martin (The Mind in Nature [2008], 04.6)
     A reaction: This is part of his declaration that he believes in tropes. At the very least, properties can be thought of separately, and have second-order properties that don't seem tied to the particulars.
8. Modes of Existence / B. Properties / 13. Tropes / b. Critique of tropes
Objects are not bundles of tropes (which are ways things are, not parts of things) [Martin,CB]
     Full Idea: The bundle theory for tropes treats properties inappositely as parts of objects. Objects can have parts, but an object's properties are not its parts, they are particular ways the object is.
     From: C.B. Martin (The Mind in Nature [2008], 04.6)
     A reaction: The 'way an object is' seems a very vague concept. Most things that get labelled as tropes are actually highly complex. Without mention of causal powers I think these discussions drift in a muddle.
8. Modes of Existence / C. Powers and Dispositions / 1. Powers
A property that cannot interact is worse than inert - it isn't there at all [Martin,CB]
     Full Idea: A property that is intrinsically incapable of affecting or being affected by anything else, actual or possible, is not merely a case of inertness - it amounts to a no-thing.
     From: C.B. Martin (The Mind in Nature [2008], 06.6)
     A reaction: In the end Martin rejects Shoemaker's purely causal account of properties, but he clearly understands Shoemaker's point well.
8. Modes of Existence / C. Powers and Dispositions / 2. Powers as Basic
If unmanifested partnerless dispositions are still real, and are not just qualities, they can explain properties [Martin,CB]
     Full Idea: Given a realist view of dispositions as fully actual, even without manifestations or partners, a purely dispositional account of properties has a degree of plausibility, which is enhanced because properties lack purely qualitative characterisations.
     From: C.B. Martin (The Mind in Nature [2008], 06.4)
     A reaction: In the end Martin opts for a mixed account, as in Idea 15484, but he gives reasons here for the view which I favour. If he concedes that dispositions may exist without manifestation, they must surely lack qualities. Are they not properties, then?
8. Modes of Existence / C. Powers and Dispositions / 5. Powers and Properties
Properties endow a ball with qualities, and with powers or dispositions [Martin,CB]
     Full Idea: Each property endows a ball with a distinctive qualitative character and a distinctive range of powers or dispositionalities.
     From: C.B. Martin (The Mind in Nature [2008], 04.6)
     A reaction: I think this is the wrong way round. Do properties support powers, or powers support properties? I favour the latter. Properties are much vaguer than powers. Powers generate the required causation and activity.
Qualities and dispositions are aspects of properties - what it exhibits, and what it does [Martin,CB]
     Full Idea: For any intrinsic and irreducible property, what is qualitative and what is dispositional are one and the same property considered as what that property exhibits of its nature and what that property is directive and selective for in its manifestation.
     From: C.B. Martin (The Mind in Nature [2008], 06.6)
     A reaction: This is supposed to support qualities and dispositions as equal partners, but I don't see how 'what a property exhibits' can have any role in fundamental ontology. What it exhibits may be very misleading about its nature.
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / a. Dispositions
Dispositions in action can be destroyed, be recovered, or remain unchanged [Martin,CB]
     Full Idea: Three forms of dispositionality are illustrated by explosives (which are destroyed by manifestation), being soluble (where the dispositions is lost but recoverable), and being stable (where the disposition is unchanged).
     From: C.B. Martin (The Mind in Nature [2008], 02.7)
     A reaction: [compressed] Presumably the explosives could be recovered after the explosion, since the original elements are still there, but it would take a while. The retina remains stable by continually changing. There are no simple distinctions!
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / c. Dispositions as conditional
Powers depend on circumstances, so can't be given a conditional analysis [Martin,CB]
     Full Idea: Nobody believes, or ought to believe, that manifestations of powers follow upon the single event mentioned in the antecedent of the conditional independently of the circumstances.
     From: C.B. Martin (The Mind in Nature [2008], 02.4)
     A reaction: Another way of putting it would be that the behaviour of powers is more ceteris paribus than law.
'The wire is live' can't be analysed as a conditional, because a wire can change its powers [Martin,CB]
     Full Idea: According to the conditional analysis of 'the wire is live', if the wire is touched then it gives off electricity. What ultimately defeats this analysis is the acknowledged possibility of objects gaining or losing powers.
     From: C.B. Martin (The Mind in Nature [2008], 02.3)
     A reaction: He offers his 'electro-fink' as a counterexample, where touching the wire changes its disposition. The conditional analysis is simple and clearcut, but dispositions in reality are complex and unstable.
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
Genus gives the essence better than the differentiae do [Aristotle]
     Full Idea: In assigning the essence [ti estin], it is more appropriate to state the genus than the differentiae; for he who describes 'man' as an 'animal' indicates his essence better than he who describes him as 'pedestrian'.
     From: Aristotle (Topics [c.331 BCE], 128a24)
     A reaction: See Idea 12279. This idea is only part of the story. My reading of this is simply that assigning a genus gives more information. We learn more about him when we say he is a man than when we say he is Socrates.
9. Objects / C. Structure of Objects / 1. Structure of an Object
Structural properties involve dispositionality, so cannot be used to explain it [Martin,CB]
     Full Idea: I take it as obvious that any structural property involves dispositionality and, therefore, cannot be used to 'explain' dispositionality.
     From: C.B. Martin (The Mind in Nature [2008], 04.3)
     A reaction: I think this is the right way round. The so-called 'categorical' properties seem to be close in nature to the 'structural' properties.
Structures don't explain dispositions, because they consist of dispositions [Martin,CB]
     Full Idea: It is self-defeating to try to explain dispositionality in terms of structural states because structural states are themselves dispositional.
     From: C.B. Martin (The Mind in Nature [2008], 01.2)
     A reaction: No doubt structures have dispositions, but are they entirely dispositional? Might there be 'emergent' dispositions which can only be explained by the structure itself, rather than by the dispositions that make up the structure?
9. Objects / C. Structure of Objects / 7. Substratum
I favour the idea of a substratum for properties; spacetime seems to be just a bearer of properties [Martin,CB]
     Full Idea: I favour the old idea of substratum: the haver of properties not itself had as a property. Space-time might itself be the bearer of properties, not itself borne as a property.
     From: C.B. Martin (The Mind in Nature [2008], 04.6)
     A reaction: A very nice idea. The choice is between saying either that fundamentals like space-time and physical fields are the propertyless bearers of properties, or that they purely consist of properties (so properties are fundamental, not substrata).
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
In the case of a house the parts can exist without the whole, so parts are not the whole [Aristotle]
     Full Idea: In the case of a house, where the process of compounding the parts is obvious, though the parts exist, there is no reason why the whole should not be non-existent, and so the parts are not the same as the whole.
     From: Aristotle (Topics [c.331 BCE], 150a19)
     A reaction: Compare buying a piece of furniture, and being surprised to discover, when it is delivered, that it is self-assembly. This idea is a simple refutation of the claims of classical mereology, that wholes are just some parts. Aristotle uses modal claims.
Properly understood, wholes do no more causal work than their parts [Martin,CB]
     Full Idea: There is no causal work for the whole that is not done by the parts, provided the complex role of the parts is fully appreciated.
     From: C.B. Martin (The Mind in Nature [2008], 04.1)
     A reaction: It seems like a truth that because some parts are doing particular causal work (e.g. glue), the whole can acquire causal powers that the mereological sum of parts lacks.
9. Objects / D. Essence of Objects / 3. Individual Essences
Everything that is has one single essence [Aristotle]
     Full Idea: Everything that is has one single essence [en esti to einai].
     From: Aristotle (Topics [c.331 BCE], 141a36)
     A reaction: Does this include vague objects, and abstract 'objects'? Sceptics might ask what grounds this claim. Does Dr Jeckyll have two essences?
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
An 'idion' belongs uniquely to a thing, but is not part of its essence [Aristotle]
     Full Idea: A property [idion] is something which does not show the essence of a thing but belongs to it alone. ...No one calls anything a property which can possibly belong to something else.
     From: Aristotle (Topics [c.331 BCE], 102a18)
     A reaction: [See Charlotte Witt 106 on this] 'Property' is clearly a bad translation for such an individual item. Witt uses 'proprium', which is a necessary but nonessential property of something. Necessity is NOT the hallmark of essence. See Idea 12266.
9. Objects / E. Objects over Time / 11. End of an Object
Destruction is dissolution of essence [Aristotle]
     Full Idea: Destruction is a dissolution of essence.
     From: Aristotle (Topics [c.331 BCE], 153b30)
     A reaction: [plucked from context!] I can't think of a better way to define destruction, in order to distinguish it from damage. A vase is destroyed when its essential function cannot be recovered.
9. Objects / E. Objects over Time / 12. Origin as Essential
If two things are the same, they must have the same source and origin [Aristotle]
     Full Idea: When things are absolutely the same, their coming-into-being and destruction are also the same and so are the agents of their production and destruction.
     From: Aristotle (Topics [c.331 BCE], 152a02)
     A reaction: Thus Queen Elizabeth II has to be the result of that particular birth, and from those particular parents, as Kripke says? The inverse may not be true. Do twins have a single origin? Things that fission and then re-fuse differently? etc
9. Objects / F. Identity among Objects / 1. Concept of Identity
Only abstract things can have specific and full identity specifications [Martin,CB]
     Full Idea: Abstract entities (as nonspatiotemporal) seem to be the only candidates for specific and full identity specifications.
     From: C.B. Martin (The Mind in Nature [2008], 05.2 n1)
     A reaction: Martin says that only the 'mad logician' seeks such specifications elsewhere. Some people like persons to have perfect identity. God is a popular candidate too. Can objects have perfect 'macroscopic' identity?
The concept of 'identity' must allow for some changes in properties or parts [Martin,CB]
     Full Idea: We must avoid a use of 'identity' that implies that any entity over time must be said to lack continuing identity simply because it has changed properties or has lost, added, or had substituted some parts.
     From: C.B. Martin (The Mind in Nature [2008], 04.3)
     A reaction: This may the key area where the logical-mathematical type of philosophy comes into contact with the natural-metaphysical type. Imagine Martin's concept of 'identity' in mathematics. π changes to 3.1387... during the calculation!
9. Objects / F. Identity among Objects / 9. Sameness
'Same' is mainly for names or definitions, but also for propria, and for accidents [Aristotle]
     Full Idea: 'The same' is employed in several senses: its principal sense is for same name or same definition; a second sense occurs when sameness is applied to a property [idiu]; a third sense is applied to an accident.
     From: Aristotle (Topics [c.331 BCE], 103a24-33)
     A reaction: [compressed] 'Property' is better translated as 'proprium' - a property unique to a particular thing, but not essential - see Idea 12262. Things are made up of essence, propria and accidents, and three ways of being 'the same' are the result.
Two identical things have the same accidents, they are the same; if the accidents differ, they're different [Aristotle]
     Full Idea: If two things are the same then any accident of one must also be an accident of the other, and, if one of them is an accident of something else, so must the other be also. For, if there is any discrepancy on these points, obviously they are not the same.
     From: Aristotle (Topics [c.331 BCE], 152a36)
     A reaction: So what is always called 'Leibniz's Law' should actually be 'Aristotle's Law'! I can't see anything missing from the Aristotle version, but then, since most people think it is pretty obvious, you would expect the great stater of the obvious to get it.
Numerical sameness and generic sameness are not the same [Aristotle]
     Full Idea: Things which are the same specifically or generically are not necessarily the same or cannot possibly be the same numerically.
     From: Aristotle (Topics [c.331 BCE], 152b32)
     A reaction: See also Idea 12266. This looks to me to be a pretty precise anticipation of Peirce's type/token distinction, but without the terminology. It is reassuring that Aristotle spotted it, as that makes it more likely to be a genuine distinction.
10. Modality / A. Necessity / 6. Logical Necessity
Reasoning is when some results follow necessarily from certain claims [Aristotle]
     Full Idea: Reasoning [sullogismos] is a discussion in which, certain things having been laid down, something other than these things necessarily results through them.
     From: Aristotle (Topics [c.331 BCE], 100a25)
     A reaction: This is cited as the standard statement of the nature of logical necessity. One might challenge either the very word 'necessary', or the exact sense of the word employed here. Is it, in fact, metaphysical, or merely analytic?
10. Modality / E. Possible worlds / 1. Possible Worlds / c. Possible worlds realism
It is pointless to say possible worlds are truthmakers, and then deny that possible worlds exist [Martin,CB]
     Full Idea: To claim that the truthmaker for a counterfactual, for example, is a set of possible worlds, but to deny that these worlds really exist, seems pointless.
     From: C.B. Martin (The Mind in Nature [2008], 03.3)
     A reaction: Lewis therefore argues that they do exist. Martin argues that possible worlds are not truthmakers. He rests his account of modality on dispositions. I prefer Martin.
11. Knowledge Aims / A. Knowledge / 4. Belief / c. Aim of beliefs
Maybe knowledge is belief which 'tracks' the truth [Nozick, by Williams,M]
     Full Idea: Nozick suggests that knowledge is just belief which 'tracks the truth' (hence leaving out justification).
     From: report of Robert Nozick (Philosophical Explanations [1981]) by Michael Williams - Problems of Knowledge Ch. 2
13. Knowledge Criteria / C. External Justification / 4. Tracking the Facts
A true belief isn't knowledge if it would be believed even if false. It should 'track the truth' [Nozick, by Dancy,J]
     Full Idea: Nozick says Gettier cases aren't knowledge because the proposition would be believed even if false. Proper justification must be more sensitive to the truth ("track the truth").
     From: report of Robert Nozick (Philosophical Explanations [1981], 3.1) by Jonathan Dancy - Intro to Contemporary Epistemology 3.1
     A reaction: This is a bad idea. I see a genuine tree in my garden and believe it is there, so I know it. That I might have believed it if I was in virtually reality, or observing a mirror, won't alter that.
14. Science / C. Induction / 1. Induction
Induction is the progress from particulars to universals [Aristotle]
     Full Idea: Induction is the progress from particulars to universals; if the skilled pilot is the best pilot and the skilled charioteer the best charioteer, then, in general, the skilled man is the best man in any particular sphere.
     From: Aristotle (Topics [c.331 BCE], 105a15)
     A reaction: It is a bit unclear whether we are deriving universal concepts, or merely general truths. Need general truths be absolute or necessary truths? Presumably occasionally the best person is not the most skilled, as in playing a musical instrument.
14. Science / C. Induction / 3. Limits of Induction
We say 'so in cases of this kind', but how do you decide what is 'of this kind'? [Aristotle]
     Full Idea: When it is necessary to establish the universal, people use the expression 'So in all cases of this kind'; but it is one of the most difficult tasks to define which of the terms proposed are 'of this kind' and which are not.
     From: Aristotle (Topics [c.331 BCE], 157a25)
     A reaction: It is particularly hard if induction is expressed as the search for universals, since the kind presumably is the universal, so the universal must be known before the induction can apply, which really is the most frightful nuisance for truth-seekers.
14. Science / D. Explanation / 4. Explanation Doubts / a. Explanation as pragmatic
Explanations are mind-dependent, theory-laden, and interest-relative [Martin,CB]
     Full Idea: Explanations are mind-dependent, theory-laden, and interest-relative.
     From: C.B. Martin (The Mind in Nature [2008], 10.2)
     A reaction: I don't think you can rule out the 'real' explanation, as the one dominant causal predecessor, such as the earthquake producing a tsunami.
15. Nature of Minds / A. Nature of Mind / 4. Other Minds / d. Other minds by analogy
Analogy works, as when we eat food which others seem to be relishing [Martin,CB]
     Full Idea: The long-derided way of analogy works! Otherwise why, when someone else is relishing a food we have not tried, is it reasonable for us to try it ourselves?
     From: C.B. Martin (The Mind in Nature [2008], 12.2)
     A reaction: Why wouldn't we rush to eat something an animal was relishing? Nice idea.
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
Memory requires abstraction, as reminders of what cannot be fully remembered [Martin,CB]
     Full Idea: Selectivity and abstraction are required for the development of memory, because reminders and promptings are rarely replicas of what is being remembered.
     From: C.B. Martin (The Mind in Nature [2008], 10.3)
     A reaction: I take the key idea of mental life to be that of a 'label'. This need not be verbal, so 'conceptual label'. It could be an image, as on a road sign. Labelling is the most indispensable aspect of thought. We label objects, parts, properties and groups.
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
Friendship is preferable to money, since its excess is preferable [Aristotle]
     Full Idea: Friendship is preferable to money; for excess of friendship is preferable to excess of money.
     From: Aristotle (Topics [c.331 BCE], 118b07)
     A reaction: Compare Idea 12276, which gives a different criterion for choosing between virtues. This idea is an interesting qualification of the doctrine of the mean.
Justice and self-control are better than courage, because they are always useful [Aristotle]
     Full Idea: Justice [dikaiosune] and self-control [sophrosune] are preferable to courage, for the first two are always useful, but courage only sometimes.
     From: Aristotle (Topics [c.331 BCE], 117a36)
     A reaction: One could challenge his criterion. What of something which is absolutely vital on occasions, against something which is very mildly useful all the time? You may survive without justice, but not without courage. Compare Idea 12277.
23. Ethics / C. Virtue Theory / 4. External Goods / d. Friendship
We value friendship just for its own sake [Aristotle]
     Full Idea: We value friendship for its own sake, even if we are not likely to get anything else from it.
     From: Aristotle (Topics [c.331 BCE], 117a03)
     A reaction: In 'Ethics' he distinguishes some friendships which don't meet this requirement. Presumably true friendships survive all vicissitudes (except betrayal), but that makes such things fairly rare.
24. Political Theory / A. Basis of a State / 1. A People / a. Human distinctiveness
Man is intrinsically a civilized animal [Aristotle]
     Full Idea: It is an essential [kath' auto] property of man to be 'by nature a civilized animal'.
     From: Aristotle (Topics [c.331 BCE], 128b17)
     A reaction: I take this, along with man being intrinsically rational, to be the foundation of Aristotelian ethics. Given that we are civilized, self-evident criteria emerge for how to be good at it. A good person is, above all, a good citizen.
26. Natural Theory / B. Natural Kinds / 2. Defining Kinds
All water is the same, because of a certain similarity [Aristotle]
     Full Idea: Any water is said to be specifically the same as any other water because it has a certain similarity to it.
     From: Aristotle (Topics [c.331 BCE], 103a20)
     A reaction: (Cf. Idea 8153) It take this to be the hallmark of a natural kind, and we should not lose sight of it in the midst of discussions about rigid designation and essential identity. Tigers are only a natural kind insofar as they are indistinguishable.
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
Instead of a cause followed by an effect, we have dispositions in reciprocal manifestation [Martin,CB]
     Full Idea: The two-event cause-and-effect view is easily avoided and replaced by the view of mutual manifestations of reciprocal disposition partners, suggesting a natural contemporaneity.
     From: C.B. Martin (The Mind in Nature [2008], 05.1)
     A reaction: This view, which I find much more congenial than the traditional one, is explored in the ideas of Mumford and Anjum.
Causation should be explained in terms of dispositions and manifestations [Martin,CB]
     Full Idea: Disposition and manifestation are the basic categories by means of which cause and effect are to be explained.
     From: C.B. Martin (The Mind in Nature [2008], 07.8)
     A reaction: 'Manifestation' sounds a bit subjective. The manifestation evident to us may not indicate what is really going on below the surface. I like his basic picture.
26. Natural Theory / C. Causation / 9. General Causation / c. Counterfactual causation
Causal counterfactuals are just clumsy linguistic attempts to indicate dispositions [Martin,CB]
     Full Idea: 'Causal' counterfactuals have a place, of course, but only as clumsy and inexact linguistic gestures to dispositions, and they should be kept in that place.
     From: C.B. Martin (The Mind in Nature [2008], 02.6)
     A reaction: Counterfactuals only seem to give a regularity account of causation, by correlating an effect with a minimal context which will give rise to it. Surely dispositions run deeper than that?
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / c. Essence and laws
Causal laws are summaries of powers [Martin,CB]
     Full Idea: Causal laws are summaries of what entities are capable and incapable of.
     From: C.B. Martin (The Mind in Nature [2008], 02.8)
     A reaction: That's a pretty good formulation. Personally I favour a Humean analysis, perhaps along Lewis's lines, but on a basis of real powers. This remark of Martin's has got me rethinking.
27. Natural Reality / C. Space / 6. Space-Time
We can't think of space-time as empty and propertyless, and it seems to be a substratum [Martin,CB]
     Full Idea: It makes no sense in ontology or modern physics to think of space-time as empty and propertyless. Space-time nicely fulfils the condition of a substratum.
     From: C.B. Martin (The Mind in Nature [2008], 04.6)
     A reaction: At the very least, space-time seems to be 'curved', so it had better be something. Time has properties like being transitive. Space-time (or fields) might be a pure bundle of properties (the only pure bundle?), rather than a substratum.
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
'Being' and 'oneness' are predicated of everything which exists [Aristotle]
     Full Idea: 'Being' and 'oneness' are predicated of everything which exists.
     From: Aristotle (Topics [c.331 BCE], 121a18)
     A reaction: Is 'oneness' predicated of water? So existence always was a predicate, it seems, until Kant told us it wasn't. That existence is a quantifier, not a predicate, seems to be up for question again these days.