¿Tiene sentido hablar de negaciones en plural?
Sigue sorprendiéndome cuando la gente usa términos lógicos fundamentales como “consecuencia lógica”, “negación”, “disyunción”, etc. en plural. Me cuesta trabajo entender qué quieren decir. Mucho mas cuando se preguntan si X o Y operación (entre conjuntos de valores de verdad) o conectiva (definida por sus reglas de introducción o eliminación, o implícitamente por sus axiomas) o relación entre conjuntos de fórmulas, proposiciones o enunciados cae sobre la extensión de dichos términos plurales. I José Antonio Pardo me respondió que "en ciertos contextos es perfectamente inteligible hablar, digamos, de "negaciones": la intuicionista y la clásica" En otras palabras, si no he malentendido su comentario, Pardo propone como un buen ejemplo paradigmático de lo que pueden ser dos negaciones, a las negaciones intuicionista y clásica. Pero por el contrario, este ejemplo precisamente sirve para ilustrar lo oscuro de la noción misma. Después de todo, ni la intuicionista n