¿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. Es decir, cuando se preguntan si tal o cual relación entre (conjuntos de) proposiciones o fórmulas es o no una relación de consecuencia lógica. 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...