I have learned that truth is what corresponds to reality based on the Correspondence Theory of Truth. but how do we use a theory to describe something that is absolute like truth? The Correspondence theory is not exactly a fact. Its a theory. How do we prove that the theory is true in and of itself?

# Can we use a theory to describe what truth is?

@tabjohn0329 Great question It would obvious be circular reasoning to use the correspondence theory of truth to show that the correspondence theory of truth is true, so how can we test it?

I think what you would need to do is use a *proof by contradiction*. The way this works is that you assume that a proposition is false and then show that assuming the proposition to be false leads to a contradiction. It would work something like this for the correspondence theory of truth:

- because the correspondence theory of truth is false, it is valid to say that the sky is green
- that is a contradiction because we know that the sky, in the real world, is blue
- therefore, the correspondence theory of truth is correct

I suspect the actual proof would be quite a bit more complex, but that gives you the general idea.

In addition to the great points @SeanO made, I would point you to the idea of a â€śproperly basic belief.â€ť This is a belief that is so obvious that to question it would be to question all of reality. To deny a properly basic belief would be to veer off into radical skepticism. The idea that truth is that which corresponds to reality would fall into this category. Reality is true and that which is true will correspond to reality. There will not a mathematical proof for this, just as there is no mathematical proof that my hair is brown. Yet, we can know that it is brown through our experience. Perhaps this idea could be useful to you.

Thank you for the clarification Sean!

Thanks Joshua!