Hledat
Zobrazují se záznamy 81-90 z 109
Britská logika v devatenáctém století
British Logic in the 19th Century
Diplomová práce (OBHÁJENO)
Vedoucí práce: Holeček, Tomáš
Datum publikování: 2013
Datum obhajoby: 07. 02. 2013
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: According to American philosopher W. W. Bartley, the transition from tradi- tional Aristotelian to Boolean logic is a revolutionary milestone in the history of logic. The work of George Boole which was followed by a ...
Koaliční hlasování a koeficienty volební moci aktérů
Weighted voting games and indexes of power
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Majer, Ondrej
Datum publikování: 2009
Datum obhajoby: 17. 09. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Bakal arska pr aca je uvodn ym textom te orie koali cn ych hlasovac ch hier pre form alne (logika, matematika, te oria hier) i humanitne (politol ogia, sociol ogia) zameran ych citate lov. S u uveden e z akladn e de n cie, ...
This thesis is an introducion to the theory of coalition games intended for readers oriented on formal disciplines (logic, mathematic, game theory) as well as on humanities (political science and sociology). Basic de ...
This thesis is an introducion to the theory of coalition games intended for readers oriented on formal disciplines (logic, mathematic, game theory) as well as on humanities (political science and sociology). Basic de ...
Pozorování času: Odvozování ve statických světech
Pozorování času: Odvozování ve statických světech
Dizertační práce (OBHÁJENO)
Vedoucí práce: Dieks, Dennis
Datum publikování: 2019
Datum obhajoby: 20. 09. 2019
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tématem dizertace je logické odvozování o čase v bezčasových modelech světa. Práce za tímto účelem představuje větvící se logiku s pozorovateli. Za pomoci této logiky jsou dokázána tvrzení, která ukazují, že pozorovatelé ...
The topic of this thesis is temporal logical inference in atemporal models of time. The thesis presents a branching logic with observers for the purpose of this investigation. A series of theorems rigorously demonstrate ...
The topic of this thesis is temporal logical inference in atemporal models of time. The thesis presents a branching logic with observers for the purpose of this investigation. A series of theorems rigorously demonstrate ...
Ultrapower construction in set theory
Ultramocninová konstrukce v teorii množin
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2011
Datum obhajoby: 22. 09. 2011
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Předložená práce obsahuje historii vzniku míry, její souvislost s měřitelnými kardinály a shrnutí všech základních definic a pojmů potřebných k zobecnění ultramocninové konstrukce v teorii modelů pro vlastní třídy. Součástí ...
The presented work contains the history of origin of measure, its connection with measurable cardinals and summary of all elementary definitions and no- tions needed for the generalization of ultrapower construction in ...
The presented work contains the history of origin of measure, its connection with measurable cardinals and summary of all elementary definitions and no- tions needed for the generalization of ultrapower construction in ...
Silence in dialogue
Ticho v dialogu
Diplomová práce (OBHÁJENO)
Vedoucí práce: Fernandez Rovira, Raquel
Datum publikování: 2023
Datum obhajoby: 16. 06. 2023
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Silence is an indispensable aspect of dialogue. The following thesis examines the silence in dialogue from a variety of perspectives. First, I provide a background on the historical development of theories of dialogue and ...
Ticho je nezbytnou součástí dialogu. Následující diplomová práce zkoumá ticho v dialogu z teoretické a aplikované perspektivy. Nejprve mapuje historický vývoj teorií dialogu a jejich přístup k tichu. Dále zahrnuje studii ...
Ticho je nezbytnou součástí dialogu. Následující diplomová práce zkoumá ticho v dialogu z teoretické a aplikované perspektivy. Nejprve mapuje historický vývoj teorií dialogu a jejich přístup k tichu. Dále zahrnuje studii ...
Pojem interpretace axiomatických teorií
The notion of interpretation between axiomatic theories
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2023
Datum obhajoby: 16. 06. 2023
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: In this thesis we are researching the concept of intepretability between axiomatic theories and its basic properties, its use and variants. We define one- dimensional interpretation and show its behaviour on simple school ...
V této práci se zabýváme konceptem interpretovatelnosti axiomatic- kých teorií (interpretovaní jedné teorie v druhé) a jeho základní vlastnostmi a využitími a jeho různými variantami. Definujeme jedno-dimenzionální interpre- ...
V této práci se zabýváme konceptem interpretovatelnosti axiomatic- kých teorií (interpretovaní jedné teorie v druhé) a jeho základní vlastnostmi a využitími a jeho různými variantami. Definujeme jedno-dimenzionální interpre- ...
Logic of questions
Logika otázek
Rigorózní práce (UZNÁNO)
Vedoucí práce: Peregrin, Jaroslav
Datum publikování: 2011
Datum obhajoby: 16. 12. 2011
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Logic of Questions Michal Peliš PhD Thesis Abstract The thesis deals with logic of questions (erotetic logic), which is one of the branches of non- classical logic. In the introductory part we speak generally about ...
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 ...
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 ...
Konstruktivní univerzum L
The constructive universe L
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2016
Datum obhajoby: 14. 09. 2016
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: The theme explores the universe of constructive set L as it was defined by Godel. The work compares two methods of construction L set: one through the formalization of satisfaction relationand the other one with several ...
Tato práce zkoumá univerzum konstruktivních množin L, jak ho definoval Godel. Práce srovnává dva způsoby konstrukce L: jeden přes formalizaci relace splňovaní a druhý pomocí konečně mnoha tzv.rudimentárních funkcí, které ...
Tato práce zkoumá univerzum konstruktivních množin L, jak ho definoval Godel. Práce srovnává dva způsoby konstrukce L: jeden přes formalizaci relace splňovaní a druhý pomocí konečně mnoha tzv.rudimentárních funkcí, které ...
Reflection principles and large cardinals
Principi reflexe a velké kardinály
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2016
Datum obhajoby: 20. 06. 2016
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
This thesis aims to examine relations between so called "Reflection Princi- ples" and Large cardinals. Lévy has shown that Reflection Theorem is a sound theorem of ZFC and it is equivalent to Replacement Scheme and the ...
This thesis aims to examine relations between so called "Reflection Princi- ples" and Large cardinals. Lévy has shown that Reflection Theorem is a sound theorem of ZFC and it is equivalent to Replacement Scheme and the ...
Formalizace usuzování a paradox překvapivé písemky
Formalization of reasoning and the paradox of surprise examination
Diplomová práce (OBHÁJENO)
Vedoucí práce: Svoboda, Vladimír
Datum publikování: 2007
Datum obhajoby: 26. 09. 2007
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Po prezentaci možných přístupů k řešení problému v první kapitole jsem ve druhé kapitole poukázal na Sorensenovu kritiku pokusů interpretovat paradox jinak, než pomocí modálních reprezentací epistemických, či doxastických ...