IMPLICACIÓN
Ha sido común en la literatura lógica confundir la implicación con el condicional sin tener en cuenta que mientras en el condicional se emplean enunciados, de acuerdo con el esquema:
p → q
que se lee:
si p, entonces q
pudiendo tener como ejemplo:
Si Shakespeare fue un dramaturgo, Lavoisier fue un químico,
en la implicación se emplean nombres de enunciados, de acuerdo con el esquema:
‘p’ implica ‘q’
que puede tener como ejemplo:
‘Shakespeare fue un dramaturgo’ implica ‘Lavoisier fue un químico’.
La confusión citada se debe al olvido de la diferencia entre la mención y el uso. Ahora bien, ello no significa que no pueda emplearse la expresión ‘implica’ al hablar de un condicional. Lo que sucede es que tal expresión debe restringirse a las ocasiones en las cuales el condicional es lógicamente verdadero. Por este motivo, el condicional:
Si Shakespeare fue un dramaturgo, Lavoisier fue un
