Hledat
Zobrazují se záznamy 1-10 z 83
Comparison of logical and psychological perspectives on the concept of number.
Srovnání logického a psychologického pojetí čísla.
Bakalářská práce
Vedoucí práce: Punčochář, Vít
Dátum publikování:
Datum obhajoby: 27. 06. 2013
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Táto práca je rozdelená na tri hlavné časti. V prvej časti predstavujeme logický prístup k pojmu čísla na základe Fregeho diela Základy Aritmetiky. Popri snahe definovať a klasifikovať číslo ako také, rozoberáme aj Husserlove ...
This paper is divided into three main parts. In the first part, we propose a logical approach to the concept of number based on Frege's Foundations of Arithmetic. Besides the main attempt to define and classify number per ...
This paper is divided into three main parts. In the first part, we propose a logical approach to the concept of number based on Frege's Foundations of Arithmetic. Besides the main attempt to define and classify number per ...
Intuicionistická logika jako užitečný nástroj
Intuitionistic logic as a useful tool
Diplomová práce
Vedoucí práce: Švejdar, Vítězslav
Dátum publikování:
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 ...
Formální aspekty Aristotelovy logiky z historického úhlu pohledu
Formal aspects of Aristotle's logic from the historical perspective
Diplomová práce
Vedoucí práce: Kolman, Vojtěch
Dátum publikování:
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 ...
Kompaktnost v neklasických logikách
Compactness in non-classical logics
Diplomová práce
Vedoucí práce: Hájek, Petr
Dátum publikování:
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 ...
Pojem ideálu a filtru v algebře a logice
Ideals and filters in algebra and logic
Bakalářská práce
Vedoucí práce: Honzík, Radek
Dátum publikování:
Datum obhajoby: 27. 06. 2013
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt nenalezen
Logická analýza a forma tvrzení typu "to-a-to existuje"
The logical analysis and the logical form of the statements "A exists"
Dizertační práce
Vedoucí práce: Materna, Pavel
Dátum publikování:
Datum obhajoby: 19. 05. 2008
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: The thesis investigates the logical form of the statements "so-and-so exists". Firstly, the historical survey was displayed in order to identify the meaning of this sort of statements. Hence starting conditions of the ...
Cílem této práce bylo nalézt vhodnou logickou formu pro tvrzení typu "to-a-to existuje". Nejprve byl proveden rozbor významu těchto tvrzení založený na historickém přístupu. Na jeho základě byla stanovena východiska logické ...
Cílem této práce bylo nalézt vhodnou logickou formu pro tvrzení typu "to-a-to existuje". Nejprve byl proveden rozbor významu těchto tvrzení založený na historickém přístupu. Na jeho základě byla stanovena východiska logické ...
Interpolation in modal logics
Interpolace v modálních logikách
Dizertační práce
Vedoucí práce: Pudlák, Pavel
Dátum publikování:
Datum obhajoby: 22. 11. 2006
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Since Craig's landmark result on interpolation for classical predicate logic, proved as the main technical lemma in [14], interpolation is considered one of the centra! concepts in pure logic. Various interpolation properties ...
Sémantika preskriptivního diskurzu a jazykové hry
Semantics of prescriptive discourse and language games
Diplomová práce
Vedoucí práce: Svoboda, Vladimír
Dátum publikování:
Datum obhajoby: 17. 09. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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. ...
Logika dokazatelnosti a její filozofická reflexe
Logic of provability from the philosophical point of view
Diplomová práce
Vedoucí práce: Jirků, Petr
Dátum publikování:
Datum obhajoby: 29. 09. 2008
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: V matematické části je zpracováno téma autoreference v aritmetice. Při úvahách i důkazech je užit vyšší programovací jazyk, což umožňuje dospět ke známým výsledkům Gödela, Rossera a Löba přirozeným způsobem. V závěru je ...
The mathematical part of this thesis studies the phenomenon of self-reference in arithmetics. A higher programming language is used to present ideas and proofs, enabling us to reach the known results of Gödel, Rosser and ...
The mathematical part of this thesis studies the phenomenon of self-reference in arithmetics. A higher programming language is used to present ideas and proofs, enabling us to reach the known results of Gödel, Rosser and ...
Induktivní logika a Vídeňský kroužek
Inductive logic and the Vienna circle
Diplomová práce
Vedoucí práce: Peregrin, Jaroslav
Dátum publikování:
Datum obhajoby: 17. 09. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...