GHFUEY

Implicación
Para otros usos de este término, véase compromiso.
Implicació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 desplegarlo 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.
Índice
1 La realidad del mundo como un orden implicado
2 Implicación y Condicional
3 Implicación lógica
4 La implicación en la lógica actual
5 Véase también
6 Notas y referencias
7 Bibliografía
La realidad del mundo como un ordenimplicado[editar]
La 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.
Estasrelaciones en las que unas cosas dependen de otras, o unos hechos suceden a otros, solemos comprenderlas, de forma general, bajo la idea de causa.1
El 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.
Estacreencia en el modo de conocer el mundo como relación de causas, la expresamos en el pensamiento y el lenguaje mediante las oraciones condicionales que en lógica se formalizan lingüísticamente2 como:


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"
"Siempreque 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:

A \rightarrow B

que se interpretan como más adelante se explica; siendo A causa o conjunto de causas y B efecto o conjunto de efectos.

Al percibir algunas cosas o algunos hechos, "esperamos", "creemos", que van a suceder otras; o "suponemos" que estascosas suceden porque antes han sucedido otras. En otras palabras damos por supuesto que unas cosas implican otras y los hechos están implicados unos en otros. Nuestra percepción del mundo en un "momento dado" nos lleva a interpretarlo según unas condiciones pasadas y expectativas de un mundo de posibilidades. Hoy tenemos conciencia de que la pretensión del la comprensión científica del mundo consisteen "construir teorías científicas", es decir:
Primero es el establecimiento del sistema de referencia. Segundo es el esbozo de posibilidades. El tercero es la intelección del fundamento posibilitante de lo real.

Zubiri.Inteligencia y razón. p.222
3
Esta implicación de las cosas y los hechos del mundo suceden no de forma arbitraria sino de forma legal, conforme a leyes. El mundo se nosmanifiesta conforme a unas «leyes naturales» según las cuales las cosas suceden así por "necesidad", porque tienen que ser así, y no de forma arbitraria, "por voluntad de los dioses" o el "azar".4
Al expresar nuestro conocimiento por medio del lenguaje, utilizamos unas reglas gramaticales y lógicas que, aunque no las conozcamos, las manejamos de forma inconsciente y natural. Pero mediante ellas,...