PL EN


2015 | 43 | 2 |
Article title

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

Title variants
EN
THE APPLICABILILITY OF TENSE LOGIC EXTENSIONS IN THE LOGICAL ANALYSIS OF LEGAL REASONING
Languages of publication
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.
Year
Volume
43
Issue
2
Physical description
Contributors
  • Wydział Filozofii, Katolicki Uniwersytet Lubelski, al. Racławickie 14, 20-950 Lublin, Poland, akozdym@kul.lublin.pl
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.cejsh-7d13d26a-1594-4a2e-ae85-710776c4fad8
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.