Essays about: "kripke"
Showing result 1 - 5 of 6 essays containing the word kripke.
-
1. Creating and updating Kripke models for multi-agent games with imperfect information against Nature
University essay from KTH/DatavetenskapAbstract : Higher-order knowledge can be crucial when playing a game. Information about the history of the game can also be important. Hintikka’s world is a tool that uses Kripke models to visualize higher-order knowledge for various games. The Kripke models represent possible states a game can be in, and which agents can separate what states. READ MORE
-
2. Bed-time sensors - characterization and comparison
University essay from Uppsala universitet/Avdelningen för datorteknikAbstract : The population of the world is aging. In Sweden alone, almost 20% of the population is 65 years or older. As people get older, problems with sleep disturbances and sleep quality tends to increase, as do the risks of falling injuries. In this thesis, methods for calculating sleep quality and if a person is about to leave a bed were devised. READ MORE
-
3. A Model-Theoretic Proof of Gödel's Theorem : Kripke's Notion of Fulfilment
University essay from Stockholms universitet/Matematiska institutionenAbstract : The notion of fulfilment of a formula by a sequence of numbers, an approximation of truth due to Kripke, is presented and subsequently formalised in the weak arithmetic theory IΣ1, in some detail. After a number of technical results connecting the formalised notion to the meta-theoretical one a version of Gödel’s Incompleteness Theorem, that no consistent, recursively axiomatisable, Σ2-sound extension T of Peano arithmetic is complete, is shown by construction of a true Π2-sentence and a model of T where it is false, yielding its independence from T. READ MORE
-
4. Proper Names: a Verbal Dispute : An investigation of the concept of reference
University essay from Umeå universitet/Institutionen för idé- och samhällsstudierAbstract : The present paper sets out to investigate whether the contrast between Description theories of reference and Direct Reference theories constitutes what Chalmers calls “a broad verbal dispute” on the concept of reference. I begin by describing Chalmers’ “method of elimination” concerning verbal disputes, according to which, in order to find out whether a dispute is verbal or whether it expresses a substantial disagreement on matters of fact, the key concept involved is barred and substituted by two new concepts defined according to the frameworks of the respective theories. READ MORE
-
5. Actuality-dependence, Natural Kind Terms and Reference Failures
University essay from Avdelningen för kulturvetenskaper, KVA; Filosofiska fakultetenAbstract : This essay investigates Haukioja's (2010) notion of actuality-dependence. This notion is an attempt to explain the rigid behaviour of some kind terms; in particular natural kind terms like “water” and “tiger”. A definition of rigidity for kind terms has to take in account speakers' semantic intentions. READ MORE