 diagrams |  geometry: in the 19th century |  logic: classical |  logical consequence |  logical truth |  mathematics, philosophy of |  models in science |  physics: intertheory relations in |  physics: structuralism in |  square of opposition |  Tarski, Alfred |  Tarski, Alfred: truth definitions 