Question

o que é independência semântica?

Answer 1

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.)