Institution: | University of Oslo |
---|---|
Department: | |
Year: | 1000 |
Keywords: | VDP::161 |
Record ID: | 1287395 |
Full text PDF: | https://www.duo.uio.no/handle/10852/24844 https://www.duo.uio.no/bitstream/10852/24844/1/LogicsxforxNaivexTruth.pdf |
Dette er en oppgave om logikk og naive sannhet. Jeg viser at en enkel, men rimelig sterk, logikk er konsistent med naive sannhet. Videre blir det vist at logikken kan håndterer "hevn" problemer på en adekvat måte. This is a thesis on logic an naive truth. I show that there is a simple, but sufficiently strong, logic that is consistent with naive truth. I further show that this logic can handle "revenge" problems adequately.