Na
lógica,
semântica formal OU
lógica semântica, é 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.)
Os valores-verdade de várias sentenças das quais podemos encontrar em
argumentos irão depender de seus significados, e, assim, lógicos conscientes não podem evitar completamente a necessidade de dar algum tratamento ao significado dessas sentenças. A
semântica da lógica refere-se às abordagens que lógicos introduziram para compreender e determinar a parte do significado em que eles estão interessados; o lógico tradicionalmente não está interessado na sentença como proferida, mas na
proposição, uma sentença idealizada adequadamente para manipulação lógica.