Atualmente, a semântica constitui uma ciência tão produtiva e relativamente abrangente dentro do campo dos estudos da linguagem que podemos falar de várias semânticas, ou, mais especificamente, de várias teorias semânticas. Uma teoria que faz parte dessa abordagem é a teoria denominada semântica formal. Qual teoria semântica de abordagem investiga os significados em função da relação entre as palavras e as entidades do mundo que essas palavras devem representar?