Search
Now showing items 1-10 of 35
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 ...
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 ...
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 ...
Pojem interpretace axiomatických teorií
The notion of interpretation between axiomatic theories
bachelor thesis (DEFENDED)
Advisor: Švejdar, Vítězslav
Date Issued: 2023
Date of defense: 13. 09. 2023
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Thesis: The Notion of Interpretation between Axiomatic Theories Author: Jan Štefanišin Abstract: In this thesis we are researching the concept of intepretability between axiomatic theories and its basic properties and its ...
Práce: Pojem interpretace axiomatických teorií Autor: Jan Štefanišin Abstrakt: V této práci se zabýváme konceptem interpretovatelnosti axiomatic- kých teorií (interpretovaní jedné teorie v druhé) a jeho základními vlastnostmi ...
Práce: Pojem interpretace axiomatických teorií Autor: Jan Štefanišin Abstrakt: V této práci se zabýváme konceptem interpretovatelnosti axiomatic- kých teorií (interpretovaní jedné teorie v druhé) a jeho základními vlastnostmi ...
Implikační fragmenty intuicionistické výrokové logiky
Implicational fragments of intuitionistic propositional logic
bachelor thesis (DEFENDED)
Advisor: Švejdar, Vítězslav
Date Issued: 2010
Date of defense: 17. 09. 2010
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: V predloženej práci študujeme implikačné fragmenty intuicionistickej výrokovej logiky s konečným počtom atómov. V prvej časti sa podrobnejšie venujeme fragmentu s dvomi atómami, ktorý je dostatočne jednoduchý, aby v ňom ...
In this thesis we study implicational fragments of intuitionistic propositional logic with finite number of atoms. The first part is dedicated to the fragment with only two atoms, which is simple enough to analyze the ...
In this thesis we study implicational fragments of intuitionistic propositional logic with finite number of atoms. The first part is dedicated to the fragment with only two atoms, which is simple enough to analyze the ...
Impredikativita a paradox
Impredicativity and paradox
bachelor thesis (DEFENDED)
Advisor: Kolman, Vojtěch
Date Issued: 2010
Date of defense: 17. 09. 2010
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: V předložené práci studujeme roli pojmu impredikativity v návrzích řešení episte- mologických a logických paradoxů. Věnujeme se vývoji tohoto pojmu tak, jak se na něm v první fázi podíleli Russell a Poincaré. Představujeme ...
In the submitted thesis a role is examined of the concept of impredicativity in solu- tion suggestions for epistemological and logical paradoxes. We focus on the develo- pment of this concept in the way Russell and Poincaré ...
In the submitted thesis a role is examined of the concept of impredicativity in solu- tion suggestions for epistemological and logical paradoxes. We focus on the develo- pment of this concept in the way Russell and Poincaré ...
Posibilistická logika a filosofie Davida Huma
Possibilistic logic and the philosophy of David Hume
bachelor thesis (DEFENDED)
Advisor: Holeček, Tomáš
Date Issued: 2007
Date of defense: 25. 06. 2007
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Práce se zabývá slučitelností posihilistické logiky a filosofie Davida Huma, popsané v jeho knize Zkoumání o lidském rozumu. Posibilistická logika jako nástroj pro usuzování za nejistoty se ukazuje jako vhodná pro modelování ...
This paper presents an enquiry in to possibilistic logic and Hume's philosophy ofAn Enquiry Concerning Hwnan Understanding. As far as being a tool for reasoning under uncertainty possibilistic logic seems to be an appropriate ...
This paper presents an enquiry in to possibilistic logic and Hume's philosophy ofAn Enquiry Concerning Hwnan Understanding. As far as being a tool for reasoning under uncertainty possibilistic logic seems to be an appropriate ...
Pojem ideálu a filtru v algebře a logice
Ideals and filters in algebra and logic
bachelor thesis (DEFENDED)
Advisor: Honzík, Radek
Date Issued: 2013
Date of defense: 27. 06. 2013
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract not found
Pravděpodobnostní sémantika pro logiky podporující nezávislost
Probabilistic semantics for Independence-friendly Logics
bachelor thesis (DEFENDED)
Advisor: Majer, Ondrej
Date Issued: 2013
Date of defense: 18. 09. 2013
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: (česky) Práce je čistě teoretického charakteru a zabývá se teorií her z pohledu matematické logiky a pravděpodobnosti. Dělí se na dvě části, úvodní, která shrnuje základní definice, uvádí do tématu teorie her a základů ...
(in English): Character of the work is purely theoretical and it pursues game theory in the perspective of mathematical logic and probability. The work is divided into two parts. Introductory part compiles basic concepts ...
(in English): Character of the work is purely theoretical and it pursues game theory in the perspective of mathematical logic and probability. The work is divided into two parts. Introductory part compiles basic concepts ...