Combining Texts

All the ideas for 'What is Logic?st1=Ian Hacking', 'The Metaphysics of Causation' and 'The Reasons of Love'

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


54 ideas

2. Reason / D. Definition / 3. Types of Definition
A decent modern definition should always imply a semantics [Hacking]
     Full Idea: Today we expect that anything worth calling a definition should imply a semantics.
     From: Ian Hacking (What is Logic? [1979], §10)
     A reaction: He compares this with Gentzen 1935, who was attempting purely syntactic definitions of the logical connectives.
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / d. Basic theorems of PL
'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking]
     Full Idea: 'Dilution' (or 'Thinning') provides an essential contrast between deductive and inductive reasoning; for the introduction of new premises may spoil an inductive inference.
     From: Ian Hacking (What is Logic? [1979], §06.2)
     A reaction: That is, inductive logic (if there is such a thing) is clearly non-monotonic, whereas classical inductive logic is monotonic.
Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking]
     Full Idea: If A |- B and B |- C, then A |- C. This generalises to: If Γ|-A,Θ and Γ,A |- Θ, then Γ |- Θ. Gentzen called this 'cut'. It is the transitivity of a deduction.
     From: Ian Hacking (What is Logic? [1979], §06.3)
     A reaction: I read the generalisation as 'If A can be either a premise or a conclusion, you can bypass it'. The first version is just transitivity (which by-passes the middle step).
Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking]
     Full Idea: Only the cut rule can have a conclusion that is less complex than its premises. Hence when cut is not used, a derivation is quite literally constructive, building up from components. Any theorem obtained by cut can be obtained without it.
     From: Ian Hacking (What is Logic? [1979], §08)
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
The various logics are abstractions made from terms like 'if...then' in English [Hacking]
     Full Idea: I don't believe English is by nature classical or intuitionistic etc. These are abstractions made by logicians. Logicians attend to numerous different objects that might be served by 'If...then', like material conditional, strict or relevant implication.
     From: Ian Hacking (What is Logic? [1979], §15)
     A reaction: The idea that they are 'abstractions' is close to my heart. Abstractions from what? Surely 'if...then' has a standard character when employed in normal conversation?
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking]
     Full Idea: First-order logic is the strongest complete compact theory with a Löwenheim-Skolem theorem.
     From: Ian Hacking (What is Logic? [1979], §13)
A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking]
     Full Idea: Henkin proved that there is no first-order treatment of branching quantifiers, which do not seem to involve any idea that is fundamentally different from ordinary quantification.
     From: Ian Hacking (What is Logic? [1979], §13)
     A reaction: See Hacking for an example of branching quantifiers. Hacking is impressed by this as a real limitation of the first-order logic which he generally favours.
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Second-order completeness seems to need intensional entities and possible worlds [Hacking]
     Full Idea: Second-order logic has no chance of a completeness theorem unless one ventures into intensional entities and possible worlds.
     From: Ian Hacking (What is Logic? [1979], §13)
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
Logical form can't dictate metaphysics, as it may propose an undesirable property [Schaffer,J]
     Full Idea: Logical form should not have the last word in metaphysics, since it might predicate a property that we have theoretical reason to reject.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 1.3.1)
     A reaction: These kind of warnings need to be sounded all the time, to prevent logicians and language experts from pitching their tents in the middle of metaphysics. They are welcome guests only,
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking]
     Full Idea: My doctrine is that the peculiarity of the logical constants resides precisely in that given a certain pure notion of truth and consequence, all the desirable semantic properties of the constants are determined by their syntactic properties.
     From: Ian Hacking (What is Logic? [1979], §09)
     A reaction: He opposes this to Peacocke 1976, who claims that the logical connectives are essentially semantic in character, concerned with the preservation of truth.
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking]
     Full Idea: For some purposes the variables of first-order logic can be regarded as prepositions and place-holders that could in principle be dispensed with, say by a system of arrows indicating what places fall in the scope of which quantifier.
     From: Ian Hacking (What is Logic? [1979], §11)
     A reaction: I tend to think of variables as either pronouns, or as definite descriptions, or as temporary names, but not as prepositions. Must address this new idea...
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking]
     Full Idea: A Löwenheim-Skolem theorem holds for anything which, on my delineation, is a logic.
     From: Ian Hacking (What is Logic? [1979], §13)
     A reaction: I take this to be an unusually conservative view. Shapiro is the chap who can give you an alternative view of these things, or Boolos.
7. Existence / D. Theories of Reality / 8. Facts / b. Types of fact
There is only one fact - the True [Schaffer,J]
     Full Idea: It can be argued that if all facts are logically equivalent, then there is only one fact - the True.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 1.1)
     A reaction: [he cites Davidson's 'Causal Relations', who cites Frege] This is the sort of bizarre stuff you end up with if you start from formal logic and work out to the world, instead of vice versa.
10. Modality / A. Necessity / 9. Normative Necessity
Love creates a necessity concerning what to care about [Frankfurt]
     Full Idea: The necessity with which love binds the will puts an end to indecisiveness concerning what to care about.
     From: Harry G. Frankfurt (The Reasons of Love [2005], 2.13)
     A reaction: I put this here as a reminder that there may be more to necessity than the dry concept of metaphysicians and logicians. 'Why did you rescue that man first?' 'Because I love him'. Kit Fine recognises many sorts of necessity.
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / d. Ethical theory
Ranking order of desires reveals nothing, because none of them may be considered important [Frankfurt]
     Full Idea: Ranking desires in order of preference is no help, because a person who wants one thing more than another may not regard the former as any more important to him than the latter.
     From: Harry G. Frankfurt (The Reasons of Love [2005], 1.5)
     A reaction: A salutary warning. Someone may pursue something with incredible intensity, but only to stave off a boring and empty existence. The only way I can think of to assess what really matters to people is - to ask them!
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / b. Rational ethics
Morality isn't based on reason; moral indignation is quite unlike disapproval of irrationality [Frankfurt]
     Full Idea: The ultimate warrant for moral principles cannot be found in reason. The sort of opprobrium that attaches to moral transgressions is quite unlike the sort of opprobrium that attaches to the requirements of reason.
     From: Harry G. Frankfurt (The Reasons of Love [2005], 2.5 n6)
     A reaction: More like a piece of evidence than a proper argument. We may not feel indignant if someone fails a maths exam, but we might if they mess up the arithmetic of our bank account, even though they meant well.
22. Metaethics / B. Value / 1. Nature of Value / d. Subjective value
It is by caring about things that we infuse the world with importance [Frankfurt]
     Full Idea: It is by caring about things that we infuse the world with importance.
     From: Harry G. Frankfurt (The Reasons of Love [2005], 1.10)
     A reaction: This book is a lovely attempt at getting to the heart of where values come from. 'Football isn't a matter of life and death; it's more important than that' - Bill Shankly (manager of Liverpool). Frankfurt is right.
If you don't care about at least one thing, you can't find reasons to care about anything [Frankfurt]
     Full Idea: It is not possible for a person who does not already care at least about something to discover reasons for caring about anything.
     From: Harry G. Frankfurt (The Reasons of Love [2005], 1.11)
     A reaction: This is the key idea of this lovely book. Without a glimmer of love somewhere, it is not possible to bootstrap a meaningful life. The glimmer of caring about one thing is transferable. See the Ancient Mariner and the watersnake.
22. Metaethics / B. Value / 1. Nature of Value / f. Ultimate value
What is worthwhile for its own sake alone may be worth very little [Frankfurt]
     Full Idea: What is worth having or worth doing for its own sake alone may nonetheless be worth very little.
     From: Harry G. Frankfurt (The Reasons of Love [2005], 1.5)
     A reaction: That is one of my cherished notions sunk without trace! Aristotle's idea that ends are what matter, not means, always struck me as crucial. But Frankfurt is right. Collecting trivia is done for its own sake. Great tasks are performed as a means.
Our criteria for evaluating how to live offer an answer to the problem [Frankfurt]
     Full Idea: Identifying the criteria to be employed in evaluating various ways of living is also tantamount to providing an answer to the question of how to live.
     From: Harry G. Frankfurt (The Reasons of Love [2005], 1.10)
     A reaction: Presumably critical reflection is still possible about those criteria, even though he implies that they just arise out of you (in a rather Nietzschean way). The fear is that critical reflection on basic criteria kills in infant in its cradle.
22. Metaethics / B. Value / 2. Values / g. Love
Rather than loving things because we value them, I think we value things because we love them [Frankfurt]
     Full Idea: It is often understood that we begin loving things because we are struck by their value. ..However, what I have in mind is rather that what we love necessarily acquires value for us because we love it.
     From: Harry G. Frankfurt (The Reasons of Love [2005], 2.3)
     A reaction: The uneasy thought here is that this makes value much less rational. If you love because you value, you could probably give reasons for the value. If love comes first it must be instinctive. He says he loved his children before they were born.
Love can be cool, and it may not involve liking its object [Frankfurt]
     Full Idea: It is not among the defining features of love that it must be hot rather than cool, ..and nor is it essential that a person like what he loves.
     From: Harry G. Frankfurt (The Reasons of Love [2005], 2.4)
     A reaction: An interesting pair of observations. The greatness of love would probably be measured by length, or by sacrifice. Extreme heat makes us a little suspicious. It would be hard to love something that was actually disliked.
The paradigm case of pure love is not romantic, but that between parents and infants [Frankfurt]
     Full Idea: Relationships that are primarily romantic or sexual do not provide very authentic or illuminating paradigms of love. ...The love of parents for their small children comes closest to offering recognizably pure instances of love.
     From: Harry G. Frankfurt (The Reasons of Love [2005], 2.4)
     A reaction: Excellent. Though perhaps a relationships which began romantically might settle into something like the more 'pure' love that he has in mind. Such a relationship must, I trust, be possible between adults.
I value my children for their sake, but I also value my love for them for its own sake [Frankfurt]
     Full Idea: Beside the fact that my children are important to me for their own sakes, there is the additional fact that loving my children is important to me for its own sake.
     From: Harry G. Frankfurt (The Reasons of Love [2005], 2.7)
     A reaction: This is at the heart of Frankfurt's thesis, that love is the bedrock of our values in life, and we therefore all need to love in order to generate any values in our life, quite apart from what our love is directed at. Nice thought.
22. Metaethics / C. The Good / 2. Happiness / d. Routes to happiness
We might not choose a very moral life, if the character or constitution was deficient [Frankfurt]
     Full Idea: People who are scrupulously moral may nonetheless be destined by deficiencies of character or of constitution to lead lives that no reasonable person would freely choose.
     From: Harry G. Frankfurt (The Reasons of Love [2005], 1.2)
     A reaction: This fairly firmly refutes any Greek dream that all there is to happiness is leading a virtuous life. Frankfurt is with Aristotle more than with the Stoics. It would be tempting to sacrifice virtue to get a sunny character and good health.
22. Metaethics / C. The Good / 3. Pleasure / a. Nature of pleasure
People want to fulfill their desires, but also for their desires to be sustained [Frankfurt]
     Full Idea: Besides wanting to fulfil his desire, the person who cares about what he desires wants something else as well: he wants the desire to be sustained.
     From: Harry G. Frankfurt (The Reasons of Love [2005], 1.6)
     A reaction: Plato, in 'Gorgias', makes this fact sound like a nightmare, resembling drug addiction, but in Frankfurt's formulation it looks like a good thing. If you want to make your family happy because you love them, you would dread finding your love had died.
23. Ethics / A. Egoism / 1. Ethical Egoism
Loving oneself is not a failing, but is essential to a successful life [Frankfurt]
     Full Idea: Far from demonstrating a flaw in character or being a sign of weakness, coming to love oneself is the deepest and most essential - and by no means the most readily attainable - achievement of a serious and successful life.
     From: Harry G. Frankfurt (The Reasons of Love [2005], 2.14)
     A reaction: Obviously it will be necessary to dilineate the healthy form of self-love, which Frankfurt attempts to do. Ruthless vanity and self-seeking certainly look like the worst possible weaknesses of character. With that proviso, he is right.
23. Ethics / F. Existentialism / 4. Boredom
Boredom is serious, not just uncomfortable; it threatens our psychic survival [Frankfurt]
     Full Idea: Boredom is a serious matter. It is not a condition that we seek to avoid just because we do not find it enjoyable. ..It threatens the very continuation of conscious mental life. ..Avoiding bored is a primitive urge for psychic survival.
     From: Harry G. Frankfurt (The Reasons of Love [2005], 2.8)
     A reaction: Presumably nihilism will flood into the emptiness created by boredom. Frankfurt will see it as a lack of love for anything in your life, and hence an absence of value. Frankfurt is very good.
25. Social Practice / A. Freedoms / 5. Freedom of lifestyle
Freedom needs autonomy (rather than causal independence) - embracing our own desires and choices [Frankfurt]
     Full Idea: What counts as far as freedom goes is not causal independence, but autonomy. It is a matter of whether we are active rather than passive in our motives and choices, whether those are what we really want, and not alien to us.
     From: Harry G. Frankfurt (The Reasons of Love [2005], 1.8)
     A reaction: This is why setting your own targets is excellent, but having targets set for you by authorities is pernicious. These kind of principles need to be clear before any plausible theory of liberalism can be developed.
26. Natural Theory / C. Causation / 1. Causation
In causation there are three problems of relata, and three metaphysical problems [Schaffer,J]
     Full Idea: The questions about causation concern their relata (in space-time, how fine-grained, how many?) and the metaphysics (distinguish causal sequences from others, the direction of causation, selecting causes among pre-conditions?).
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], Intro)
     A reaction: A very nice map (which has got me thinking about restructuring this database). I can't think of a better way to do philosophy than this (let's hear it for analysis - but the greatest role models for the approach are Aristotle and Aquinas).
Causation may not be transitive; the last event may follow from the first, but not be caused by it [Schaffer,J]
     Full Idea: It is not clear whether causation is transitive. For example, if a boulder roll's towards a hiker's head, causing the hiker to duck, which causes the hiker to survive, it does not seem that the rolling boulder causes the survival of the hiker.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 1.2)
     A reaction: Maybe survival is not an event or an effect. How many times have I survived in my life? We could, though, say that the hiker strained a muscle as he or she ducked. But then it is unclear whether the boulder caused the muscle-strain.
There are at least ten theories about causal connections [Schaffer,J]
     Full Idea: Theories of causal connection are: nomological subsumption, statistical correlation, counterfactual dependence, agential manipulability, contiguous change, energy flow, physical processes, property transference, primitivism and eliminativism.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 1.3.1)
     A reaction: Schaffer reduces these to probability and process. I prefer the latter. The first two are wrong, the third right but superficial, the fourth wrong, the fifth, sixth and seventh on the right lines, the eighth wrong, the ninth tempting, and the last wrong.
26. Natural Theory / C. Causation / 4. Naturalised causation
Causation transcends nature, because absences can cause things [Schaffer,J]
     Full Idea: The main argument for causation being transcendent (rather than being immanent in nature) is that absences can be involved in causal relations. Thus a rock-climber is caused to survive by not falling.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 1.1)
     A reaction: I don't like that. The obvious strategy is to redescribe the events. Even being hit with a brick could be described as an 'absence of brick-prevention'. So not being hit by a brick can be described as 'presence of brick prevention'.
Causation may not be a process, if a crucial part of the process is 'disconnected' [Schaffer,J]
     Full Idea: One problem case for the process view of causation is 'disconnection'. If a brick breaks a window by being fired from a catapult, a latch is released which was preventing the catapult from firing, so the 'process' is just internal to the catapult.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 2.1.1)
     A reaction: Schaffer says the normal reply is to deny that the catch-releasing is genuinely causal. I would have thought we should go more fine-grained, and identify linked components of the causal process.
A causal process needs to be connected to the effect in the right way [Schaffer,J]
     Full Idea: A problem case for the process view of causation is 'misconnection'. A process may be connected to an effect, without being causal, as when someone watches an act of vandalism in dismay.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 2.1.1)
     A reaction: This is a better objection to the process view than Idea 10377. If I push a window with increasing force until it breaks, the process is continuous, but it suddenly becomes a cause.
Causation can't be a process, because a process needs causation as a primitive [Schaffer,J]
     Full Idea: It might be that if causation is said to be a process, then a process is nothing more than a causal sequence, so that causation is primitive.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 2.1.2)
     A reaction: This again is tempting (as well as the primitivist view of probabilistic causation). If one tries to define a process as mere chronology, then the causal and accidental are indistinguishable. I take the label 'primitive' to be just our failure.
26. Natural Theory / C. Causation / 5. Direction of causation
At least four rivals have challenged the view that causal direction is time direction [Schaffer,J]
     Full Idea: The traditional view that the direction of causation is the direction of time has been challenged, by the direction of forking, by overdetermination, by independence, and by manipulation, which all seem to be one-directional features.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 1.3.1)
     A reaction: Personally I incline to the view that time is prior, and fixes the direction of causation. I'm not sure that 'backward causation' can be stated coherently, even if it is metaphysically or naturally possible.
Causal order must be temporal, or else causes could be blocked, and time couldn't be explained [Schaffer,J]
     Full Idea: Reasons for causal order being temporal order are that otherwise the effect might occur but the cause then get prevented, ..and that they must be the same, because the temporal order can only be analysed in terms of the causal order.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 2.2)
     A reaction: If one took both time and causation as primitive, then the second argument would be void. The first argument, though, sounds pretty overwhelming to me.
Causal order is not temporal, because of time travel, and simultanous, joint or backward causes [Schaffer,J]
     Full Idea: Reasons for denying that causal order is temporal order are that time travel seems possible, that cause and effect can be simultaneous, because joint effects have temporal order without causal connection, and because backward causation may exist.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 2.2)
     A reaction: The possibility of time travel and backward causation can clearly be doubted, and certainly can't be grounds for one's whole metaphysics. The other two need careful analysis, but I think they can be answered. Causation is temporal.
26. Natural Theory / C. Causation / 6. Causation as primitive
Causation is primitive; it is too intractable and central to be reduced; all explanations require it [Schaffer,J]
     Full Idea: Primitivism arises from our failure to reduce causation, but also from causation being too central to reduce. The probability and process accounts are said to be inevitably circular, as they cannot be understood without reference to causation.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 2.1.2)
     A reaction: This is very tempting. The primitive view, though, must deal with the direction problem, which may suggest that time is even more primitive. Can we have a hierarchy of primitiveness? To be alive is to be causal.
If causation is just observables, or part of common sense, or vacuous, it can't be primitive [Schaffer,J]
     Full Idea: The three main objections to causation being primitive are that causation can't be anything more than what we observe, or that such a primitive is too spooky to be acceptable, or that primitivism leads to elimination of causation.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 2.1.2)
     A reaction: [summarised] I don't like the first (Humean) view. I suspect that anything which we finally decide has to be primitive (time, for example) is going to be left looking 'spooky', and I suspect that eliminativism is just Humeanism in disguise.
26. Natural Theory / C. Causation / 7. Eliminating causation
The notion of causation allows understanding of science, without appearing in equations [Schaffer,J]
     Full Idea: The concepts of 'event', 'law', 'cause' and 'explanation' are nomic concepts which serve to allow a systematic understanding of science; they do not themselves appear in the equations.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 2.1.2)
     A reaction: This is a criticism of Russell's attempt to eliminate causation from science. It shows that there has to be something we can call 'metascience', which is the province of philosophers, since scientists don't have much interest in it.
Causation is utterly essential for numerous philosophical explanations [Schaffer,J]
     Full Idea: Causation can't be eliminated if it is needed to explain persistence, explanation, disposition, perception, warrant, action, responsibility, mental functional role, conceptual content, and reference. It's elimination would be catastrophic.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 2.1.2)
     A reaction: [compressed list] I think I am going to vote for the view that causation is one of the primitives in the metaphysics of nature, so I have to agree with this. Most of the listed items, though, are controversial, so eliminativists are not defeated.
26. Natural Theory / C. Causation / 8. Particular Causation / a. Observation of causation
If two different causes are possible in one set of circumstances, causation is primitive [Schaffer,J]
     Full Idea: Causation seems to be primitive if the same laws and patterns of events might embody three different possible causes, as when two magicians cast the same successful spell, each with a 50% chance of success, and who was successful is unclear.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 2.1.2)
     A reaction: I'm cautious when the examples involve magic. It implies that the process that leads to the result will be impossible to observe, but if magic never really happens, then the patterns of events will always be different.
If causation is primitive, it can be experienced in ourselves, or inferred as best explanation [Schaffer,J]
     Full Idea: The view that causation is primitive can be defended against Humean critics by saying that causation can be directly observed in the will or our bodies, or that it can be inferred as the best explanation.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 2.1.2)
     A reaction: I like both views, and have just converted myself to the primitivist view of causation! I can't know the essence of a tree, because I am not a tree, but I can know the essence of causation. The Greek fascination with explaining movement is linked.
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
Events are fairly course-grained (just saying 'hello'), unlike facts (like saying 'hello' loudly) [Schaffer,J]
     Full Idea: Events are relatively coarse-grained, unlike facts; so the event of John's saying 'hello' seems to be the same event as John's saying 'hello' loudly, while they seem to be different facts.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 1)
     A reaction: The example seems good support for facts, since saying 'hello' loudly could have quite different effects from just saying 'hello'. I also incline temperamentally towards a fine-grained account, because it is more reductivist.
Causal relata are events - or facts, features, tropes, states, situations or aspects [Schaffer,J]
     Full Idea: The standard view make causal relata events (Davidson, Kim, Lewis), but there is considerable support for facts (Bennett, Mellor), and occasional support for features (Dretske), tropes (Campbell), states of affairs (Armstrong), and situations and aspects.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 1)
     A reaction: An event is presumed to be concrete, while a fact is more abstract (a proposition, perhaps). I'm always drawn to 'processes' (because they are good for discussing the mind), so an event, as a sort of natural process, looks good.
One may defend three or four causal relata, as in 'c causes e rather than e*' [Schaffer,J]
     Full Idea: The view that there are two causal relata is widely assumed but seldom defended. But the account based on 'effectual difference' says the form is 'c causes e rather than e*'. One might defend four relata, in 'c rather than c* causes e rather than e*'.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 1)
     A reaction: [compressed] This doesn't sound very plausible to me. How do you decide which is e*? If I lob a brick into the crowd, it hits Jim rather than - who?
If causal relata must be in nature and fine-grained, neither facts nor events will do [Schaffer,J]
     Full Idea: Theorists who reject both events and facts as causal relata do so because the relata must be immanent in nature, and thus not facts, but also fine-grained and thus not events.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 1.2)
     A reaction: Kim, however, offers a fine-grained account of events (as triples), and Bennett individuates them even more finely (as propositions), so events might be saved. Descriptions can be very fine-grained.
The relata of causation (such as events) need properties as explanation, which need causation! [Schaffer,J]
     Full Idea: The primitivist about causation might say that the notion of an event (or other relata) cannot be understood without reference to causation, because properties themselves are individuated by their causal role.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 2.1.2)
     A reaction: Having enthusiastically embraced the causal view of properties (see Shoemaker and Ellis), I suddenly realise that I seem required to embrace primitivism about causation, which I hadn't anticipated! I've no immediate problem with that.
26. Natural Theory / C. Causation / 8. Particular Causation / d. Selecting the cause
Our selection of 'the' cause is very predictable, so must have a basis [Schaffer,J]
     Full Idea: The main argument against saying that there is no basis for selecting the one cause of an event is that our selections are too predictable to be without a basis.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 2.3)
     A reaction: The problem is that we CAN, if we wish, whimsically pick out any pre-condition of an event for discussion (e.g. the railways before WW1). I would say that sensitivity to nature leads us to a moderately correct selection of 'the' cause.
Selecting 'the' cause must have a basis; there is no causation without such a selection [Schaffer,J]
     Full Idea: Another argument against the view that there is no basis for selecting 'the' cause is that we have no concept of causation without such a selection.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 2.3)
     A reaction: Good. Otherwise we could only state the conditions preceding an event, and then every event that occurred at any given moment in a region would have the same cause. How can 'the' cause be necessary, and yet capricious?
26. Natural Theory / C. Causation / 8. Particular Causation / e. Probabilistic causation
The actual cause may make an event less likely than a possible more effective cause [Schaffer,J]
     Full Idea: If Pam threw the brick that broke the window, then Bob (who refrained) might be a more reliable vandal, so that Pam's throw might have made the shattering less likely, so probability-raising is not necessary for causation.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 2.1)
     A reaction: That objection looks pretty conclusive to me. I take the probabilistic view to be a non-starter.
All four probability versions of causation may need causation to be primitive [Schaffer,J]
     Full Idea: All four probability versions of causation may need causation to be primitive: nomological - to distinguish laws from generalizations; statistical - to decide background; counterfactual - decide background; agent intervention - to understand intervention.
     From: Jonathan Schaffer (The Metaphysics of Causation [2007], 2.1.2)
     A reaction: I don't need much convincing that the probabilistic view is wrong. To just accept causation as primitive seems an awful defeat for philosophy. We should be able to characterise it, even if we cannot know its essence.