Configurations for inference from causal statements: Preliminary report

Our aim is to provide a rigorous logical framework for describing causal relations (involved in reasoning tasks such as diagnosis). We propose a framework which is minimal in that only a few properties, hopefully uncontroversial, are imposed upon it. Our semantics of a causal relation is based on collections of possible cases, called "configurations". We mention several features which causation makes undesirable despite commonly field beliefs. We show how our logic avoid such pitfalls and generally conforms with a strict view of causation.