Boží (ne)dokazatelnost v soudobé české neoscholastické diskuzi
|
|
- Ladislava Musilová
- před 8 lety
- Počet zobrazení:
Transkript
1 Boží (ne)dokazatelnost v soudobé české neoscholastické diskuzi David Peroutka V současnosti (mám na mysli období cca od 90. let) byla některými českými filosofy tak či onak navazujícími na tradici scholastického myšlení rozvinuta pozoruhodná diskuze o kosmologickém kauzálním důkazu Boží existence. Ve svém příspěvku se pokusím nejen na způsob referátu zmapovat její kulminační momenty, ale též vyhodnotit, co se v tomto směru podařilo (resp. nepodařilo) a jaké šance na dopracování důkazu se v tomto světle jeví reálnými. Má úvaha se bude týkat pouze důkazu z kauzality, tedy zhruba řečeno důkazu aristotelsko-tomistického typu. Stranou tedy ponechám např. zajímavou diskuzi mezi Lukášem Novákem a Petrem Dvořákem o scotistickém modálním důkazu Boží existence. Ponechám rovněž stranou diskuze o mnohých předpokladech samotného důkazu Boží existence, např. o epistemologických a logických tématech, o kauzalitě obecně, o predikátu existence atd. Budu se soustředit pouze na samotnou vrcholnou fázi, tj. na pátrání, zda a jak lze z existence řady kontingentních příčin usoudit na nutně existující první příčinu. V dějinách celé diskuze rozlišuji dvě nejvýraznější dějství. První spadá do období mezi roky , jeho protagonisty jsou Jiří Fuchs, Roman Cardal a Stanislav Sousedík. Druhou epizodou je pak dialog Stanislava Sousedíka a Petra Dvořáka, kterou lze počítat od roku 2014, tj. od vydání Sousedíkovy knihy Kosmologický důkaz Boží existence v životě a myšlení. Jiří Fuchs ovlivnil řadu zájemců o scholastické myšlení a křesťanskou filosofii svým programem nedogmatického důkazného myšlenkového postupu, který začíná důkazem samotného principu bezrozpornosti a pokračuje v síle tohoto principu až mj. k důkazu Boží existence. Musím bohužel konstatovat, že se lze sotva kde setkat s tak zarážejícím rozporem mezi proklamovaným programem, jenž ve Fuchsově případě žádá nestavět na nedokázaných, dogmatických předpokladech, a jeho realizací. Fuchs tento důkaz představuje ve svých knihách Cesta k důkazu Boží existence, Filosofie 4. Bůh filosofů a později (v r. 2007) znovu v knize Filosofie 7. Předpoklady nerelativizované etiky. Premisu, že existuje-li jsoucno zapříčiněné a kontingentní, existuje i jsoucno nezapříčiněné a nutné, podporuje prostým tvrzením, že bez uznání nutného jsoucna by nebyl zde naplněn či splněn požadavek kauzality, vzniklo by kauzální manko, princip kauzality by byl zrušen, jednalo by se o evidentní kolizi s principem kauzality atp. Navzdory připojenému pokusu o důkaz sporem se jedná se o pouhý postulát. Fuchsův důkaz sporem totiž ve své nejrozvinutější podobě vypadá takto: Antiteze vykládá účinek pouze zapříčiněnou příčinou, tj. účinkem. Důkaz principu kauzality však ukázal, že takové kauzální manko je rozporné. Rozporná antiteze však nemůže být pravdivá. Proto musí být pravdivá teze první premisa (Filosofie 7. Předpoklady nerelativizované etiky, Krystal OP, Praha, 2007, str. 178). Potíž je, že Fuchsův předchozí důkaz kauzality, ačkoli se pokoušel zdůvodnit, že vzniklé jsoucno musí mít příčinu, nezdůvodňoval a ani se vůbec nepokoušel zdůvodnit tezi, že vzniklé jsoucno potřebuje nějakou nezapříčiněnou příčinu. Svou klíčovou tezi, že vysvětlovaní toliko zapříčiněnými příčinami obnáší nepřípustné kauzální manko, tedy nyní Fuchs jednoduše postuluje. V rámci citovaného úryvku si dobře všimněme si dobře věty: 1
2 Důkaz principu kauzality ukázal, že takové kauzální manko je rozporné. Jaké kauzální manko se pokoušel Fuchs svým předcházejícím důkazem principu kauzality vyloučit jako rozporné? To, které by vyvstalo, kdybychom kladli vznik jsoucna bez příčiny. Zda ale musí být nějaká příčina sama nezapříčiněná, to v onom kroku (v důkazu kauzality) vůbec ani nebylo tematizováno! Fuchsův důkaz sporem tedy stojí na nedokázaném, tj. (řečeno Fuchsovou terminologií) dogmatickém předpokladu. Fuchs v důkazu prostě předpokládá to, co se má dokazovat. Není třeba zvažovat všechny jednotlivé rétorické výkony, kterými Fuchs podporuje předpoklad, že zapříčiněné příčiny nestačí, resp. že je kauzální požadavek naplněn až teprve nezapříčiněnou příčinou. Zásadním problémem je, že Fuchs pro tuto tezi nikde nenabízí důkaz. Důkazem totiž nemíním jen působivou formulaci, nýbrž posloupnost výroků takovou, v níž poslední, tj. závěr, vyplývá (dle pravidel logiky) z předchozích, přičemž v oněch předchozích, tj. premisách, není již zahrnuto to, co se má dokázat (i zdařilý důkaz sporem by byl zvláštním případem takové posloupnosti). Na snahu Jiřího Fuchse navázal na sklonku 90. let jeho stoupenec Roman Cardal. Přebírá Fuchsův termín kauzální manko i podstatu jeho myšlenkového postupu a obohacuje ho o další, tradiční scholastické prvky. V rámci svého programu rigorizace důkazu do úvahy zakomponoval jednak pojmy potence a aktu, a jednak pojmem kauzality per se, tj. takového sřetězení příčin, kde každá příčina přímo způsobuje působení následující příčiny. Od Fuchsova defektního, avšak průhledného výkladu se ovšem Cardalova formulace bohužel liší svou značnou zmateností. Cardal chce vyloučit nekonečnost příčinné řad, čili dokázat první příčinu, takto vystavěnou argumentací: Nekonečný per se kauzální řetězec by na sebe vzal povahu pouhé závislosti, a tudíž charakter pasivní možnosti. Jenže změna není pouhou pasivní možností, reálně se uskutečňuje, je uskutečňováním možnosti. Viděli jsme, že toto uskutečňování se reálně liší od aktualizované možnosti. Nekonečný per se kauzální řetězec se utápí v pouhé potencialitě, nedokáže fundovat reálnou aktualizaci potence. Tvrdit, že se závislosti řečeného druhu ztrácejí v nekonečnu, znamená položit rovnítko mezi uskutečňování (evidentně existující změnu) a možnost (nekonečná závislost). To je ale rozpor (Bůh ve světle filosofie, Krystal OP, Praha, 2001, str. 68). Nejsem přehnaně fixován na logiku ani netrvám na plné formalizaci důkazů, nicméně skutečnost, že je tato Cardalova volně nastiňovaná a vágní argumentace výsledkem proklamované rigorizace klasického důkazu, mi přijde zarážející. Cardalovou zásluhou nicméně zůstává alespoň oprášení scholastického pojmu příčinnosti per se, který v soudobé světové diskuzi (Alexander Pruss, Richard Gale, William Lane Craig aj.) není využíván. Cardal svou rigorizaci poprvé představil v časopisu Distance (1998, č. 3 a 4, 1999, č. 1) a dočkal se reakce Stanislava Sousedíka, jenž mj. upozornil, že příčinné uspořádání per se by obnášelo současnost působení zúčastněných příčin. Kauzální řada tvořící reálný svět se od řady per se liší tím, že podle všeho vykazuje časovou posloupnost, je diachronní, nikoli synchronní (Distance, 1999, č. 4). Sousedíkova námitka má svůj smysl, hovoří pro to dvě skutečnosti. První z nich je historicko-terminologický fakt, že termín kauzální řada per se byl patrně zaveden pro řadu simultánní či synchronní. Výrazy per se a per accidens v tomto smyslu nepoužil Tomáš Akvinský, ale až Jan Duns Scotus, jenž o nekonečnu příčin uspořádaných per accidens říká: Akcidentální nekonečno, pokud bychom je připouštěli, není zároveň, jak je zjevné, nýbrž toliko sukcesivně, [uskutečňuje se v něm] jedno po druhém, takže druhá [příčina], ačkoli v nějakém smyslu pochází z první, přece na ní nezávisí co do svého kauzálního působení. Vždyť může působit, když ona [první již] neexistuje, jako když 2
3 syn v době, kdy je otec mrtev, plodí stejně, jako kdyby byl živ (Tractatus de primo principio, cap. 3, 51). Pokládá-li Scotus sukcesivní povahu za znak akcidentální příčinné řady, zdá se, že řada per se je charakterizována simultaneitou. Druhou skutečností ukazující význam Sousedíkovy námitky je podle mne fakt, že v případě sukcesivní či diachronní řady příčin na rozdíl od (synchronní) řady per se fakticky existuje opozice proti požadavku první, nezapříčiněné příčiny (viz např. Bertrand Russell: Proč nejsem křesťanem, Orbis, Praha, 1961, str. 8). Roman Cardal si v odpověď zavádí výraz per se tak, že mu dává širší smysl, aby za určitých podmínek zahrnoval i diachronní kauzální řadu. V zavedení terminologického úzu mu sice nic nebrání, ovšem není patrné, že by se tím jeho úvaha přiblížila proklamované rigorózní důkaznosti. Opouštíme Cardalovu úvahu o per se kauzalitě a budeme se věnovat diskuzi Stanislava Sousedíka s Petrem Dvořákem. Oba přijímají jako přinejmenším myslitelné, že by diachronní světová kauzální řada, v níž dřívější jsoucna způsobují existenci jsoucen následujících, postupovala z nekonečna. I kdyby tomu tak bylo, musí zde být první příčina: nikoli první v řadě, nekonečná řada nemá první člen, nýbrž mimo řadu: jde o příčinu existence celé nekonečné řady. Jsoucna tvořící řadu potřebují k existenci příčinu, neexistují tedy nutně a jsou nahodilá. První příčina je příčinou veškerenstva nahodilých a zapříčiněných jsoucen, sama tedy již příčinu nemá a mít nemůže, je nutná. S. Sousedík formuluje jádro důkazu takto: Každý celek, jehož každý prvek je nahodilý, je i sám nahodilý. Tedy i svět je nahodilý. Svět má tudíž (nejméně jednu) příčinu, jež není nahodilým jsoucnem, a je tudíž jsoucnem nutným (Kosmologický důkaz Boží existence v životě a myšlení, Praha, Vyšehrad, 2014, str. 136). Jak je patrné, celý argument stojí a padá s platností předpokladu, že každý celek, jehož každý prvek je nahodilý, je i sám nahodilý. Avšak právě Sousedíkova argumentace ve prospěch tohoto tvrzení se setkala s kritikou mou (recenze ve Filosofickém časopisu 62, 2014, č. 5) i Petra Dvořáka (recenze v Reflexi 48, 2015). Sousedík ve své argumentaci nejprve popisuje vlastnosti prvků souboru, které přispívají k vzniku od nich odlišné vlastnosti souboru : např. váha zrn hrachu přispívá k tomu, aby měl celý pytel hrachu váhu odlišnou od váhy jednotlivých zrn. Jinak je tomu s vlastnostmi nepřispívajícími : např. červeň každého jednotlivého vlákna kusu tkaniny nepřispívá nijak k tomu, aby měl celý kus tkaniny jinou vlastnost než červenost. Celek utkaný výlučně z červených vláken je tudíž nutně červený. A podobně je tomu prý s vlastností, kterou je nahodilost. I nahodilost všech jednotlivých světských jsoucen je vlastností nepřispívající. Proto je celek, totiž svět, nahodilý a nikoli nutný (str ). Připomeňme si v této souvislosti Russellovu námitku proti myšlence, že by celý světový sled příčin-účinků sám vyžadoval příčinu. Bertrand Russell odporuje protipříkladem (Proč nejsem křesťanem, str. 85), který trefněji parafrázuje John D. Barrow: požadavek příčiny pro veškerenstvo přirovnává k mínění, že mají-li všichni členové klubů matky, musejí mít matky i všechny kluby (Teorie všeho, Mladá fronta, Praha, 1996, str. 66). Aplikujme tuto námitku na Sousedíkovu úvahu o nepřispívajících vlastnostech: kdyby byla správná, měla by být vlastnost mít matku vlastností přispívající. Není ale příliš jasné, jak by tato vlastnost přispívala k tomu, aby měl celý soubor vlastnost odlišnou (byl bez matky). Uvažme ještě jiný protipříklad, mysleme soubor, jehož každý prvek je krychlový. Krychlovost ničím nepřispívá k tomu, aby byl celek ne-krychlový: může být krychlový. Krychlovost je tudíž nepřispívající vlastností. V rozporu se Sousedíkovým předpokladem však připouští, aby celek sestávající z krychlových prvků byl sám nekrychlový. Není důležité, 3
4 zda lze odpovědět na tento (či jiný konkrétní) protipříklad. Za nedostatek pokládám, že Sousedík nenabízí důkaz, že jeho předpoklad skutečně platí pro oblast všech nepřispívajících vlastností (anebo alespoň důkaz, že onen předpoklad platí pro některou dílčí, dobře vymezenou oblast nepřispívajících vlastností a že nahodilost právě do této užší oblasti náleží). Jinou kritiku téhož předpokladu (že každý celek, jehož každý prvek je nahodilý, je i sám nahodilý ), formuloval Petr Dvořák ( Kosmologický důkaz a nahodilost celku nahodilých jsoucen, Reflexe 48, 2015). Nahodilost jsoucen je jejich možnost nebýt. Z premis je možné, že by A nebylo a je možné, že by B nebylo však určitě neplyne závěr je možné, že by nebyly A ani B. Ilustrujme si Dvořákův argument představou souboru dvou povinně volitelných předmětů. Studentovi se nabízí předmět A a předmět B, přičemž student je povinen zapsat si nejméně jeden z obou. Pak platí, že je možné, že by při splnění této povinnosti nebyl zapsán předmět A i že je možné, že by při splnění povinnosti nebyl zapsán předmět B. Z toho ovšem neplyne možnost, že by při splnění dané povinnosti nebyl zapsán žádný z obou předmětů. Podobně z pouhého předpokladu, že je by jedno každé nitrosvětské jsoucno mohlo nebýt, ještě neplyne, že by mohlo nebýt nic. Petr Dvořák nezůstává u kritiky a přichází s vlastní podobou kosmologického důkazu (v recenzi na Sousedíkovu knihu, Reflexe 47, 2014). Zatímco se Fuchs a Cardal domnívají, že podali důkaz sporem, Dvořák se chce opřít o všeobecnou platnost tzv. principu dostatečného důvodu, kterou prý oponenti důkazu popírají. Než zpřítomním Dvořákovu verzi důkazu, bude užitečné učinit zavést určité pojmosloví. Mezi možnými, avšak nikoli skutečnými světy rozlišuji světy akcidentálně odlišné od aktuálního světa a světy principiálně odlišné. Akcidentálně odlišný svět sdílí s aktuálním světem tutéž minulost, lišit se od něj začal až od určitého momentu. Např. svět, který se liší od aktuálního světa tím, že v něm Marin Heidegger dopsal plánované části Bytí a času, je od našeho toliko akcidentálně odlišný. Proč neexistuje místo aktuálního světa spíše nějaký svět od něj akcidentálně odlišný, je vysvětlitelné pomocí příčin, které existují v aktuálním světě. Takovou příčinou je v našem příkladu zejména Heidegger jakožto činitel nadaný svobodnou vůlí. Daleko zajímavější otázkou z našeho hlediska je, proč neexistuje namísto aktuálního světa nějaký svět od něj principiálně odlišný Dále je třeba rozlišit možnost reálnou a možnost logickou. Velmi zhruba řečeno: Logicky možné je to, co je bezrozporně myslitelné. Reálně možné něco je, pokud (navíc) v aktuálním světě existují (aktivní, případně i pasivní) kauzální schopnosti, jejichž nositelé by díky nim byli způsobilí stát se příčinami dané věci (plánované díly Bytí a času byly nejen logicky, ale i reálně možné díky Heideggerovi a jeho schopnostem). Lze si klást otázku, zda oblast logicky možného a oblast reálně možného koincidují: ačkoli je např. bez diskuze jasné, že prázdný svět (tzn. eventualita, že by nikdy nebylo nic) není reálně možný, přece má smysl diskutovat o tom, zda je možný logicky. Petr Dvořák ve své úvaze o důkazu Boží existence nehovoří tolik o možných světech, jako spíše o kauzálních řadách, kterými jsou možné světy tvořeny. Kauzální řadu tvořící náš aktuální svět nazvěme A-řadou, pro kauzální řady tvořící principiálně odlišné světy můžeme používat název B-řada. Dvořák připouští jako myslitelné, že by jednotlivé příčiny tvořící aktuální (snad nekonečnou) řadu příčin a účinků stačily k vysvětlení existence celé této řady, avšak toto vysvětlení prý přesto není dostatečné v každém ohledu: [S]amotní členové řady stačí k vysvětlení existence řady jako celku, to připouštíme, nikoli však k vysvětlení [její] logicky nahodilé existence ( ). Členové A-řady nevysvětlí, proč existuje A-řada spíše než B-řada nebo proč tomu není tak, že by neexistovala vůbec žádná řada. Tam, kde je logická možnost opaku, musí existovat 4
5 vnější příčina aktualizace, resp. důvod, proč existuje tato řada a ne jiná či proč existuje vůbec nějaká řada a ne nic. Petr Dvořák míní, že logická možnost neexistence našeho světa je zároveň i reálnou možností. I kdyby to oponent připustil, může se tázat, proč by k vysvětlení faktu, že této možnosti nebylo využito, nestačilo ono vysvětlení, které sám Dvořák uznává, když říká: samotní členové řady stačí k vysvětlení existence řady jako celku, to připouštíme. Toto tázání je ovšem veskrze nadbytečné, neboť ateista, resp. advokát anselmovského insipienta má podle mne k dispozici silný protiargument. Nepředpokládá-li Dvořák Boží existenci již předem a nechce-li trvat na dogmatických postulátech, pak sotva může diskvalifikovat návrh, že ačkoli je neexistence stávající řady a existence jiné, nulové či nenulové řady logicky možná, není možná reálně. Sám Dvořák totiž definuje reálnou možnost jako to, co je logicky možné a zároveň uskutečnitelné v tom smyslu, že existuje či existovala příčina mající schopnost daný stav světa uskutečnit, aktualizovat (pozn. 4 v probíraném Dvořákově textu). Tato definice ateistovi dovoluje v rámci diskuze tvrdit, že pak ovšem existence B-řady nebo žádné řady vůbec není reálně možná, neboť 1) žádné existující příčiny (žádné členy stávající A-řady) nejsou schopny uskutečnit, aby nikdy nebylo nic, 2) ani žádné existující příčiny nejsou schopny uskutečnit kauzální řadu tvořící principiálně odlišný svět. Tato reálná nemožnost je pak dostatečnou odpovědí na otázku, proč B-řada či nulová řada neexistuje spíše než řada aktuálně existující. K vysvětlení toho, proč nějaká logicky možná verze reality nenastává, často postačuje i slabší vysvětlení než reálná nemožnost této verze. Ukazuje-li se tedy daná verze dokonce jako reálně nemožná, je to bohatě dostačující vysvětlení její neexistence. A jsou-li jakákoli alternativní B-řada jakož i nulová řada reálně nemožné, může dodat ateista, pak stávající A-řada je reálně nutná (reálně možné jsou výhradně akcidentální varianty A-řady). Této nutnosti nebrání fakt, že jednotliví členové A- řady jsou nahodilí: je tomu jako s povinně volitelnými předměty, jak bylo výše vysvětleno Je tedy kosmologický kauzální důkaz Boží existence beznadějným, ztraceným podnikem? Jsem přesvědčen o tom, že nikoli a v této souvislosti chci ještě obrátit pozornost k textu Stanislava Sousedíka, kterým reagoval na Dvořákovu kritiku ( O celcích, jejichž každý prvek je nahodilý, Reflexe 48, 2015). Sousedík dospívá k přesvědčení, že pravdivost premisy každý celek, jehož každý prvek je nahodilý, je i sám nahodilý, je jednoduše zřejmá. Pojem zřejmosti vystupuje do popředí, v kratičkém textu se v daném smyslu opakuje desetkrát. Myslím, že pro posouzení této zřejmosti je nezbytné vsadit premisu do kontextu celého důkazu: nejde zde o ledajaký celek kontingentních prvků, ale o kauzálně uspořádaný celek. Kontingence pak znamená zapříčiněnost. Nutnost znamená nezapříčiněnou, kauzálně nezávislou existenci. Pak ale naše premisa vlastně říká, že celek kauzálně provázaných příčin a účinků, jehož každý člen je zapříčiněný, vyžaduje příčinu, jež je nezapříčiněná (pročež sama není prvkem onoho celku). Pro tuto klíčovou premisu přinášeli Fuchs s Cardalem svůj rádoby-důkaz sporem a Dvořák svůj nedostatečný důkaz ze zásady dostatečného důvodu (s odvoláním se na logickou nahodilost celé příčinné řady). Žádné takové důkazy se mi nezdají schůdné, dávám zapravdu spíše prof. Sousedíkovi, podle nějž lze danou premisu nahlédnout jako zřejmou. Pokusím se toto tvrzení podpořit následující úvahou. Představme si tři různé kauzální systémy: pohybující se řetěz, soukolí a kulečník. Vezměme nejprve sunoucí se řetěz (uvažujeme při tom o jiném než pouze setrvačném pohybu, např. o pohybu, při němž se překonává nějaký odpor prostředí, nebo o zrychlujícím se pohybu). I nejzatvrzelejší insipient patrně uzná, že odvolávání se na nekonečný počet článků, z nichž každý táhne článek následující, je stejný nesmysl, jako představa samočinně 5
6 se plazící hadice, jejíž každý decimetr táhne decimetr následující. Vnější příčina pohybu je zřejmě nutná. Uvažujme dále nějaké ideálně, tj. simultánně činné soukolí ozubených kol: od řetězu se liší tím, že pohyb částí není součástí pohybu celku v témže smyslu, jako je pohyb článků řetězu součástí pohybu řetězu. Každá dvě sousední ozubená kola se totiž otáčejí protichůdným směrem a celek se žádným směrem neotáčí. Přesto však lze v nějakém dobrém smyslu hovořit o pohybu celého soukolí a pokládám za opět zřejmé, že vysvětlení odkazující toliko k nekonečnému pořadí kol a jejich vzájemnému vlivu je zde vysvětlením nedostatečným. Poslední příklad se od soukolí liší v principu jen tím, že do hry vstupuje časová posloupnost. Koule je rozpohybována jinou koulí, ta zas třetí koulí atd. Mezi jednotlivými údery existuje časový úsek, v němž se koule pohybuje setrvačně. Proč by měla odlišnost od předchozího příkladu bránit opakování téže zřejmosti, jež charakterizuje naše poznání, že odkaz k nekonečnu nic nevysvětluje? Aktuální svět se diachronní povahou své kauzality podobá našemu kulečníku. Příčinnost se při tom na rozdíl od kulečníku netýká jen pohybu, ale i vzniku a existence: dřívější jsoucna jsou příčinou vzniku jsoucen následných. Odkaz k nekonečnu se v podobných případech jakožto kauzální vysvětlení nejeví být o nic méně neuspokojivým, než byl v případě sunoucího se řetězu. Oponent by mohl trvat na tom, že nekonečno sice v kauzálním smyslu nestačí v případě řetězu, avšak postačuje v případě soukolí a kulečníku anebo že nestačí v případě řetězu a soukolí, nicméně stačí u kulečníku a světa. Proč ale takové rozdíly v hodnocení nemít za příliš arbitrární? Jistě, nelze a priori vyloučit, že by na tento dotaz oponent nemohl nalézt odpověď, oponentovo stanovisko tak z hlediska logické argumentace není důkazně vyvratitelné ani vykazatelně rozporné. Nicméně naše rozumová intuice při tomto stanovisku nestojí. To, co oponent popírá, se naopak jeví jako až příliš zřejmé. K Sousedíkovu pojmu zřejmosti bych kromě právě provedené úvahy připojil jen související pojem intuice, mám na mysli rozumovou intuici. Ne všichni neoscholastičtí myslitelé mají tento pojem v oblibě, např. Jiří Fuchs a jeho stoupenci si přejí mít vše dokázané. Já však v určitých bodech oceňuji odhalení intuitivní zřejmosti více než neplatné důkazy a nezdařilé rigorizace. Odkaz na intuici připouští nejen např. common-sensová metaetika G. E. Moora, ale v podstatě i Tomáš Akvinský, když hovoří o racionálních zásadách, které jsou per se notae, o sobě zřejmé (Summa Theologiae, Iª-IIae, q. 94, a. 2, co). Stanislav Sousedík v tomto ohledu dospěl při promýšlení kosmologického důkazu k dílčím mezím rozumových možností: v určitém bodě je na místě poukázat prostě na skýtající se zřejmost. To neznamená, že bychom zůstali u pouhého konstatování zřejmosti a nemuseli celý důkaz dále propracovávat. Kromě toho, že i samu tuto zřejmost lze lépe a lépe ukazovat, zahrnuje celý důkazný postup i řadu dalších kroků spojených s logickou argumentací v plném smyslu slova zde je spousta práce. A rovněž v tomto smyslu se prof. Sousedík dostal nejdále ze všech účastníků diskuze, kterou jsem tímto svým příspěvkem tematizoval. Ve své knize totiž odpověděl dvěma stěžejním proudům soudobé filosofie: kontinentálnímu i analytickému. Analytická filosofie měla tendenci v rámci svého původního anti-metafyzického naladění odmítat pojem existence jako reálného určení věcí. Podle těchto filosofů si jen čistě pragmaticky zavádíme určité pojmy pro určité typy věcí existence není ničím více než rozsahovou neprázdností takových pojmů (neprázdný je pojem v případě, že pod něj v rámci univerza úvahy něco spadá). Sousedík odpovídá, že spadat pod je binárním vztahem, jehož nutnou podmínkou je tak či onak existence obou jeho členů. Individuum musí především v nějakém smyslu existovat, aby mohlo navíc spadat pod určitý pojem. Existence jako predikát druhého řádu tedy nutně předpokládá existenci prvořádovou (Kosmologický důkaz 6
7 Boží existence v životě a myšlení, str ). Pokud jde o kontinentální filosofii, ta je charakteristická odsouváním otázky po Boží existenci ve prospěch otázky po smyslu. Sousedík ve své knize toto tázání působivě opět spojuje s hledáním Boží existence. Jak si čtenář patrně všiml, v řadě posledních odstavců tohoto kusého příspěvku naznačuji, že kromě výše odmítnutých, defektních argumentačních kroků lze v současném bádání nalézt i řadu inspirativních podnětů nebo i zdařile dosažených výsledků. Existuje zde základ pro další, podrobnější práci. 7
Kosmologický důkaz Boží existence
Kosmologický důkaz Boží existence Petr Dvořák Filosofický ústav AV ČR Cyrilometodějská teologická fakulta UP Postup Dějinný a systematický kontext, literatura Důkaz Hume-Edwardsova námitka a její řešení,
Ludwig WITTGENSTEIN: Tractatus Logico-Philosophicus, 1922 Překlad: Jiří Fiala, Praha: Svoboda, 1993
Ludwig WITTGENSTEIN: Tractatus Logico-Philosophicus, 1922 Překlad: Jiří Fiala, Praha: Svoboda, 1993 l Svět je všechno, co fakticky je. 1.l Svět je celkem faktů a nikoli věcí. l.2 Svět se rozpadá na fakty.
ETIKA. Benedictus de SPINOZA
ETIKA Benedictus de SPINOZA Ukázka knihy z internetového knihkupectví www.kosmas.cz Benedictus de Spinoza ETIKA ETIKA Benedictus de SPINOZA ETIKA Translation Karel Hubka, 1977 Czech edition dybbuk, 2004
Stanislav Sousedík KOSMOLOGICKÝ DŮKAZ BOŽÍ EXISTENCE V ŽIVOTĚ A MYŠLENÍ
161 Stanislav Sousedík KOSMOLOGICKÝ DŮKAZ BOŽÍ EXISTENCE V ŽIVOTĚ A MYŠLENÍ Praha (Vyšehrad) 2014, 175 str. Kniha Stanislava Sousedíka Kosmologický důkaz Boží existence v životě a myšlení obsahuje nejen
E L O G O S ELECTRONIC JOURNAL FOR PHILOSOPHY/2006 ISSN 1211-0442
E L O G O S ELECTRONIC JOURNAL FOR PHILOSOPHY/2006 ISSN 1211-0442 Existují morální zákony á priori, nebo jsou pouze vyjádřením soudobých názorů ve společnosti? Ondřej Bečev 1) Vysvětlivky K použitým písmům
Úvod do logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 23
Úvod do logiky (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 23 Co je logika? Čeho se týkají logické zákony? Tři možnosti: (1) světa (2) myšlení (3) jazyka (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216
Teoreticko-metodologický seminář. Zdeňka Jastrzembská
Teoreticko-metodologický seminář Zdeňka Jastrzembská jastrzem@phil.muni.cz A) Co je to věda? Věda je každý celek hodný toho, aby mohl být předmětem intelektuální výuky na vysokých školách. Věda je specifický
Logika a jazyk. filosofický slovník, Praha:Svoboda 1966)
Logika a jazyk V úvodu bylo řečeno, že logika je věda o správnosti (lidského) usuzování. A protože veškeré usuzování, odvozování a myšlení vůbec se odehrává v jazyce, je problematika jazyka a jeho analýza
Logika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD.
Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Tematické okruhy: 1. Stručné dějiny logiky a její postavění ve vědě 2. Analýza složených výroků pomocí pravdivostní tabulky 3. Subjekt-predikátová
1. Matematická logika
Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/07.0018 1. Matematická logika Základem každé vědy (tedy i matematiky i fyziky) je soubor jistých znalostí. To, co z těchto izolovaných poznatků
O čem je řeč v partikulárních větách
O čem je řeč v partikulárních větách Stanislav Sousedík Univerzita Karlova, Praha V časopisu Organon F si vyměňuje již déle než rok několik autorů názory na problematiku intencionálních jsoucen. Pokusím
Báze a dimenze vektorových prostorů
Báze a dimenze vektorových prostorů Buď (V, +, ) vektorový prostor nad tělesem (T, +, ). Nechť u 1, u 2,..., u n je konečná posloupnost vektorů z V. Existují-li prvky s 1, s 2,..., s n T, z nichž alespoň
Primární a sekundární výskyt označující fráze. Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5.
Primární a sekundární výskyt označující fráze Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5. 2012 Russellovo rozlišení jména a popisu Označující fráze Primární a sekundární
Důkaz nebo cesta? Masarykova univerzita, Přírodovědecká fakulta Ústav matematiky a statistiky
Důkaz nebo cesta? Zdeněk Pospíšil Masarykova univerzita, Přírodovědecká fakulta Ústav matematiky a statistiky Křesťanský sbor Brno Městská knihovna Blansko Středa 23. listopadu 2016 Úvod Kam půjdeme? Tomášovy
Stanovisko odboru dozoru a kontroly veřejné správy Ministerstva vnitra č. 25/2008
Stanovisko odboru dozoru a kontroly veřejné správy Ministerstva vnitra č. 25/2008 Označení stanoviska: Důsledky nepodepsání návrhu zápisu ze zasedání zastupitelstva a právo člena zastupitelstva podat námitky
Logický důsledek. Petr Kuchyňka (7765@mail.muni.cz)
Logický důsledek Petr Kuchyňka (7765@mail.muni.cz) Úvod P 1 Logický důsledek je hlavním předmětem zájmu logiky. Je to relace mezi premisami a závěry logicky platných úsudků: v logicky platném úsudku závěr
Příklad z učebnice matematiky pro základní školu:
Příklad z učebnice matematiky pro základní školu: Součet trojnásobku neznámého čísla zvětšeného o dva a dvojnásobku neznámého čísla zmenšeného o pět se rovná čtyřnásobku neznámého čísla zvětšeného o jedna.
Kapitola Základní množinové pojmy Princip rovnosti. Dvě množiny S a T jsou si rovny (píšeme S = T ) prvek T je také prvkem S.
1 Kapitola 1 Množiny 11 Základní množinové pojmy Pojem množiny nedefinujeme, pouze připomínáme, že množina je souhrn, nebo soubor navzájem rozlišitelných objektů, kterým říkáme prvky 111 Princip rovnosti
1. Matematická logika
MATEMATICKÝ JAZYK Jazyk slouží člověku k vyjádření soudů a myšlenek. Jeho psaná forma má tvar vět. Každá vědní disciplína si vytváří svůj specifický jazyk v úzké návaznosti na jazyk živý. I matematika
Matematická logika. Lekce 1: Motivace a seznámení s klasickou výrokovou logikou. Petr Cintula. Ústav informatiky Akademie věd České republiky
Matematická logika Lekce 1: Motivace a seznámení s klasickou výrokovou logikou Petr Cintula Ústav informatiky Akademie věd České republiky www.cs.cas.cz/cintula/mal Petr Cintula (ÚI AV ČR) Matematická
Posudek oponenta diplomové práce
Katedra: Religionistiky Akademický rok: 2012/2013 Posudek oponenta diplomové práce Pro: Studijní program: Studijní obor: Název tématu: Pavlu Voňkovou Filosofie Religionistika Křesťansko-muslimské vztahy
PROPORCIONÁLNÍ ODPOVĚDNOST VE VZTAHU K ÚPRAVĚ V NOZ JIŘÍ HRÁDEK
PROPORCIONÁLNÍ ODPOVĚDNOST VE VZTAHU K ÚPRAVĚ V NOZ JIŘÍ HRÁDEK I. Úvod Vymezení pojmů Mezinárodní projekty a jejich pojetí Česká úprava Základní pojetí Pravděpodobnost Proporcionální odpovědnost Řešení
ROZSUDEK JMÉNEM REPUBLIKY
8 Ads 17/2014-33 ČESKÁ REPUBLIKA ROZSUDEK JMÉNEM REPUBLIKY Nejvyšší správní soud rozhodl v senátu složeném z předsedy JUDr. Michala Mazance a soudců Mgr. Davida Hipšra a JUDr. Jana Passera v právní věci
E L O G O S, ELECTRONIC JOURNAL FOR PHILOSOPHY/2003, ISSN Vladimír Kyprý.
1 E L O G O S, ELECTRONIC JOURNAL FOR PHILOSOPHY/2003, ISSN 1211-0442. ---------------------- Ještě k problematice filosofické antropologie jako antropologické ontologie. Vladimír Kyprý. Resumé: Tato stať
1 Linearní prostory nad komplexními čísly
1 Linearní prostory nad komplexními čísly V této přednášce budeme hledat kořeny polynomů, které se dále budou moci vyskytovat jako složky vektorů nebo matic Vzhledem k tomu, že kořeny polynomu (i reálného)
STŘEDOVĚKÁ FILOSOFIE 3.1.2013 OBECNÁ CHARAKTERISTIKA CYKLICKÉ POJETÍ ČASU
STŘEDOVĚKÁ FILOSOFIE Úvodní informace OBECNÁ CHARAKTERISTIKA Od počátku našeho letopočtu do r. 1453 (popř. 1492) Vnitřní charakteristika: Filosofie je úzce spjata s teologií = křesťanská filosofie. Vychází
Důkaz Heineho Borelovy věty. Bez újmy na obecnosti vezmeme celý prostor A = M (proč? úloha 1). Implikace. Nechť je (M, d) kompaktní a nechť.
Přednáška 3, 19. října 2015 Důkaz Heineho Borelovy věty. Bez újmy na obecnosti vezmeme celý prostor A = M (proč? úloha 1). Implikace. Nechť je (M, d) kompaktní a nechť X i = M i I je jeho pokrytí otevřenými
R O Z S U D E K J M É N E M R E P U B L I K Y
2 As 3/2008-110 ČESKÁ REPUBLIKA R O Z S U D E K J M É N E M R E P U B L I K Y Nejvyšší správní soud rozhodl v senátě složeném z předsedkyně JUDr. Miluše Doškové a soudců Mgr. Radovana Havelce a JUDr. Vojtěcha
Obsah. 1. Boěthiova učitelská mise Komparace dvou současníků Tajemné Divišovo autorství 49. Slovo ke čtenáři 11.
Obsah Předmluva ke druhému vydání 9 Slovo ke čtenáři 11 Prolog 13 ODDÍL PRVNÍ: Počátky středověké filosofie 15 I. Přehled duchovních proudů pozdní antiky a dílo Aurelia Augustina 15 II. Anicius Manlius
KAPITOLA 3 ZÁSADY SPRÁVNÍHO ŘÍZENÍ
KAPITOLA 3 ZÁSADY SPRÁVNÍHO ŘÍZENÍ OSNOVA ZÁKLADNÍCH ZNALOSTÍ zásady správního řízení pojem, funkce, odlišení od základních zásad činnosti správních orgánů zásada dispoziční a zásada oficiality zásada
Algebraické struktury s jednou binární operací
16 Kapitola 1 Algebraické struktury s jednou binární operací 1.1 1. Grupoid, pologrupa, monoid a grupa Chtěli by jste vědět, co jsou to algebraické struktury s jednou binární operací? No tak to si musíte
Závěrečná zpráva o šetření
V Brně dne 16. srpna 2011 Sp. zn.: 1162/2011/VOP/DS Závěrečná zpráva o šetření postupu Městského úřadu Jaroměř a Krajského úřadu Královéhradeckého kraje v řízení o odstraňování staveb manželů P. a manželů
Mnoho povyku pro všechno
Kapitola první Mnoho povyku pro všechno Za jasného dne nahlédnete do věčnosti. Alan Lerner 1 Zběžný průvodce nekonečnem Je-li skutečně nějaké Vědomí Vesmírné a Svrchované, jsem já jednou jeho myšlenkou
1) Navrhovaná právní úprava je v rozporu se zákonem č. 312/2006 Sb., o insolvenčních správcích, ve znění pozdějších předpisů
1) Navrhovaná právní úprava je v rozporu se zákonem č. 312/2006 Sb., o insolvenčních správcích, ve znění pozdějších předpisů Předložený návrh je učebnicovou ukázkou nepochopení smyslu a účelu podzákonné
Premisa Premisa Závěr
Studijní text Argumentace Jak to v komunikaci přirozeně děláme, jak argumentujeme? Leden má 31 dní, protože je prvním měsícem roku. Vím, že nelze nekomunikovat. Tzn. každý člověk komunikuje. A Petr je
K Dolákovu pojetí svobodné vůle
K Dolákovu pojetí svobodné vůle Jiří Stodola 1 Masarykova univerzita, Brno V třetím čísle časopisu Organon F z roku 2010 představil Antonín Dolák vlastní pojetí svobodné vůle v článku, který obsahuje celou
Otázka: Aristoteles. Předmět: Základy společenských věd. Přidal(a): Michael
Otázka: Aristoteles Předmět: Základy společenských věd Přidal(a): Michael Aristoteles (život a dílo, nauka o látce a tvaru, možnosti a uskutečnění, substanci a akcidentech, etika a politika) Život 384
Výbor textů k moderní logice
Mezi filosofií a matematikou 5 Logika 20. století: mezi filosofií a matematikou Výbor textů k moderní logice K vydání připravil a úvodními slovy opatřil Jaroslav Peregrin 2006 Mezi filosofií a matematikou
LOGIKA A ETIKA úvod do metaetiky. zpracovala Zuzana Mrázková
LOGIKA A ETIKA úvod do metaetiky zpracovala Zuzana Mrázková Autoři Petr Kolář *1961 Vystudoval teoretickou kybernetiku na Přírodovědecké fakultě Palackého univerzity v Olomouci Pracuje ve Filozofickém
Odpověď na Sousedíkovu kritiku Fregeho výroku o existenci
Discussions Odpověď na Sousedíkovu kritiku Fregeho výroku o existenci Antonín Dolák Stanislav Sousedík ve svém příspěvku (Sousedík 2008, 489 492) zareagoval na mou recenzi (Dolák 2008) týkající se jeho
Č. j.: 2R 90a/05 Hr V Brně dne 24. května 2006
Č. j.: 2R 90a/05 Hr V Brně dne 24. května 2006 Ve správním řízení o rozkladu podaném dne 27.10.2005 Sportovními kluby Zlín, se sídlem Hradská 854, 761 05 Zlín, zast. ředitelem Mgr. Pavlem Chwaszczem, proti
ETIKA A FILOSOFIE Zkoumání zdroje a povahy mravního vědomí. METAETIKA etika o etice
ETIKA A FILOSOFIE Zkoumání zdroje a povahy mravního vědomí METAETIKA etika o etice 1 Zdroje mravního vědění Hledáme, jakou povahu má naše mluvení a uvažování o etice. Co je etika ve své podstatě. Jaký
Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice
Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice Vektorové podprostory K množina reálných nebo komplexních čísel, U vektorový prostor nad K. Lineární kombinace vektorů u 1, u 2,...,u
Formální systém výrokové logiky
Formální systém výrokové logiky 1.Jazyk výrokové logiky Nechť P = {p,q,r, } je neprázdná množina symbolů, které nazýváme prvotní formule. Symboly jazyka L P výrokové logiky jsou : a) prvky množiny P, b)
Výroková logika dokazatelnost
Výroková logika dokazatelnost Ke zjištění, zda formule sémanticky plyne z dané teorie (množiny formulí), máme k dispozici tabulkovou metodu. Velikost tabulky však roste exponenciálně vzhledem k počtu výrokových
Matematická logika. Miroslav Kolařík
Matematická logika přednáška šestá Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika
Logický čtverec. Tradiční logický čtverec
Logický čtverec Tradiční logický čtverec Logický čtverec je schéma, do kterého lze poměrně přehledně znázornit následující vztahy mezi tvrzeními: Kontradikce je vztah mezi dvěma tvrzeními s přesně opačnými
Znovu o existenci 1. Pavel Materna. Discussions
Discussions Znovu o existenci 1 Pavel Materna Primární důvod, proč existenci nemůžeme předikovat o jednotlivinách, je dán tím, že by to vedlo k nesmyslné činnosti ověřování, zda daná jednotlivina existuje
Německá klasická filosofie I. Německý idealismus: Johann Gottlieb Fichte Friedrich Wilhelm Joseph Schelling
Německá klasická filosofie I Německý idealismus: Johann Gottlieb Fichte Friedrich Wilhelm Joseph Schelling Dějinný kontext a charakteristika Jedná se o období přelomu 18. a 19. století a 1. poloviny 19.
Obsah Předmluva Rekapitulace základních pojmů logiky a výrokové logiky Uvedení do predikátové logiky...17
Obsah Předmluva...3 0. Rekapitulace základních pojmů logiky a výrokové logiky...11 0.1 Logika jako věda o vyplývání... 11 1. Uvedení do predikátové logiky...17 1.1 Základní terminologie... 17 1.2 Základní
Implikace letitá, ale stále atraktivní dáma
Implikace letitá, ale stále atraktivní dáma Jan Kábrt Proč se zajímat o logiku a v ní právě o implikaci? Mimo jiné pro souvislost s takovými oblastmi lidského myšlení, jako jsou matematika, ostatní přírodní
Mosty přes propast mezi fakty a normami. Vladimír Svoboda Filosofický ústav AV ČR
Mosty přes propast mezi fakty a normami Vladimír Svoboda Filosofický ústav AV ČR David Hume (*1711-1776) Pojednání o lidské přirozenosti: V každém systému morálky, se kterým jsem se doposud setkal, jsem
Negativní informace. Petr Štěpánek. S použitím materiálu M.Gelfonda a V. Lifschitze. Logické programování 15 1
Negativní informace Petr Štěpánek S použitím materiálu M.Gelfonda a V. Lifschitze 2009 Logické programování 15 1 Negace jako neúspěch Motivace: Tvrzení p (atomická formule) neplatí, jestliže nelze odvodit
Gödelovy věty o neúplnosti
Gödelovy věty o neúplnosti Miloš Jakubíček PB016 Úvod do umělé inteligence Fakulta informatiky, Masarykova univerzita 23. listopadu 2007 1 Gödel & historie Kurt Gödel Historický kontext 2 Jazyk a metajazyk
Deskripce a existence: uctívali Řekové olympské bohy?
Kapitola 4 Deskripce a existence: uctívali Řekové olympské bohy? Přestože jsme se v minulé kapitole zabývali subjekty a predikáty, existuje ještě jeden typ výrazů, který může vystupovat jako podmět oznamovací
Matematické důkazy Struktura matematiky a typy důkazů
Matematické důkazy Struktura matematiky a typy důkazů Petr Liška Masarykova univerzita 18.9.2014 Motto: Matematika je tvořena z 50 procent formulemi, z 50 procent důkazy a z 50 procent představivostí.
V Praze dne č.j. MZDR39219/2010. I. Identifikace prvního a druhého generika
V Praze dne 16. 7. 2010 č.j. MZDR39219/2010 Stanovisko k otázce stanovení maximální ceny a úhrady léčivým přípravkům, které jsou prvním nebo druhým generikem, a dopadu jejich úhrad na základní úhradu referenční
Teorie argumentace Pavel Arazim
Teorie argumentace Pavel Arazim Druhá lekce Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Otázky v argumentaci
KMA/MDS Matematické důkazy a jejich struktura
Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 KMA/MDS Matematické důkazy a jejich struktura Seminář 3 Predikátový počet Uvažujme následující úsudek.
Úvod do logiky (VL): 11. Ověřování, zda je formule tautologií metodou protipříkladu
Jiří Raclavský (214): Úvod do logiky: klasická výroková logika Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.7/2.2./28.216, OPVK) Úvod
PŘEZKUM ZMOCNĚNÍ ZÁSTUPCE VEŘEJNOSTI
PŘEZKUM ZMOCNĚNÍ ZÁSTUPCE VEŘEJNOSTI Metodické doporučení Ministerstvo pro místní rozvoj Ústav územního rozvoje srpen 2013 Obsah 1 Úvod 2 Přezkum zmocnění zástupce veřejnosti 2.1 Institut zástupce veřejnosti
METAFYZIKA A PAVOUK V KOUTĚ. Metafyzika
METAFYZIKA A PAVOUK V KOUTĚ Metafyzika 2 Průvodce tématem metafyzika - 1. část 2.1 ÚVOD - METAFYZIKA 2.2 PRVNÍ KROK NĚKOLIK TEORETICKÝCH INFORMACÍ 2.3 DRUHÝ KROK TEXT Z OBLASTI METAFYZIKY 2.4 TŘETÍ KROK
Výroková a predikátová logika - IV
Výroková a predikátová logika - IV Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IV ZS 2018/2019 1 / 17 Tablo metoda Tablo Tablo - příklady F (((p q)
Matice. a m1 a m2... a mn
Matice Nechť (R, +, ) je okruh a nechť m, n jsou přirozená čísla Matice typu m/n nad okruhem (R, +, ) vznikne, když libovolných m n prvků z R naskládáme do obdélníkového schematu o m řádcích a n sloupcích
R O Z S U D E K J M É N E M R E P U B L I K Y
č. j. 5 A 9/2001-41 ČESKÁ REPUBLIKA R O Z S U D E K J M É N E M R E P U B L I K Y Nejvyšší správní soud rozhodl v senátě složeném z předsedkyně JUDr. Marie Součkové a soudců JUDr. Jaroslava Vlašína a JUDr.
R O Z S U D E K J M É N E M R E P U B L I K Y
2 As 54/2011-63 ČESKÁ REPUBLIKA R O Z S U D E K J M É N E M R E P U B L I K Y Nejvyšší správní soud rozhodl v senátě složeném z předsedy JUDr. Vojtěcha Šimíčka a soudců Mgr. Radovana Havelce a JUDr. Miluše
1. Přednáška K čemu je právní filosofie?
1. Přednáška K čemu je právní filosofie? Osnova přednášky: a) Co je filosofie a filosofování b) Proč vznikla právní filosofie c) Předmět a funkce právní filosofie Co znamená slovo filosofie? slovo filosofie
Marie Duží
Marie Duží marie.duzi@vsb.cz Učební texty: http://www.cs.vsb.cz/duzi Tabulka Courses, odkaz Mathematical Učební texty, Presentace přednášek kursu Matematická logika, Příklady na cvičení + doplňkové texty.
*MVCRX028BDR4* MVCRX028BDR4 prvotní identifikátor
Doručeno dne: 7. 1. 2015 *MVCRX028BDR4* MVCRX028BDR4 prvotní identifikátor Odbor veřejné správy, dozoru a kontroly náměstí Hrdinů 1634/3 Praha 4 140 21 Č. j. MV-170926-4/ODK-2014 Praha 6. ledna 2015 ROZHODNUTÍ
Predikátová logika Individua a termy Predikáty
Predikátová logika Predikátová logika je rozšířením logiky výrokové o kvantifikační výrazy jako každý, všichni, někteří či žádný. Nejmenší jazykovou jednotkou, kterou byla výroková logika schopna identifikovat,
Stručně k Novákově polemice
Filosofický časopis ročník / Polemika Filozofická fakulta Univerzity J. E. Purkyně, Ústí nad Labem david.peroutka.ocd@seznam.cz Ve své studii Od Humovy teze k etickému univerzalismu jsem poukázal na skutečnost,
Úvod do matematiky. Mgr. Radek Horenský, Ph.D. Důkazy
Úvod do matematiky Mgr. Radek Horenský, Ph.D. Důkazy Matematika a matematické chápání jako takové je založeno na logické výstavbě. Základními stavebními prvky jsou definice, věty a důkazy. Definice zavádějí
RENESANCE A OSVÍCENSTVÍ
RENESANCE A OSVÍCENSTVÍ pracovní list Mgr. Michaela Holubová Autorem materiálu a všech jeho částí, není-li uvedeno jinak, je Mgr. Michaela Holubová. RENESANCE A VĚK ROZUMU Renesance kulturní znovuzrození
Modely Herbrandovské interpretace
Modely Herbrandovské interpretace Petr Štěpánek S využitím materialu Krysztofa R. Apta 2006 Logické programování 8 1 Uvedli jsme termové interpretace a termové modely pro logické programy a také nejmenší
p 2 q , tj. 2q 2 = p 2. Tedy p 2 je sudé číslo, což ale znamená, že
KAPITOLA 1: Reálná čísla [MA1-18:P1.1] 1.1. Číselné množiny Přirozená čísla... N = {1,, 3,...} nula... 0, N 0 = {0, 1,, 3,...} = N {0} Celá čísla... Z = {0, 1, 1,,, 3,...} Racionální čísla... { p } Q =
Díváme-li se na věc takto, lze si položit otázku, zda je R z hlediska analýzy. přímku podrobit. To je druhý důvod, proč analýza potřebuje bod 2.
Úvod. Reálná analýza se zabývá množinou reálných čísel R a funkcemi z R do R. Vyjdeme-li z obecnějšího principu, že analýza se zabývá kvantitativními vlastnostmi světa kolem nás, pak reálná analýza studuje
R O Z S U D E K J M É N E M R E P U B L I K Y
5 As 12/2008-58 ČESKÁ REPUBLIKA R O Z S U D E K J M É N E M R E P U B L I K Y Nejvyšší správní soud rozhodl v senátě složeném z předsedkyně JUDr. Lenky Matyášové, Ph.D. a soudců JUDr. Jakuba Camrdy, Ph.D.
R O Z S U D E K J M É N E M R E P U B L I K Y
9 Afs 141/2007-83 ČESKÁ REPUBLIKA R O Z S U D E K J M É N E M R E P U B L I K Y Nejvyšší správní soud rozhodl v senátu složeném z předsedy JUDr. Radana Malíka a soudkyň JUDr. Barbary Pořízkové a Mgr. Daniely
Závěr č. 129 ze zasedání poradním sborem ministra vnitra ke správnímu řádu dne
MINISTERSTVO VNITRA Poradní sbor ministra vnitra ke správnímu řádu Příloha č. 5 k zápisu z 25. 10. 2013 Závěr č. 129 ze zasedání poradním sborem ministra vnitra ke správnímu řádu dne 25. 10. 2013 K možnosti
Filozofie křesťanského středověku. Dr. Hana Melounová
Filozofie křesťanského středověku Dr. Hana Melounová Středověk / 5. 15. st. n. l. / Křesťanství se utvářelo pod vlivem zjednodušené antické filozofie a židovského mesionaismu. Základní myšlenky už konec
5 Orientované grafy, Toky v sítích
Petr Hliněný, FI MU Brno, 205 / 9 FI: IB000: Toky v sítích 5 Orientované grafy, Toky v sítích Nyní se budeme zabývat typem sít ových úloh, ve kterých není podstatná délka hran a spojení, nýbž jejich propustnost
Nehomogenní univerza a vztahy mezi individui v nich zahrnutými
Filosofický časopis ročník 63 2015/1 127 Polemika Nehomogenní univerza a vztahy mezi individui v nich zahrnutými Několik kritických poznámek k Peroutkově teorii 1 Stanislav Sousedík Katolická teologická
Výroková a predikátová logika - V
Výroková a predikátová logika - V Petr Gregor KTIML MFF UK ZS 2015/2016 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - V ZS 2015/2016 1 / 21 Dokazovací systémy VL Hilbertovský kalkul Hilbertovský
Formulář pro uplatnění připomínek, stanovisek a názorů
Formulář pro uplatnění připomínek, stanovisek a názorů NÁZEV NÁVRHU OPATŘENÍ KE KONZULTACI: Analýza trhu č. A/6/XX.2014-YY, trh č. 6 velkoobchodní koncové segmenty pronajatých okruhů bez ohledu na technologii
Z judikatury Ústavního soudu České republiky
Z judikatury Ústavního soudu České republiky 1) Imanentní součástí jakéhokoliv základního práva je také postulát, jenž soudům a jiným orgánům veřejné moci, které rozhodují o právech a povinnostech jednotlivce,
E L O G O S, ELECTRONIC JOURNAL FOR PHILOSOPHY/1994, ISSN Vladimír Kyprý.
1 E L O G O S, ELECTRONIC JOURNAL FOR PHILOSOPHY/1994, ISSN 1211-0442. --------------------- Vývoj pojmu zákona (bytí jsoucího) v klasické novověké filosofii; I. Raná klasická novověká filosofie. Vladimír
Obsah. Co je metafyzika? Dějiny pojmu "metafyzika" 17 Antika... 17
Obsah Úvodní slovo překladatele Předběžné poznámky. 11 12 ÚVOD. 15 Co je metafyzika?.. 17 Dějiny pojmu "metafyzika" 17 Antika... 17 Středověk. 19 Novověk.. 21 Po Kantovi 23 Definice metafyziky a její vysvětlení
FILOSOFIE ČLOVĚKA a VĚDY
FILOSOFIE ČLOVĚKA a VĚDY Filosofie.. Vznik v antickém Řecku - KRITICKÉ, SAMOSTATNÉ myšlení - V SOUVISLOSTECH - sobě vlastní otázky, které neřeší speciální vědy - člověk ve VZTAHU k přírodě, společnosti
Dnešní látka Variačně formulované okrajové úlohy zúplnění prostoru funkcí. Lineární zobrazení.
Předmět: MA4 Dnešní látka Variačně formulované okrajové úlohy zúplnění prostoru funkcí. Lineární zobrazení. Literatura: Kapitola 2 a)-c) a kapitola 4 a)-c) ze skript Karel Rektorys: Matematika 43, ČVUT,
K nové teorii fiktivních individuí
Filosofický časopis ročník / Polemika K nové teorii fiktivních individuí Praha sousedik.s@volny.cz Lukáš Novák, známý naší odborné veřejnosti jako znalec filosofie Jana Dunse Scota, předložil v posledním
Katechetika I. KATECHEZE SLUŽBA SLOVA, HLÁSÁNÍ KRISTA
Katechetika I. KATECHEZE SLUŽBA SLOVA, HLÁSÁNÍ KRISTA Katecheze a služba slova otevřené problémy Katecheze a Boží slovo Antropologická katecheze? Katecheze ve službě inkulturace Požadavek úplnosti pravd
Úvod do filozofie Jana Kutnohorská
Úvod do filozofie Jana Kutnohorská Úvod Etymologie Předmět filozofie Ontologie Prameny filozofického tázání Filozofické disciplíny Etymologie Filozofie z řečtiny PHILEIN - milovat SOPHA - moudrost V doslovném
U S N E S E N Í. t a k t o : Žádný z účastníků n e m á právo na náhradu nákladů řízení o kasační stížnosti. O d ů v o d n ě n í :
č. j. 3 Ads 30/2006-49 U S N E S E N Í Nejvyšší správní soud rozhodl v senátě složeném z předsedy JUDr. Jaroslava Vlašína a soudců JUDr. Milana Kamlacha a JUDr. Marie Součkové v právní věci žalobce: JUDr.
Fuzzy logika a reálný svět, aneb jsou všechny hromady skutečně malé?
Fuzzy logika a reálný svět, aneb jsou všechny hromady skutečně malé? Jiří Močkoř University of Ostrava Department of Mathematics Institute for Research and Applications of Fuzzy Modeling 30. dubna 22,
R O Z S U D E K J M É N E M R E P U B L I K Y
1 Afs 96/2013-32 ČESKÁ REPUBLIKA R O Z S U D E K J M É N E M R E P U B L I K Y Nejvyšší správní soud rozhodl v senátě složeném z předsedy Zdeňka Kühna a soudců Daniely Zemanové a Miloslava Výborného v
Poskytování služeb KIVS
VYSVĚTLENÍ ZADÁVACÍ DOKUMENTACE Č. 1 CENTRÁLNÍ ZADAVATEL Název: Česká republika - Ministerstvo vnitra Sídlo: Nad Štolou 936/3, Praha 7, PSČ 170 34 IČ: 00007064 V Praze dne 31. 8. 2017 Počet listů: 5 VYSVĚTLENÍ
Kritéria hodnocení pro obor veřejnosprávní činnost
Kritéria hodnocení pro obor veřejnosprávní činnost Kritéria hodnocení praktické maturitní zkoušky z odborných předmětů Obor: veřejnosprávní činnost Praktická maturitní zkouška z odborných předmětů oboru
ČÁST D ZRUŠENÍ A/NEBO PROHLÁŠENÍ NEPLATNOSTI ODDÍL 2 HMOTNĚPRÁVNÍ USTANOVENÍ
METODICKÉ POKYNY TÝKAJÍCÍ SE PRŮZKUMU PROVÁDĚNÉHO ÚŘADEM PRO HARMONIZACI NA VNITŘNÍM TRHU (OCHRANNÉ ZNÁMKY A PRŮMYSLOVÉ VZORY) V OBLASTI OCHRANNÝCH ZNÁMEK SPOLEČENSTVÍ ČÁST D ZRUŠENÍ A/NEBO PROHLÁŠENÍ
Nemožnost pojmu spotřebitelského přebytku
Miroslav Svoboda Nemožnost pojmu spotřebitelského přebytku Pojem spotřebitelského přebytku (a symetricky přebytku výrobce) patří k základním pojmům ekonomické teorie. Domnívám se ale, že nejrozšířenější