Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Kwartalnik Filozoficzny

Authors help

  1. 1 Kozanecka-Dymek A.

Years help

  1. 1 2014

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  tense logic
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

O możliwości stosowania niektórych systemów tense logic i systemu and then G.H. von Wrighta w naukach prawnych

100%
Kozanecka-Dymek A.
Kwartalnik Filozoficzny
|
2014
|
vol. 42
|
issue 1
59-74
EN
The article is devoted to the application of some temporal systems, and especially of their language, in the legal sciences, mainly in the area of dogmatic law. The first part sets out the conditions that have to be satisfied by temporal systems in order to be applicable in these sciences. The second presents a short characterization of some tense logic systems and von Wright's And Then system. The third part contains examples of their application in the legal sciences. The article maintains that suitable temporal systems can provide a precise language by means of which one can formalize the propositions of legal language that contain specific tense expressions and create models for inferences that contain such propositions. The appropriate systems would also provide tools for checking the correctness of these inferences.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.