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

Results found: 5

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

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

Logika temporalna i jej zastosowania w naukach prawnych

100%
Kozanecka-Dymek A.
Studia Philosophica Wratislaviensia
|
2018
|
vol. 13
|
issue 2
21-38
EN
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.
2
Content available remote

Stosowalność języka niektórych systemów logiki temporalnej w naukach przyrodniczych

100%
Kozanecka-Dymek A.
Analiza i Egzystencja. Czasopismo Filozoficzne
|
2011
|
issue 14
43–56
EN
The paper discusses one of the positions with regard to tasks which can be posed to temporal logic in connection with formalization of the tense expressions and with codification of inferences respecting these expressions. This position says that some temporal systems, especially their language, can be applied in physics, natural cosmology and philosophy of time. These systems would have to satisfy several conditions. First of all they should formalize some tense expressions appearing in the imaginational language of physics and give them appropriate inferencional apparatus. Temporal systems which could serve physics should be also recognitional valuable systems: their theorems should adequate express properties of time and temporal relations, i.e., they should be true sentences in physical model of time. Language of well constructed and appropriately used temporal systems should serve to qualify and to better communicate results of recognition connected with time occurring in the natural sciences (mainly physics).
3
Publication available in full text mode
Content available

Logika miejsca i jej zastosowania w analizie niektórych rozumowań prawniczych

100%
Kozanecka-Dymek A.
Analiza i Egzystencja. Czasopismo Filozoficzne
|
2016
|
vol. 33
51-68
EN
The subject of the consideration contained in the article is topological logic interpreted as place logic and its possible applications in a logical analysis of legal reasoning. The first part of the article is about significance of widely understood spatial element in a law and about a role of formal logic in legal sciences (especially in dogmatic of law) and in legal discourse. There are also given conditions imposed on logical systems which can be applied to analyse legal reasoning. In the second part there is characterization of topological logic interpreted as place logic. In the third part there are examples of formalization of sentences of legal language and of legal inferences using symbols occurring in place logic. In the article there is shown that such kind of logic can be applied to logical analysis some reasoning conducted in legal language, specifically such reasoning in which there appear sentences including, in an explicit or a hidden way, phrase “in place”, that is, information about that, where certain events are realized.
4
Publication available in full text mode
Content available

Stosowalność języka niektórych systemów logiki temporalnej w naukach przyrodniczych

100%
Kozanecka-Dymek A.
Analiza i Egzystencja. Czasopismo Filozoficzne
|
2011
|
issue 14
43 – 56
EN
The paper discusses one of the positions with regard to tasks which can be posed to temporal logic in connection with formalization of the tense expressions and with codification of inferences respecting these expressions. This position says that some temporal systems, especially their language, can be applied in physics, natural cosmology and philosophy of time. These systems would have to satisfy several conditions. First of all they should formalize some tense expressions appearing in the imaginational language of physics and give them appropriate inferencional apparatus. Temporal systems which could serve physics should be also recognitional valuable systems: their theorems should adequate express properties of time and temporal relations, i.e., they should be true sentences in physical model of time. Language of well constructed and appropriately used temporal systems should serve to qualify and to better communicate results of recognition connected with time occurring in the natural sciences (mainly physics).
5

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.