MENCIÓN
Se distingue hoy entre el uso y la mención de los signos. Un signo usado es un nombre de la entidad designada por el signo. Un signo mencionado es un nombre de sí mismo. Así, en:
(1) Granada es una ciudad hermosa
el nombre ‘Granada’ se refiere a la ciudad de Granada, a la cual atribuimos la propiedad de ser hermosa. En:
(2) ‘Granada’ tiene siete letras
el nombre ‘Granada’ se refiere a sí mismo: es el nombre ‘Granada’ y no la ciudad de Granada lo que tiene siete letras. En (1) el nombre ‘Granada’ es usado; en (2) el mismo nombre es mencionado. Para distinguirlos del resto de la expresión, los nombres mencionados son colocados entre semicomillas. Distinguimos en este
