Hledat
Zobrazují se záznamy 1-10 z 69
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 ...
Usuzování s nekonzistentními informacemi
Usuzování s nekonzistentními informacemi
Dizertační práce (OBHÁJENO)
Vedoucí práce: Bílková, Marta
Datum publikování: 2018
Datum obhajoby: 27. 06. 2018
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato dizertační práce studuje extenze čtyřhodnotové Belnapovy-Dunnovy logiky, tzv. superbelnapovské logiky, z pohledu abstraktní algebraické logiky. Popisujeme v ní globální strukturu svazu superbelnapovských logik a ukazu- ...
This thesis studies the extensions of the four-valued Belnap-Dunn logic, called super-Belnap logics, from the point of view of abstract algebraic logic. We describe the global structure of the lattice of super-Belnap logics ...
This thesis studies the extensions of the four-valued Belnap-Dunn logic, called super-Belnap logics, from the point of view of abstract algebraic logic. We describe the global structure of the lattice of super-Belnap logics ...
Otázky na hraně smysluplnosti v analytické filosofii
Questions bordering on meaninglessness in analytical philosophy
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Arazim, Pavel
Datum publikování: 2018
Datum obhajoby: 20. 09. 2018
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
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 ...
Koza and Prolog
Koza a Prolog
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Švarný, Petr
Datum publikování: 2015
Datum obhajoby: 11. 02. 2015
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato práce uvádí vztah umělé inteligence ke genetickému pro- gramování a některé vlastnisti logického programování. Hlavním cílem práce ovšem je naprogramovat algoritmus genetrického programování. Tento program operuje s ...
This paper introduces the artificial intelligence background of ge- netic programming and some properties of logical programming para- digm. However, the main task of this work is to create the genetic programming algorithm ...
This paper introduces the artificial intelligence background of ge- netic programming and some properties of logical programming para- digm. However, the main task of this work is to create the genetic programming algorithm ...