Combining Texts

All the ideas for 'Logical Pluralism', 'The Logical Structure of the World (Aufbau)' and 'The Metaphysics of Causation'

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


52 ideas

3. Truth / A. Truth Problems / 1. Truth
Some truths have true negations [Beall/Restall]
     Full Idea: Dialetheism is the view that some truths have true negations.
     From: JC Beall / G Restall (Logical Pluralism [2006], 7.4)
     A reaction: The important thing to remember is that they are truths. Thus 'Are you feeling happy?' might be answered 'Yes and no'.
3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths
A truthmaker is an object which entails a sentence [Beall/Restall]
     Full Idea: The truthmaker thesis is that an object is a truthmaker for a sentence if and only if its existence entails the sentence.
     From: JC Beall / G Restall (Logical Pluralism [2006], 5.5.3)
     A reaction: The use of the word 'object' here is even odder than usual, and invites many questions. And the 'only if' seems peculiar, since all sorts of things can make a sentence true. 'There is someone in the house' for example.
4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
(∀x)(A v B) |- (∀x)A v (∃x)B) is valid in classical logic but invalid intuitionistically [Beall/Restall]
     Full Idea: The inference of 'distribution' (∀x)(A v B) |- (∀x)A v (∃x)B) is valid in classical logic but invalid intuitionistically. It is straightforward to construct a 'stage' at which the LHS is true but the RHS is not.
     From: JC Beall / G Restall (Logical Pluralism [2006], 6.1.2)
     A reaction: This seems to parallel the iterative notion in set theory, that you must construct your hierarchy. All part of the general 'constructivist' approach to things. Is some kind of mad platonism the only alternative?
4. Formal Logic / E. Nonclassical Logics / 5. Relevant Logic
Excluded middle must be true for some situation, not for all situations [Beall/Restall]
     Full Idea: Relevant logic endorses excluded middle, ..but says instances of the law may fail. Bv¬B is true in every situation that settles the matter of B. It is necessary that there is some such situation.
     From: JC Beall / G Restall (Logical Pluralism [2006], 5.2)
     A reaction: See next idea for the unusual view of necessity on which this rests. It seems easier to assert something about all situations than just about 'some' situation.
It's 'relevantly' valid if all those situations make it true [Beall/Restall]
     Full Idea: The argument from P to A is 'relevantly' valid if and only if, for every situation in which each premise in P is true, so is A.
     From: JC Beall / G Restall (Logical Pluralism [2006], 5.2)
     A reaction: I like the idea that proper inference should have an element of relevance to it. A falsehood may allow all sorts of things, without actually implying them. 'Situations' sound promising here.
Relevant consequence says invalidity is the conclusion not being 'in' the premises [Beall/Restall]
     Full Idea: Relevant consequence says the conclusion of a relevantly invalid argument is not 'carried in' the premises - it does not follow from the premises.
     From: JC Beall / G Restall (Logical Pluralism [2006], 5.3.3)
     A reaction: I find this appealing. It need not invalidate classical logic. It is just a tougher criterion which is introduced when you want to do 'proper' reasoning, instead of just playing games with formal systems.
Relevant logic does not abandon classical logic [Beall/Restall]
     Full Idea: We have not abandoned classical logic in our acceptance of relevant logic.
     From: JC Beall / G Restall (Logical Pluralism [2006], 5.4)
     A reaction: It appears that classical logic is straightforwardly accepted, but there is a difference of opinion over when it is applicable.
A doesn't imply A - that would be circular [Beall/Restall]
     Full Idea: We could reject the inference from A to itself (on grounds of circularity).
     From: JC Beall / G Restall (Logical Pluralism [2006], 8)
     A reaction: [Martin-Meyer System] 'It's raining today'. 'Are you implying that it is raining today?' 'No, I'm SAYING it's raining today'. Logicians don't seem to understand the word 'implication'. Logic should capture how we reason. Nice proposal.
Relevant logic may reject transitivity [Beall/Restall]
     Full Idea: Some relevant logics reject transitivity, but we defend the classical view.
     From: JC Beall / G Restall (Logical Pluralism [2006], 8)
     A reaction: [they cite Neil Tennant for this view] To reject transitivity (A?B ? B?C ? A?C) certainly seems a long way from classical logic. But in everyday inference Tennant's idea seems good. The first premise may be irrelevant to the final conclusion.
4. Formal Logic / E. Nonclassical Logics / 6. Free Logic
Free logic terms aren't existential; classical is non-empty, with referring names [Beall/Restall]
     Full Idea: A logic is 'free' to the degree it refrains from existential import of its singular and general terms. Classical logic must have non-empty domain, and each name must denote in the domain.
     From: JC Beall / G Restall (Logical Pluralism [2006], 7.1)
     A reaction: My intuition is that logic should have no ontology at all, so I like the sound of 'free' logic. We can't say 'Pegasus does not exist', and then reason about Pegasus just like any other horse.
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Logic studies consequence; logical truths are consequences of everything, or nothing [Beall/Restall]
     Full Idea: Nowadays we think of the consequence relation itself as the primary subject of logic, and view logical truths as degenerate instances of this relation. Logical truths follow from any set of assumptions, or from no assumptions at all.
     From: JC Beall / G Restall (Logical Pluralism [2006], 2.2)
     A reaction: This seems exactly right; the alternative is the study of necessities, but that may not involve logic.
Syllogisms are only logic when they use variables, and not concrete terms [Beall/Restall]
     Full Idea: According to the Peripatetics (Aristotelians), only syllogistic laws stated in variables belong to logic, and not their applications to concrete terms.
     From: JC Beall / G Restall (Logical Pluralism [2006], 2.5)
     A reaction: [from Lukasiewicz] Seems wrong. I take it there are logical relations between concrete things, and the variables are merely used to describe these relations. Variables lack the internal powers to drive logical necessities. Variables lack essence!
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
The view of logic as knowing a body of truths looks out-of-date [Beall/Restall]
     Full Idea: Through much of the 20th century the conception of logic was inherited from Frege and Russell, as knowledge of a body of logical truths, as arithmetic or geometry was a knowledge of truths. This is odd, and a historical anomaly.
     From: JC Beall / G Restall (Logical Pluralism [2006], 2.2)
     A reaction: Interesting. I have always taken this idea to be false. I presume logic has minimal subject matter and truths, and preferably none at all.
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
Logic studies arguments, not formal languages; this involves interpretations [Beall/Restall]
     Full Idea: Logic does not study formal languages for their own sake, which is formal grammar. Logic evaluates arguments, and primarily considers formal languages as interpreted.
     From: JC Beall / G Restall (Logical Pluralism [2006], 2.1)
     A reaction: Hodges seems to think logic just studies formal languages. The current idea strikes me as a much more sensible view.
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
The model theory of classical predicate logic is mathematics [Beall/Restall]
     Full Idea: The model theory of classical predicate logic is mathematics if anything is.
     From: JC Beall / G Restall (Logical Pluralism [2006], 4.2.1)
     A reaction: This is an interesting contrast to the claim of logicism, that mathematics reduces to logic. This idea explains why students of logic are surprised to find themselves involved in mathematics.
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
There are several different consequence relations [Beall/Restall]
     Full Idea: We are pluralists about logical consequence because we take there to be a number of different consequence relations, each reflecting different precisifications of the pre-theoretic notion of deductive logical consequence.
     From: JC Beall / G Restall (Logical Pluralism [2006], 8)
     A reaction: I don't see how you avoid the slippery slope that leads to daft logical rules like Prior's 'tonk' (from which you can infer anything you like). I say that nature imposes logical conquence on us - but don't ask me to prove it.
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
A sentence follows from others if they always model it [Beall/Restall]
     Full Idea: The sentence X follows logically from the sentences of the class K if and only if every model of the class K is also a model of the sentence X.
     From: JC Beall / G Restall (Logical Pluralism [2006], 3.2)
     A reaction: This why the symbol |= is often referred to as 'models'.
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 / I. Semantics of Logic / 3. Logical Truth
Logical truth is much more important if mathematics rests on it, as logicism claims [Beall/Restall]
     Full Idea: If mathematical truth reduces to logical truth then it is important what counts as logically true, …but if logicism is not a going concern, then the body of purely logical truths will be less interesting.
     From: JC Beall / G Restall (Logical Pluralism [2006], 2.2)
     A reaction: Logicism would only be one motivation for pursuing logical truths. Maybe my new 'Necessitism' will derive the Peano Axioms from broad necessary truths, rather than from logic.
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / d. The Preface paradox
Preface Paradox affirms and denies the conjunction of propositions in the book [Beall/Restall]
     Full Idea: The Paradox of the Preface is an apology, that you are committed to each proposition in the book, but admit that collectively they probably contain a mistake. There is a contradiction, of affirming and denying the conjunction of propositions.
     From: JC Beall / G Restall (Logical Pluralism [2006], 2.4)
     A reaction: This seems similar to the Lottery Paradox - its inverse perhaps. Affirm all and then deny one, or deny all and then affirm one?
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 / 3. Types of Necessity
Relevant necessity is always true for some situation (not all situations) [Beall/Restall]
     Full Idea: In relevant logic, the necessary truths are not those which are true in every situation; rather, they are those for which it is necessary that there is a situation making them true.
     From: JC Beall / G Restall (Logical Pluralism [2006], 5.2)
     A reaction: This seems to rest on the truthmaker view of such things, which I find quite attractive (despite Merricks's assault). Always ask what is making some truth necessary. This leads you to essences.
14. Science / B. Scientific Theories / 1. Scientific Theory
Carnap tried to define all scientific predicates in terms of primitive relations, using type theory [Carnap, by Button]
     Full Idea: Carnap's ultimate ambition in the Aufbau is to provide a constitution-system within which any predicate of any scientific vocabulary can be explicitly defined in terms of primitive relations holding among basic elements, using type theory.
     From: report of Rudolph Carnap (The Logical Structure of the World (Aufbau) [1928]) by Tim Button - The Limits of Reason 05.2
     A reaction: David Chalmers has a modern shot at the same project in 'Constructing the World'. Ramsey sentences seem to be part of the same game.
18. Thought / A. Modes of Thought / 6. Judgement / a. Nature of Judgement
Judgement is always predicating a property of a subject [Beall/Restall]
     Full Idea: All judgement, for Kant, is essentially the predication of some property to some subject.
     From: JC Beall / G Restall (Logical Pluralism [2006], 2.5)
     A reaction: Presumably the denial of a predicate could be a judgement, or the affirmation of ambiguous predicates?
18. Thought / D. Concepts / 4. Structure of Concepts / g. Conceptual atomism
All concepts can be derived from a few basics, making possible one science of everything [Carnap, by Brody]
     Full Idea: In the 'Aufbau', Carnap tried to show how all of our concepts can be derived from a few basic concepts. ..Consequently there can be one science which studied all that existed, the science of the objects corresponding to the basic concepts.
     From: report of Rudolph Carnap (The Logical Structure of the World (Aufbau) [1928]) by Baruch Brody - Identity and Essence 2.2
     A reaction: This is Carnap's Constructionist programme.
19. Language / C. Assigning Meanings / 8. Possible Worlds Semantics
We can rest truth-conditions on situations, rather than on possible worlds [Beall/Restall]
     Full Idea: Situation semantics is a variation of the truth-conditional approach, taking the salient unit of analysis not to be the possible world, or some complete consistent index, but rather the more modest 'situation'.
     From: JC Beall / G Restall (Logical Pluralism [2006], 5.5.4)
     A reaction: When I read Davidson (and implicitly Frege) this is what I always assumed was meant. The idea that worlds are meant has crept in to give truth conditions for modal statements. Hence situation semantics must cover modality.
19. Language / D. Propositions / 1. Propositions
Propositions commit to content, and not to any way of spelling it out [Beall/Restall]
     Full Idea: Our talk of propositions expresses commitment to the general notion of content, without a commitment to any particular way of spelling this out.
     From: JC Beall / G Restall (Logical Pluralism [2006], 2.1)
     A reaction: As a fan of propositions I like this. It leaves open the question of whether the content belongs to the mind or the language. Animals entertain propositions, say I.
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.