Conectivas contractivas no condicionales

Autor: Elisángela Ramírez Cámara
Coautor(es): 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.