O que é semântica formal?

A Semântica Formal considera como uma propriedade central das línguas humanas o ser sobre algo, isto é, o fato de que as línguas naturais são utilizadas para estabelecermos uma referencialidade, para falarmos sobre objetos, indivíduos, fatos, eventos, propriedades... descritos como externos à própria língua. (...) Por essa razão, na Semântica Formal, o significado é entendido como uma relação entre a linguagem por um lado, e, por outro, aquilo sobre o qual a linguagem fala.” (Müller e Viotti, p. 139)