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

On the usefulness of logic in forensic science

100%
Kozanecka-Dymek A.
Kwartalnik Filozoficzny
|
2020
|
vol. 48
|
issue 4
199-212
EN
The paper raises the question of possible applications of logic within criminalistics. It is shown that forensic specialists should know the basics of logic, particularly such issues as the different types of inferences and their correctness (also formal).
2
Publication available in full text mode
Content available

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

100%
Kozanecka-Dymek A.
Analiza i Egzystencja. Czasopismo Filozoficzne
|
2014
|
issue 26
21 - 42
EN
The article is devoted to chronological logic and its applications in the analysis of legal reasoning. In Part I of the paper, there is given that time plays an important role in statutory law, in language of the law and in legal language appear many time expressions, and formal logic provides tools to logical analysis of reasoning performed in everyday discourse and in various sciences, also in legal discourse and in legal sciences. There are presented also conditions that temporal systems should satisfy to be used in an analysis of legal reasoning. In Part II of the paper, the origins and the profile of chronological logic are presented. Part III, the last part of the article, presents examples of formalization of some sentences of legal language containing at the time phrase, and of legal reasoning composed of such sentences, by means of symbols occurring in chronological logic. The position presented in the article says that some temporal logic could be used in a logical analysis such legal reasoning that would contain references to time. The main task of chronological logic would be then providing formal language to more precise express statements of legal language containing given time expression (exactly at the time phrase) and to model legal reasoning containing such expression; and also giving tools to evaluate formal correctness of these inferences.
3

SYSTEMS OF TENSE LOGIC IN THE NATURAL SCIENCES (Systemy tense logic oraz ich stosowalnosc w naukach przyrodniczych)

100%
Kozanecka-Dymek A.
Edukacja Filozoficzna
|
2009
|
issue 48
193-218
EN
The paper is devoted to the problem of possibility of application of some systems of tense logic in the natural sciences. In the beginning of the paper there are given conditions imposed on formal systems which can be applied in the real sciences. In the second part of the paper definition of physical time (and relation of preceding) are given. There are also briefly discussed the most important properties of physical time. Third part of the paper presents a syntactic characterization of the systems of tense logic. Finally, the last part of the paper seeks to answer whether the systems of tense logic adequate express, by means of theses, some properties of physical time and relation of temporal aftermath. What follows, whether they (especially their language) can find applications in the natural sciences, mainly in physics.
4
Publication available in full text mode
Content available

(rec.) Michał Adamczyk. Wiedza – wiara – racjonalność. Jana Franciszka Drewnowskiego program logizującej modernizacji myśli filozoficzno – teologicznej, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II, Lublin 2015

100%
Kozanecka-Dymek A.
Studia Philosophiae Christianae
|
2016
|
vol. 52
|
issue 2
160-169
5

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

100%
Kozanecka-Dymek A.
Kwartalnik Filozoficzny
|
2015
|
vol. 43
|
issue 2
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.
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.