Skip to main content
Kent Academic Repository

A Formal Logical Analysis of Causal Relations

Taylor, Chris (1993) A Formal Logical Analysis of Causal Relations. Doctor of Philosophy (PhD) thesis, University of Sussex. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21110)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.

Abstract

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.

Item Type: Thesis (Doctor of Philosophy (PhD))
Uncontrolled keywords: Causation, Explanation
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 11 Aug 2009 17:17 UTC
Last Modified: 05 Nov 2024 09:58 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21110 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.