The System of the Logic of Causal Propositions

Abstract

The first part of the paper outlines the development of the problem of causality in Greek philosophy. Some remarks have been made on how some medieval philosophers approached to the problem. The paper sought also to show how modern philosophy understood causation. The paper has inquired into the characteristics of causal relation as it is accepted in the domain of modern and recent physics.

In the second part of the paper one finds some remarks concerning the programme of construing the system of logic. The system being adequate to the manner in which causality is presented in physics. A new system of logic CI has been construed in which one has characterized the functor of relativistic implication Cw by means of the methods of recent logic. The functor should be read out as follows: "if..., then for that reason..." The arguments of functor Cw may be propositional expressions which describe a particular event. The new system of non-classic logic has been built upon the classical propositional calculus on the one of the systems of temporal logic and on the system of the logic of change ZI. The findings respecting causation, as they are outlined in the first part of the paper, constitute descriptive semantics of system CI described in the second part of the paper. This system of non-classic logic may play a positive role in the mediate justification of theorems on the grounds of philosophy, taken in its broad sense.