 analytic/synthetic distinction |  Davidson, Donald |  definitions |  logic: modal |  logic: substructural |  logic: temporal |  logical consequence |  logical form |  semantics: proof-theoretic |  Tarski, Alfred: truth definitions 