Die Semantik, oder Bedeutungslehre, hat verschiedene methodische und inhaltliche Ausprägungen. Es gibt viele Einführungen in die Semantik. Die modernste und derzeit beste allgemeine Einführung in die linguistische Semantik ist die von John Saeed.
Zur Klärung des Gegenstandsbereichs der Semantik ist es n nützlich, die grundlegende Terminologie zu kennen.
Nach geläufigen Minimalmodellen für sprachliche - und andere - Zeichen, die eine sehr lange Geschichte in der Philosophie haben und in der Linguistik auf Ferdinand de Saussure im ersten Viertel des 20. Jh. zurückgehen, hat ein Zeichen eine binäre Struktur:
Es gibt aber eine Vielzahl von Zeichenmodellen, die zu verschiedenen Zwecken in der heutigen Linguistik und Computerlilnguistik verwendet werden. Dieses einfache, binäre Modell reicht z.B. nicht aus, um die sprachliche Pragmatik zu beschreiben; hierfür muß mindestens der Begriff eines Sprechers und/oder Hörers eingeführt werden. Eine interessante Definition stammt vom Logiker und Sprachphilosophen Carnap:
Aufgabe: Definitionen suchen!
Aufgabe: Definitionen suchen!
Aufgabe:
Suchen Sie Kurzcharakterisierungen dieser Theorien, mit Beispielen, im Internet, und fügen Sie sie in Ihr Text-Dossier ein.
Der Kern jeder formalen Semantik stellt das Aussagenkalkül (propositional calculus) dar, mit dem eine Paraphrase- oder Übersetzungsmethode der semantischen Explikation angewendet wird.
Diese Methode geht von der Beobachtung aus, daß Sätze der natürlichen Sprachen eine oft bedeutungsverschleiernde Eigenschaften haben:
Aus den logisch-mathematischen Arbeiten von Frege im späten 19. Jh. und von Russell im frühen 20. Jh. entstand die Analytische Philosophie, die Logiken entwickelte, denen präzise, eindeutige, kompositionelle Semantiken zugewiesen werden.
Zu einer solchen Semantik gehören
, 
sind Sätze. Sätze sind, dann sind 
ebenfalls Sätze.
Seit Wittgenstein im frühen 20. Jh. ist aber auch die Methode der Wahrheitstafeln bekannt, mit denen die Wahrheitswerte komplexer Ausdrücke kompositionell aus den Wahrheitswerten der Teile berechnet werden können, z.B.
| p |  p |
| T | F |
| F | T |
| p | q | p  q |
| T | T | T |
| F | T | F |
| T | F | F |
| F | F | F |
| p | q | p  q |
| T | T | T |
| F | T | T |
| T | F | T |
| F | F | F |
| p | q | p  q |
| T | T | T |
| F | T | T |
| T | F | F |
| F | F | T |
Später entwickelten sich aus dieser Methode, in denen eine Tabellenstruktur als Modelle zur Interpretation von Sätzen dient, die Grundlagen der Modelltheorie, die heute zu den Standardmethoden der formalen Semantik gehört. Dies gilt unter anderem, weil die Modelltheorie eine zusätzliche Dimension der Explication der Relation zwischen Zeichen und Welt eröffnet und nicht nur eine formale Paraphrase natürlichsprachlicher Sätze bietet.
In der traditionell orientierten linguistischen Semantik wird demgegenüber sehr viel mit der traditionellen Paraphrasemethode gearbeitet.
Aufgaben:
Natürlich macht die Semantik natürlicher sprachen nicht bei Sätzen Schluß. In der Textsemantik werden komplexe Bedeutungszusammenhänge zwischen Sätzen modelliert, wie etwa: