A Semântica Formal teve a contribuição de um matemático e lógico: o alemão Frege (1848 – 1925). Este analisou uma relação de sentido que diz respei...

A Semântica Formal teve a contribuição de um matemático e lógico: o alemão Frege (1848 – 1925). Este analisou uma relação de sentido que diz respeito à pressuposição. De acordo com a Ciência do Significado e Frege, é possível considerar corretas as alternativas abaixo em relação à oração Ana deixou de cuidar dos filhos, EXCETO: Sentenças cuja pressuposição de existência é falsa, têm referência, mas não têm sentido, segundo Frege. Há um desdobramento de interpretação da oração, justificado pela presença do verbo deixar de, que acompanhado do verbo cuidar indica que num dado momento do passado Ana cuidava dos filhos, e que no momento atual isso não acontece. Frege afirma que essa pressuposição existencial não é semântica, visto que se fosse a negação da sentença seria ambígua. Essa pressuposição faz parte das condições de verdade da sentença, mas não de seu sentido.