En lógica proposicional , importación-exportación es un nombre que se le da a la forma proposicional de Exportación :
Esto ya es válido en la lógica mínima y, por tanto, también en la lógica clásica , donde el operador condicional " " se toma como implicación material . En la correspondencia Curry-Howard para la lógica intuicionista, se puede realizar currying y descurrying.
Importación-exportación expresa una forma argumentativa deductiva . En términos de lenguaje natural , la fórmula establece que las siguientes oraciones en inglés son lógicamente equivalentes : [1] [2] [3]
Hay lógicas en las que no se cumple y su estatus como verdadero principio de lógica es un tema de debate. La controversia sobre el principio surge del hecho de que cualquier operador condicional que lo satisfaga colapsará hasta convertirse en una implicación material cuando se combine con otros principios determinados. Esta conclusión sería problemática dadas las paradojas de la implicación material , que comúnmente se consideran para demostrar que los condicionales del lenguaje natural no son implicaciones materiales. [2] [3] [4]
Esta conclusión problemática puede evitarse en el marco de la semántica dinámica , cuyo poder expresivo permite definir un operador condicional no material que, sin embargo, satisface la importación-exportación junto con los demás principios. [3] [5] Sin embargo, otros enfoques rechazan la importación-exportación como principio general, motivados por casos como el siguiente, pronunciados en un contexto donde lo más probable es que la cerilla se encienda arrojándola a una fogata, pero donde sea posible que se encienda al golpearlo. En este contexto, la primera frase es intuitivamente verdadera pero la segunda es intuitivamente falsa. [5] [6] [7]