Interpretatie (logica)

Met interpretatie wordt in de logica de extensie van symbolen en strings aan de hand van tupels bedoeld. Een interpretatiefunctie met het predicaat L (van "lang") kan op deze manier bijvoorbeeld de extensie {bo} (van "Barack Obama") krijgen. De uitkomst van deze logische interpretatie is dat Barack Obama lang is.

Elke natuurlijke of formele taal kan op deze manier onderzocht worden en heet dan objecttaal. De op deze manier meest bestudeerde formele talen zijn de propositielogica en de predicatenlogica.

Met behulp van logische interpretaties kan vaak maar niet altijd ook de waarheidswaarde van zowel taalkundige als wiskundige zinnen worden bepaald. Wanneer een zin of wiskundige theorie de waarheidswaarde Waar heeft, krijgt de interpretatie de vorm van een grammaticamodel of wiskundig model. Om het wiskundige karakter te benadrukken wordt in dit verband vaak een binaire notatie gehanteerd, waarbij 1 bijvoorbeeld voor Waar staat en 0 voor Niet-waar.