|
|
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...
|
|
|
Reflection principles and large cardinals
Mrva, Mikuláš ; Honzík, Radek (vedoucí práce) ; Verner, Jonathan (oponent)
Práce zkoumá vztah tzv. principů reflexe a velkých kardinálů. Lévy ukázal, že v ZFC platí tzv. věta o reflexi a dokonce, že věta o reflexi je ekviva- lentní schématu nahrazení a axiomu nekonečna nad teorií ZFC bez axiomu nekonečna a schématu nahrazení. Tedy lze na větu o reflexi pohlížet jako na svého druhu axiom nekonečna. Práce zkoumá do jaké míry a jakým způsobem lze větu o reflexi zobecnit a jaký to má vliv na existenci tzv. velkých kardinálů. Práce definuje nedosažitelné, Mahlovy a nepopsatelné kardinály a ukáže, jak je lze zavést pomocí reflexe. Přirozenou limitou kardinálů získaných reflexí jsou kardinály nekonzistentní s L. Práce nabídne intuitivní zdůvodněn, proč tomu tak je. 1
|
|
|
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.