Applicability of some logical systems to analyse formal correctness of inferences concerning canon law
Anna Maria Kozanecka-Dymek
Katolicki Uniwersytet Lubelski Jana Pawła II , Polandhttps://orcid.org/0000-0003-3361-073X
Abstract
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
Keywords:
formal logic, applicability, canon law, formal correctness, inferenceReferences
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
License
The Author declares that the Work is original and does not infringe any personal or proprietary rights of third parties, and that She/He has unlimited rights to the Work which are the subject of the Agreement signed with the Publisher.
Author of the publication transfers to the Publisher the economic copyrights to the Work (article) submitted for publication, free of charge, without time and territorial restrictions in the following fields of use:
a) production, recording and reproduction of the copies of the Work by a specific technique, including printing, magnetic recording and digital technology;
b) marketing, lending or rental of the original or copies of the Work, and distribution in the form of open access, in accordance with the license Creative Commons Attribution 4.0 International (also known as CC BY), available at: https://creativecommons.org/licenses/by/4.0/legalcode.pl;
c) inclusing the Work in the composition of the collective work;
d) publishing on the website of the journal, public performance, exhibition, display, reproduction, broadcasting and rebroadcasting, and making the Work available to the public in such a way that everyone can have access to them in a place and at a time chosen by them;
e) uploading the Work in an electronic form to electronic platforms or other uploading of the Work in an electronic form to the Internet or other network.
The proprietary copyright to the Work is transferred to the Publisher free of charge upon signing the contract wit the Publisher.
