Al lado de la estructura gramatical, la descripción completa de un lenguaje natural debe incluir una teoría semántica. No obstante, hasta la fecha, y a pesar del gran auge de la semántica en las últimas décadas, las formulaciones han tendido a dispersarse por rumbos filosóficos y han contribuido muy poco a la definición de la forma que una teoría semántica requiere a fin de ser lingüísticamente aprovechable. El hecho fundamental que ha de explicar una teoría semántica. es la capacidad que tiene todo hablante de un lenguaje para determinar el sentido de una oración a partir de los significados de sus componentes.