The Computational Theory of the Laws of Nature

An alternative to the Best System Account of Laws based upon Algorithmic Information Theory....

Causation

Causation is defined as a relation between facts: C causes E if and only if C and E are nomologically independent facts and C is a necessary part of a nomologically sufficient condition for E. The analysis is applied to problems of overdetermination, preemption, trumping, intransitivity, switching, and double prevention. Preventing and allowing are defined and distinguished from causing....

Computation, Laws and Supervenience

The Computational Theory of Laws has implications for the Logic of Nomological Necessity and debates about Humean Supervenience....

The Temporal Asymmetry of Counterfactuals

Lewis's account of the temporal asymmetry of counterfactuals fails and is inconsistent with this own analysis of counterfactuals. A different account of counterfactuals explains the asymmetry. ...