865 research outputs found
Hyperlogic: A System for Talking about Logics
Sentences about logic are often used to show that certain embedding expressions, including attitude verbs, conditionals, and epistemic modals, are hyperintensional. Yet it not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. This paper does two things. First, it argues against a standard account of logic talk, viz., the impossible worlds semantics. It is shown that this semantics does not easily extend to a language with propositional quantifiers, which are necessary for regimenting some logic talk. Second, it develops an alternative framework based on logical expressivism, which explains logic talk using shifting conventions. When combined with the standard S5π+ semantics for propositional quantifiers, this framework results in a well-behaved system that does not face the problems of the impossible worlds semantics. It can also be naturally extended with hybrid operators to regiment a broader range of logic talk, e.g., claims about what laws hold according to other logics. The resulting system, called hyperlogic, is therefore a better framework for modeling logic talk than previous accounts
Individual Professional Practice in the Company
Import 22/07/2015V této bakalářské práci blíže rozebírám a popisuji projekty, na kterých jsem pracoval ve firmě Olvork s.r.o. během své individuální odborné praxe. Naleznete zde blíže popsány jak větší projekty, tak ty menší, se kterými jsem se během praxe setkal. Na konci této práce je mé celkové zhodnocení vykonané praxe, znalosti, které jsem během ní postrádal, ale také ty, které jsem díky ní nabyl.In this work I closer analyse and describe projects that I worked in the company Olvork Ltd. during my individual professional practise. Here you will find described in detail as larger projects, so the smaller ones, with which I met during practice. At the end of the work is overall assessment of my practice, knowledge that I missed, but also those that I came through it.440 - Katedra telekomunikační technikyvelmi dobř
Cycle route between Havířov and Hrabová
Bakalářská práce řeší návrh cyklotrasy mezi městem Havířov a městskou částí Ostrava - Hrabová. Současné cyklotrasy jsou v tomto území vedeny částečně po silnicích druhé třídy II/478 a II/473, kde je vysoká intenzita dopravy, využití těchto komunikací tedy není vhodné. Tato řešení taktéž potlačují rekreační funkci cyklotras. Navržená trasa zajišťuje bezpečnější spojení mezi Havířovem a Hrabovou, kde se napojuje na stávající cyklotrasu č. 6064. Trasa prochází podél koryta řeky Lučiny, kde tvoří okruh pro společný pohyb chodců, cyklistů a in-line bruslařů. Dále využívá účelové komunikace a místní komunikace s nízkou intenzitou dopravy. Návrh je rozdělen na čtyři úseky, z nichž každý je zvlášť posuzován. Stezka je navržena dle platných norem a technických předpisů.This Bachelor thesis deals with the design of a cycle route between the town of Havířov and Hrabová, a district in the city of Ostrava. Current cycle routes in this area are routed as part of the roads II/478 and II/ 473 along which a heavy traffic volume flows. Therefore, the usage of these routes is unsuitable. This arrangement also diminishes the recreational function of the cycle routes. The newly suggested route guarantees a safer connection between Havířov and Hrabová, where it joins an existing cycle rout, no.6064. The cycle path follows the course of the Lučina river where a ring road for pedestrians, cyclists and inline skaters is thereby created. Furthermore it will use purpose-built and local roads with a low volume of traffic. The plan is divided into four parts and each is assessed separately. The cycle rout is designed in accordance with the applicable standards and regulations.
The use of basic iterative methods for bounding a solution of a system of linear equations with an M-matrix and positive right-hand side
summary:This article presents a simple method for bounding a solution of a system of linear equations with an M-matrix and positive right-hand side [1]. Given a suitable approximation to an exact solution, the bounds are constructed by one step in a basic iterative method
Against Conventional Wisdom
Conventional wisdom has it that truth is always evaluated using our actual linguistic conventions, even when considering counterfactual scenarios in which different conventions are adopted. This principle has been invoked in a number of philosophical arguments, including Kripke’s defense of the necessity of identity and Lewy’s objection to modal conventionalism. But it is false. It fails in the presence of what Einheuser (2006) calls c-monsters, or convention-shifting expressions (on analogy with Kaplan’s monsters, or context-shifting expressions). We show that c-monsters naturally arise in contexts, such as metalinguistic negotiations, where speakers entertain alternative conventions. We develop an expressivist theory—inspired by Barker (2002) and MacFarlane (2016) on vague predications and Einheuser (2006) on counterconventionals—to model these shifts in convention. Using this framework, we reassess the philosophical arguments that invoked the conventional wisdom
Tree Beings in Tibet: Contemporary Popular Concepts of klu and gnyan as a Result of Ecological Change
The article deals with the perception of trees in Tibet. It focuses on ideas on supernatural beings believed to dwell in trees, particularly klu and gnyan, which form a part of the popular or so called nameless religion. The study is based on fieldwork undertaken in the Tibetan areas of India and Nepal (the Spiti valley and Dolpo) among people of Dolpo origin living elsewhere and Tibetans in exile from different regions of Tibet. Gathered narratives and reappearing myth patterns are presented and discussed. The findings from the fieldwork are compared with the idea of tree beings found in ritual texts studied by Western scholars. The difference between these two sources are striking: popular traditions associate trees mainly with klu, whereas the ritual texts with gnyan. To explain the possible cause of this discrepancy, contemporary theories about the ecological history of the Tibetan Plateau are employed.
Author Biograph
Building Internet Browser Extension
Import 26/06/2013Cílem této bakalářské práce je vytvoření rozšiřujícího modulu pro webový prohlížeč. Nabízely se zde dva možné webové prohlížeče, a to Google Chrome nebo Mozilla Firefox, z nichž byl vybrán Mozilla Firefox. Vytvořený doplněk by měl pracovat s daty z Českého hydrometeorologického ústavu a zobrazovat hodnotu znečištění ovzduší ve zvoleném městě. Nejprve bylo třeba se seznámit s dostupnými doplňky, které by mohly být inspirací pro tvorbu vlastního modulu. Samotná tvorba doplňky je realizována ve vývojovém prostředí Add-on Builder, který pro tvorbu využívá HTML, CSS a JavaScript. Vytvořený doplněk pak lze bezplatně sdílet se všemi uživateli Mozilla Firefox.Cílem této bakalářské práce je vytvoření rozšiřujícího modulu pro webový prohlížeč. Nabízely se zde dva možné webové prohlížeče, a to Google Chrome nebo Mozilla Firefox, z nichž byl vybrán Mozilla Firefox. Vytvořený doplněk by měl pracovat s daty z Českého hydrometeorologického ústavu a zobrazovat hodnotu znečištění ovzduší ve zvoleném městě. Nejprve bylo třeba se seznámit s dostupnými doplňky, které by mohly být inspirací pro tvorbu vlastního modulu. Samotná tvorba doplňky je realizována ve vývojovém prostředí Add-on Builder, který pro tvorbu využívá HTML, CSS a JavaScript. Vytvořený doplněk pak lze bezplatně sdílet se všemi uživateli Mozilla Firefox.352 - Katedra automatizační techniky a řízenívýborn
- …