Coherence theory of truth in philosophy