|
|
Historické a filosofické souvislosti umění lukostřelby v Japonsku
Coka, Petr ; Parry Martínková, Irena (vedoucí práce) ; Peliš, Michal (oponent)
Název: Historické a filosofické souvislosti umění lukostřelby v Japonsku Cíle: Cílem této práce je popsat japonské bojové umění kyudo (umění lukostřelby) a představit ho veřejnosti s důrazem na jeho zasazení do historických souvislostí a na jeho vztah s filosofickými a náboženskými systémy. První část je zaměřena na vývoj a historii japonské lukostřelby, druhy japonských bojových aktivit a jsou popsána základní východiska techniky v rámci japonské lukostřelby. Druhá část se zabývá filosofickými a náboženskými systémy, které se týkají bojových umění, zvláště zenovým buddhismem. Nakonec přiblížím současnou situaci českého kyudo a představím odkaz Eugena Herrigela, který je pro rozvoj moderního kyudo klíčový. Metody: Základní metody teoretické práce (viz. kapitola Metodologie). Klíčová slova: Kyujutsu, kyudo, bojová umění, Japonsko
|
|
|
An overview of selected social procedures
Schlosáriková, Eva ; Majer, Ondřej (vedoucí práce) ; Peliš, Michal (oponent)
Názov práce: Analýza vybraných sociálnych procedúr Autor: Eva Schlosáriková Katedra: Ústav politologie Vedúci diplomovej práce: RNDr. Ondrej Majer, CSc. Abstrakt: Diplomová práca začína definíciou sociálnych procedúr. Analýze sociálnych procedúr sa venuje interdisciplinárny výskumný program, sociálny software (social soft- ware). Budú uvedené jeho základné ciele a úlohy. Ďalej sa práca zameria na prominentnú sociálnu procesúru, na koaličné jednanie a formovanie víťazného uskupenia. Po definovaní základných pojmov je uvedený prehľad konceptov z koaličnej teórie. Posledná kapitola sa venuje Bramsovmu modelu koaličného formovania a jeho definícii stability víťaznej koalície. Pre porovnanie sú uvedené ďalšie modely koaličného vyjednávania a definície stability. Klúčové slova: koaličné jednanie, koaličné formovanie, stabilita koalície 1
|
|
|
Logic of questions
Peliš, Michal ; Peregrin, Jaroslav (vedoucí práce)
Logika otázek Michal Peliš Disertační práce Abstrakt Práce se zabývá jedním z odvětví neklasických logik - logikou otázek (erotetickou logikou). V úvodní části se hovoří obecně o formalizovaném přístupu k otázkám v logice a současně je stručně shrnuta zejména nejnovější historie tohoto odvětví. Zde je též zdůvodňována smysluplnost zachycení úsudků, v nichž se otázky objevují, a je představena formalizace otázky založená na explicitním stanovení množiny přímých odpovědí. Zbytek práce je rozdělen na dvě části, které lze číst nezávisle. První část se zabývá důsledkovými relacemi v inferenční erotetické logice (inferential erotetic logic). Plně zde využíváme rámec původní inferenční erotetické logiky zavedené Andrzejem Wiśniewskim. Používáme výhradně formalizaci otázek pomocí množiny přímých odpovědí, kdy přímé odpovědi jsou formule deklarativního jazyka. Protože jsou důsledkové relace s otázkami definovány pomocí klasického vícezávěrového sémantického důsledku, využíváme při důkazech přístup založený na třídách modelů. V této části nám jde o obecný přístup ovšem s omezením, kdy je deklarativní jazyk rozšířen o otázky, ale k propojení deklarativního a interogativního jazyka dojde až na úrovni důsledkových relací. Primárním zájmem je studovat vztahy mezi jednotlivými erotetickými důsledkovými relacemi. Druhá...
|
|
|
Knowledge changes in dynamic epistemic logic
Dančák, Michal ; Peliš, Michal (vedoucí práce) ; Urbański, Mariusz (oponent)
V této práci je představena logika hybridních akčních modelů, spolu s korektním a úplným Hilbertovským kalkulem. Je to původní mul- timodální epistemická logika, která se snaží dát agentům (i) silný prostředek komunikace a (ii) bohatý slovník, kterým mohou komu- nikovat. Toho se snaží dosáhnout tím, že kombinuje akční modely s hybridní logikou. Jazyk výsledné logiky je poměrně složitý a zahrnuje obecnou znalost, deterministické akční updaty a všechny tři běžně užívané hybridní operátory @, ↓ a E. Práce obsahuje přehled jak akčních modelů, tak hybridní logiky. Stručně popíšeme hybridní logiku s částečně denotujícími nominály a použijeme ji jako odrazový můstek. Sémantika a věta o úplnosti logiky hybridních akčních modelů tvoří hlavní část této práce. 1
|
|
| |
|
|
Logic of questions
Peliš, Michal ; Peregrin, Jaroslav (vedoucí práce) ; Sedlár, Igor (oponent) ; Wiśniewski, Andrzej (oponent)
Logika otázek Michal Peliš Disertační práce Abstrakt Práce se zabývá jedním z odvětví neklasických logik - logikou otázek (erotetickou logikou). V úvodní části se hovoří obecně o formalizovaném přístupu k otázkám v logice a současně je stručně shrnuta zejména nejnovější historie tohoto odvětví. Zde je též zdůvodňována smysluplnost zachycení úsudků, v nichž se otázky objevují, a je představena formalizace otázky založená na explicitním stanovení množiny přímých odpovědí. Zbytek práce je rozdělen na dvě části, které lze číst nezávisle. První část se zabývá důsledkovými relacemi v inferenční erotetické logice (inferential erotetic logic). Plně zde využíváme rámec původní inferenční erotetické logiky zavedené Andrzejem Wiśniewskim. Používáme výhradně formalizaci otázek pomocí množiny přímých odpovědí, kdy přímé odpovědi jsou formule deklarativního jazyka. Protože jsou důsledkové relace s otázkami definovány pomocí klasického vícezávěrového sémantického důsledku, využíváme při důkazech přístup založený na třídách modelů. V této části nám jde o obecný přístup ovšem s omezením, kdy je deklarativní jazyk rozšířen o otázky, ale k propojení deklarativního a interogativního jazyka dojde až na úrovni důsledkových relací. Primárním zájmem je studovat vztahy mezi jednotlivými erotetickými důsledkovými relacemi. Druhá...
|
|
|
Tibetský léčebný systém Kum Nye a možnosti jeho využití
Soumarová, Jana ; Parry Martínková, Irena (vedoucí práce) ; Peliš, Michal (oponent)
Název: Tibetský léčebný systém Kum Nye a možnosti jeho využití Cíle: Cílem této práce je představit ucelené pojetí tibetského léčebného systému Kum Nye. První část pojednává o buddhismu jakožto obecném filozofickém základu Kum Nye, souvisejících výchozích duchovních principech, historickém pozadí vývoje Kum Nye a nastiňuje vztahy mezi těmito třemi kořeny, ze kterých Kum Nye pochází. Druhá část si klade za cíl ozřejmit terapeutickou účinnost systému a ukázat způsoby jeho praktikování, které jsou speciálně upraveny pro mentalitu a způsob života západního člověka tibetským lamou Tarthangem Tulkou. Zde jsou uplatněny zkušenosti, které autor této práce získal osobní účastí na kurzu Kum Nye. V závěru jsou shrnuty důležité aspekty Kum Nye, nastíněny možnosti využití, dále je uvedeno kritické zhodnocení terapeutických účinků i omezení systému a návrh pro další zkoumání. Klíčová slova: Buddhismus, dechová cvičení, emoce, Kum Nye, stres
|
|
|
Towards a Better Understanding and Application of Physical Education and Sport - HIGH HOPES
Konstantinou, Panagiotis ; Parry Martínková, Irena (vedoucí práce) ; Peliš, Michal (oponent)
English title: Towards a better understanding and application of Physical Education and Sport- IDGH HOPES. česky název: Snaha o lepši poroZfJmění a užití Telesní Výchovy a Sportu - VELKÉ NADtJE. The reality is that Physical Education is mainly focused on competitive and professional level. This understanding is not only harmful for the field of Physical Education, but also for our society as a whole. In this Diploma Thesis I propose a "treatment", which in my opinion will contribute to the improvement of Physical Education. Despite the fact that our society is competitive, I suggest elimination of contests, rewards and records. Physical Education deserves to be more natural, which means to be playful. Physical Education can contribute to better societies and the only way is to attract people towards it and make them play. lf we can somehow change the system of Physical Education a little bit to bring it to the forefront or centre of our lives, then we will be able to talk about "prevention" of problems, which is more effective. Key-words: Playful Sport Physical Education Definitions of Sport Criticism of contemporary Sport. 3
|
|
|
Zenová meditace a její vztah k tělu
Štráfeldová, Hana ; Parry Martínková, Irena (vedoucí práce) ; Peliš, Michal (oponent)
Zenová meditace a její vztah k tělu Tato práce se zabývá zen buddhistickou meditací, zvanou též "zazen", a jejím komplexrúm působením na člověka. Zen vychází z přesvědčení, že tělo a mysl tvoří jeden celek, a tak se i tato práce snaží postihnout vliv zazenu na tělo a mysl zároveň. Pojednává se zde o způsobu sezerú při této meditaci, o pozitivních účincích zazenu na zdraví člověka, o problémech, které jej mohou provázet, i o jeho přínosu pro běžný každodenní život. Nechybí ani filozofické zázemí zen buddhismu a jeho historická východiska. Klíčová slova: zazen, zen buddhismus, nondualita, východrú nauky, kinhin, satori, zammai, zdraví THESIS ANNOTATION: Zen meditation in relation to the human body This thesis discusses zen buddhism meditation, commonly called "zazen", and its complex effects on the human body. Zen philosophy states that body and mind are one and this work attemps to find the influence of zazen on this "body-mind" system. In this work sitting position during meditation, zazen's posítive effect on health and its contribution to daily life are considered as well as problems that can go hand in hand with it. Also discussed are zen meditation's philosophical background and historical origins. Key words: Zazen, Zen buddhism, Non-dualism, Eastern teachings, Kinhin, Satori, Zammai, Health.
|
|
|
Metoda sémantických stromů v neklasických logikách
Dančák, Michal ; Peliš, Michal (oponent) ; Bílková, Marta (vedoucí práce)
Dalo by se ríct, že jako dukazová metoda jsou sémantické stromy v Cesku nepríliš používané, a to i presto, že ve svete je to nejoblíbenejší dukazový systém pro modální logiku [1]. Vedle základního Hilbertova kalkulu se v ceské literature nejcasteji objevují sekventové kalkuly, prípadne kalkul prirozené dedukce. Presto má metoda sémantických stromu nekolik nezanedbatelných predností a zajímavých témat. Jak už název napovídá, tento kalkul vychází ze sémantiky - dukazy mají predevším sémantický charakter a pro "jednodušší" logiky jsou i velmi intuitivní. Dokazování je zároven i vyvracení. Pri dokazování metodou sémantických stromu vlastne hledáme protipríklad. Jestliže ho nenajdeme, a pokud jsme postupovali správne, tak neexistuje. Na poradí použití pravidel také nezáleží (až na nekolik vyjímek v nekterých logikách, které si pozdeji ukážeme). I díky temto výhodám je tato metoda také velmi vhodná pro strojové zpracování. V této práci jsem se rozhodl zamerit na to, jak se metoda sémantických stromu chová v substrukturální logice BCK (nekdy též FLew). Zacneme základními definicemi a tím, co to vlastne sémantické stromy jsou, dále bude následovat nekolik príkladu, definice logiky BCK a príslušných odvozovacích pravidel. Celá práce bude završena dukazem úplnosti a korektnosti tohoto kalkulu vuci kripkovské...
|
host ::
RSS.