Sökning: "Kripke"
Visar resultat 1 - 5 av 11 uppsatser innehållade ordet Kripke.
1. Creating and updating Kripke models for multi-agent games with imperfect information against Nature
Kandidat-uppsats, KTH/DatavetenskapSammanfattning : 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
2. Bed-time sensors - characterization and comparison
Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Avdelningen för datorteknikSammanfattning : 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
3. A Model-Theoretic Proof of Gödel's Theorem : Kripke's Notion of Fulfilment
Master-uppsats, Stockholms universitet/Matematiska institutionenSammanfattning : 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
4. I riferimenti dei nomi secondo Antonio Rosmini
Kandidat-uppsats, Umeå universitet/Institutionen för språkstudierSammanfattning : 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
5. Om egennamns konnotation : i stort mot Russell, i smått mot Kripke
Kandidat-uppsats, Linköpings universitet/Institutionen för kultur och kommunikationSammanfattning : 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