Search
Now showing items 1-10 of 12
Logika Charlese S. Peirce
The logic of Charles S. Peirce
bachelor thesis
Advisor: Kolman, Vojtěch
Date Issued:
Date of defense: 19. 02. 2009
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Tato práce se pokouší zmapovat hlavní přínosy Charlese Sanderse Peirce v logice. Hlavní pozornost zde bude věnována Peircově teorii existenčních grafů, které jsou, mezi ostatními významnými Peircovými objevy, často opomínány. ...
Relace bisimulace
Bisimulation
bachelor thesis
Advisor: Bílková, Marta
Date Issued:
Date of defense: 29. 06. 2009
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Tato práce se zabývá relací bisimulace v modální logice a také v intuicionistické logice bez kontrakce. Bisimulace je relace mezi sémantickými modely, která je slabí neo isomor smus, ale přitom pořád zaruuje ekvivalenci v ...
This work is about bisimulation in modal logic as well as in intuicionistic logic without contraction. Bisimulation is a relation between models, which is weaker than isomorphism, yet still guarantees equivalence in the ...
This work is about bisimulation in modal logic as well as in intuicionistic logic without contraction. Bisimulation is a relation between models, which is weaker than isomorphism, yet still guarantees equivalence in the ...
Metoda sémantických stromů v neklasických logikách
Tableaux in non-classical logics
bachelor thesis
Advisor: Bílková, Marta
Date Issued:
Date of defense: 17. 09. 2009
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Dalo by se ríct, že jako dukazová metoda jsou sémantické stromy v Cesku nepríliš používané, a to i presto, že ve svete je to nejoblíbenejší dukazový systém pro modální logiku [1]. Vedle základního Hilbertova kalkulu se v ...
Formalizace relace odvoditelnosti pro výrokové fuzzy logiky
Formalization of the deducibility relation of propositional fuzzy logics
bachelor thesis
Advisor: Běhounek, Libor
Date Issued:
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 ...
Impredikativita a paradox
Impredicativity and paradox
bachelor thesis
Advisor: Kolman, Vojtěch
Date Issued:
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é ...
Implikační fragmenty intuicionistické výrokové logiky
Implicational fragments of intuitionistic propositional logic
bachelor thesis
Advisor: Švejdar, Vítězslav
Date Issued:
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 ...
Nemožnost soukromého jazyka
The impossibility of private language
bachelor thesis
Advisor: Kolman, Vojtěch
Date Issued:
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 ...
Pojem ideálu a filtru v algebře a logice
Ideals and filters in algebra and logic
bachelor thesis
Advisor: Honzík, Radek
Date Issued:
Date of defense: 27. 06. 2013
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract not found
Radikální interpretace, pravda, objektivita
Radical interpretation, truth, objectivity
bachelor thesis
Advisor: Koťátko, Petr
Date Issued:
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 ...
Skolemův paradox v teorii množin
Skolem paradox in set theory
bachelor thesis
Advisor: Honzík, Radek
Date Issued:
Date of defense: 20. 09. 2012
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Práce se snaží zmapovat historický vývoj Löwenheim-Skolemovy věty od Ernsta Schrödera po Thoralfa Skolema s užitím původní matematické notace. Popisuje důsledek v podobě Skolemova paradoxu a jeho vliv na teorii množin a s ...
This works aims to map the development of the Löwenheim-Skolems the- orem from Ernst Schröder to Thoralf Skolem using original mathematical notation. It describes its consequence in the form of the Skolem paradox and its ...
This works aims to map the development of the Löwenheim-Skolems the- orem from Ernst Schröder to Thoralf Skolem using original mathematical notation. It describes its consequence in the form of the Skolem paradox and its ...