Conectivas contractivas no condicionales

Ponente(s): Elisángela Ramírez Cámara, Luis Estrada González

Una afirmación ampliamente aceptada es que las conectivas contractivas son condicionales. Restall (1993) dice: “Un operador que satisfaga las tres condiciones [que definen a una conectiva contractiva] es considerado como una implicación contractiva”. Esto es repetido por Rogerson y Butchart (2002). Beall y Murzi (2013) dicen que “cualquier conectiva que exhiba [las tres condiciones que definen a una conectiva contractiva] es suficientemente cercana alcomportamiento de un condicional como para ameritar ser etiquetada como una ‘[paradoja de] c-Curry’”, esto es, “la paradoja de Curry condicional estándar”. Aquí daremos algunos ejemplos que muestran que, en general, una paradoja de Curry que involucra una conectiva contractiva no siempre es un caso de una paradoja c-Curry.