Hledat
Zobrazují se záznamy 1-10 z 29
Hareova teze jako logicko-filosofický problém
Hare's thesis as a logical and philosophical problem
Diplomová práce (OBHÁJENO)
Vedoucí práce: Svoboda, Vladimír
Datum publikování: 2012
Datum obhajoby: 28. 06. 2012
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
Kompaktnost v neklasických logikách
Compactness in non-classical logics
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hájek, Petr
Datum publikování: 2010
Datum obhajoby: 01. 07. 2010
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce systematicky studuje pojem kompaktnosti v klasické výrokové logice, dále obecně studuje ruzné pojmy kompaktnosti a vztah k ruzným pojm um úplnosti v rámci obecné teorie relace dusledku a zabývá se kompaktnost ' v ...
This work systematically studies the concept of compactness in classical propositional logic as well as various concepts of compactness and their relation to different notions of completeness in the framework of the general ...
This work systematically studies the concept of compactness in classical propositional logic as well as various concepts of compactness and their relation to different notions of completeness in the framework of the general ...
Impredikativita a paradox
Impredicativity and paradox
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Kolman, Vojtěch
Datum publikování: 2010
Datum obhajoby: 17. 09. 2010
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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é ...
Protokolární a pozorovací věty
Protocolar and observation sentences
Diplomová práce (OBHÁJENO)
Vedoucí práce: Peregrin, Jaroslav
Datum publikování: 2010
Datum obhajoby: 01. 07. 2010
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato práce se soustředí na srovnání Carnapova pojetí protokolárních vět a Quineova pojetí pozorovacích vět. Carnapovy práce o protokolárních větách mají kořeny ve 30. letech 20. století. Jeho hlavní myšlenkou bylo provázání ...
This work focuses on the comparison of Carnap's account of protocolar sentences and Quine's account of observation sentences. Carnap's works on protocolar sentences date back to the beginning of 1930's. His chief idea was ...
This work focuses on the comparison of Carnap's account of protocolar sentences and Quine's account of observation sentences. Carnap's works on protocolar sentences date back to the beginning of 1930's. His chief idea was ...
Logické spojky v postojové analýze
Logical connectives in sentiment analysis
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kuboň, Vladislav
Datum publikování: 2015
Datum obhajoby: 08. 09. 2015
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt nenalezen
Intuicionistická logika jako užitečný nástroj
Intuitionistic logic as a useful tool
Diplomová práce (OBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2010
Datum obhajoby: 16. 09. 2010
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: V této práci se zabýváme intuicionistickou logikou a úplností gentzenovského kalkulu vůči její sémantice. V důkazu úplnosti jsou využity saturované sekventy. Jazyk, který bereme v úvahu, je nejvýše spočetný. Dále se práce ...
This work deals with intuitionistic logic and completness of Gentzen calculus with respect to its semantics. The completness proof uses saturated sequents. The language considered is at most countable. Furthermore, our ...
This work deals with intuitionistic logic and completness of Gentzen calculus with respect to its semantics. The completness proof uses saturated sequents. The language considered is at most countable. Furthermore, our ...
Implikační fragmenty intuicionistické výrokové logiky
Implicational fragments of intuitionistic propositional logic
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2010
Datum obhajoby: 17. 09. 2010
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
Radikální interpretace, pravda, objektivita
Radical interpretation, truth, objectivity
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Koťátko, Petr
Datum publikování: 2013
Datum obhajoby: 27. 06. 2013
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bílková, Marta
Datum publikování: 2012
Datum obhajoby: 19. 09. 2012
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
Formální aspekty Aristotelovy logiky z historického úhlu pohledu
Formal aspects of Aristotle's logic from the historical perspective
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kolman, Vojtěch
Datum publikování: 2010
Datum obhajoby: 01. 07. 2010
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato práce se zabývá vlastnostmi Aristotelovy sylogistiky z hlediska moderní logiky a zároveň se snaží prezentovat samotný Aristotelův text na dané téma. Práce ukazuje, jak lze dokázat větu o úplnosti sylogistiky, aniž by ...
This thesis focuses on formal properties of Aristotle's syllogistic as seen from the per- spective of both modern logic and Aristotle himself. Its main objective is the proof of the standard completeness theorem that does ...
This thesis focuses on formal properties of Aristotle's syllogistic as seen from the per- spective of both modern logic and Aristotle himself. Its main objective is the proof of the standard completeness theorem that does ...