Kozanecka-Dymek, Anna Maria2022-02-152022-02-152021"Studia Prawnicze KUL", 2021, nr 2, s. 121-132http://hdl.handle.net/20.500.12153/2439Przykłady zaprezentowane w artykule pozwalają wyrazić przekonanie, że znajomość logiki for­malnej 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.Приведенные в статье примеры позволяют выразить убеждение, что знание формальной логики может быть полезным в мыслительной работе юриста-канониста, особенно когда он не уверен, следует ли выдвигаемый им вывод, логически из определенных предпосылок. В статье анализируется формальная корректность нескольких выводов, основанных на канонах, с использованием аппарата классического исчисления высказываний и силлогистики, а также отдельных неклассических логик, таких как логика, связанная с грамматической категорией времени («тенсальная логика), хронологическая логика и логика места.plAttribution 4.0 Internationalhttp://creativecommons.org/licenses/by/4.0/logika formalnastosowalnośćprawo kanoniczneformalna poprawnośćwnioskowanieformal logicapplicabilitycanon lawformal correctnessinferenceinfo:eu-repo/semantics/article10.31743/sp.12334