- Tytuł:
-
Stosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznego
Applicability of some logical systems to analyse formal correctness of inferences concerning canon law - Autorzy:
- Kozanecka-Dymek, Anna Maria
- Powiązania:
- https://bibliotekanauki.pl/articles/1395752.pdf
- Data publikacji:
- 2021-07-12
- Wydawca:
- Katolicki Uniwersytet Lubelski Jana Pawła II
- Tematy:
-
logika formalna
stosowalność
prawo kanoniczne
formalna poprawność
wnioskowanie
formal logic
applicability
canon law
formal correctness
inference - Opis:
-
Przykłady zaprezentowane w artykule pozwalają wyrazić przekonanie, że znajomość logiki formalnej może być przydatna w pracy myślowej prawnika kanonisty, zwłaszcza wtedy, gdy nie ma on pewności, czy wyprowadzony przez niego wniosek wynika logicznie z przesłanek. Przeanalizowano formalną poprawność kilku wnioskowań przeprowadzonych w oparciu o kanony, przy użyciu aparatury klasycznego rachunku zdań i sylogistyki, a także wybranych logik nieklasycznych, takich jak np. logika tensalna, logika chronologiczna i logika miejsca
In the article, concrete examples acknowledge that formal logic can be useful in the work of a lawyer-canonist. Formal correctness is also analysed with several inferences conducted on a basis of canons, using an apparatus of classical propositional calculus and syllogistic, and also selected non-classical logics such as, for example, tense logic, chronological logic, and place logic - Źródło:
-
Studia Prawnicze KUL; 2021, 2; 121-132
1897-7146
2719-4264 - Pojawia się w:
- Studia Prawnicze KUL
- Dostawca treści:
- Biblioteka Nauki
Artykuł