NEGACIÓN

En el artículo Negativo nos hemos referido al uso de este término en las expresiones ‘proposición nega­tiva’ y ‘juicio negativo’, tan corriente en la ló­gica tradicional. Aquí trataremos en general del concepto de negación. Aunque tal análisis será primariamente lógico, mencionaremos también, como complemento a lo dicho en el artículo Nada, algunas de las cuestio­nes metafísicas (o, según algunos autores, «pre-lógicas») suscitadas por dicho concepto.

«Negación» es el nombre que recibe la co­nectiva singular ‘no’. Esta conectiva es simbolizada por ‘¬’, de modo que

¬ p

se lee:

no p

y puede tener como ejemplo:

Sócrates no es japonés,

forma idiomática de las expresiones:

No (Sócrates es japonés)

o:

No es el caso que Sócrates sea japonés.

Es muy común (y ha sido usado en anterio­res ediciones de esta obra) el signo ‘∼’.  Algu­nos autores han propuesto el signo ‘—’ so­brepuesto