Abstract:Causal multiteam semantics is a framework where probabilistic notions and causal inference can be studied in a unified setting. We study a logic (PCO) that features marginal probabilities and interventionist counterfactuals, and allows expressing conditional probability statements, do expressions and other mixtures of causal and probabilistic reasoning. Our main contribution is a strongly complete infinitary axiomatisation for PCO.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is how to provide a strongly complete infinite deductive system for a logical system PCO that contains probabilistic interventionist counterfactuals. Specifically, the goal of the paper is to construct a logical framework that can handle marginal probabilities and interventionist counterfactual expressions, and ensure that this framework is strongly complete under recursive causal multiteam semantics.
### Background and Motivation of the Paper
1. **Interventionist Counterfactuals in Causal Reasoning**:
- In the field of causal reasoning, interventionist counterfactuals are a common tool used to describe how other variables will change if certain variables are fixed to specific values.
- For example, the expression "If variables \(X_1,\ldots,X_n\) are fixed to values \(x_1,\ldots,x_n\), then variable \(Y\) will take the value \(y\)" describes the effect of an intervention operation.
2. **Combination of Probability and Causal Reasoning**:
- Many causal relationships in the real world involve probability, so researchers hope to handle probability and causal reasoning simultaneously in a unified framework.
- These expressions can include conditional probabilities, do - expressions, and other forms that mix causal and probability reasoning.
3. **Shortcomings of Existing Work**:
- Although some work has attempted to construct deductive systems for probabilistic interventionist counterfactuals, these systems usually have limitations. For example, some systems are too expressive and allow the use of arithmetic operations, while others cannot handle nested counterfactuals or complex interactions of interventions and conditionings.
### Main Contributions of the Paper
1. **Strongly Complete Infinite Deductive System**:
- The author proposes a strongly complete infinite deductive system, which is applicable to the logic PCO that contains probabilistic interventionist counterfactuals.
- Strong completeness means that the system can capture all correct inferences drawn from a finite set of formulas, and can maintain completeness even in cases involving probability inequalities.
2. **Recursive Causal Multiteam Semantics**:
- This system is based on recursive causal multiteam semantics, which is a framework that can study causal reasoning in a non - probabilistic context.
- By introducing infinite deductive rules, the author solves the common compactness problem in probabilistic logic, thereby achieving strong completeness.
### Conclusion
The core problem of this paper is to construct a strongly complete infinite deductive system for the logical system PCO that contains probabilistic interventionist counterfactuals. The proposal of this system not only fills the gaps in existing work, but also provides a solid theoretical basis for the unified treatment of probability and causal reasoning.