Hume and the Problem of Causation

This chapter traces Hume’s search for the impression-source of the idea of necessary connection through Book 1 of the Treatise. It then sketches and evaluates the main interpretative positions concerning Hume’s account of causation. These positions characterize Hume either as a regularity theorist who thinks that causation is merely a matter of temporal priority, contiguity, and constant conjunction, a projectivist who takes causal talk to have an essential non-representational element, or a skeptical realist who believes in, and believes that we genuinely refer to, real causal powers. Finally, it briefly discusses rival interpretations of Hume’s famous “two definitions” of causation

Hume and the problem of causation

This chapter traces Hume’s search for the impression-source of the idea of necessary connection through Book 1 of the Treatise. It then sketches and evaluates the main interpretative positions concerning Hume’s account of causation. These positions characterize Hume either as a regularity theorist who thinks that causation is merely a matter of temporal priority, contiguity, and constant conjunction, a projectivist who takes causal talk to have an essential non-representational element, or a skeptical realist who believes in, and believes that we genuinely refer to, real causal powers. Finally, it briefly discusses rival interpretations of Hume’s famous “two definitions” of causation

Responsibility Analysis by Abstract Interpretation

Given a behavior of interest in the program, statically determining the corresponding responsible entity is a task of critical importance, especially in program security. Classical static analysis techniques (e.g. dependency analysis, taint analysis, slicing, etc.) assist programmers in narrowing down the scope of responsibility, but none of them can explicitly identify the responsible entity. Meanwhile, the causality analysis is generally not pertinent for analyzing programs, and the structural equations model (SEM) of actual causality misses some information inherent in programs, making its analysis on programs imprecise. In this paper, a novel definition of responsibility based on the abstraction of event trace semantics is proposed, which can be applied in program security and other scientific fields. Briefly speaking, an entity ER is responsible for behavior B, if and only if ER is free to choose its input value, and such a choice is the first one that ensures the occurrence of B in the forthcoming execution. Compared to current analysis methods, the responsibility analysis is more precise. In addition, our definition of responsibility takes into account the cognizance of the observer, which, to the best of our knowledge, is a new innovative idea in program analysis.Comment: This is the extended version (33 pages) of a paper to be appeared in the Static Analysis Symposium (SAS) 201

Arguing about causes in law: a semi-formal framework for causal arguments

In legal argumentation and liability attribution, disputes over causes play a central role. Legal discussions about causation often have difficulty with cause-in-fact in complex situations, e.g. overdetermination, preemption, omission. We first assess three theories of causation. Then we introduce a semi-formal framework to model causal arguments using both strict and defeasible rules. We apply the framework to the Althen vaccine injury case. Wrapping up the paper, we motivate a causal argumentation framework and propose to integrate current theories of causation

Dietary complexity and hidden costs of prey switching in a generalist top predator

Variation in predator diet is a critical aspect of food web stability, health, and population dynamics of predator/ prey communities. Quantifying diet, particularly among cryptic species, is extremely challenging, however, and differentiation between demographic subsets of populations is often overlooked. We used prey remains and data taken postmortem from otter Lutra lutra to determine the extent to which dietary variation in a top predator was associated with biotic, spatial, and temporal factors. Biotic data (e.g., sex, weight, and length) and stomach contents were taken from 610 otters found dead across England and Wales between 1994 and 2010. Prey remains were identified to species where possible, using published keys and reference materials. Multi‐model inference followed by model prediction was applied to test for and visualize the nature of associations. Evidence for widespread decline in the consumption of eels (Anguilla anguilla ) reflected known eel population declines. An association between eel consumption and otter body condition suggested negative consequences for otter nutrition. Consumption of Cottus gobio and stickleback spp. increased, but was unlikely to compensate (there was no association with body condition). More otters with empty stomachs were found over time. Otter sex, body length, and age‐class were important biotic predictors of the prey species found, and season, region, and distance from the coast were important abiotic predictors. Our study is unique in its multivariate nature, broad spatial scale, and long‐term dataset. Inclusion of biotic data allowed us to reveal important differences in costs and benefits of different prey types, and differences between demographic subsets of the population, overlaid on spatial and temporal variation. Such complexities in otter diet are likely to be paralleled in other predators, and detailed characterization of diet should not be overlooked in efforts to conserve wild populations