 analytic/synthetic distinction |  a priori justification and knowledge |  Aristotle, General Topics: logic |  Bolzano, Bernard: logic |  consequence, medieval theories of |  Frege, Gottlob: theorem and foundations for arithmetic |  Lewis, David: metaphysics |  logic: ancient |  logic: classical |  logic: modal |  logic: second-order and higher-order |  logical consequence |  logical constants |  logical form |  logical pluralism |  modality: varieties of |  model theory |  possible worlds |  set theory |  Tarski, Alfred: truth definitions 