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

Abstract

Przykł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

Keywords

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