Posts with tag "CTP Theory"

Unifying Claims and Theories in CTP Theory

Mar 09, 2020

In CTP Theory, there are two basic types of ideas (not including problems, which are treated as separate entities): claims and theories. Claims are simply instances of some kind of data structure that represent some proposition about the world, while theories are functions that take in one or more claims as inputs and return a claim as an output. I think this framework is productive in that it allows for a very rigorous explanation of how the implications of ideas can be explored: If using a set of claims C as an input to a theory T produces a new claim N, N is an implication of T and C (in other words, N can be derived from C and T). Read More

Tags: AGI epistemology CTP Theory

Does CTP Theory Need a new Type of Problem?

Nov 15, 2019

In CTP Theory as it is now, a problem is created whenever there are two directly contradictory claims, and the set of theories involved in a problem includes every theory involved in either of the claim's lineage. This framework is good for capturing factual contradictions (more specifically, contradictions between two statements of fact), and tracking exactly which theories are involved in the contradiction. However, I worry that not all problems can be boiled down to factual contradictions. Read More

Tags: AGI CTP Theory epistemology

CTP Theory: A Critical Rationalist approach to AGI

Nov 01, 2019

I’ve previously argued that Critical Rationalism, the school of epistemology created by Karl Popper and expanded upon by David Deutsch, is the most promising path towards AGI that we currently have. I have developed a proposal for how to make an AGI, which is heavily inspired by Critical Rationalism, that I will describe it in this post. I call the proposal "Claim-Theory-Problem Theory", or "CTP Theory", since "claims", "theories", and "problems" are the terms I use for the three most important types of entity in the theory. CTP Theory isn’t complete, and more philosophical work is necessary to get it to the point where it can be used to create a full AGI, but I think it does solve several important epistemological questions about how to program an AGI... Read More

Tags: AGI epistemology CTP Theory