National Repository of Grey Literature 36 records found  previous11 - 20nextend  jump to record: Search took 0.01 seconds. 
The truth of future contingent propositions as a logical and philosophical problem
Kolínská, Marie ; Svoboda, Vladimír (advisor) ; Bendová, Kamila (referee)
According to some logicians and philosophers, future contingent propositions pose a specific problem. Many of those who look into this problem now and those who looked into it (even hundreds) years ago, refer to Aristotle. Nevertheless not in agreement. Our aim is to give an overview of traditional and non-traditional interpretations of the part of Aristotle's work which deals with this issue. On the basis of their comparison we will try to uncover what causes the variety of readings. That will allow us to assess whether the truth of future contingent propositions really is a specific problem and what is its actual nature.
Hare's thesis as a logical and philosophical problem
Luhan, Martin ; Svoboda, Vladimír (advisor) ; Marvan, Tomáš (referee)
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 inferring from impe- rative premisses to an indicative conclusion which goes by the name Hare's Thesis. The logical analysis of the language of morals was the basis of Richard M. Hare's ethical studies. Therefore a brief presentation of his philosophy is given followed by a detailed walkthrough of his way of dealing with impera- tives. Hare states that logic should be interested in dealing with prescriptive sentences. The paper also presents a selection of some of the semantics of logic of imperatives and some of their fundamental problems. Based on this we finally analyse whether the Hare's Thesis which forbids inferring from im- perative premisses to indicative conclusions is acceptable. And we conclude that in most cases it is reasonable to reject it. Keywords: Logic of imperatives, Hare's Thesis, deontic logic, metaethics
Attacks on computers, servers and services
Bitner, Oldřich ; Novák, Jaroslav (advisor) ; Svoboda, Vladimír (referee)
TITLE: Attacks on computers, servers and services. SUMMARY: The aim of theoretical part is to describe global software attacks on computer systems, servers and their services. It also describes the way of performing illegal attacks and dividing of attackers according to their knowledge of the issue.Practical part of the theses focuses focucec on an examination of basic safety and durability of university software systems. KEYWORDS: The attacks, attacker, computer, north, service, social engineering, foreign identity.
Formalization of reasoning and the paradox of surprise examination
Nevrkla, Svatopluk ; Peregrin, Jaroslav (referee) ; Svoboda, Vladimír (advisor)
Po prezentaci možných přístupů k řešení problému v první kapitole jsem ve druhé kapitole poukázal na Sorensenovu kritiku pokusů interpretovat paradox jinak, než pomocí modálních reprezentací epistemických, či doxastických logik. Třetí kapitola byla věnována představení potřebných pojmů k pochopení Binkleyho přínosu k diskuzi paradoxu. V kapitole čtvrté jsem nakonec ukázal, že pokud se přidržíme výše zmíněného přístupu a idealizujeme si usuzovací schopnosti studenta, je analýza paradoxu, kterou provedl Binkley, korektní. Učitelovo oznámení se nám však zdá intuitivně srozumitelné a důvěryhodné, jelikož sami původně nepředjímáme studentův argument v celé komplexnosti. Pokud se s ním však již jednou ztotožníme, nezbude nám než učitelovo tvrzení odmítnout jako absurdní. Budoucnost možných příspěvků k Paradoxu překvapivé písemky pak vidím ve formalismech, které směřují k popisu explicitních znalostí.
Protocolar and observation sentences
Navara, David ; Svoboda, Vladimír (referee) ; Peregrin, Jaroslav (advisor)
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 to make a bridge between science and experience and to transmit the connection between the terms of various scientific fields. Some of Carnap's ideas were questioned by Otto Neurath, who shared with Carnap the physicalistic approach, but had a different view on the desirable features of the protocolar sentences. Within Carnap's theory, protocolar sentences were intended to refer to the sensory characteristics of the physical world. The very conception of protocolar sentences was inspired by physicist's or psychologist's reports, but protocolar sentences in Carnapean sense could also be produced by animals or machines. Carnap originally believed some protocolar sentences to be fundamental and unquestionable. They should have afforded a safe ground for the development of science. Neurath's objections against such a view forced Carnap to adjust his own theory. Carnap also gave up his hopes of total verification, but still expected his theory to enable the confirmation of the general statements of the form "Every X is Y." with a sufficient level of certainty. Carnap's conception faced various...
Semantics of prescriptive discourse and language games
Kuklíková, Kateřina ; Holeček, Tomáš (referee) ; Svoboda, Vladimír (advisor)
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. Subsequently, the terms "Language Game" and "Score" are introduced and followed by illustrative examples. Moreover, the thesis describes one selected prescriptive language game in detail, analyses and evaluates the presented model. Furthermore, alternative approaches to solving of problems related to analysis of prescriptive language games are also put forward. The final part of this thesis summarizes the perspectives on this field of research.
Actualism and possible worlds
Tomala, Ondřej ; Kolář, Petr (advisor) ; Svoboda, Vladimír (referee) ; Kolman, Vojtěch (referee)
The study focuses on the development of the philosophical analysis of alethic modalities (possibility and necessity) in terms of possible worlds semantics in the analytical tradition from 20th century onwards. Possible worlds semantics has pro ven to be powerful and useful tool of philosophical analysis. However, in order to benefit from its use we have to philosophically scrutinize its central concept - the possible world. We have to clarify its ontological status, identity conditions and other important features, i.e. we have to create theory of possible worlds. Yet during that project we must not fall back into speculative metaphysics of the past, so much abhorred by contemporary analytic philosophy. The goal ofthis study is the defense of Actualism, one of the major theories of possible worlds, which in accordance with its slogan "Everything that exists is actual" treats possible worlds as abstract entities of certain kind representing the ways world might have been. Implicit aim of the study is the defense of the analytical metaphysics and its method as a distinguished discipline within analytic tradition. ln Chapter One it is shown how important role modality plays in our theoretical discourse and reasoning, several types of modalities are distinguished. Possible worlds are presented as useful tool...

National Repository of Grey Literature : 36 records found   previous11 - 20nextend  jump to record:
See also: similar author names
1 SVOBODA, Vlastimil
14 SVOBODA, Vojtěch
12 SVOBODA, Václav
1 Svoboda, V.
1 Svoboda, Veronika
1 Svoboda, Viktor
2 Svoboda, Vladimír,
14 Svoboda, Vojtěch
12 Svoboda, Václav
11 Svoboda, Vít
Interested in being notified about new results for this query?
Subscribe to the RSS feed.