"Tractatus Logico-Philosophicus ", by the young Ludwig Wittgenstein, introduced the view of philosophy as " critique of language ", offering the possibility of a theoretically principled distinction of intelligible versus nonsensical discourse . " Tractatus " adhered to a correspondence theory of truth ( versus a coherence theory of truth ).
32.
The Principle of Avoiding Circularity ( PAC ) is stated as follows : " For all x, if a person, S, has a justification for x, then for all y, if y is in the evidential ancestry of x for S, then x is not in the evidential ancestry of y for S . " PAC says that the proposition to be justified cannot be a member of its own evidential ancestry, which is violated by coherence theories of justification.