Skip to main content
Article thumbnail
Location of Repository

A Formal Logical Analysis of Causal Relations

By Chris Taylor


Causal relations of various kinds are a pervasive feature of human language and theorising about the world. Despite this, the specification of a satisfactory general analysis of causal relations has long proved difficult. The research described in this thesis is an attempt to provide a formal logical theory of causal relations, in a broad sense of `causal', which includes various atemporal explanatory and functional relations, in addition to causation between temporally ordered events; and which involves not only necessity associated with physical laws, but also necessity associated with laws and constraints of various other types. The key idea which motivates the analysis is that many types of causal relation have in common certain underlying abstract properties, regardless of the nature of the participants involved. These properties can be expressed via an axiomatisation, initially viewed as applicable to `event causation', but subsequently re-interpreted in a more abstract and general way. Given the wide variety of models for the axioms, there are not likely to be powerful general methods for computing the causal relationships defined: instead it is likely to be more productive to use methods tailored to particular models

Topics: QA76
Publisher: University of Sussex,
Year: 1993
OAI identifier:
Sorry, our data provider has not provided any external links therefore we are unable to provide a link to the full text.

Suggested articles

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.