1. REDIRECIONAMENTO Semântica formal (lógica)

Uma linguagem formal pode ser definida longe de qualquer interpretação disso. Isso é feito por uma designação de um conjunto de símbolos (também chamados de alfabeto) e um conjunto de regras de formação (também denominadas de gramática formal) que determinam quais cadeias de caracteres de simbolos são fórmulas bem formadas. Quando as regras de transformação (também denominadas regras da inferência) são adicionadas, e certas sentenças são aceitas como axiomas (juntos são chamados um sistema dedutivo ou um aparato dedutivo) um sistema lógico é formado. Uma interpretação de uma linguagem formal é (grosseiramente falando) uma atribuição de significados à seus símbolos e condições-verdade (valores-verdade) às suas sentenças.

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.