The basic aim of this paper is to give a brief sketch of a formal theory of causal relations. More precisely, our aim is (a) to show how the language of the first-order predicate logic can be applied to an analysis of this kind and (b) to discuss some both technical and philosophical aspects of such an analysis.