Logika temporalna i jej zastosowania w naukach prawnych

Abstract

TEMPORAL LOGIC AND ITS APPLICATION IN THE LEGAL SCIENCES

The article comprises a summary of results of some stage of research concerning an issue of application of temporal systems in legal sciences. There are presented conditions which should satisfy temporal systems to be applied in these sciences an appropriate language and an cognitive value, there is made a general characterization of selected kinds of temporal logic that is, chronological logic, tense logic and some its extensions and von Wright’s systems, there are also given examples of their applications. Other issues related with discussed question which are worth analyzing are lead as well.
Presented position says that because of significant role which logic and time elements play in legal sciences adequate temporal systems could find an application in these sciences. The task of these temporal systems would rely on providing tools to precise express sentences of legal language containing certain time expressions, to model legal inferences containing such expressions, to evaluate formal correctness of these inferences and to correct possible errors.