Combining Texts

All the ideas for 'Introduction to 'Properties'', 'The Logic of What Might Have Been' and 'The Mind in Nature'

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


59 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.
2. Reason / B. Laws of Thought / 6. Ockham's Razor
Ockham's Razor is the principle that we need reasons to believe in entities [Mellor/Oliver]
     Full Idea: Ockham's Razor is the principle that we need reasons to believe in entities.
     From: DH Mellor / A Oliver (Introduction to 'Properties' [1997], §9)
     A reaction: This presumably follows from an assumption that all beliefs need reasons, but is that the case? The Principle of Sufficient Reason precedes Ockham's Razor.
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'.
4. Formal Logic / D. Modal Logic ML / 2. Tools of Modal Logic / b. Terminology of ML
A world is 'accessible' to another iff the first is possible according to the second [Salmon,N]
     Full Idea: A world w' is accessible to a consistent world w if and only if w' is possible in w. Being 'inaccessible to' or 'possible relative to' a consistent world is simply being possible according to that world, nothing more and nothing less.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], IV)
     A reaction: More illuminating than just saying that w can 'see' w'. Accessibility is internal to worIds. It gives some connection to why we spend time examining modal logic. There is no more important metaphysical notion than what is possible according to actuality.
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / d. System T
For metaphysics, T may be the only correct system of modal logic [Salmon,N]
     Full Idea: Insofar as modal logic is concerned exclusively with the logic of metaphysical modality, ..T may well be the one and only (strongest) correct system of (first-order) propositional logic.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], Intro)
     A reaction: This contrasts sharply with the orthodox view, that S5 (or at the very least S4) is the correct system for metaphysics.
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / f. System B
System B has not been justified as fallacy-free for reasoning on what might have been [Salmon,N]
     Full Idea: Even the conventionally accepted system B, which is weaker than S5 and independent of S4, has not been adequately justified as a fallacy-free system of reasoning about what might have been.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], Intro)
In B it seems logically possible to have both p true and p is necessarily possibly false [Salmon,N]
     Full Idea: The characteristic of B has the form φ⊃□◊φ. ...Even if these axioms are necessarily true, it seems logically possible for p to be true while the proposition that p is necessarily possible is at the same time false.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], Intro)
System B implies that possibly-being-realized is an essential property of the world [Salmon,N]
     Full Idea: Friends of B modal logic commit themselves to the loaded claim that it is logically true that the property of possibly being realized (or being a way things might have been) is an essential property of the world.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], V)
     A reaction: I think this 'loaded' formulation captures quite nicely the dispositional view I favour, that the possibilities of the actual world are built into the actual world, and define its nature just as much as the 'categorial' facts do.
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
What is necessary is not always necessarily necessary, so S4 is fallacious [Salmon,N]
     Full Idea: We can say of a wooden table that it would have been possible for it to have originated from some different matter, even though it is not actually possible. So what is necessary fails to be necessarily necessary, and S4 modal logic is fallacious.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], I)
     A reaction: [compressed]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
S5 modal logic ignores accessibility altogether [Salmon,N]
     Full Idea: When we ignore accessibility altogether, we have finally zeroed in on S5 modal logic.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], IV)
S5 believers say that-things-might-have-been-that-way is essential to ways things might have been [Salmon,N]
     Full Idea: Believers in S5 as a correct system of propositional reasoning about what might have been must claim that it is an essential property of any way things might have been that things might have been that way.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], V)
     A reaction: Salmon is working in a view where you are probably safe to substitute 'necessary' for 'essential' without loss of meaning.
The unsatisfactory counterpart-theory allows the retention of S5 [Salmon,N]
     Full Idea: Counterpart-theoretic modal semantics allows for the retention of S5 modal propositional logic, at a considerable cost.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], V n18)
     A reaction: See the other ideas in this paper by Salmon for his general attack on S5 as the appropriate system for metaphysical necessity. He favours the very modest System T.
4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
Metaphysical (alethic) modal logic concerns simple necessity and possibility (not physical, epistemic..) [Salmon,N]
     Full Idea: Metaphysical modal logic concerns metaphysical (or alethic) necessity and metaphysical (alethic) possibility, or necessity and possibility tout court - as opposed to such other types of modality as physical necessity, epistemic necessity etc.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], Intro n2)
8. Modes of Existence / B. Properties / 6. Categorical Properties
Properties are respects in which particular objects may be alike or differ [Mellor/Oliver]
     Full Idea: Properties are respects in which particular objects may be alike or differ.
     From: DH Mellor / A Oliver (Introduction to 'Properties' [1997], §1)
     A reaction: Note that this definition does not mention a causal role for properties.
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 / 12. Denial of Properties
Nominalists ask why we should postulate properties at all [Mellor/Oliver]
     Full Idea: Nominalists ask why we should postulate properties at all.
     From: DH Mellor / A Oliver (Introduction to 'Properties' [1997], §3)
     A reaction: Objects might be grasped without language, but events cannot be understood, and explanations of events seem inconceivable without properties (implying that they are essentially causal).
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 / 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
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 / 15. Against Essentialism
Any property is attached to anything in some possible world, so I am a radical anti-essentialist [Salmon,N]
     Full Idea: By admitting possible worlds of unlimited variation and recombination, I simply abandon true metaphysical essentialism. By my lights, any property is attached to anything in some possible world or other. I am a closet radical anti-essentialist.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], II)
     A reaction: Salmon includes impossible worlds within his scheme of understanding. It strikes me that this is metaphysical system which tells us nothing about how things are: it is sort of 'logical idealist'. Later he talks of 'we essentialists'.
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!
10. Modality / A. Necessity / 3. Types of Necessity
Logical possibility contains metaphysical possibility, which contains nomological possibility [Salmon,N]
     Full Idea: Just as nomological possibility is a special kind of metaphysical possibility, so metaphysical possibility is a special kind of logical possibility.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], III)
     A reaction: This is the standard view of how the three types of necessity are nested. He gives a possible counterexample in footnote 7.
10. Modality / A. Necessity / 5. Metaphysical Necessity
In the S5 account, nested modalities may be unseen, but they are still there [Salmon,N]
     Full Idea: The S5 theorist's miscontrual of English (in the meaning of 'possibly possible') makes nested modality unseen, but it does not make nested modality vanish. Inaccessible worlds are still worlds.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], IV)
Metaphysical necessity is said to be unrestricted necessity, true in every world whatsoever [Salmon,N]
     Full Idea: It is held that it is the hallmark of metaphysical necessity is that it is completely unrestricted, the limiting case of restricted necessity, with no restrictions whatever. A proposition is necessary only if it is true in absolutely every world whatever.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], II)
     A reaction: This is the standard picture which leads to the claim that S5 modal logic is appropriate for metaphysical necessity, because there are no restrictions on accessibility. Salmon raises objections to this conventional view.
Bizarre identities are logically but not metaphysically possible, so metaphysical modality is restricted [Salmon,N]
     Full Idea: Though there is a way things logically could be according to which I am a credit card account, there is no way things metaphysically might be according to which I am a credit card account. This illustrates the restricted nature of metaphysical modality.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], III)
     A reaction: His drift is that metaphyical modality is restricted, but expressing it in S5 modal logic (where all worlds see one another) makes it unrestricted, so S5 logic is wrong for metaphysics. I'm impressed by his arguments.
Without impossible worlds, the unrestricted modality that is metaphysical has S5 logic [Salmon,N]
     Full Idea: If one confines one's sights to genuinely possible worlds, disavowing the impossible worlds, then metaphysical modality emerges as the limiting case - the 'unrestricted' modality that takes account of 'every' world - and S5 emerges as its proper logic.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], IV)
     A reaction: He observes that this makes metaphysical modality 'restricted' simply because you have restricted what 'all worlds' means. Could there be non-maximal worlds? Are logical and metaphysical modality coextensive? I think I like the S5 view.
Metaphysical necessity is NOT truth in all (unrestricted) worlds; necessity comes first, and is restricted [Salmon,N]
     Full Idea: A mythology gave us the idea that metaphysical necessity is truth in every world whatsoever, without restriction. But the notion of metaphysical modality comes first, and, like every notion of modality, it is restricted.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], IV)
10. Modality / A. Necessity / 6. Logical Necessity
Logical necessity is free of constraints, and may accommodate all of S5 logic [Salmon,N]
     Full Idea: With its freedom from the constraint of metaphysical possibility, logical necessity may be construed as accommodating all the axioms and rules of S5.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], III)
     A reaction: He goes on to raise problems for this simple thought. The big question: what are the limits of what is actually possible? Compare: what are the limits of what is imaginable? what are the limits of what is meaningfully sayable?
10. Modality / A. Necessity / 7. Natural Necessity
Nomological necessity is expressed with intransitive relations in modal semantics [Salmon,N]
     Full Idea: Intransitive relations are introduced into modal semantics for the purposes of interpreting various 'real' or restricted types of modalities, such as nomological necessity.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], II)
     A reaction: The point here is that the (so-called) 'laws of nature' are held to change from world to world, so necessity in one could peter out in some more remote world, rather than being carried over everywhere. A very Humean view of such things.
10. Modality / C. Sources of Modality / 5. Modality from Actuality
Necessity and possibility are not just necessity and possibility according to the actual world [Salmon,N]
     Full Idea: The real meanings of the simple modal terms 'necessary' and 'possible' are not the same as the concepts of actual necessity and actual possibility, necessity and possibility according to the actual world.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], IV)
     A reaction: If you were an 'actualist' (who denies everything except the actual world) then you are unlikely to agree with this. In unrestricted possible worlds, being true in one world makes it possible in all worlds. So actual necessity is possible everywhere.
10. Modality / E. Possible worlds / 1. Possible Worlds / b. Impossible worlds
Impossible worlds are also ways for things to be [Salmon,N]
     Full Idea: Total ways things cannot be are also 'worlds', or maximal ways for things to be. They are impossible worlds.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], I)
     A reaction: This unorthodox view doesn't sound too plausible to me. To think of a circular square as a 'way things could be' sounds pretty empty, and mere playing with words. The number 7 could be the Emperor of China?
Denial of impossible worlds involves two different confusions [Salmon,N]
     Full Idea: Every argument I am aware of against impossible worlds confuses ways for things to be with ways things might have been, or worse, confuses ways things cannot be with ways for things to be that cannot exist - or worse yet, commits both errors.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], III)
     A reaction: He is claiming that 'ways for things to be' allows impossible worlds, whereas 'ways things might have been' appears not to. (I think! Read the paragraph yourself!)
Without impossible worlds, how things might have been is the only way for things to be [Salmon,N]
     Full Idea: If one ignores impossible worlds, then ways things might have been are the only ways for things to be that are left.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], IV)
     A reaction: Impossible worlds are included in 'ways for things to be', but excluded from 'ways things might have been'. I struggle with a circle being square as a 'way for circles to be'. I suppose being the greatest philosopher is a way for me to be.
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.
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
Possible worlds rely on what might have been, so they can' be used to define or analyse modality [Salmon,N]
     Full Idea: On my conception, the notions of metaphysical necessity and possibility are not defined or analyzed in terms of the apparatus of possible worlds. The order of analysis is just the reverse: possible worlds rely on the notion of what might have been.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], IV)
     A reaction: This view seems to be becoming the new orthodoxy, and I certainly agree with it. I have no idea how you can begin to talk about possible worlds if you don't already have some idea of what 'possible' means.
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
Possible worlds are maximal abstract ways that things might have been [Salmon,N]
     Full Idea: I conceive of possible worlds as certain sorts of maximal abstract entities according to which certain things (facts, states of affairs) obtain and certain other things do not obtain. They are total ways things might have been.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], I)
Possible worlds just have to be 'maximal', but they don't have to be consistent [Salmon,N]
     Full Idea: As far as I can tell, worlds need not be logically consistent. The only restriction on worlds is that they must be (in some sense) 'maximal' ways for things to be.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], I)
     A reaction: The normal idea of a maximal model is that it must contain either p or ¬p, and not both, so I don't think I understand this thought, but I pass it on.
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / c. Worlds as propositions
You can't define worlds as sets of propositions, and then define propositions using worlds [Salmon,N]
     Full Idea: It is not a good idea to think of possible worlds as sets of propositions, and at the same time to think of propositions as sets of possible worlds.
     From: Nathan Salmon (The Logic of What Might Have Been [1989], I n3)
     A reaction: Salmon favours thinking of worlds as sets of propositions, and hence rejects the account of propositions as sets of worlds. He favours the 'Russellian' view of propositions, which seem to me to be the same as 'facts'.
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.
18. Thought / E. Abstraction / 5. Abstracta by Negation
Abstractions lack causes, effects and spatio-temporal locations [Mellor/Oliver]
     Full Idea: Abstract entities (such as sets) are usually understood as lacking causes, effects, and spatio-temporal location.
     From: DH Mellor / A Oliver (Introduction to 'Properties' [1997], §10)
     A reaction: This seems to beg some questions. Has the ideal of 'honour' never caused anything? Young men dream of pure velocity.
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.