Strong permission in prescriptive causal models

Abstract

This paper formulates strong permission in prescriptive causal models. The key features of this formulation are that (a) strong permission is encoded in causal models in a way suitable for interaction with functional equations, (b) the logic is simpler and more straightforward than other formulations of strong permission such as those utilizing defeasible reasoning or linear logic, (c) when it is applied to the free choice permission problem, it avoids paradox formation in a satisfactory manner, and (d) it also handles the embedding of strong permission, e.g. in conditionals, by exploiting interventionist counterfactuals in causal models.