A general formal theory of causal reasoning as a logical study of causal models, reasoning, and inference. In this book, Alexander Bochman presents a general formal theory of causal reasoning as a logical study of causal models, reasoning, and inference, basing it on a supposition that causal reasoning is not a competitor of logical reasoning but its complement for situations lacking logically sufficient data or knowledge. Bochman also explores the relationship of this theory with the popular structural equation approach to causality proposed by Judea Pearl and explores several applications ranging from artificial intelligence to legal theory, including abduction, counterfactuals, actual and proximate causality, dynamic causal models, and reasoning about action and change in artificial intelligence. As logical preparation, before introducing causal concepts, Bochman describes an alternative, situation-based semantics for classical logic that provides a better understanding of what can be captured by purely logical means. He then presents another prerequisite, outlining those parts of a general theory of nonmonotonic reasoning that are relevant to his own theory. These two components provide a logical background for the main, two-tier formalism of the causal calculus that serves as the formal basis of his theory. He presents the main causal formalism of the book as a natural generalization of classical logic that allows for causal reasoning. This provides a formal background for subsequent chapters. Finally, Bochman presents a generalization of causal reasoning to dynamic domains.

The Logic of Causation is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part of a larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004).

Making a Difference presents fifteen original essays on causation and counterfactuals by an international team of experts. Collectively, they represent the state of the art on these topics. The essays in this volume are inspired by the life and work of Peter Menzies, who made a difference in the lives of students, colleagues, and friends. Topics covered include: the semantics of counterfactuals, agency theories of causation, the context-sensitivity of causal claims, structural equation models, mechanisms, mental causation, causal exclusion argument, free will, and the consequence argument.

Causation and Conditionals

The author seeks to examine the methodological and philosophical status of non-autonomous, that is, causal linguistics.

The Logic of Causation is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated.

Studies causation both as a concept and as it is 'in the objects.' Offers new accounts of the logic of singular causal statements, the form of causal regularities, the detection of causal relationships, the asymmetry of cause and effect, and necessary connection, and it relates causation to functional and statistical laws and to teleology.