Se ha sostenido que una negación "genuina" es un operador que, aplicado a un enunciado, forma su contradictorio. Dado que, por definición, dos enunciados son contradictorios si y sólo si es lógicamente imposible que ambos sean verdaderos y lógicamente imposible que ambos sean falsos, se ha argumentado que las negaciones de ciertas lógicas paraconsistentes no son negaciones "reales" porque permiten que tanto un enunciado como su negación reciban un valor designado. En este trabajo se sostiene que, teniendo en cuenta ciertos resultados de Carnap, este mismo tipo de argumento puede ser dirigido contra la negación de la lógica proposicional clásica.