Stosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznego
Anna Maria Kozanecka-Dymek
Katolicki Uniwersytet Lubelski Jana Pawła II , Польщаhttps://orcid.org/0000-0003-3361-073X
Анотація
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
Ключові слова:
logika formalna, stosowalność, prawo kanoniczne, formalna poprawność, wnioskowanieПосилання
Codex Iuris Canonici auctoritate Ioannis Pauli PP. II promulgatus (25.01.1983 r.), AAS 75(1983), pars II, s. 1–317. Kodeks Prawa Kanonicznego, przekład polski zatwierdzony przez Konferencję Episkopatu, Poznań 1984.
Jedność i wielość logik modalnych, red. M. Tkaczyk, Lublin 2019.
Komentarz do Kodeksu Prawa Kanonicznego, t. 1–5, red. J. Krukowski, Poznań, 2003-2019.
Kozanecka-Dymek A., ‘Chronological logic’ i ‘metric tense logic’ oraz ich przydatność do analizy formalnej poprawności niektórych wnioskowań prawniczych, Kwartalnik Filozoficzny 2018, t. 46, z. 3, s. 5–23.
Kozanecka-Dymek A., Logika chronologiczna i jej zastosowania w analizie niektórych rozumowań prawniczych, Analiza i Egzystencja 2014, t. 26, s. 21–42.
Kozanecka-Dymek A., Logika miejsca i jej zastosowania w analizie niektórych rozumowań prawniczych, Analiza i Egzystencja 2016, t. 33, s. 51–68.
Kozanecka-Dymek A., Logika temporalna i jej zastosowania w naukach prawnych, Studia Philosophica Wratislaviensia 2018, t. 13, nr 2, s. 21–38.
Kozanecka-Dymek A., O możliwości stosowania niektórych systemów ‘tense logic’ i systemu ‘And Then’ G. H. von Wrighta w naukach prawnych, Kwartalnik Filozoficzny 2014, t. 42, z. 1, s. 59–74.
Kozanecka-Dymek A., Stosowalność niektórych rozszerzeń tense logic w logicznej analizie rozumowań prawniczych, Kwartalnik Filozoficzny 2015, t. 43, z. 2, s. 25–40.
Prior A.N., Past, Present and Future, Oxford 1967.
Prior A.N., Time and Modality, Oxford 1957.
Rescher N., Topics in Philosophical Logic, Dordrecht 1968.
Rescher N., Garson J., Topological Logic, The Journal of Symbolic Logic 1968, t. 33, nr 4, s. 537–548.
Rescher N., Urquhart A., Temporal Logic, New York 1971.
von Wright G.H., And Then, Commentationes Physico-Mathematicae 1966, t. 32, nr 7, s. 1–11.
Katolicki Uniwersytet Lubelski Jana Pawła II https://orcid.org/0000-0003-3361-073X
Ліцензія
Автор заявляє, що твір є оригінальним твором і не порушує жодних особистих або майнових прав третіх осіб, a також, що його авторські права на твір не обмежені в межах договору, підписаного з Видавцем.
Автор публікації безоплатно передає Видавцю майнові авторські майнові права на твір (статтю), поданий до публікації, без обмежень що до часу та території в таких сферах використання:
а) виготовлення, запис і збільшення за допомогою певної техніки копій, включаючи техніку друку, магнітний запис та цифрову техніку;
b) введення на ринок, позичання або надання в оренду оригіналу чи копій Твору та розповсюдження у формі відкритого доступу відповідно до змісту ліцензії Creative Commons Визнання Авторства 4.0 Міжнародна (також відомої як CC BY), доступної за адресою:
https://creativecommons.org/licenses/by/4.0/legalcode.pl;
c) включення Твору до складу колективного твору;
d) оприлюднення на веб-сайті журналу, публічне виконання, виставка, демонстрація, відтворення, трансляція та ретрансляція, а також надання Твору доступним для громадськості таким чином, щоб кожен міг мати доступ до них у місці та в час, вибраний ними;
e) завантаження Твору в електронній формі на електронні платформи або інше завантаження Твору в електронній формі в Інтернет чи іншу мережу.
Авторські майнові права на твір передаються безоплатно при підписанні договору.