Search
Now showing items 1-10 of 97
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 ...
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 ...
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: 2017
Date of defense: 19. 06. 2017
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Práce se zabývá bezestrojou definicí polynomiálních funkcí. Hlavním cílem je čtenáře obeznámit nejen s touto definicí, ale i s ostatními důležitými pojmy této práce. Nejdůležitějšími pojmy je myšleno: základní funkcem, ...
This thesis focuses on machine-free definition of polynomial functions. The main goal is to not only make the readers familiar with this de- finition, but also to introduce them to the other pivotal terms of this thesis. ...
This thesis focuses on machine-free definition of polynomial functions. The main goal is to not only make the readers familiar with this de- finition, but also to introduce them to the other pivotal terms of this thesis. ...
Combinatorics of filters on the natural numbers
Kombinatorika filtrů na přirozených číslech
bachelor thesis (NOT DEFENDED)
Advisor: Verner, Jonathan
Date Issued: 2018
Date of defense: 06. 02. 2018
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Práce se věnuje kombinatorickým vlastnostem filtrů na přirozených číslech. Obsahuje úvod a motivaci do problematiky definovatelnosti filtrů a jejich kombinatorikou, definice základních typů filrů: P-filtr, Q-filtr, Rapid ...
The work is devoted to combinatorial properties of filters on natural num- bers as an introduction and motivation to the definability of the filters and its combinatorics. Basic filter types: P-filter, Q-filter, Rapid ...
The work is devoted to combinatorial properties of filters on natural num- bers as an introduction and motivation to the definability of the filters and its combinatorics. Basic filter types: P-filter, Q-filter, Rapid ...
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 ...
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 ...
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 ...
Vzájemná srovnání axiomatických systémů modálních logik
Mutual comparison of modal logics axiomatic system
diploma thesis (DEFENDED)
Advisor: Jirků, Petr
Date Issued: 2008
Date of defense: 17. 01. 2008
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Tato diplomová práce se zabývá modálními logikami z formálního pohledu. Jsou v ní de novány základní formální systémy a jsou předvedeny hlavní vztahy mezi nimi.
Combinatorics of filters on the natural numbers
Kombinatorika filtrů na přirozených číslech
bachelor thesis (DEFENDED)
Advisor: Verner, Jonathan
Date Issued: 2018
Date of defense: 20. 09. 2018
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Práce se věnuje kombinatorickým vlastnostem filtrů na přirozených číslech. Obsahuje úvod do problematiky definovatelnosti filtrů a jejich kombinatoriky, definice základních typů filrů: P-filtr, Q-filtr, Rapid filtr; ...
The work is devoted to combinatorial properties of filters on natural num- bers as an introduction and motivation to the definability of the filters and its combinatorics. The work contains definitions of basic filter ...
The work is devoted to combinatorial properties of filters on natural num- bers as an introduction and motivation to the definability of the filters and its combinatorics. The work contains definitions of basic filter ...
Následování pravidla
Rule-following
bachelor thesis (DEFENDED)
Advisor: Koťátko, Petr
Date Issued: 2014
Date of defense: 24. 06. 2014
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Následování pravidla není možné bez nějaké externí rozhodčí instance, která může zhodnotit, jestli někdo (jiný než on sám) jedná s pravidlem ve shodě či v rozporu. Kolem tohoto tvrzení práce srovnává různé úhly pohledu na ...
Following any rule is not possible without some external instance of a jury that can evaluate if anyone (other than himself) acts according to a rule or against it. This work compares different perspectives on the issue ...
Following any rule is not possible without some external instance of a jury that can evaluate if anyone (other than himself) acts according to a rule or against it. This work compares different perspectives on the issue ...