Sökning: "kripke"

Visar resultat 1 - 5 av 11 uppsatser innehållade ordet kripke.

  1. 1. Creating and updating Kripke models for multi-agent games with imperfect information against Nature

    Kandidat-uppsats, KTH/Datavetenskap

    Författare :Louise Tidestav; Albin Rydén; [2022]
    Nyckelord :;

    Sammanfattning : 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. LÄS MER

  3. 2. Bed-time sensors - characterization and comparison

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Avdelningen för datorteknik

    Författare :Joshua Hughes Höglund; [2018]
    Nyckelord :ballistocardiography; sleep; accelerometry; sleep quality;

    Sammanfattning : 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. LÄS MER

  4. 3. A Model-Theoretic Proof of Gödel's Theorem : Kripke's Notion of Fulfilment

    Master-uppsats, Stockholms universitet/Matematiska institutionen

    Författare :Mattias Granberg Olsson; [2017]
    Nyckelord :Fulfilment; Gödel s Theorem; Incompleteness;

    Sammanfattning : 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. LÄS MER

  5. 4. I riferimenti dei nomi secondo Antonio Rosmini

    Kandidat-uppsats, Umeå universitet/Institutionen för språkstudier

    Författare :Inge-Bert Täljedal; [2016]
    Nyckelord :Burman; Rosmini; nomi comuni; nomi propri; universali; individualità; oggettivismo; soggettivismo; idealismo; realismo;

    Sammanfattning : Partendo dall’osservazione critica del razionalista-soggettivista Erik Olof Burman (1845–1929) che Antonio Rosmini (1797–1855) rappresenti una gnoseologia troppo oggettiva, si è provato a illuminare la posizione di Rosmini sugli assi soggettivismo–realismo mediante un’analisi dei suoi pareri quanto ai riferimenti dei nomi. Già la sua concezione della percezione di oggetti individuali mostra che Rosmini ascrive all’atto di denominare un ruolo determinante per la conoscenza umana. LÄS MER

  7. 5. Om egennamns konnotation : i stort mot Russell, i smått mot Kripke

    Kandidat-uppsats, Linköpings universitet/Institutionen för kultur och kommunikation

    Författare :Johan Thorn; [2015]
    Nyckelord :russell; kripke; donnellan; strawson; connotation; proper names; philosophy of language; singular direct reference; russell; kripke; donnellan; strawson; konnotation; egennamn; språkfilosofi; singulär direkt referens;

    Sammanfattning : Together with an basic assumption of the main thesis of the theory of singular direct reference, this paper formulates two original theses grounded in the Kripkean notion of proper names. Regarding the assumption of the main thesis, efforts have been made to explicitly explain its essence as a reactionary theory against the description theory of proper names, a theory mainly due to Bertrand Russells (1905) influential article "On Denoting". LÄS MER