Stosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznego

• Authors: Anna Maria Kozanecka-Dymek

Title variants

EN

Applicability of some logical systems to analyse formal correctness of inferences concerning canon law

Abstracts

EN

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  

PL

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  

Keywords

PL

logika formalna; stosowalność; prawo kanoniczne; formalna poprawność; wnioskowanie

EN

formal logic; applicability; canon law; formal correctness; inference

• Publisher: Katolicki Uniwersytet Lubelski Jana Pawła II
• Journal: Studia Prawnicze KUL
• Year: 2021
• Issue: 2
• Pages: 121-132

Dates

published

2021

Contributors

author

Anna Maria Kozanecka-Dymek

• Katolicki Uniwersytet Lubelski Jana Pawła II

Identifiers

DOI

10.31743/sp.12334

Biblioteka Nauki

1395752