Search
Now showing items 1-10 of 27
Jak zprostředkovat středoškolákům širší pohled na logiku
On conveying deeper insight into logic to secondary school students
diploma thesis
Advisor: Jirků, Petr
Date Issued:
Date of defense: 28. 05. 2007
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract not found
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. ...
Kompaktnost v neklasických logikách
Compactness in non-classical logics
diploma thesis
Advisor: Hájek, Petr
Date Issued:
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 ...
Formální aspekty Aristotelovy logiky z historického úhlu pohledu
Formal aspects of Aristotle's logic from the historical perspective
diploma thesis
Advisor: Kolman, Vojtěch
Date Issued:
Date of defense: 01. 07. 2010
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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 ...
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 ...
Induktivní logika a Vídeňský kroužek
Inductive logic and the Vienna circle
diploma thesis
Advisor: Peregrin, Jaroslav
Date Issued:
Date of defense: 17. 09. 2009
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Práce pojednává o induktivní logice spojující koncepty indukce a pravděpodobnosti a jejím rozvinutí v rámci Vídeškého kroužku a jeho okolí. Po historickém uvedení indukce a pravděpodobnosti, jsou zde představeny dva hlavní ...
The subject of this work is inductive logic as a connection of two concepts - probability and induction - which was developed by members of the Vienna Circle and their colleagues. After historical introduction the concepts ...
The subject of this work is inductive logic as a connection of two concepts - probability and induction - which was developed by members of the Vienna Circle and their colleagues. After historical introduction the concepts ...
Sémantika preskriptivního diskurzu a jazykové hry
Semantics of prescriptive discourse and language games
diploma thesis
Advisor: Svoboda, Vladimír
Date Issued:
Date of defense: 17. 09. 2009
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Hlavním tématem práce jsou preskriptivní věty a jejich využití v jazykových hrách. Ve svém počátku práce definuje oblast zkoumaných vět a prezentuje možný přístup k jejich sémantické analýze. Následně je představen pojem ...
The main theme of this thesis is prescriptive sentences and their usage within language games. At the beginning, the thesis defines the range of analyzed sentences and presents a possible approach to their semantic analysis. ...
The main theme of this thesis is prescriptive sentences and their usage within language games. At the beginning, the thesis defines the range of analyzed sentences and presents a possible approach to their semantic analysis. ...
Intuicionistická logika jako užitečný nástroj
Intuitionistic logic as a useful tool
diploma thesis
Advisor: Švejdar, Vítězslav
Date Issued:
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 ...
Sémantika některých neobvyklých modálních logik
Semantics of some unusual modal logics
diploma thesis
Advisor: Peregrin, Jaroslav
Date Issued:
Date of defense: 17. 09. 2009
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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 ...