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

Simple item page
dc.contributor.authorKozanecka-Dymek, Anna Maria
dc.date.accessioned2022-02-15T13:02:02Z
dc.date.available2022-02-15T13:02:02Z
dc.date.issued2021
dc.description.abstractPrzykł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.pl
dc.description.abstractIn 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.pl
dc.description.abstractПриведенные в статье примеры позволяют выразить убеждение, что знание формальной логики может быть полезным в мыслительной работе юриста-канониста, особенно когда он не уверен, следует ли выдвигаемый им вывод, логически из определенных предпосылок. В статье анализируется формальная корректность нескольких выводов, основанных на канонах, с использованием аппарата классического исчисления высказываний и силлогистики, а также отдельных неклассических логик, таких как логика, связанная с грамматической категорией времени («тенсальная логика), хронологическая логика и логика места.pl
dc.identifier.citation"Studia Prawnicze KUL", 2021, nr 2, s. 121-132pl
dc.identifier.doi10.31743/sp.12334
dc.identifier.urihttp://hdl.handle.net/20.500.12153/2439
dc.language.isoplpl
dc.publisherWydawnictwo KULpl
dc.rightsUznanie autorstwa-Użycie niekomercyjne-Bez utworów zależnych 3.0 Polska*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/pl/*
dc.subjectlogika formalnapl
dc.subjectstosowalnośćpl
dc.subjectprawo kanonicznepl
dc.subjectformalna poprawnośćpl
dc.subjectwnioskowaniepl
dc.subjectformal logicpl
dc.subjectapplicabilitypl
dc.subjectcanon lawpl
dc.subjectformal correctnesspl
dc.subjectinferencepl
dc.titleStosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznegopl
dc.title.alternativeApplicability of some logical systems to analyse formal correctness of inferences concerning canon lawpl
dc.title.alternativeПрименимость некоторых логических систем для анализа формальной корректности выводов, касающихся канонического праваpl
dc.typeinfo:eu-repo/semantics/articlepl
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Kozanecka-Dymek_Anna_Stosowalnosc_niektorych_systemow_logicznych_do_analizy_formalnej_poprawnosci_wnioskowan_dotyczacych_prawa_kanonicznego.pdf
Size:
188.28 KB
Format:
Adobe Portable Document Format
Description:
Download

License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
2.63 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections
Studia Prawnicze KUL, 2021, nr 2