Stosowalność niektórych rozszerzeń tense logic w logicznej analizie rozumowań prawniczych

• Authors: Kozanecka-Dymek Anna

Title variants

EN

THE APPLICABILILITY OF TENSE LOGIC EXTENSIONS IN THE LOGICAL ANALYSIS OF LEGAL REASONING

Abstracts

EN

The paper considers possible applications of some extensions of tense logic in the logical analysis of legal reasoning. At the beginning of the article it is pointed out that the time element plays an important role in the legal sciences. Then conditions are given that must be imposed on temporal systems which can be applied in these sciences. The next parts of the paper contain: a brief characterization of metric tense logic, a characterization of tense logic with the operators Since and Until, and examples of the formalization of sentences of legal language by means of symbols occurring in these logics. The standpoint presented claims that adequate temporal systems, which are extensions of tense logic, can provide a language to formalize sentences of legal language that contain specific time expressions and to model inferences consisting of such sentences conducted in the legal sciences. Appropriate systems would also provide tools to check the formal correctness of these reasonings.

Keywords

EN

LOGICAL ANALYSIS; LEGAL SCIENCES; FORMALIZATION OF SENTENCES OF LEGAL LANGUAGE; TENSE LOGIC

• Publisher: Polska Akademia Umiejętności / Uniwersytet Jagielloński
• Journal: Kwartalnik Filozoficzny
• Year: 2015
• Volume: 43
• Issue: 2

Contributors

author

Kozanecka-Dymek Anna

• Wydział Filozofii, Katolicki Uniwersytet Lubelski, al. Racławickie 14, 20-950 Lublin, Poland