National Repository of Grey Literature 34 records found  1 - 10nextend  jump to record: Search took 0.01 seconds. 
Formalization of reasoning and the paradox of surprise examination
Nevrkla, Svatopluk ; Svoboda, Vladimír (advisor) ; Peregrin, Jaroslav (referee)
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 ; Peregrin, Jaroslav (advisor) ; Svoboda, Vladimír (referee)
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...
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.
Using single-board computers in education
Pěnkava, Vít ; Svoboda, Vladimír (advisor) ; Lapeš, Jakub (referee)
The bachelor thesis introduces single-board computers, their definition, history and specific attributes of modern ones. Alongside this, there is information about resources of projects and organizations focused on these SBCs in education environment. The second part is about configure centralised user accounts and file storage system PiNet for a Rasberry Pi classroom, blinking LED on two most used platforms and after all making more complex project overlapping other subjects like a physics and biology. 1
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.

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