Hledat
Zobrazují se záznamy 1-10 z 26
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 (OBHÁJENO)
Vedoucí práce: Materna, Pavel
Datum publikování: 2008
Datum obhajoby: 19. 05. 2008
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
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 ...
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 ...
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 ...
Fuzzifikace jednoduchých systémů deontické logiky
Fuzzification of simple systems of deontic logic
Diplomová práce (OBHÁJENO)
Vedoucí práce: Běhounek, Libor
Datum publikování: 2006
Datum obhajoby: 27. 09. 2006
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Deontické logiky bývají formalizovány jako druh modálních logik. V této práci aplikuji fuzzy modální logiku na dvojí systémy monadick ých deontických logik - systémy deontické logiky v užším smyslu a systémy alethické ...
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 ...
Ortokomplementární diferenční svazy
Orthocomplemented difference lattices
Diplomová práce (OBHÁJENO)
Vedoucí práce: Pták, Pavel
Datum publikování: 2007
Datum obhajoby: 26. 09. 2007
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: T ematem t eto diplomov e pr ace je studium bin arn ho oper atoru 4, kter y mode- luje standardn symetrickou diferenci mno zin. Tento oper ator je studov an jednak samostatn e (v kapitole II), jednak s dopl nuj c svazovou ...
The theme of this thesis is the investigation of a binary operator, 4, that models the standard symmetric di erence of sets. This operator is studied both separately (in Chapter II) and with the supplementary lattice ...
The theme of this thesis is the investigation of a binary operator, 4, that models the standard symmetric di erence of sets. This operator is studied both separately (in Chapter II) and with the supplementary lattice ...
Některé sémantické metody v intuicionistické logice
Some semantic methods in intuitionistic logic
Rigorózní práce (UZNÁNO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2009
Datum obhajoby: 26. 02. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: V práci se podíváme do světa intuicionistické logiky. Zjistíme že v intuicionistické logice nelze definovat logické spojky pomocí jiných logických spojek. Podíváme se, jak je to v intuicionistické logice s jednoatomovými ...
Posibilistická logika a filosofie Davida Huma
Possibilistic logic and the philosophy of David Hume
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Holeček, Tomáš
Datum publikování: 2007
Datum obhajoby: 25. 06. 2007
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce se zabývá slučitelností posihilistické logiky a filosofie Davida Huma, popsané v jeho knize Zkoumání o lidském rozumu. Posibilistická logika jako nástroj pro usuzování za nejistoty se ukazuje jako vhodná pro modelování ...
This paper presents an enquiry in to possibilistic logic and Hume's philosophy ofAn Enquiry Concerning Hwnan Understanding. As far as being a tool for reasoning under uncertainty possibilistic logic seems to be an appropriate ...
This paper presents an enquiry in to possibilistic logic and Hume's philosophy ofAn Enquiry Concerning Hwnan Understanding. As far as being a tool for reasoning under uncertainty possibilistic logic seems to be an appropriate ...
Logika dokazatelnosti a její filozofická reflexe
Logic of provability from the philosophical point of view
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2008
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 ...
Logika Charlese S. Peirce
The logic of Charles S. Peirce
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Kolman, Vojtěch
Datum publikování: 2009
Datum obhajoby: 19. 02. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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. ...