 analytic/synthetic distinction |  Aristotle, General Topics: logic |  descriptions |  Frege, Gottlob: theorem and foundations for arithmetic |  logical constants |  Tarski, Alfred: truth definitions |  truth: revision theory of |  type theory 