Search
Now showing items 1-10 of 96
Explicitní pevné body v logice dokazatelnosti
Explicit fixed-points in provability logic
diploma thesis (DEFENDED)
Advisor: Švejdar, Vítězslav
Date Issued: 2007
Date of defense: 26. 09. 2007
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Smyslem této diplomové práce je prozkoumat explicitní výpoty pevn ých bod v logice dokazatelnosti GL. Vta o pevných bodech zní: Pro kadou modální formuli A(p) v ní kadý výskyt atomu p je vázán modálním operátorem ¤, existuje ...
The aim of this diploma thesis is to discuss the explicit calculations of xed-points in provability logic GL. The xed-point theorem reads: For every modal formula A(p) such that each occurrence of p is under the scope of ...
The aim of this diploma thesis is to discuss the explicit calculations of xed-points in provability logic GL. The xed-point theorem reads: For every modal formula A(p) such that each occurrence of p is under the scope of ...
Selected data mining methods and their applicability to the television audience monitoring data in the Czech Republic
Vybrané metody data miningu a jejich použitelnost na průzkum sledovanosti televize v České republice
diploma thesis (DEFENDED)
Advisor: Hájek, Petr
Date Issued: 2006
Date of defense: 27. 09. 2006
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Data mining is nowadays a fast-growing field, which incorporates machine learning, statistics, and logic within computer science. It has the potential to bring new insights into almost all branches of human activity, because ...
Fuzzifikace jednoduchých systémů deontické logiky
Fuzzification of simple systems of deontic logic
diploma thesis (DEFENDED)
Advisor: Běhounek, Libor
Date Issued: 2006
Date of defense: 27. 09. 2006
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Deontické logiky bývají formalizovány jako druh modálních logik. V této práci aplikuji fuzzy modální logiku na dvojí systémy monadick ých deontických logik - systémy deontické logiky v užším smyslu a systémy alethické ...
Formalizace usuzování a paradox překvapivé písemky
Formalization of reasoning and the paradox of surprise examination
diploma thesis (DEFENDED)
Advisor: Svoboda, Vladimír
Date Issued: 2007
Date of defense: 26. 09. 2007
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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 ...
Intuitionistic logic and axiomatic theories
Intuicionistické logika a axiomatické teorie
diploma thesis (DEFENDED)
Advisor: Švejdar, Vítězslav
Date Issued: 2010
Date of defense: 16. 09. 2010
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Pr ace zkoum a vlastnosti n ekter ych element arn ch intuicionistick ych teori . Vybr any jsou n asleduj c teorie: teorie rovnosti, line arn ho uspo r ad an , hust eho line arn ho uspo r ad an , teorie n asledn ka, Robinsonova ...
This thesis explores some properties of elementary intuitionistic theories. We focus on the following theories: the theory of equality, linear order, dense linear order, the theory of a successor function, Robinson arithmetic ...
This thesis explores some properties of elementary intuitionistic theories. We focus on the following theories: the theory of equality, linear order, dense linear order, the theory of a successor function, Robinson arithmetic ...
Otázky na hraně smysluplnosti v analytické filosofii
Questions bordering on meaninglessness in analytical philosophy
bachelor thesis (DEFENDED)
Advisor: Arazim, Pavel
Date Issued: 2018
Date of defense: 20. 09. 2018
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: An objective of classical analytical philosophy was to define a philosopher proposition via modern logics. Because of that, they started to examine what is and what is not a meaningful question which it makes sense to ...
Klasická analytická filosofie se pomocí moderní logiky snažila vymezit, co je a co není smysluplný výrok a díky tomu také, co je a co není dobře položená otázka, na kterou má smysl hledat odpověď. Logičtí pozitivisté jako ...
Klasická analytická filosofie se pomocí moderní logiky snažila vymezit, co je a co není smysluplný výrok a díky tomu také, co je a co není dobře položená otázka, na kterou má smysl hledat odpověď. Logičtí pozitivisté jako ...
Nemožnost soukromého jazyka
The impossibility of private language
bachelor thesis (DEFENDED)
Advisor: Kolman, Vojtěch
Date Issued: 2010
Date of defense: 17. 09. 2010
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Tato práce podrobne rozebírá Wittgensteinovu argumentaci proti sou- kromému jazyku. Nachází tri argumenty, které k jeho zamítnutí Witt- genstein používá. Soukromý jazyk by byl nepredstavitelný, nemel by funkci a postrádal ...
Wittgenstein's argument against private language is subjected to scru- tiny in this thesis. Three arguments against private language are found. Private language would be impossible to imagine, would not have a function and ...
Wittgenstein's argument against private language is subjected to scru- tiny in this thesis. Three arguments against private language are found. Private language would be impossible to imagine, would not have a function and ...
Fragmenty intuicionistické logiky, intermediárích logik a substrukturálních logik (vybrané otázky).
Fragments of intuitionistic logic, intermediate logics and substructural logics (selected problems).
diploma thesis (DEFENDED)
Advisor: Bílková, Marta
Date Issued: 2018
Date of defense: 06. 02. 2018
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: diplomové práce Pozitivní formule v některých substrukturálních logikách, autor Pavel Truhlář V této diplomové práci budeme zkoumat, které distributivní substrukturální logiky, tak jak jsou definovány v Resstalově knize ...
The abstract of the diploma thesis "Positive Formulas for Some Substructural Logics" by Pavel Truhlar We will examine which distributive substructural logics, as defined in the book of Restall "An Introduction to Substructural ...
The abstract of the diploma thesis "Positive Formulas for Some Substructural Logics" by Pavel Truhlar We will examine which distributive substructural logics, as defined in the book of Restall "An Introduction to Substructural ...
Knowledge changes in dynamic epistemic logic
Změny stavů znalostí v dynamické epistemické logice
diploma thesis (DEFENDED)
Advisor: Peliš, Michal
Date Issued: 2012
Date of defense: 19. 09. 2012
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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 ...
The Logic of Hybrid Action Models is presented in this thesis along with a sound and complete Hilbert style calculus. It is an original multimodal epistemic logic that tries to give the agents (i) a strong method of ...
The Logic of Hybrid Action Models is presented in this thesis along with a sound and complete Hilbert style calculus. It is an original multimodal epistemic logic that tries to give the agents (i) a strong method of ...
Reflection principles and large cardinals
Principi reflexe a velké kardinály
bachelor thesis (NOT DEFENDED)
Advisor: Honzík, Radek
Date Issued: 2016
Date of defense: 20. 06. 2016
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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 ...