menção

Distingue-se hoje entre o uso e a menção dos signos. Um signo usado é o nome da entidade designada pelo signo. Um signo mencionado é o nome de si mesmo. Assim, em: “Granada é uma linda cidade”, o nome Granada refere-se à cidade de Granada, à qual atribuímos a propriedade de ser linda. Em: “Granada” tem sete letras, o nome Granada refere-se a si mesmo: é o nome “granada” e não a cidade de Granada que tem sete letras. No primeiro exemplo, o nome Granada é usado; no segundo exemplo, o nome é mencionado.

A distinção entre o uso e a menção encontra-se intimamente relacionada com a teoria da hierarquia das linguagens a que nos referimos no artigo sobre a noção de metalinguagem.. Os lógicos medievais já tinham admitido essa distinção. [Ferrater]