Hledat
Zobrazují se záznamy 1-10 z 27
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 ...
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 ...
Explicitní pevné body v logice dokazatelnosti
Explicit fixed-points in provability logic
Diplomová práce (OBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2007
Datum obhajoby: 26. 09. 2007
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
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 ...
Nerozhodnutelnost struktury racionálních čísel
The undecidability of the field of rationals
Diplomová práce (OBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2006
Datum obhajoby: 27. 09. 2006
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Otázka rozhodnutelnosti, tj. otázka, zda existuje algoritmus, který by byl schopen rozhodnout o platnosti každé prvořádové predikátové formule, se dostala na výsluní pozornosti matematiků ve dvacátých letech minulého ...
Sémantika některých neobvyklých modálních logik
Semantics of some unusual modal logics
Diplomová práce (OBHÁJENO)
Vedoucí práce: Peregrin, Jaroslav
Datum publikování: 2009
Datum obhajoby: 17. 09. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: První ást pojednává o Carnapov píspvku k modální logice. Carnapovo dílo je zalenno do historického kontextu. Je studována jeho reakce na Lewisovy kalkuly striktní implikace a jeho anticipace kripkovské sémantiky mo- ných ...
The rst part deals with Carnap s contribution to the modal logic. The Carnap s work is included in the historical context. His reaction to the Lewis calculi of the strict implication is discussed and also his anticipation ...
The rst part deals with Carnap s contribution to the modal logic. The Carnap s work is included in the historical context. His reaction to the Lewis calculi of the strict implication is discussed and also his anticipation ...