Implicacin

De Wikipedia, la enciclopedia libre Implicacin (del latn 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 implicacin es contrapuesta al trmino explicacin (del latn 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 haca oculto o no comprensible.

ndice
1 La realidad del mundo como un orden implicado 2 Implicacin y Condicional 3 Implicacin lgica 4 La implicacin en la lgica actual 5 Vase tambin 6 Notas y referencias 7 Bibliografa

La realidad del mundo como un orden implicado

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. 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.1 El conocimiento del mundo lo elaboramos a travs de unos datos captados por los sentidos; y lo manejamos conceptual y lingsticamente y lo comunicamos a los dems segn interpretamos la realidad y "creemos" que conocemos el mundo como realidad. Esta creencia en el modo de conocer el mundo como relacin de causas, la expresamos en el pensamiento y el lenguaje mediante las oraciones condicionales que en lgica se formalizan lingsticamente2 como: "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 expresin o enunciado que establezca como significado "unas relaciones semejantes".
La cadena de causas y sus efectos constituyen una nueva causa con un efecto del conjunto: Causa y efecto paralelo

En el clculo lgico de deduccin natural este tipo de expresiones se formalizan simblicamente como:

que se interpretan como ms adelante se explica; siendo de efectos.

causa o conjunto de causas y

efecto o conjunto

Al percibir algunas cosas o algunos hechos, "esperamos", "creemos", que van a suceder otras; o "suponemos" que estas cosas suceden porque antes han sucedido otras. En otras palabras damos por supuesto que unas cosas implican otras y los hechos estn implicados unos en otros. Nuestra percepcin del mundo en un "momento dado" nos lleva a interpretarlo segn unas condiciones pasadas y expectativas de un mundo de posibilidades. Hoy tenemos conciencia de que la pretensin del la comprensin cientfica del mundo consiste en "construir teoras cientficas", es decir:
Primero es el establecimiento del sistema de referencia. Segundo es el esbozo de posibilidades. El tercero es la inteleccin del fundamento posibilitante de lo real. Zubiri.Inteligencia y razn. p.222
3

Esta implicacin de las cosas y los hechos del mundo suceden no de forma arbitraria sino de forma legal, conforme a leyes. El mundo se nos manifiesta conforme a unas leyes naturales segn 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 lgicas que, aunque no las conozcamos, las manejamos de forma inconsciente y natural. Pero mediante ellas, creemos que conocemos y expresamos la realidad del mundo. Pensamos que el conocimiento, cuando es una interpretacin adecuada de la realidad, es verdadero. Pero otras veces nos causa admiracin cuando sentimos ignorancia.
Pues los homb res comienzan y comenzaron siempre a filosofar movidos por la admiracin; al principio, admirados ante los fenmenos sorprendentes ms comunes; luego avanz ando poco a poco y plantendose prob lemas mayores, como los camb ios de la luna y los relativos al sol, las estrellas y a la generacin del universo. Pero el que se plantea un problema o se admira, reconoce su ignorancia, por eso tamb in el que ama los mitos es en cierto modo filsofo, pues el mito se compone de elementos que dejan estupefacto. De suerte que, si filosofaron para huir de la ignorancia, es claro que b uscab an el sab er en b usca del conocimiento, y no por ninguna utilidad Aristteles. Metafsica, 982,b.11-32. (sin subrayar en el original)

Cuando reflexionamos sobre el fundamento de nuestro conocimiento y que dicho conocimiento es producto de nuestra interactuacin con la realidad, puesto que nosotros somos parte de la misma y del mismo proceso, esta reflexin es el fundamento del pensamiento racional que da lugar a la ciencia y a la filosofa.5 El conocimiento de la ciencia y de la reflexin filosfica supone una gran depuracin del conocimiento vulgar. De ah que la nocin de causa, de implicacin, de ley cientfica, la misma nocin de experiencia en el contexto cientfico y filosfico, aunque tengan el mismo fundamento que la nocin corriente, requiere un proceso de depuracin o formalizacin para adecuar las nociones lo mejor posible al contenido experimental (que no es lo mismo que la experiencia) de las mismas 6 El comprender la realidad del mundo en sus "implicaciones" se hace mediante las "explicaciones" de la ciencia.

La ciencia, por su parte, como pensamiento racional, se somete a unas reglas de razonamiento o funcionamiento

La ciencia, por su parte, como pensamiento racional, se somete a unas reglas de razonamiento o funcionamiento de la razn, conocidas, elaboradas y formalizadas, que es lo que normalmente entendemos por lgica y mtodo.7 En este artculo consideramos la "implicacin" en su sentido meramente lgico. Reservando la explicacin al mbito de una lgica emprica, que habla del mundo de la experiencia conforme a un mtodo cientfico y que es lo que consideramos como Ciencia. La implicacin lgica requiere algunas precisiones para su correcta comprensin:

Implicacin y Condicional
Aunque en el lenguaje ordinario no suele tener importancia esta distincin, en su sentido lgico y cientfico las diferencias pueden tener un sentido importante.8 Tanto el condicional como la implicacin en el clculo lgico se expresan segn el esquema A B, que puede leerse de dos formas:

Se simboliza

Se lee

Ejemplo

Si A

entonces

"Si hoy es Martes entonces maana es Mircoles".

A implica

"Hoy es Martes", por tanto "maana es Mircoles".

En el primer caso hemos ledo un condicional. En el segundo una implicacin. 1.- Observamos que, en su escritura, la expresin lingstica, en tanto que enunciado, difiere de forma fundamental en el uso de las comillas: "Si A entonces B" es una y nica proposicin y como tal una nica afirmacin; por tanto, su interpretacin lgica tiene dos valores posibles de verdad, es decir, puede ser verdadera o falsa . Su tabla de valores de verdad nos indica que solamente es falsa en el caso en que A sea verdadera y B sea falsa; en los dems casos posibles es verdadera. Pero a falta de informacin complementaria no podemos afirmar ni su verdad ni su falsedad. En "A implica B" hay dos proposiciones y, por tanto, dos afirmaciones.9 Pero el valor de cada una es diferente. De modo que afirmando "A", como sentencia verdadera en su contenido semntico, se exige la afirmacin de "B" como sentencia verdadera en su contenido semntico. Dicho de otra manera, la afirmacin de la segunda depende de la validez de la primera. 2.- Lo condicional es una afirmacin hipottica sobre una relacin meramente formal. si se da una condicin (antecedente), tiene que darse tambin lo condicionado (consecuente). El hecho de que no se d la condicin no afecta al hecho de que se d o no se d lo condicionado. En la implicacin, sin embargo, la relacin se establece sobre sentencia en su condicin de "contenido semntico". A debera tomarse como afirmacin sobre "A"; y B como afirmacin sobre "B". Mientras el condicional es una relacin meramente sintctica, la implicacin exige adems una relacin semntica. En este segundo caso la condicin responde a un contenido material. As pues implicacin debe entenderse como: La verdad de A exige, o lleva implcita, es decir implicada, la verdad de B. Lo que nos viene a sugerir que: Se debe reservar la implicacin slo a los casos en los que la condicin es siempre verdadera

Un ejemplo que solemos usar en el lenguaje ordinario puede servir de ejemplo para lo que intentamos decir. Cuando alguien est contando algo que el oyente considera una fantasa que no puede ser admitida de ningn modo como verdadera, es frecuente, en espaol, que el oyente manifieste su incredulidad diciendo: Si esto es verdad, yo soy el Papa de Roma. Si interpretamos dicha expresin como un condicional, entonces la proposicin como tal es lgicamente verdadera, puesto que, partiendo de la falsedad del antecedente, el valor de verdad del consecuente no incide en la verdad del condicional como verdad formal, segn las tablas de verdad. Pero si lo interpretamos como una implicacin: Lo que dices implica que yo soy el Papa de Roma, entonces no tiene sentido alguno. Porque Lo que dices (como significado) no tiene nada que ver conmigo ni con el Papa de Roma (como significado), y es por tanto un absurdo. "Si esto es un tringulo entonces la suma de sus ngulos tendr que ser 180", es una afirmacin hipottica, por tanto dbil, mnima, similar en su forma a la anterior. Mientras que "Esto es un tringulo implica que (por tanto) la suma de sus ngulos sea (son) 180", es una afirmacin plena en su contenido. Para la prueba argumentativa, o derivacin formal en un clculo, basta la afirmacin mnima hipottica, por lo que en la prctica del clculo formal lgico no es necesario tener en cuenta esta distincin, no as en las afirmaciones con pretensin de verdad cuando hablamos del mundo.

Condicional e implicacin
Condicional "Si llueve el suelo est mojado" Afirmacin formal e hipottica, que no habla del mundo Afirmacin con contenido de verdad y habla del mundo. Implicacin "Llueve, por tanto el suelo est mojado" Equivale materialmente a la afirmacin doble: "Llueve" y "el suelo est mojado"

Implicacin lgica
La implicacin supone un contenido semntico adems de formal. Un sistema lgico se define como una estructura compuesta por un lenguaje formal junto con una relacin binaria de consecuencia semntica (o implicacin lgica) o una relacin binaria de consecuencia sintctica (derivabilidad), o ambas. La relacin de consecuencia semntica se define con respecto a una clase de estructuras y la relacin de consecuencia sintctica, con respecto a un sistema de pruebas .10 El clculo lgico formal sirve para establecer una relacin, o derivacin entre una condicin y su condicionado, o el establecimiento de una afirmacin hipottica. Si las premisas son verdaderas lo es tambin la conclusin. Cuando el clculo tiene una intencin argumentativa en su contenido semntico, entonces partimos de un contenido material afirmado como verdadero, cuya verdad es condicin necesaria de la verdad de lo condicionado en la conclusin, como implicacin. Normalmente el uso lgico del pensamiento es argumentativo en este sentido, y por ello esta distincin no tiene mayor importancia en la vida ordinaria, y suele confundirse con facilidad.

La implicacin en la lgica actual

Filn de Megara, hacia el 300 a. de C. estimaba el condicional tal como hoy da se define la funcin de condicional en las tablas de verdad. Diodoro de Cronos en la misma poca, no aceptaba ms que la condicin en el sentido de implicacin. Los escolsticos distinguieron entre proposicin formalmente hipottica, la condicin y materialmente hipottica, la implicacin, y as ha perdurado en la filosofa tradicional.

En el siglo XIX Frege, Peirce, Russell y, en general los lgicos matemticos, aceptaron el sentido de Filn, mientras que Clarence Irving Lewis (1883-1964) ha defendido la postura de Diodoro. Para Lewis la implicacin como tal se refiere a la inferencia o prueba. La condicin formal, en cambio, nicamente muestra lo que ocurrira o podra ocurrir si una proposicin falsa fuera verdadera, lo que abre esta problemtica a la cuestin de la modalidad, (necesidad-contigencia, posibilidad-imposibilidad), especialmente estudiada por este autor, que ha dado lugar a la Lgica modal, de gran desarrollo actualmente. Un ejemplo explica bien lo que se quiere decir. El ejemplo antes citado "si esto que dices es verdad, yo soy el Papa de Roma" (A B), lo consideramos como una afirmacin con un contenido de verdad realmente dbil, y prcticamente sin sentido. Sin embargo "si hubieras estado aqu, el asunto se habra resuelto" (A B), tiene la misma forma sintctica, pero su contenido semntico de verdad no es comparable al anterior. Si intentamos encontrar el sentido de verdad contenido en dicha afirmacin condicional, observamos: a) La afirmacin parte del conocimiento del contenido semntico falso del antecedente, lo que se manifiesta lingsticamente en el uso del modo subjuntivo. "Si hubieras estado" "no has estado". b) El consecuente es considerado dentro de un "mundo posible", que sabemos que no ha sido real, pero podemos pensar en l como posible: "Se habra resuelto" "habra sido posible que se resolviera". De la misma forma podemos expresar un contenido semntico de verdad basado en la necesidad, como en el caso del tringulo antes citado, o en la afirmacin de un deseo, la afirmacin de una prescripcin, etc. Tal es el campo de la modalidad y la lgica modal.

Vase tambin
Consecuencia lgica Condicional material argumento

Notas y referencias
1. Faerna Garca-Bermejo A.M. Pragmatismo conceptualista: la Teora del Conocimiento de C.I.Lewis. 1994. Tesis Doctoral. UCM (Universidad Complutense de Madrid), pgs. 61-62 2. En espaol. La formalizacin lgica no depende de ninguna lengua. Estamos refirindonos a diversas formas dentro de la lengua espaola 3. Porque lo real, para la inteligencia sentiente (que conoce lo real inductivamente a partir de la experiencia, es decir perteneciendo al sistema desde el comienzo como reaccin fsica, en busca del fundamento de lo real como razn), el fundamento siempre ser comprendido tericamente es decir como un mundo de posibilidades, en su pretensin de tener un conocimiento objetivo.Lo que Wittgenstein situ en el origen de la gramtica fenomenolgica, (cfr.Sabine Knabenschuh de Porta. "Gramtica como principio experiencial: el holismo vital de Wittgenstein", en Padilla Glvez, J. (coordinador): El laberinto del lenguaje. 2007. Servicio de Publicaciones de la UCM.) Lo que hace inteligible la paradoja del gato de Erwin Schrdinger, (Roger Penrose.op. cit. p.366 y ss.), o la "realizabilidad mltiple", (Putnam) 4. No obstante la necesidad de explicacin en el hombre es tan importante que, a falta de "explicaciones mejores, los hombres imaginaron desde el comienzo explicaciones mgicas o divinas que justificaran fenmenos que de todo punto desbordaban su capacidad de "comprensin. Por ello Aristteles considera que los mitos son un primer paso para la superacin de la ignorancia porque intentan justificar las cosas que producen admiracin.Aristteles. Metafsica, 982,b.11-32. 5.
No vacilemos en extremar nuestra tesis para que se vuelva bien ntida... la aritmtica no es, como tampoco la geometra, una promocin natural de la razn inmutable. La aritmtica no est fundada en la razn. Es la doctrina de la razn la que est fundada en la aritmtica elemental. Antes de saber contar apenas sabamos qu era la razn. En general, el espritu debe plegarse a las concidiones del saber.

Bachelard, G. La filosofa del No: Ensayo de una filosofa del nuevo espritu cientfico . B. Aires. 1973. Amorrortu

6. Faerna Garca-Bermejo A.M. Pragmatismo conceptualista: la Teora del Conocimiento de C.I.Lewis. 1994. Tesis Doctoral. UCM (Universidad Complutense de Madrid), pgs. 63-64. Cfr. Evidencia (filosofa). Ver supra nota 3 7. No en vano es fundamental en cualquier ciencia su metodologa y no es casual que tantas ciencias acaben en "...lgica" 8. Padilla Glvez, J. op. cit. p. 51-52 9. Equivale a afirmar A & B, dado que se afirma la primera y dependiendo de ella la segunda tambn. 10. Proyecto de investigacin: El concepto de consecuencia lgica; modelos y hechos modales. A.E.Barrio. Instituto de Filosofa. Universidad de Buenos Aires.

Bibliografa
Bohm, D. (1980). La totalidad y el orden implicado. Barcelona: Kairs. ISBN 84-7245-178-X. Gabbay, D. (1994). What is a Logical System?. Oxford UP. Lewis, Clarence Irving (1960). A Survey of Symbolic Logic . New York: Dover Publications. Ferrater Mora, Jos (1979). Diccionario de Filosofa. Madrid: Alianza Editorial. Padilla Glvez, Jess. (2007). Verdad y demostracin. Madrid: Plaza y Valds Editores. ISBN 978-84-96780-194.

Obtenido de http://es.wikipedia.org/w/index.php?title=Implicacin&oldid=68841183 Categoras: Lgica Terminologa filosfica

Esta pgina fue modificada por ltima vez el 5 ago 2013, a las 18:46. El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; podran ser aplicables clusulas adicionales. Lanse los trminos de uso para ms informacin. Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de lucro.