|
|
Mnohost bytí: Ontologie Alaina Badioua
Pivoda, Tomáš ; Petříček, Miroslav (vedoucí práce) ; Kouba, Petr (oponent) ; Pechar, Jiří (oponent)
Tomáš Pivoda, Mnohost bytí: ontologie Alaina Badioua Disertační práce Abstrakt Práce představuje poprvé v českém prostředí ontologii francouzského filosofa Alaina Badioua, jak ji podal ve svém základním díle Bytí a událost (L'être et l'événement, 1988). Nejprve ukazuje východiska Badiouvy filosofie a důvody, proč Badiou identifikuje ontologii s teorií množin, a poukazuje na jeho význam pro současnou filosofii, obzvláště proud tzv. spekulativního realismu, zformovaný kolem Quentina Meillassouxe. Hlavní osu práce tvoří výklad čtyř základních Badiouvých "Idejí": mnohosti, události, pravd a subjektu, v jejichž rámci se postupně ukazuje, jak Alain Badiou buduje svůj pojmový aparát na základě jednotlivých axiomů teorie množin, vycházeje přitom ze základního formálního vymezení množiny pomocí operátoru . V rámci Ideje mnohosti∈ práce s odkazem k M. Heideggerovi a Platónovi vykládá Badiouvu transpozici pojmové dvojice jedno/mnohé na dvojici jsoucno/bytí a definuje základní pojmy Badiouvy ontologie jako situaci, prezentaci, reprezentaci a prázdno, s jejichž pomocí ilustruje Badiouvo pojetí přírody. V souvislosti s událostí se práce dále věnuje tzv. historickým situacím, jež vycházejí z intervenčního pojmenování lokálně situované události. Z pojmu "věrnosti události" pak vyvozuje Badiouvo pojetí tzv. generických...
|
|
| |
|
|
Modelování atmosférické cirkulace exoplanet
Novák, Jiří ; Brechler, Josef (vedoucí práce) ; Halenka, Tomáš (oponent)
V této práci studujeme vlastnosti atmosfér exoplanet a cirkulace na nich. První část práce studuje metody pro detekci exoplanet, statistické rozložení jejich vlastností a tzv. výběrové efekty. Druhá část práce se věnuje popisu vlastností atmosfér některých planet a měsíců Sluneční soustavy (Venuše, Mars, Titan) a diskutuje také možné vlastnosti atmosfér exoplanet, které v současné době lze jen odhadovat. Třetí část práce se věnuje popisu atmosférickým modelů. Popsán je zde plný 3D model atmosféry a model mělké vody. Ukázány jsou také výsledky modelů pro exoplanety, publikované v odborných časopisech. Popsána je geodetická icosahedrální síť, výhodná pro globální klimatické modely, způsob diskretizace na sféře a použití operátorů (gradient, divergence, vorticita) na geodetické síti. V poslední části je popsán program pro model mělké vody na sféře v systému divergence-vorticita. Popsána je technická specifikace programu, parametry vstupující do programu, metoda zobrazování výsledných dat a ukázka vybraných výsledků z několika běhů pro různé typy planet a také numerické testy, pomocí kterých se dají odhadnout vlastnosti vytvořeného modelu. V závěru jsou diskutovány výsledky modelu. Powered by TCPDF (www.tcpdf.org)
|
|
|
Cohen forcing and its properties
Bydžovský, Jan ; Honzík, Radek (vedoucí práce) ; Verner, Jonathan (oponent)
Bakalářská práce se zabývá vlastnostmi Cohenova forcingu a jeho vztahu k nedokazatelnosti Hypotézy kontinua a Obecné hypotézy kontinua. Práce je rozdělena na čtyři části. V první části je zavedena technika forcingu pomocí částečných uspořádání. Druhá část zavádí pojem Cohenovského forcingu, ukazuje vlastnosti kardinální aritmetiky postačující k zachovávání kardinálů Cohenovským forcingem a zejména se pak soustředí na generické množiny přidané konkrétními variacemi Cohenovského forcingu. Nakonec tato část ukazuje některé vlastnosti Cohenovských reálných čísel. Třetí část rekon- struje důkaz nedokazatelnosti Hypotézy kontinua a ukazuje užití Cohen- ovského forcingu při důkazu tvrzeních o Obecné hypotéze kontinua. Poslední část se krátce zmiňuje o neminimalitě generických filtrů na Cohenovském forcingu a zavádí Sacksův forcing, na kterém dokládá, že existují forcingy, jejichž generické filtry jsou minimální. Klíčová slova Cohenův forcing, CH, GCH, Cohenova reálná čísla.
|
|
|
Forcing, deskriptivní teorie množin, analýza
Doucha, Michal ; Zapletal, Jindřich (vedoucí práce) ; Zelený, Miroslav (oponent) ; Kubiš, Wieslaw (oponent)
Disertační práce je tematicky rozdělena na dva celky. První část, tj. kapitoly 2,3 a 4, obsahuje výsledky tématicky související s novou knihou školitele a spoluautorů V. Kanoveie a M. Saboka ,,Canonical Ramsey Theory on Polish Spaces". V kapitole 2 je dokázana kanonizace všech ekvivalenčních relací Borelovsky redukovatelných na ekvivalence definované z analytických P-ideálů pro Silverův ideál. Dále jsou zde vyšetřovány a klasifikovány podek- vivalence ekvivalenční relace E0. V kapitole 3 je dokázána kanonizace všech ekvivalenčních relací Borelovsky redukovatelných na ekvivalence definované z Fσ P-ideálů pro Laverův ideál a v kapitole 4 je dokázána kanonizace všech an- alytických ekvivalenčních relací pro ideál odvozený z Carlsonovy-Simpsonovy (duální Ramseyho) věty. Druhý tematický celek, tvořený kapitolou 5, se zabývá existencí uni- verzálních a ultrahomogenních Polských metrických struktur. Konstruuje se například univerzální a ultrahomogenní Polský metrický prostor vybavený navíc spočetně mnoha uzavřenými relacemi nebo vybavený Lipschitzovskou funkcí do libovolně stanoveného Polského metrického prostoru. Práci zde obsaženou je možné chápat jako rozšíření klasického výsledku P. Urysohna, který...
|
|
|
Logical background of forcing
Glivická, Jana ; Honzík, Radek (vedoucí práce) ; Chodounský, David (oponent)
V předložené práci zkoumáme forcing jako metodu teorie množin a zaměřu- jeme se na okolnosti, které jsou při obvyklých výkladech a aplikacích forcingu ponechávány stranou. Ukážeme, že forcing lze formalizovat v Peanově aritmetice (PA) a že výsledky o relativních konzistencích teorií získané pomocí forcingu jsou dokazatelné v PA. Předvedeme dva způsoby, jak je možné překonat předpoklad existence spočetného tranzitivního modelu. Studujeme také forcing jako metodu, na jejímž základě je možné konstruovat interpretace teorií v teoriích jiných. Zavádíme pojem bi-interpretace a budujeme metodu forcingu přes nestandardní model ZFC, pomocí níž ukážeme, že teorie ZFC a ZF nejsou bi-interpretovatelné. 1
|
|
|
Mnohost bytí: Ontologie Alaina Badioua
Pivoda, Tomáš ; Petříček, Miroslav (vedoucí práce) ; Kouba, Petr (oponent) ; Pechar, Jiří (oponent)
Tomáš Pivoda, Mnohost bytí: ontologie Alaina Badioua Disertační práce Abstrakt Práce představuje poprvé v českém prostředí ontologii francouzského filosofa Alaina Badioua, jak ji podal ve svém základním díle Bytí a událost (L'être et l'événement, 1988). Nejprve ukazuje východiska Badiouvy filosofie a důvody, proč Badiou identifikuje ontologii s teorií množin, a poukazuje na jeho význam pro současnou filosofii, obzvláště proud tzv. spekulativního realismu, zformovaný kolem Quentina Meillassouxe. Hlavní osu práce tvoří výklad čtyř základních Badiouvých "Idejí": mnohosti, události, pravd a subjektu, v jejichž rámci se postupně ukazuje, jak Alain Badiou buduje svůj pojmový aparát na základě jednotlivých axiomů teorie množin, vycházeje přitom ze základního formálního vymezení množiny pomocí operátoru . V rámci Ideje mnohosti∈ práce s odkazem k M. Heideggerovi a Platónovi vykládá Badiouvu transpozici pojmové dvojice jedno/mnohé na dvojici jsoucno/bytí a definuje základní pojmy Badiouvy ontologie jako situaci, prezentaci, reprezentaci a prázdno, s jejichž pomocí ilustruje Badiouvo pojetí přírody. V souvislosti s událostí se práce dále věnuje tzv. historickým situacím, jež vycházejí z intervenčního pojmenování lokálně situované události. Z pojmu "věrnosti události" pak vyvozuje Badiouvo pojetí tzv. generických...
|
host ::
RSS.