Posts with tag "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