Search
Now showing items 1-10 of 65
Hareova teze jako logicko-filosofický problém
Hare's thesis as a logical and philosophical problem
diploma thesis (DEFENDED)
Advisor: Svoboda, Vladimír
Date Issued: 2012
Date of defense: 28. 06. 2012
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Název práce: Hareova teze jako logicko-filosofický problém Autor: Martin Luhan Katedra (ústav): Katedra logiky Vedoucí diplomové práce: PhDr. Vladimír Svoboda, CSc. Abstrakt: Práce je věnována rozboru Hareovy teze, tedy ...
Title: Hare's thesis as a logical and philosophical problem Author: Martin Luhan Department: Department of Logic Supervisor: PhDr. Vladimír Svoboda, CSc. Abstract: The present work is aiming to analyse the problem of ...
Title: Hare's thesis as a logical and philosophical problem Author: Martin Luhan Department: Department of Logic Supervisor: PhDr. Vladimír Svoboda, CSc. Abstract: The present work is aiming to analyse the problem of ...
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 ...
Logické spojky v postojové analýze
Logical connectives in sentiment analysis
diploma thesis (DEFENDED)
Advisor: Kuboň, Vladislav
Date Issued: 2015
Date of defense: 08. 09. 2015
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract not found
Logická analýza a forma tvrzení typu "to-a-to existuje"
The logical analysis and the logical form of the statements "A exists"
dissertation thesis (DEFENDED)
Advisor: Materna, Pavel
Date Issued: 2008
Date of defense: 19. 05. 2008
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Cílem této práce bylo nalézt vhodnou logickou formu pro tvrzení typu "to-a-to existuje". Nejprve byl proveden rozbor významu těchto tvrzení založený na historickém přístupu. Na jeho základě byla stanovena východiska ...
The thesis investigates the logical form of the statements "so-and-so exists". Firstly, the historical survey was displayed in order to identify the meaning of this sort of statements. Hence starting conditions ...
The thesis investigates the logical form of the statements "so-and-so exists". Firstly, the historical survey was displayed in order to identify the meaning of this sort of statements. Hence starting conditions ...
Bezestrojová charakterizace polynomiálně počitatelných funkcí
Machine-Free Characterization of Polynomially Computable Functions
bachelor thesis (NOT DEFENDED)
Advisor: Švejdar, Vítězslav
Date Issued: 2016
Date of defense: 14. 09. 2016
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Tato bakalářská práce se zabývá sestavením Matematického systému. Tento systém je pečlivě vypracovaný, tak aby byl uzavřený na funkce, které v něm figurují. Je vytvořen tak, aby pokryl funkce určitého růstu. Konkrétně ...
This work is focused into constructing mathematical structure. This structure is closed under it's operations. Structure was developed to contain all functions of certain growth rate. To be More specific functi- ons with ...
This work is focused into constructing mathematical structure. This structure is closed under it's operations. Structure was developed to contain all functions of certain growth rate. To be More specific functi- ons with ...
Radikální interpretace, pravda, objektivita
Radical interpretation, truth, objectivity
bachelor thesis (DEFENDED)
Advisor: Koťátko, Petr
Date Issued: 2013
Date of defense: 27. 06. 2013
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Nikdo se nemůže mýlit ve většině toho, co si myslí o světě. Jaké má důvody tohle Donald Davidson tvrdit? Tato práce se zabývá spojením tří důležitých témat Davidsonova myšlení - radikální interpretace, pravdy a objektivity. ...
Nobody can be wrong in majority of his beliefs about the world. What reasons has Donald Davidson for this claim? This paper is concerned with the connection between three important topics in Davidson's thought - radical ...
Nobody can be wrong in majority of his beliefs about the world. What reasons has Donald Davidson for this claim? This paper is concerned with the connection between three important topics in Davidson's thought - radical ...
Dynamické epistemické logiky
Dynamic epistemic logics
diploma thesis (DEFENDED)
Advisor: Bílková, Marta
Date Issued: 2012
Date of defense: 19. 09. 2012
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: V této práci se budeme zabývat logikou veřejného prohlášení, která je dynamickým rozšířením epistemické logiky. Nejprve vyložíme logiku pravdivého veřejného prohlášení pro multiagentní systém S5, a poté budeme zkoumat, jak ...
In this thesis we will deal with the logic of public announcement which is a dynamic extension of epistemic logic. First we will explain the logic of truthful public announcement for the multiagent S5 system. Then we will ...
In this thesis we will deal with the logic of public announcement which is a dynamic extension of epistemic logic. First we will explain the logic of truthful public announcement for the multiagent S5 system. Then we will ...
Formalizace relace odvoditelnosti pro výrokové fuzzy logiky
Formalization of the deducibility relation of propositional fuzzy logics
bachelor thesis (DEFENDED)
Advisor: Běhounek, Libor
Date Issued: 2016
Date of defense: 01. 02. 2016
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Tato bakalářská práce předkládá formalizaci relace odvoditelnosti fuzzy logiky BL v prostředí matematického asistenta Isabelle/HOL a počítačově ověřené důkazy některých teorémů a meta-teorémů této logiky. Zároveň poskytuje ...
This bachelor thesis presents the formalization of provability relation of fuzzy logic BL in the environment of a mathematical assistant Isabelle/HOL and also the computer-verified proofs of some theorems and syntactic ...
This bachelor thesis presents the formalization of provability relation of fuzzy logic BL in the environment of a mathematical assistant Isabelle/HOL and also the computer-verified proofs of some theorems and syntactic ...
Některé sémantické metody v intuicionistické logice
Some semantic methods in intuitionistic logic
rigorous thesis (RECOGNIZED)
Advisor: Švejdar, Vítězslav
Date Issued: 2009
Date of defense: 26. 02. 2009
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: V práci se podíváme do světa intuicionistické logiky. Zjistíme že v intuicionistické logice nelze definovat logické spojky pomocí jiných logických spojek. Podíváme se, jak je to v intuicionistické logice s jednoatomovými ...
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 ...