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.
 

Klíčová slova

Boží existence důkaz modální logika matematická logika
 
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

Citovat tuto práci
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á fakulta
 
Název
Vložil
Vloženo
Práva
Theses v3proj v3proj/2
14. 11. 2013
Složky
Soubory
thesis kozel_BP.pdf
MARKLOVÁ, E.
14. 11. 2013

  • Co je jinak přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Co je jinak další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Co je jinak pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Co je nové vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Co je nové rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.

  • Co se chystá

    Připravujeme další vylepšení pro mobilní zařízení.