Stosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznego
Loading...
Date
2021
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Wydawnictwo KUL
Abstract
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.
Приведенные в статье примеры позволяют выразить убеждение, что знание формальной логики может быть полезным в мыслительной работе юриста-канониста, особенно когда он не уверен, следует ли выдвигаемый им вывод, логически из определенных предпосылок. В статье анализируется формальная корректность нескольких выводов, основанных на канонах, с использованием аппарата классического исчисления высказываний и силлогистики, а также отдельных неклассических логик, таких как логика, связанная с грамматической категорией времени («тенсальная логика), хронологическая логика и логика места.
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.
Приведенные в статье примеры позволяют выразить убеждение, что знание формальной логики может быть полезным в мыслительной работе юриста-канониста, особенно когда он не уверен, следует ли выдвигаемый им вывод, логически из определенных предпосылок. В статье анализируется формальная корректность нескольких выводов, основанных на канонах, с использованием аппарата классического исчисления высказываний и силлогистики, а также отдельных неклассических логик, таких как логика, связанная с грамматической категорией времени («тенсальная логика), хронологическая логика и логика места.
Description
Keywords
logika formalna, stosowalność, prawo kanoniczne, formalna poprawność, wnioskowanie, formal logic, applicability, canon law, formal correctness, inference
Citation
"Studia Prawnicze KUL", 2021, nr 2, s. 121-132