Advanced

A Digital Theory of Knowledge

Rönn, Kristian LU (2012) FTEA21 20121
Theoretical Philosophy
Abstract (Swedish)
The goal with this paper is to formally define knowledge from the assumption that our universe is computable. Based on this assumption, we will formulate a minimalist ontology that will be the theoretical basis for our formal definition of knowledge. We will use the classical definitions of knowledge like "reliabilism" (RTB) and "justified true belief" (JTB) as our starting point and formally translate them to our digital framework. To do this we will investigate what it means for a process to be as reliable as possible, in a theoretical sense, by presenting Ray Solomonoff's induction as a solution to the shortcomings with Baysian inference. We will then criticize JTB and RTB and in the spirit of Rudolf Carnap's idea of explications... (More)
The goal with this paper is to formally define knowledge from the assumption that our universe is computable. Based on this assumption, we will formulate a minimalist ontology that will be the theoretical basis for our formal definition of knowledge. We will use the classical definitions of knowledge like "reliabilism" (RTB) and "justified true belief" (JTB) as our starting point and formally translate them to our digital framework. To do this we will investigate what it means for a process to be as reliable as possible, in a theoretical sense, by presenting Ray Solomonoff's induction as a solution to the shortcomings with Baysian inference. We will then criticize JTB and RTB and in the spirit of Rudolf Carnap's idea of explications stipulate two, mutually inclusive and complementary definitions of knowledge that we will call "generative knowledge" and "absolute knowledge". (Less)
Please use this url to cite or link to this publication:
author
Rönn, Kristian LU
supervisor
organization
alternative title
Digital Kunskapsteori
course
FTEA21 20121
year
type
M2 - Bachelor Degree
subject
keywords
Solomonoff, Kolmogorov, complexity, Turing, digital philosophy, ontology, epistemology, reliabilism, Bayes.
language
English
id
2856260
date added to LUP
2012-07-27 14:29:47
date last changed
2012-07-27 14:29:47
@misc{2856260,
  abstract     = {The goal with this paper is to formally define knowledge from the assumption that our universe is computable. Based on this assumption, we will formulate a minimalist ontology that will be the theoretical basis for our formal definition of knowledge. We will use the classical definitions of knowledge like "reliabilism" (RTB) and "justified true belief" (JTB) as our starting point and formally translate them to our digital framework. To do this we will investigate what it means for a process to be as reliable as possible, in a theoretical sense, by presenting Ray Solomonoff's induction as a solution to the shortcomings with Baysian inference. We will then criticize JTB and RTB and in the spirit of Rudolf Carnap's idea of explications stipulate two, mutually inclusive and complementary definitions of knowledge that we will call "generative knowledge" and "absolute knowledge".},
  author       = {Rönn, Kristian},
  keyword      = {Solomonoff,Kolmogorov,complexity,Turing,digital philosophy,ontology,epistemology,reliabilism,Bayes.},
  language     = {eng},
  note         = {Student Paper},
  title        = {A Digital Theory of Knowledge},
  year         = {2012},
}