Využití modální logiky pro důkazy Boží Existence – Ing. Petr KOZEL, Ph.D.
Ing. Petr KOZEL, Ph.D.
Bakalářská práce
Využití modální logiky pro důkazy Boží Existence
Using Modal Logic for the Proofs of Divine Existence.
Anotace:
Bakalářská práce je věnována využití modální logiky pro důkazy Boží Existence. V první části je představen matematický aparát - logika a modální logika. Ve druhé části jsou pak představeny apriorní a aposteriorní důkazy Boží existence, které jsou formalizovány prostřednictvím modální logiky.Abstract:
The bachelor thesis deals with using modal logic for the proofs of Divine existence. The mathematical systems - logic and modal logis are introduced in the first part of thesis. Next to, the aprior and aposterior proofs of Divine existence with modal logic are introduced in the second part of thesis.
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 13. 11. 2013
Zveřejnit od: 13. 11. 2013
Obhajoba závěrečné práce
- Vedoucí: Mgr. Petr Dvořák, Ph.D.
Citační záznam
Jak správně citovat práci
KOZEL, Petr. Využití modální logiky pro důkazy Boží Existence. Olomouc, 2013. bakalářská práce (Bc.). UNIVERZITA PALACKÉHO V OLOMOUCI. Cyrilometodějská teologická fakulta
Plný text práce
Právo: Autor si přeje zpřístupnit práci veřejnosti od 13.11.2013
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- Soubory jsou od 13. 11. 2013 dostupné: světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: UNIVERZITA PALACKÉHO V OLOMOUCI, Cyrilometodějská teologická fakultaUNIVERZITA PALACKÉHO V OLOMOUCI
Cyrilometodějská teologická fakultaBakalářský studijní program / obor:
Teologie / Teologické nauky
Práce na příbuzné téma
-
Existence a modalita
Michal Morte -
Využití dvoudimenzionální modální logiky ve filozofické teologii
Petr KOZEL -
Nepřípustný důkaz v trestním řízení a právo na spravedlivý proces
Anna Zavadilová -
DNA jako důkaz prokazující nevinu odsouzeného
Tereza Pašková -
Environmentální vzdělávání a způsob jeho implementace do státního kurikula jako důkaz o nutnosti kritické pedagogiky
Jiří Havelka -
Metoda pachové identifikace jako důkaz v trestním řízení
Klára Toušková -
Kriminalistická stopa jako důkaz v trestním řízení
Linda Loučimová -
Důkaz znaleckým posudkem z oboru písmoznalectví
Galina Grzinčičová
Název
Vložil
Vloženo
Práva