Search
Now showing items 1-10 of 99
Hareova teze jako logicko-filosofický problém
Hare's thesis as a logical and philosophical problem
diploma thesis (DEFENDED)
Advisor: Svoboda, Vladimír
Date Issued: 2012
Date of defense: 28. 06. 2012
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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
diploma thesis (DEFENDED)
Advisor: Hájek, Petr
Date Issued: 2010
Date of defense: 01. 07. 2010
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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
dissertation thesis (DEFENDED)
Advisor: Bílková, Marta
Date Issued: 2018
Date of defense: 27. 06. 2018
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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
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 ...
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é ...
Protokolární a pozorovací věty
Protocolar and observation sentences
diploma thesis (DEFENDED)
Advisor: Peregrin, Jaroslav
Date Issued: 2010
Date of defense: 01. 07. 2010
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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
diploma thesis (DEFENDED)
Advisor: Kuboň, Vladislav
Date Issued: 2015
Date of defense: 08. 09. 2015
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract not found
Intuicionistická logika jako užitečný nástroj
Intuitionistic logic as a useful tool
diploma thesis (DEFENDED)
Advisor: Švejdar, Vítězslav
Date Issued: 2010
Date of defense: 16. 09. 2010
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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
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 ...
Structural aspects of aesthetic visualinformation processing
Struktuální aspekty zpracování vizuální informace s estetickou složkou
dissertation thesis (DEFENDED)
Advisor: Nešetřil, Jaroslav
Date Issued: 2022
Date of defense: 10. 05. 2022
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Univerzita Karlova Filozofická fakulta Katedra logiky Obor: Logika Strukturální aspekty zpracování vizuální informace s estetickou složkou Structural aspects of aesthetic visual information processing Abstract Mgr. Veronika ...
Univerzita Karlova Filozofická fakulta Katedra logiky Obor: Logika Strukturální aspekty zpracování vizuální informace s estetickou složkou Structural aspects of aesthetic visual information processing Abstrakt Mgr. Veronika ...
Univerzita Karlova Filozofická fakulta Katedra logiky Obor: Logika Strukturální aspekty zpracování vizuální informace s estetickou složkou Structural aspects of aesthetic visual information processing Abstrakt Mgr. Veronika ...