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 , Polskahttps://orcid.org/0000-0003-3361-073X
Abstrakt
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
Słowa kluczowe:
logika formalna, stosowalność, prawo kanoniczne, formalna poprawność, wnioskowanieBibliografia
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
Licencja
Autor oświadcza, że utwór jest dziełem oryginalnym i nie narusza jakichkolwiek praw osobistych lub majątkowych osób trzecich oraz, że jego prawa autorskie do utworu nie są ograniczone w zakresie objętym umową podpisywaną z Wydawcą.
Autor publikacji przenosi nieodpłatnie na Wydawcę autorskie prawa majątkowe do składanego do publikacji Utworu (artykułu) bez ograniczeń czasowych i terytorialnych na następujących polach eksploatacji:
a) wytwarzanie, utrwalanie i zwielokrotnianie określoną techniką egzemplarzy Utworu, w tym techniką drukarską, zapisu magnetycznego oraz techniką cyfrową;
b) wprowadzanie do obrotu, użyczenie lub najem oryginału albo egzemplarzy Utworu, oraz rozpowszechnianie w postaci otwartego dostępu, zgodnie z treścią licencji Creative Commons Uznanie Autorstwa 4.0 Międzynarodowa (zwanej również jako CC BY), dostępnej pod adresem: https://creativecommons.org/licenses/by/4.0/legalcode.pl;
c) włączenie Utworu w skład utworu zbiorowego;
d) opublikowanie na stronie internetowej czasopisma, publiczne wykonanie, wystawienie, wyświetlenie, odtworzenie oraz nadawanie i reemitowanie, oraz publiczne udostępnianie Utworu w taki sposób, aby każdy mógł mieć do nich dostęp w miejscu i w czasie przez siebie wybranym;
e) wprowadzanie Utworu w postaci elektronicznej na platformy elektroniczne lub inne wprowadzanie Utworu w postaci elektronicznej do Internetu lub innej sieci.
Przeniesienie autorskich praw majątkowych do utworu następuje nieodpłatnie, z chwilą podpisania umowy.
