Seit Ch.S. Peirce und Ch. Morris teilt man das Forschungsgebiet der Logik (qua Semiotik) in der Regel ein in drei große Bereiche: Syntax, Semantik und Pragmatik. Während die Syntax die Beziehung zwischen den Zeichen (die formale Struktur der Ausdrücke), die Pragmatik die Beziehung zwischen Zeichen, Designat und Zeichenbenutzer behandelt, geht es in der Semantik um die Beziehung zwischen Zeichen und Bezeichnetem, m.a.W. um die Denotationsseite der Sprache. (Cf. Curry,1961, S. 59). "Semantics is a discipline which ... deals with certain relations between expressions of a language and the objects (or ‚states of affairs") ‚referred to" by those expressions." (Tarski, 1952, S. 17).