ImplicaciónImplicación (del latín in ─ plicare) se refiere al hecho de que hay algo «plegado» o doblado en el interior de algo que oculta lo que hay en su interior, de forma que lo interior no es visible o perceptible aunque esté ahí.La implicación es contrapuesta al término explicación (del latín ex ─ plicare), que es el hecho de desplegar lo que está plegado; sacar al exterior, hacer visible, o comprensible, aquello que está “implicado” en el interior de algo que lo hacía oculto o no comprensible.La realidad del mundo como un orden implicadoLa realidad del mundo no se nos manifiesta como un conjunto de cosas o de hechos aislados, sino que, por el contrario, aparece como un proceso, como un conjunto de hechos y de cosas relacionados entre sí de forma que unas cosas "dependen" de otras, unos hechos "suceden" a otros, o suceden "siempre y cuando" se dé un "orden" entre determinadas circunstancias etc. etc.Estas relaciones en las que unas cosas dependen de otras, o unos hechos suceden a otros, solemos comprenderlas, de forma general, bajo la idea de causa.1El conocimiento del mundo lo elaboramos a través de unos datos captados por los sentidos; y lo manejamos conceptual y lingüísticamente y lo comunicamos a los demás según interpretamos la realidad y "creemos" que conocemos el mundo como realidad.La cadena de causas y sus efectos constituyen una nueva causa con un efecto del conjunto: Causa y efecto paralelo"Si llueve el suelo está mojado""Cuando llueve el suelo está mojado""Siempre que llueve el suelo está mojado" "Llueve, luego el suelo está mojado""Llueve, por tanto, el suelo está mojado" etc.Que de forma general vienen a decir que:"El suelo está mojado porque llueve""La lluvia causa que el suelo esté mojado""El suelo está mojado a consecuencia de la lluvia""Todas las lluvias mojan el suelo"Y cualquier otra expresión o enunciado que establezca como significado "unas relaciones semejantes".En el cálculo lógico de deducción natural este tipo de expresiones se formalizan simbólicamente como:
que se interpretan como más adelante se explica; siendo causa o conjunto de causas y efecto o conjunto de efectos
