Extensionale Semantik ist die formalsprachliche Definition der Bedeutung eines Sachverhalts. Das kann geschehen, indem alle zulässigen Ausprägungen des Sachverhalts angegeben werden. Ebenfalls möglich ist es, eine endliche Anzahl von wahren Sätzen über den Sachverhalt aufzuzählen.

Manche Sachverhalte können kaum extensional beschreiben werden. Trotzdem haben diese Sachverhalte eine implizite Semantik. Die Erkenntnistheorie nennt dies dann die intensionale Semantik.