Na  lógica ,  semântica formal   ou  lógica semântica, [1] [2] [3]   é o estudo da  semântica   ou  interpretações   (idealizações) de  linguagens naturais   e  formais , geralmente tentando captar a noção pré-teórica de  vínculo . (apesar de ambos  linguística   e lógica reividicarem o fornecimento de teorias na linguagem natural, de acordo com  geach , a lógica normalmente ignora o "idiotismo do idioma", e vê as linguagens naturais como  idiomas   confusos de interesses não-lógicos.) [4]