Tarski's T-schema (S is true iff P) provides a formal criterion for meaning that avoids circular app...
This proposition has not been edited since the history system was added.