Tarski and Arbitrariness

The theorem is obvious because if the notion of truth was definable with in a system, then the system would then able to define the truth of its own formula for truth... and if it could do that then it could just as easily have said that its own truth was false.

The issue is one of Arbitrariness.

Arbitrariness is removed when a system does not determine itself, but when a system can determine itself then it can determine itself either way and so the definition becomes arbitrary.

So the difference between either-way and this way is to do with the difference between self and other.

I my life and philosophy the great problem has been to escape the argument that everything is arbitrary and it doesn't matter which way things go.

It seems it may be to do with whether we take ourselves as originary or other people and the outside world.

This is the main teaching of religions that we should put other people first. This teaching removes arbitrariness. Failure to do so creates arbitrariness which when it takes hold means things (for us) can go any way and is called madness.

Seems all things (for me at least) are connected in these very simple ideas I'm trying to explore in the SRH thread.