Está en la página 1de 24

UNIDAD I.

CONOCER LAS NECESIDADES QUE CUBRE LA LOGICA


1. INTRODUCCION AL ESTUDIO DE LA LOGICA
LGICA. Es la ciencia que expone las leyes, modos y formas del conocimiento cientfico. Ciencia formal que no tiene contenido, sino que se dedica al estudio de las formas vlidas de inferencia. Es decir, se trata del estudio de los mtodos y los principios utilizados para distinguir el razonamiento correcto del incorrecto. Lgica. Es la disciplina filosfica que tiene un carcter formal, ya que estudia la estructura o formas de pensamiento (tales como conceptos, proposiciones, razonamientos, etc.) con el objeto de establecer razonamientos o argumentos vlidos o correctamente lgicos. A la lgica le interesa descubrir las leyes y los principios que permiten conducirnos con rigor, precisin y verdad hacia el conocimiento. Aristteles est considerado como el padre de la lgica formal. Lgica informal es el estudio metdico de los argumentos probables desde la retrica, la oratoria y la filosofa, entre otras ciencias. Se especializa en la identificacin de falacias y paradojas, y en la construccin correcta de los discursos. Lgica natural es la disposicin natural para discurrir con acierto sin el auxilio de la ciencia. Lgica borrosa o difusa, en cambio, es la que admite una cierta incertidumbre entre la verdad o falsedad de sus proposiciones, a semejanza del raciocinio humano. Lgica matemtica es aquella que opera utilizando un lenguaje simblico artificial y realizando una abstraccin de los contenidos. Objeto de estudio de la lgica formal. Es, principalmente, el estudio y entendimiento de los factores del pensamiento.  FACTORES DEL PENSAMIENTO, SU FORMA Y CONTENIDO La lgica; o ciencia del pensamiento, no estudia todo el pensamiento, pues, en realidad, ste es muy complejo ya que abarca diversos aspectos o "factores". Factores del pensamiento: A aquellos elementos que concurren en el fenmeno mismo del pensamiento: "Sujeto pensante": Es el encargado de producir o generar el pensamiento. Este primer factor no es estudiado por la lgica, sino por aquellas ciencias que estudian al homo sapiens tales como la antropologa, historia, anatoma, etc. "Actividad psquica": Se refiere a todo el proceso psicolgico que acompaa a la actividad de pensar. Cuando pensamos en algo, a menudo surgen percepciones, imgenes, sentimientos, vivencias, etc.

Aqu debemos distinguir entre el pensar y el pensamiento propiamente dicho. Pensar se refiere a esta actividad psquica y subjetiva. Pensamiento alude al resultado de dicha actividad. Este segundo factor, tampoco es estudiado por la lgica, sino por la psicologa, mas bien, se centra en los pensamientos mismos, cuando estos ya estn formados, para abstraer de ellos su contenido y quedarse con su forma final. "Objeto o contenido": As mismo, no podra darse un pensamiento sin un objeto o contenido al que se refieran los pensamientos mismos, podramos decir que el objeto es lo pensado, es el contenido o un tema sobre el cual estn basados nuestros pensamientos. "Lenguaje": El pensamiento no se queda solo para nosotros, sino que debe ser expresado mediante el leguaje, ya sea oral, corporal o escrito. Este cuarto factor tampoco es estudiado por la lgica, ya que compete a otras ciencias tales como la gramtica, semntica y otras afines que tengan como tema de estudio las formas lingsticas. "Forma o estructura del pensamiento": El pensamiento presenta un quinto factor, que finalmente SI va a ser estudiado por la lgica: la forma que revisten los pensamientos; que consisten en ciertas estructuras que los pensamientos adoptan independientemente de los contenidos a que se refieren. Estas formas que la lgica estudia son: y El concepto y El juicio y El razonamiento  QU ES LA LGICA? El estudio de la lgica es el estudio de los mtodos y los principios usados para distinguir el razonamiento correcto del incorrecto. Naturalmente, esta definicin no pretende afirmar que solo es posible razonar correctamente si se ha estudiado lgica. En segundo lugar, una parte tradicional del estudio de la lgica consiste en el examen y el anlisis de los mtodos incorrectos de razonamiento, o sea de las falacias. Esta parte de la materia, no solo da una visin ms profunda de los principios del razonamiento en general, sino que el conocimiento de esas trampas nos ayuda positivamente a evitarlas. Todo razonamiento es pensamiento, pero no todo pensamiento es razonamiento. La distincin entre el razonamiento correcto y el incorrecto es el problema central que debe tratar la lgica. Los mtodos y las tcnicas del lgico han sido desarrollados esencialmente con el propsito de aclarar esta distincin.  ALGUNOS TRMINOS TCNICOS Inferencia. Un proceso en el cual se llega a una proposicin y se la afirma sobre la base de otra u otras proposiciones aceptadas como puntos de partida del proceso.

Al lgico no le interesa el proceso de la inferencia, sino las proposiciones que constituyen los puntos inicial y terminal de este proceso, as como las relaciones existentes entre ellas. Las proposiciones son verdaderas o falsas. Slo es posible afirmar o negar proposiciones. Aunque el proceso de inferencia no concierne a los lgicos, para cada inferencia posible hay un razonamiento correspondiente y son estos razonamientos los que caen dentro del mbito de la lgica. En este sentido, un razonamiento es cualquier grupo de proposiciones tal que de una de ellas se afirma. Que deriva de las otras, las cuales son consideradas como evidencias de la verdad de la primera. Un razonamiento no es una mera coleccin de proposiciones, sino que tiene una estructura. Al describir esta estructura, se emplean comnmente los trminos 'premisa' y 'conclusin'. La conclusin de un razonamiento es la proposicin que se afirma sobre la base de las otras proposiciones del mismo, y a su vez estas proposiciones de las que se afirma que ofrecen la razn, o las razones para aceptar la conclusin, son las premisas del razonamiento. Los razonamientos se dividen tradicionalmente en dos tipos diferentes: deductivos e inductivos. Razonamientos deductivos. Pretenden de sus premisas que ofrezcan evidencias concluyentes. En el caso de los razonamientos deductivos, se usan los trminos tcnicos 'vlido' e 'invlido' en lugar de 'correcto' e 'incorrecto'. Un razonamiento deductivo es vlido cuando sus premisas ofrecen un fundamento seguro para la conclusin, esto es, cuando las premisas y la conclusin estn relacionadas de tal manera que es absolutamente imposible que las premisas sean verdaderas sin que la conclusin tambin lo sea. Razonamiento inductivo. No pretende que sus premisas ofrezcan una evidencia total de la verdad de su conclusin, sino solamente que ofrezcan cierta evidencia de ella. Los razonamientos inductivos no son vlidos o invlidos en el sentido en que estos trminos se aplican a los razonamientos deductivos. Claro est que pueden estimarse como mejores o peores los razonamientos inductivos, segn el grado de verosimilitud o probabilidades que sus premisas confieran a sus conclusiones. Existe una conexin entre la validez o no validez de un razonamiento y la verdad o falsedad de sus premisas y su conclusin, pero esta conexin no es de ninguna manera simple. Algunos razonamientos vlidos contienen solamente proposiciones verdaderas, como, por ejemplo: Todas las ballenas son mamferos. Todos los mamferos tienen pulmones. Por tanto, todas las ballenas tienen pulmones. Pero un razonamiento puede contener exclusivamente proposiciones falsas y, no obstante ello, ser vlido, como por ejemplo: Todas las araas tienen seis patas. Todos los seres de seis patas tienen alas. Por tanto, todas las araas tienen alas. Este razonamiento es vlido porque si sus premisas fueran verdaderas, su conclusin tambin tendra que ser verdadera, aun cuando de hecho sean todas falsas. Por otro lado, si reflexionamos sobre el razonamiento:

Si yo poseyera todo el oro de Fort Knox sera muy rico. No poseo todo el oro de Fort Knox. Por tanto, no soy muy rico Vemos que aunque sus premisas y su conclusin son verdaderas, el razonamiento no es vlido. Que las premisas, pueden ser verdaderas y la conclusin falsa, aunque no es de evidencia inmediata, puede verse con claridad considerando que si yo heredara un milln de dlares, las premisas seguiran siendo verdaderas, pero la conclusin sera falsa. Podemos ilustrar aun ms este punto mediante el siguiente razonamiento, que es de la misma forma que el precedente: Si Rockefeller poseyera todo el oro de Fort Knox, Rockefeller sera muy rica. Rockefeller no posee todo el oro de Fort Knox. Por tanto, Rockefeller no es muy rico. Las premisas de este razonamiento son verdaderas y su conclusin es falsa. Tal razonamiento no puede ser vlido, pues es imposible que las premisas de un razonamiento vlido sean verdaderas y su conclusin falsa. Los ejemplos precedentes muestran que hay razonamientos vlidos con conclusiones falsas, as como razonamientos invlidos con conclusiones verdaderas. Por consiguiente, la verdad o falsedad de su conclusin no determina la validez o invalidez de un razonamiento. Tampoco la validez de un razonamiento garantiza la verdad de su conclusin.

2. OBJETO Y CAMPO DE LA LOGICA


La lgica tiene como su objeto fundamental de estudio a los argumentos. La lgica adopta una perspectiva particular para el estudio de los argumentos: lo que le interesa es analizar los principios y criterios sobre los que se fundamenta la evaluacin de los argumentos. La lgica surge entonces ante la necesidad de obtener criterios que nos permita distinguir entre argumentos, que por ahora, llamaremos buenos y malos argumentos. De modo general puede afirmarse, por tanto, que la razn es el tema de la lgica. De esta manera la lgica, por su parte, no ha de estudiar la razn o poder discursivo en s mismo, sino que se interesar por la razn nicamente en la medida en que esta es un poder al que cabe fijar la finalidad de hacer ciencia.

3. HISTORIA DE LA LOGICA
 LOS SOFISTAS La palabra "sofista" (sophists) fue, al principio, un sinnimo de "sabio" (sophs), solo ms tarde adquirira a travs de los dilogos platnicos el sentido peyorativo de hbil engaador. Los sofistas, no formaron escuela, ni tampoco defendieron una doctrina de rasgos comunes. No obstante, es posible puntualizar algunas coincidencias entre ellos:

a. Representan un notable giro filosfico como consecuencia de las nuevas necesidades intelectuales planteadas por la democracia. Se centraron as en problemas de ndole prctica como la poltica, la moral, la religin, la educacin, el lenguaje, etc. b. Adoptan una actitud relativista y escptica. Esto se refleja en el abandono de la physis... para que seguir discutiendo sobre aquello que nunca se llegar a conocer en trminos de verdad?. Pero adems, se muestran relativistas en relacin a los problemas humanos ya que observan que distintos pueblos poseen leyes y costumbres diferentes. c. No representan un conjunto sistemtico de pensadores ni tampoco buscan principios universales para operar de modo deductivo al estilo de Parmnides. d. Pusieron en tela de juicio la plis en su sentido tradicional, realizando una labor crtica de las instituciones e impulsando nuevas ideas. Estas ideas (y los instrumentos enseados por los sofistas, la oratoria y el arte de la discusin) se prestaban a todo tipo de manipulaciones por los ambiciosos de la poca. La figura del sofista, aparece en consecuencia, con notable ambigedad. Los Sofistas eran los sabios primitivos que a partir de Scrates y Platn perdieron su prestigio, siendo designados con este nombre en sentido peyorativo (despectivo o de desprecio). Eran pensadores que en el siglo quinto A. C. se dedicaban a ensear principalmente retrica, o sea el arte de hablar bien y de la erstica, o arte de persuadir y convencer. El objetivo de los sofistas era darles la formacin a los jvenes, que ellos consideraban necesaria, para dedicarse a la poltica. El sofismo representa el fin del perodo llamado cosmolgico, en que la inquietud del saber se centraba en la naturaleza, y el inicio del perodo antropolgico, centrado en el hombre. Los sofistas no crean en el ideal de la verdad absoluta y priorizaban el concepto de utilidad, enseando la virtud como la capacidad de ser eficaz en poltica. Para el sofismo toda moral y cultura proviene del hombre y este concepto los llev a romper con el pensamiento tradicional que los llev a un escepticismo y relativismo subjetivo. Crean en el carcter funcional del lenguaje y en que no existe un conocimiento vlido y necesario, y esta forma de pensar los convirti en los primeros en incursionar en una teora del conocimiento. Las doctrinas de Parmnides y Herclito llevaron a una actitud escptica sobre la validez de la percepcin de los sentidos, ya que si segn Parmnides el Ser es esttico, inmvil, eterno y el movimiento ilusorio; la percepcin nos engaa; o si segn Herclito todo est cambiando sin cesar y lo nico seguro es el cambio, tambin es imposible darle crdito a lo que percibimos. Platn fue el que brind la posibilidad de tener en cuenta la mutabilidad y la estabilidad de las cosas y tambin la reflexin sobre las civilizaciones y las culturas. Estas diferencias hacan que se cuestionaran sobre si las distintas formas de vivir y los diferentes cdigos religiosos y ticos eran producto del hombre y en consecuencia mutables o bien impuestos por ley, o tal vez dependan de la naturaleza, o podan ser verdades reveladas en forma sagrada o divina.

Protgoras, el ms notable de los sofistas, se ocupaba del microcosmos ms que del macrocosmos, o sea del hombre, como el misterio ms grande, su civilizacin y sus costumbres. El sofismo se diferenci de la filosofa griega por su mtodo, ya que aunque la vieja filosofa no exclua la observacin emprica era tpicamente deductiva, o sea que una vez que el sabio tena un principio constitutivo general del mundo deba explicar a partir de l los fenmenos concretos. En tanto que los sofistas trataban de reunir una gran cantidad de observaciones de hechos particulares para sacar conclusiones, tanto tericas como prcticas, siendo su mtodo por lo tanto, emprico inductivo. Estas conclusiones no pretendan establecer normas basadas en una verdad absoluta; a diferencia de la filosofa griega antigua que buscaba la verdad objetiva, ya que los cosmlogos queran descubrir esa verdad objetiva del mundo en forma desinteresada. El sofismo sirvi de transicin a la fase de la filosofa de Platn y Aristteles que siempre los consideraron en forma peyorativa.  CRISIPO DE SOLI Filsofo griego, figura mxima de la escuela estoica. Los estoicos dividan la lgica en retrica y dialctica. Crisipo dio para la lgica una definicin exacta de la proposicin y de las reglas concernientes a la divisin sistemtica de todas las proposiciones en simples y compuestas (Estoicos). Crisipo muri de risa tras darle vino a su burro y verlo en estado de ebriedad intentando comerse un ficus.  ZENN DE ELEA Filsofo griego nacido en Elea perteneciente a la escuela eletica (490-430 a. C.?). Fue discpulo directo de Parmnides de Elea y se le recuerda por el amplio arsenal conceptual con que defendi las tesis de su maestro. No estableci ni conform ninguna doctrina positiva de su propia mano, en tanto que todo lo que defiende lo toma de Parmnides, sino que se limit a atacar todo planteamiento que no parta de las tesis eleticas. PARADOJAS Es conocido por sus paradojas o aporas, especialmente aquellas que niegan la existencia del movimiento o la pluralidad del ser. Zenn intenta probar que el ser tiene que ser homogneo, nico y, en consecuencia, que el espacio no est formado por elementos discontinuos sino que el cosmos o universo entero es una nica unidad. Sus aporas estn diseadas bajo los siguientes ejes argumentativos: 1. Contra la pluralidad como estructura de lo real.

2. Contra la validez del espacio. 3. Contra la realidad del movimiento. 4. Contra la realidad del transcurrir del tiempo. Aplicando este esquema se le ha considerado el primero en utilizar la demostracin llamada ad absurdum (reduccin al absurdo), que toma por hiptesis lo contrario a lo que se considera cierto (en su caso, las afirmaciones del adversario) y muestra las incongruencias que se derivan de una consideracin de esto como verdadero, obligando al interlocutor a rechazar las premisas y a aceptar las tesis opuestas, que eran las que se queran demostrar en un principio. Este procedimiento lo lleva a cabo mediante sus aporas. PENSAMIENTO INFINITESIMAL Los razonamientos de Zenn constituyen el testimonio ms antiguo que se conserva del pensamiento infinitesimal desarrollado muchos siglos despus en la aplicacin del clculo infinitesimal que nacer de la mano de Leibniz y Newton en 1666. No obstante, Zenn era ajeno a toda posible matematizacin, presentando una conceptualizacin de tal estilo como un instrumento necesario para poder formular sus paradojas. PENSAMIENTO Algo ms conocemos de su pensamiento, del que tenemos referencias por Platn y Aristteles, especialmente en lo que respecta a su actividad dialctica, orientada hacia el combate del pluralismo. Tal actividad se caracteriza por haber elaborado numerosos argumentos (aporas o paradojas) contra la pluralidad y el movimiento, en consonancia con la defensa de las teoras eleticas de la unidad e inmovilidad del ser, de los que conservamos algunos, basados en la reduccin al absurdo; se parte de las tesis que se quiere criticar y se conduce la argumentacin a una, o una serie de contradicciones que ponen de manifiesto, en consecuencia, la invalidez de las tesis. LOS ARGUMENTOS DE ZENN CONTRA LA PLURALIDAD 1. Los nicos que subsisten son los citados por Simplicio, que recogen, al parecer textualmente, los argumentos de Zenn. El primero de ellos se formula as: "Si existe una pluralidad, las cosas sern tambin grandes y pequeas; tan grandes como para poder ser infinitas en tamao y tan pequeas como para no tener tamao alguno Si el ser no tuviera tamao, ni siquiera sera. Pues si se le aade a cualquier otro ser, no lo hace ms grande, ya que, al no tener tamao alguno, no puede, con su adicin, aumentar su tamao. Y as lo aadido no puede ser nada. De la misma manera, es evidente que ni lo aadido ni lo quitado son nada si, en la sustraccin, el ser al que se le detrae no adviene en nada ms pequeo y, si al aadrselo, no aumenta. Pero si es, es necesario que cada cosa tengo un cierto tamao y espesor y que una parte diste de la otra. Y el mismo razonamiento vale respecto a lo excedente. Tambin esto tendr un cierto tamao y una parte de ello exceder. Y es lo mismo decir esto una vez que irlo afirmndolo indefinidamente; pues ninguna parte suya semejante ser la ltima ni una parte dejar de tener relacin con la otra. De manera que, si existe una pluralidad, es necesario que las cosas sean pequeas y grandes; tan pequeas que no puedan tener tamao y tan grandes que sean infinitas." 2. En el segundo, argumenta Zenn del siguiente modo:

"Si existe una pluralidad, es necesario que las cosas sean tantas (en nmero) cuantas son y no ms ni menos. Y si son tantas cuantas son, deben ser ilimitadas. Si existe una pluralidad, las cosas existentes son infinitas; pues siempre hay otra cosa entre ellas, y otras, a su vez, entre estas otras. Y as, los seres existentes son infinitos." LOS ARGUMENTOS DE ZENN CONTRA EL MOVIMIENTO. Presentamos a continuacin los argumentos de zenn contra el movimiento, tal como los recoge Aristteles en la "Fsica" (libro VI, 9): los dos primeros se basan en el supuesto de que el espacio y el tiempo son infinitamente divisibles; los dos ltimos se basan en el supuesto de que el espacio y el tiempo se componen de mnimos indivisibles. 1. "Hay cuatro razonamientos de Zenn sobre el movimiento, llenos de dificultades para quien quiera resolverlos. En el primero, la imposibilidad del movimiento se deduce de que el mvil que se desplaza debe llegar primero a la mitad del trayecto antes de llegar a su trmino; ya nos hemos referido anteriormente a l. 2. El segundo es el llamado de Aquiles, y es este: en una carrera, el ms lento nunca ser alcanzado por el ms rpido; ya que el que persigue al otro siempre debe comenzar por alcanzar el punto del que ha partido el primero, de modo que el ms lento siempre tendr alguna ventaja. Es el mismo razonamiento que el de la dicotoma: La nica diferencia es que si bien la magnitud sucesivamente aadida sigue siendo dividida, ya no lo es por dos. Como conclusin del razonamiento se deduce que el ms lento no ser alcanzado por el ms rpido, por la misma razn que en la dicotoma: en ambos casos, en efecto, se concluye que no se puede llegar al lmite, tanto si la magnitud se divide de una manera como de la otra; pero aqu se aade que, incluso este hroe de la velocidad, persiguiendo al ms lento, no podr alcanzarle. En consecuencia, la solucin ser tambin la misma. En cuanto a pensar que el que va delante no ser alcanzado, es falso; ya que no obstante, es alcanzado, si se considera que la distancia recorrida es una lnea finita. Tales son los dos razonamientos. 3. El tercero, que ya se ha mencionado, pretende que la flecha lanzada permanece en reposo. Es la consecuencia de la suposicin de que el tiempo est compuesto de instantes; si se rechaza tal hiptesis ya no hay silogismo. 4. El cuarto se refiere a filas (masas) iguales movindose en sentido contrario en el estadio a lo largo de otras filas (masas) iguales, unas a partir del fondo del estadio, las otras desde el medio, con la misma velocidad; la pretendida consecuencia es que la mitad del tiempo es igual al doble del mismo. El paralogismo consiste en que se piense que un cuerpo, con igual velocidad, se mueve en el mismo tiempo, tanto a lo largo de un cuerpo en movimiento como lo largo del que est en reposo. Ahora bien, esto es falso. Sean A,A... las filas iguales que permanecen inmviles; B, B ... las que parten del medio de las A,A... y les son iguales en nmero y magnitud; C, C ... las que parten del fondo, iguales a estas en nmero y magnitud y con la misma velocidad que las B, B .... Consecuencias: el primer B se encuentra en el extremo al mismo tiempo que el primer C, ya que se mueven paralelamente. Por otra parte, los C han recorrido todo el intervalo a lo largo de todos los B, y los B, la mitad del intervalo a lo largo de los A; en consecuencia, el tiempo es la mitad: en efecto, para grupos cogidos de dos en dos el tiempo de paso ante cada uno de los A es el mismo. Pero, al mismo tiempo, los B han pasado por delante de todos los C; ya que el primer B y el primer C estn, al mismo tiempo, en extremos opuestos, siendo el tiempo para cada uno de los B, dice, el mismo que para los C porque ambos desfilan en el mismo tiempo a lo largo de los A. Tal es el razonamiento; pero cae en la falsedad que hemos dicho anteriormente." (Aristteles, "Fsica", libro VI, 9).

 PLATN (430?-347 A.C.) Y ARISTTELES (384-322 A.C.) Aristteles fue el primero en sealar que el estudio de las causas de los fenmenos se haba iniciado con Tales de Mileto, de quien se sabe que estaba vivo en el ao 585 a.C. El fenmeno general que Tales y otros filsofos presocrticos intentaban explicar era la existencia del cambio continuo en las apariencias frente a la preservacin de la naturaleza; para ello propusieron que el mundo est formado por un sustrato invariante que adopta diferentes formas. Tales dijo que ese sustrato era el agua, Anaxmenes que era el aire, Anaximandro que era el apeiron o ter. En cambio, Platn invent su teora de las ideas, entes universales, perfectas y con existencia verdadera (objetiva), de las que los hechos y objetos reales y materiales no son sino ejemplos imperfectos. Adems, Platn seal que cuando adquirimos nuevos conocimientos, lo que realmente hacemos es aumentar nuestra comprensin de esas ideas: no se trata de conocimientos incorporados por medio de nuestros rganos de los sentidos (o sea, conocimientos de las apariencias), que Platn consideraba como engaosos e ilusorios, sino de acercarse ms al mundo de las ideas por medio del intelecto, donde quiera que ese mundo se encuentre. Para alcanzar el conocimiento, Platn mostr varios procedimientos a lo largo de sus distintos dilogos. Por ejemplo, la frmula para comprender la idea de la belleza se encuentra en el Simposio, y consiste en empezar contemplando un objeto que todos consideren bello (el objeto que escogi Platn como ejemplo de algo que todos en su sociedad consideraban bello es interesante: un esclavo jovencito y hermoso), despus se rene un grupo de tales jovencitos y se trata de identificar el patrn comn de su belleza, de ah se pasa a examinar la belleza propia del proceso mismo de aprendizaje, despus la del aumento en el conocimiento, de ah la de la generalidad de las leyes, y as sucesivamente, hasta al final alcanzar la idea misma de la belleza. En cambio, en otro dilogo, el Menon, Platn (por medio de su representante Scrates) sugiere que el conocimiento de las ideas es realmente un reconocimiento, en vista de que ya las conocamos en alguna encarnacin anterior, o sea que se propone la existencia de ideas o conocimientos a priori. Naturalmente, me refiero a la famosa conversacin entre Scrates y el esclavo, en que el filsofo (despus de muchos trabajos) logra finalmente sacarle a su interlocutor un teorema matemtico que nunca antes haba aprendido o escuchado, generando al mismo tiempo la palabra educacin, que viene del latn educare, que literalmente significa "sacar, extirpar". Sin embargo, es en la Repblica donde Platn (siempre disfrazado de Scrates) presenta su concepto ms desarrollado sobre la forma de ganar acceso al mundo de las ideas, y por lo tanto al conocimiento. Aqu su interlocutor es Glaucn, un hermano mayor de Platn y estudiante de filosofa, con el que Scrates ensaya sus tres modelos clsicos, el sol, la lnea y la cueva. Un breve resumen de los dos ltimos nos servir para examinar las diferencias entre el mundo sensible y el mundo inteligible, entre las meras opiniones y el conocimiento cientfico y filosfico, y entre los cuatro estados mentales designados por Platn como ilusin (eikasia), creencia (pistis), razn (dianoia) y pensamiento puro (episteme).

Las divisiones de la lnea platnica La lnea vertical AE tiene una divisin mayor que la separa en dos mitades, AC y CE, cada una de ellas a su vez divididas en otras dos mitades: AC = AB + BC; CE = CD + DE. Pero la lnea AE tambin separa dos compartimientos laterales, uno derecho (que es el lado ontolgico) y otro izquierdo (que es el lado epistemolgico). La divisin mayor de la lnea AE separa, en el compartimiento derecho, un campo inferior (AC) que corresponde a la mera opinin o doxa, y un campo superior (CE) que es el del conocimiento o episteme. El campo inferior AC est a su vez formado por dos componentes, uno inferior (AB), constituido por imgenes o rplicas de los objetos reales, en forma de sombras, modelos o imgenes, y otro superior (BC), que es el de los objetos mismos. El campo superior CE tambin est integrado por dos espacios, uno inferior (CD) que corresponde al mundo de los matemticos y gemetras, y otro superior (DE) en donde se encuentran las ideas. Para Platn, el mbito del filsofo es el espacio DE, pero para alcanzarlo primero deben recorrerse las distancias AB, BC y CD: este ltimo espacio (CD) siempre cont con el inters especial de Platn, pero al mismo tiempo postul que no se trataba de un mundo perfecto, en vista de que sus deducciones provenan de postulados o axiomas primarios, o sea no justificados sino simplemente aceptados como verdades iniciales o incontestables. No importaba que los gemetras hicieran modelos (casi) perfectos de sus teoremas, o que los matemticos presentaran pruebas (casi) inexpugnables de sus demostraciones; todas ellas estaban manchadas por el pecado original de la falta de justificacin racional de sus orgenes. Para pasar del espacio de los matemticos y gemetras al mundo perfecto de las ideas (DE), Platn propuso un mtodo, la dialctica, que simplemente consiste en la discusin racional de la definicin de un concepto entre individuos versados en el asunto, hasta que finalmente se llega a un consenso. Aunque esto puede decirse (y se ha dicho, sobre todo por Hegel) de varias maneras mucho ms grandiosas y complicadas, en realidad eso es a lo que la dialctica se reduce en ltima instancia.

El smil o modelo de la cueva es probablemente la alegora ms famosa en toda la historia de la filosofa occidental. Platn la introdujo para ampliar sus conceptos sobre las distintas formas o etapas del conocimiento, que ya haba ilustrado con el esquema de la lnea resumido arriba. Siempre por boca de Scrates, dialogando con Glaucn, Platn describe su alegora de la cueva. En realidad, Platn vea con cierto desprecio el estudio de la realidad, de los fenmenos de la naturaleza. Lo que el filsofo deba hacer era intentar llegar al mundo de las ideas, en donde todo es perfeccin absoluta. De acuerdo con Cornford, Scrates logr cambiar el rumbo de la filosofa de sus predecesores y contemporneos, que hasta su tiempo estuvo orientada al estudio y la comprensin de la naturaleza, por un inters primario en el individuo y en su alma. El racionalismo y el subjetivismo son las dos caras de la misma moneda, acuada originalmente para la cultura occidental por Platn. Aristteles, que fue su discpulo desde los 17 aos de edad, inici sus trabajos bajo la influencia de la teora de las ideas pero posteriormente se apart de ella; incluso se ha dicho que buena parte de sus escritos tienen como objetivo combatir esa teora, aunque Dhring insiste en que Aristteles nunca se libr de la influencia de Platn. Aristteles contribuy de manera enorme a la teora del conocimiento, no slo por sus escritos sino por su influencia en los pensadores medievales, para quienes su opinin sirvi casi siempre de punto de partida y no pocas veces de rbitro de la verdad. Para nuestro objetivo, conviene resumir las principales ideas aristotlicas sobre el mtodo cientfico en las siguientes cuatro: 1) teora del silogismo; 2) teora de las definiciones; 3) el mtodo inductivo-deductivo; 4) teora de la causalidad. 1) Teora del silogismo. De acuerdo con Aristteles, los mismos principios generales de razonamiento rigen en todas las ciencias, entre las que inclua la poltica, la tica y la esttica. Estos principios, que aparecen por primera vez en la Primera analtica, fueron inventados por Aristteles y se refieren a las distintas formas que pueden tomar las proposiciones y las cules son vlidas o invlidas. Como todos sabemos, los silogismos consisten de dos premisas y una conclusin, unidas en forma de inferencia o de implicacin; as, el ms famoso de todos los silogismos se puede expresar de las siguientes dos maneras: Inferencia Todos los hombres son mortales. Scrates es un hombre. Por lo tanto, Scrates es mortal. Implicacin Si todos los hombres son mortales. y Scrates es un hombre, entonces Scrates es mortal.

ste no es el sitio para repasar la compleja estructura de los diferentes silogismos, sino para sealar que se trata de instrumentos poderosos para examinar el razonamiento cientfico; no nos dicen nada, ni estn diseados para hacerlo, sobre el contenido de verdad de las premisas, sino que se trata de simples reglas de lgica para usarse una vez que las premisas se han alcanzado. Para esto ltimo Aristteles propuso su teora de las definiciones o de la esencia.

2) Teora de las definiciones. En los Tpicos, Aristteles incluye su doctrina de las cinco formas como un predicado puede relacionarse con el sujeto, de las que dos son "convertibles", la definicin o esencia y la propiedad; una no es "convertible", el accidente; y las otras dos son el gnero y la especie. Lo mismo que Platn, Aristteles pensaba que la ms importante funcin del filsofo era la bsqueda de las definiciones correctas de las cosas, o sean conceptos o universales. Esto requera, en primer lugar, la determinacin de su gnero y de su especie, porque de ellos dependen las cualidades o atributos necesarios y suficientes para que algo sea una cosa del tipo o clase a la que pertenece, o sea que de ellos depende su esencia. Este aspecto de la filosofa de Aristteles es tan importante que algunos autores (como Popper) lo caracterizan como esencialismo, debido a que cuando conocemos la esencia de algo podemos deducir, a partir de ella, sus propiedades especficas. Segn Aristteles, una propiedad real de un objeto es algo que no revela su esencia pero que pertenece exclusivamente a ella y es convertible con ella; por ejemplo, Aristteles dice que una propiedad del hombre es ser capaz de aprender gramtica, porque si un ser vivo es un hombre, es capaz de aprender gramtica, y si un organismo vivo es capaz de aprender gramtica, es un hombre. El esencialismo es interesante porque sugiere ya una posible estructura del mtodo cientfico aristotlico: basta establecer la esencia de los fenmenos que nos interesan y a partir de ella deducir sus propiedades, tal como se hace en geometra, en donde funciona muy bien. Por ejemplo, si definimos al crculo como una figura plana (ste sera su gnero) en donde todos los puntos de la figura son equidistantes a un punto fijo (sta sera su especie), tal propiedad sera automticamente su esencia, que al mismo tiempo es convertible con el objeto, o sea el crculo. Pero el propio Aristteles vio que este sistema no era satisfactorio en vista de que existen otros atributos de las cosas, los llamados accidentes, que no pueden derivarse de su esencia; por ejemplo, aunque la esencia del hombre es que es un animal racional (la definicin es del propio Aristteles) de ah no puede derivarse si es alto, chaparro, flaco, gordo, bueno, malo, etc. De hecho, el descubrimiento de la esencia de las cosas no puede ser un proceso puramente lgico y mental, sino que requiere tomarlas en cuenta, examinarlas y sujetarse a los resultados del examen. sta es una de las primeras formulaciones de la induccin, o sea de la operacin lgica que va de lo particular a lo general, que representa un salto hacia adelante en el conocimiento, un enriquecimiento repentino de la informacin derivada del examen de instancias particulares, un verdadero descubrimiento. Aristteles est postulando varias cosas al mismo tiempo, est resolviendo a su manera una serie de problemas que volvern a aparecer en la historia del pensamiento humano una y otra vez, y que todava hoy estn con nosotros: en primer lugar, seala la participacin importante de las percepciones sensoriales en la recoleccin de datos; en segundo lugar, supone que la mente tiene la capacidad de reconocer y aislar semejanzas entre objetos diferentes; en tercer lugar, que por medio de tales semejanzas se pueden construir clases distintas, como gneros y especies. Pero sobre todo, Aristteles est proponiendo el mtodo cientfico inductivo-deductivo. 3) El mtodo inductivo-deductivo. Aristteles ilustra este mtodo por medio del anlisis de un eclipse lunar: el cientfico primero observa el oscurecimiento progresivo de la superficie lunar, y a partir de sta y otras observaciones induce varios principios generales, que son que la luz viaja en lnea recta, que los cuerpos opacos producen sombra, y que cierta situacin de dos cuerpos opacos cerca de un objeto luminoso resulta en que la sombra de uno de ellos se proyecta en el otro. De estos principios generales, y del hecho

de que la Tierra y la Luna son cuerpos opacos, se deduce el mecanismo de produccin del eclipse; en otras palabras, ha progresado del hecho de que la Luna se ha oscurecido a la comprensin del fenmeno. De acuerdo con Aristteles, los objetos individuales resultan de la unin de dos componentes: materia y forma. La materia les confiere especificidad individual mientras que la forma los hace miembros de una clase de objetos similares. Las generalizaciones acerca de la forma son las que se realizan por induccin, a partir de experiencias sensoriales. Aristteles describe dos tipos de induccin, por enumeracin simple y por intuicin: la primera es aquella en la que una serie de proposiciones sobre objetos o eventos se toma como base para una generalizacin acerca de la especie de que son miembros, razn por la cual las premisas y la conclusin contienen los mismos trminos descriptivos. Un ejemplo muy conocido es: El cuervo 1 es negro El cuervo 2 es negro El cuervo 3 es negro Todos los cuervos son negros En cambio, la induccin intuitiva consiste en la apreciacin directa, muchas veces repentina, de lo que es esencial en un conjunto de datos sensoriales; el ejemplo que da Aristteles es el de un observador que en varias ocasiones nota que el lado brillante de la Luna es el que mira hacia el Sol y de pronto se da cuenta de que la Luna brilla porque refleja la luz del Sol. Aristteles seala que este tipo de intuicin slo se desarrolla despus de una experiencia extensa, que los observadores experimentados ven con mayor penetracin, o son capaces de percibir ms, en uno o un grupo de objetos o fenmenos, que los que apenas se inician en esas tareas. A pesar de la importancia (tanto positiva como negativa) que la induccin iba a adquirir en la evolucin histrica del concepto del mtodo cientfico, Aristteles slo la menciona para resolver el problema planteado por su inters en la posesin de la esencia de las cosas: en realidad, la induccin es un producto colateral y no muy importante del esencialismo aristotlico, y sirve para llegar a la posicin en la que el cientfico est listo para generar nuevos conocimientos. En efecto, es cuando las generalizaciones alcanzadas por medio de la induccin se usan como premisas para la explicacin de las observaciones iniciales, cuando realmente avanza el conocimiento. El proceso lgico responsable de este portento es la deduccin, la operacin mental inversa de la induccin, o sea donde se va de lo general a lo particular. Aristteles insisti en que slo existe una forma general vlida de deduccin en la ciencia cuando la conclusin es que una clase de objetos o sucesos se incluye en otra, o se excluye de otra, ambas total o parcialmente. En forma semiesquemtica, si A y B representan las dos clases mencionadas, las nicas deducciones vlidas entre ellas son las siguientes cuatro: Deduccin Todos los A son B Ningn A es B Algunos A son B Algunos A no son B Relacin A totalmente incluido en B A totalmente excluido de B A parcialmente incluido en B A parcialmente excluido de B

Sin embargo, la deduccin ms importante de estas cuatro es la primera, en vista de que la esencia de ciertas clases tiene relaciones especiales con la de otras clases, lo que se traduce en deducciones del tipo "Todos los A son B". Por esto mismo, el prototipo de la deduccin cientfica es el silogismo Barbara, que en forma esquemtica corresponde a Todos los A son B Todos los C son A Todos los C son B Aristteles seal cuatro requerimientos empricos (o sea, no lgicos) a las premisas de cualquier deduccin con pretensiones de calificar como explicacin cientfica. Primero, que deberan ser ciertas; segundo, que deberan ser indemostrables; tercero, que deberan ser mejor conocidas que la conclusin; y cuarto, que deberan ser causas de los atributos mencionados en la conclusin. Lo que primero llama la atencin de estos requerimientos es que las premisas deban ser indemostrables, pues parece contradictorio con el papel previamente aceptado de la induccin como un mecanismo para alcanzar generalizaciones. Pero lo que preocupaba a Aristteles (segn sus comentaristas) era que la nica forma de evitar regresiones infinitas en las explicaciones cientficas era postular la existencia de algunos principios indemostrables en cada una de las ciencias; por lo tanto, no todo el conocimiento acumulado en cada ciencia es demostrable. Aristteles especific que esta propiedad la exhiban las leyes cientficas ms generales, as como las definiciones de los significados de los atributos propios de cada ciencia. Pero este requerimiento de indemostrabilidad de las premisas de las deducciones cientficas no es el que llama ms la atencin de los cuatro mencionados, sino el de su relacin causal con los atributos de la conclusin. Aristteles reconoci que entre las premisas y la conclusin se podan dar dos tipos de correlaciones, causales y accidentales; para distinguirlas, propuso que en las correlaciones causales el atributo ocurre en todos y cada uno de los miembros de la clase incluida en la conclusin, se trata de una propiedad especfica y no de un efecto colateral de otros atributos, y pertenece a la esencia del sujeto. ste es uno de los varios talones de Aquiles del esquema cientfico aristotlico, especialmente porque no se especifican las caractersticas propias de la esencia. Aristteles apunt que "animal" es un predicado esencial de "hombre", pero desgraciadamente agreg "musical" como ejemplo de un predicado no esencial; de mayor trascendencia, una cosa es dar ejemplos de predicados esenciales y accidentales (que fue lo que hizo) y otra es estipular los criterios generales y especficos para hacer tales distinciones (que fue lo que no hizo). 4) Teora de la causalidad. Debido a la enorme influencia que tuvo (y todava tiene) en los diferentes conceptos del mtodo cientfico a travs de la historia, conviene resumir muy brevemente las ideas aristotlicas sobre la causalidad. Lo primero que debe mencionarse es que Aristteles tena una nocin de causa ms amplia y generosa que la contempornea; en nuestro tiempo, la causa es algo (cosa o proceso) que hace que otro algo (tambin cosa o proceso) ocurra, mientras que para Aristteles sta era solamente parte de una historia mucho ms compleja y elaborada para explicar la existencia o la naturaleza de cualquier cosa, era indispensable especificar cuatro tipos diferentes de causas: materiales, eficientes, formales y finales. Las causas materiales y eficientes son obvias, sobre todo cuando se sigue el ejemplo aristotlico de una estatua (material = mrmol; eficiente = la idea de la estatua en la mente del artista), mientras que las causas

formales y finales son menos aparentes y requieren cierta clarificacin. Las causas formales se refieren a la esencia de los objetos, a su forma (impuesta en la hyl o sustrato esencial de las cosas), o a la unin misma entre la hyl y su forma sobrepuesta, que no era necesariamente una morfologa especfica sino que poda ser tambin una temperatura, un color o una textura diferentes. Las causas finales son algo aparte, que todos nosotros conocemos muy bien pero que formalmente tratamos de evitar. Aristteles las caracteriz como la actualizacin de propiedades potenciales, lo que hoy nadie podra rechazar en principio, especialmente si aceptamos que todos los organismos biolgicos contenemos un programa que define y delimita, en trminos genricos y quiz no importantes a nivel individual, pero definitivos entre poblaciones distintas, no slo lo que somos sino tambin todo lo que podemos llegar a ser. Aristteles pensaba que las cosas ocurren en parte porque la causa final (el telos) as lo proyecta y lo exige, o sea que el futuro (que de alguna manera ya existe, no slo hoy sino desde siempre) determina el pasado y el presente. sta es la premisa fundamental de la teologa, una forma de "explicacin" de la existencia y desarrollo de los fenmenos naturales que tuvo gran popularidad entre los comentaristas medievales de Aristteles, entre los opositores de la "nueva ciencia" en el Renacimiento, entre los partidarios de la Natur-Philosophie, en el siglo XIX y que desde siempre ha sido una de las piedras de toque de los animistas o vitalistas, as como uno de los enemigos que han tratado de derrotar los deterministas o mecanicistas.  LGICA CLSICA Lgica clsica identifica una clase de lgicas formales. Son caracterizados por un nmero de caractersticas; las lgicas no-clsicas son las que carecen una o ms de estas caractersticas, que son: 1. 2. 3. 4. 5. Ley del centro excluido y Eliminacin de la negativa doble; Ley del noncontradiction; Monotonicity del entailment y Idempotency del entailment; Commutativity de la conjuncin; Dualidad de De Morgan: cada operador lgico es dual a otros.

La lgica clsica es bivalente, es decir, utiliza solamente funciones Boleano-valoradas. Y mientras que no son exigidas por las condiciones precedentes, las discusiones contemporneas de la lgica clsica incluyen normalmente solamente proposicional y de primer orden lgicas. Hablamos de lgica clsica cuando los clculos lgicos son bivalentes, es decir, que sus formulas pueden ser verdaderas o falsas y no puede ocurrir que lo sean a la vez. Si en los clculos lgicos se contemplan mas valores de verdad que lo verdadero y lo falso u otros recursos expresivos entonces hablamos de Lgica no-clsica. La lgica clsica (o determinstica) es la de Aristteles cuyo regla de combinacin bsica es el Silogismo. El silogismo consiste en una cadena de inclusiones sucesivas de proposiciones, como por ejemplo el clsico: Scrates es Hombre Los Hombres son Mortales Entonces Scrates es Mortal

El silogismo, generalizando el esquema anterior se puede representar por el esquema:

donde se destaca la inclusin sucesiva de proposiciones. Esto es, como se ver, la propiedad transitiva de la inclusin. Tambin puede usarse como representacin los diagramas de Venn:

IMPLICACIN Y TEOREMA La implicacin es el elemento bsico (mdulo) para la construccin de la estructura de la lgica clsica (Aristotlica). En su esencia consiste en asegurar la validez de una Segunda proposicin a partir de una primera proposicin.

Ejemplo: Si A B [A asegura B] entonces si A T pB T Todo razonamiento es una cadena sucesiva de Implicaciones que asegura una ltima proposicin a partir de una primera. Esto no es otra cosa que el silogismo de Aristteles. Ejemplo:

 REN DESCARTES De la misma manera que Bacon, Descartes concibi a la ciencia como una pirmide cuya cspide estaba ocupada por los principios o leyes ms generales de la realidad; pero mientras Bacon llegaba a esa cspide por medio de inducciones progresivas, basadas en series generosas de observaciones y experimentos, Descartes propuso que el conocimiento cientfico se inicia en la cumbre y de ah procede hacia abajo, siguiendo el camino de la

deduccin, hasta llegar a la base, o sea la naturaleza real. Esa proposicin tiene varias implicaciones filosficas fundamentales, pero aqu slo mencionaremos una: que la certeza en el conocimiento puede alcanzarse a priori, o sea en ausencia (por ignorancia o por decisin consciente) de la realidad. Todos conocemos el famoso prrafo en que Descartes encuentra su primer principio, cogito ergo sum: A pesar de que quera pensar que todo era falso, era necesario aceptar que el yo que pensaba era algo; y basado en esta verdad, pienso, luego existo, tan slida y tan cierta que ni siquiera las suposiciones ms extravagantes de los escpticos podan afectarla juzgu que poda recibirla sin escrpulos como el principio inicial de la filosofa que yo buscaba. El siguiente paso fue examinar por qu el cogito ergo sum es tan evidente, y la respuesta es porque lo concebimos en forma clara y precisa. Lo claro es lo que se presenta de inmediato a la mente, mientras que lo preciso es lo que es claro y sin condiciones, o sea que es evidente. A continuacin Descartes procede a demostrar la existencia de Dios, a travs de la idea de la "perfeccin", un concepto tpicamente escolstico. Descartes acepta que l es imperfecto, pero que para percibirlo debe poseer tambin la idea de lo perfecto. Tal idea no hubiera podido ingresar a su mente si no existiera un ser perfecto que la originara. Por lo tanto, Dios, el Ser Perfecto, existe. Y como es perfecto, no tolera ni patrocina engaos, por lo que su existencia es una garanta de que todo aquello que percibimos en forma clara y precisa es cierto. La circularidad del argumento cartesiano fue percibida, en forma "clara y precisa" por Arnauld, unos cuantos aos despus de la muerte de Descartes. Despus de establecer su propia existencia como un ser pensante, las propiedades esenciales de las cosas ciertas, y la existencia de Dios, Descartes dirigi su atencin al mundo de la realidad. Aqu se nos muestra extraamente aristotlico, pues de acuerdo con Galileo distingue entre cualidades primarias y secundarias: las primarias son las que las cosas deben poseer para ser cosas (como extensin, flexibilidad y movilidad) mientras que las secundarias son las percibidas por los sentidos (como calor, sonido, sabor, olor y otras ms) y dependen de la existencia del sujeto. Las cualidades primarias son intuidas por la mente, que de esa manera resulta ser ms confiable que los sentidos. De importancia para el mtodo cientfico, Descartes pensaba que los fenmenos macroscpicos podan explicarse a partir de interacciones microscpicas, analizadas en forma cuantitativa; de hecho, restringi el contenido de la ciencia a aquellas cualidades que pueden expresarse matemticamente y compararse en forma de relaciones. Es por esta razn que se acepta que la filosofa de la ciencia de Descartes es una combinacin de conceptos arquimedianos, pitagricos y atomistas. Deben mencionarse otros dos aspectos ms de la filosofa cartesiana, que son el dualismo y el mecanicismo. En relacin al primero, con Descartes culmin la evolucin del dualismo iniciado por Platn y continuado por los filsofos escolsticos de la Edad Media, con la postulacin de dos mundos paralelos pero independientes e incapaces de interactuar entre s: el cuerpo y la mente. Aunque anteriormente ya se aceptaba que el cuerpo no mueve a la mente, la idea de que la mente no mueve al cuerpo era nueva; para explicar por qu algunas veces el cuerpo y la mente parecen funcionar acoplados, Descartes usa el smil de dos relojes que estuvieran construidos de tal manera que cuando uno marca las 12, el otro tambin. En relacin con el mecanicismo, la filosofa cartesiana es rgidamente determinista, de modo que tanto la materia inerte como los organismos vivos obedecen las leyes de la fsica; de hecho, todos sabemos que Descartes consideraba a los animales como mquinas o autmatas, cuyo

comportamiento simplemente parece dirigido a alcanzar ciertos objetivos pero en realidad es puramente mecnico. Si esto es cierto de los movimientos del cuerpo, lo mismo debera ser cierto de los giros de la mente, con lo que Descartes se encontr con problemas acerca del libre albedro humano, un concepto crucial para la Iglesia. Procediendo por deduccin a partir de sus principios intuitivos ms generales, Descartes intent formular algunas leyes fsicas pero se dio cuenta que no poda llegar muy lejos. Lo que Descartes dice es que sin contacto con la naturaleza, su mtodo cientfico se detiene al nivel de lo que pudiera ser, o sea que llega al umbral de muchas realidades posibles, todas ellas igualmente compatibles con los principios generales generados intuitivamente; para continuar con la deduccin es necesario determinar directamente cul es la realidad verdadera, anotando con cuidado las condiciones en que tal realidad ocurre. Por lo tanto, una de las funciones ms importantes de la observacin o el experimento en el mtodo cientfico cartesiano es delimitar las circunstancias necesarias para que se den fenmenos especficos. Con esta conclusin, parecera inexacto presentar a Descartes como la anttesis de Bacon; sin embargo, la aparente coincidencia no es real ni mucho menos, en vista de que Descartes neg rotundamente que fuera posible inducir leyes importantes de la naturaleza por medio de la coleccin y comparacin de series de observaciones individuales de la realidad. Finalmente, conviene reiterar que, tambin en el caso de Descartes, el mtodo cientfico que l propuso no coincide con el que l mismo sigui para hacer sus importantes contribuciones cientficas, tanto en ptica como en geometra analtica; en otras palabras, Descartes es otro ejemplo de falta de correlacin entre lo que el hombre de ciencia dice que hace y lo que realmente hace.  GALILEO GALILEI (1564-1642) Para muchos autores, la ciencia moderna realmente comienza con Galileo Galilei (1564-1642). Esta opinin se basa en los dos avances en metodologa cientfica generalmente acreditados a Galileo: el uso de experimentos para explorar ideas especficas, y la matematizacin de la ciencia. En sus trabajos cientficos, Galileo se enfrenta a problemas relativamente simples y uno por uno, en lugar de intentar contestar preguntas grandiosas y complejas, concentra su atencin en unos cuantos hechos, especficamente los que pueden describirse en trminos matemticos. Se ha discutido mucho si Galileo iniciaba su investigacin con una teora sobre el fenmeno que iba a examinar, o si esta teora era consecuencia de sus experimentos y observaciones. Debe sealarse que, en contra de los entusiastas partidarios del mtodo hipottico-deductivo, que estaran encantados de contar con Galileo en sus filas, el trmino ex suppositione no significa lo mismo que ex hypothesi. En los escritos de Toms de Aquino y en toda la tradicin escolstica, quiere decir razonar de los efectos conocidos a las causas desconocidas, o sea "razonar hacia atrs". En el lenguaje lgico contemporneo esto se expresa como: si p, entonces q p, por lo tanto, q,

En donde p se refiere a observaciones o resultados experimentales, mientras que q identifica explicaciones tericas o causas; los escolsticos lo conocan como el argumento modus ponens. El salto de los efectos a las causas no tiene ningn valor lgico, o mejor dicho, slo es vlido cuando ya sabemos que los efectos en cuestin son producidos por una sola causa, en cuyo caso se vuelve trivial pero Galileo parece haberlo abrazado no slo con conviccin filosfica (segn sus primeros libros de notas, era un tomista convencido) sino tambin con gran xito, gracias a que se limit a problemas que pueden expresarse matemticamente. Galileo no es un matemtico terico, no hace sus formulaciones numricas y geomtricas de fenmenos naturales y se detiene ah, sino que procede a disear y a realizar experimentos con objeto de establecer si la naturaleza est de acuerdo con sus clculos, en vista de que, como l mismo dice: (El experimento) es comn y necesario en las ciencias que aplican demostraciones matemticas a sus conclusiones fsicas Un ejemplo de los experimentos realizados por Galileo para resolver una cuestin especfica es la famosa observacin de la cada de objetos de distinto peso "desde una torre". Galileo no slo haca experimentos para poner a prueba conclusiones tericas matemticas, sino tambin para explorar fenmenos, o sea para aumentar el nmero de datos que poda incluir en sus clculos tericos.  LGICA DE PORT-ROYAL Lgica de Port-Royal es el nombre con el que se conoce normalmente La logique, ou l'art de penser, un importante manual de lgica publicado por primera vez annimamente en 1662 cuyos autores son Antoine Arnauld y Pierre Nicole, dos prominentes miembros del movimiento jansenista, desarrollado alrededor de Port-Royal. Es probable que Blaise Pascal contribuyese en gran medida a la redaccin del texto. Escrito en francs, se convirti en un texto popular y fue til hasta el siglo XX, introduciendo al lector en la lgica, y exhibiendo importantes elementos cartesianos en su metafsica y epistemologa (Arnauld haba sido uno de los principales filsofos cuyas objeciones fueron publicadas, con rplicas, en Mditations mtaphysiques de Descartes'). Mantienen la validez de los razonamientos segn las formas silogsticas aristotlicas. Pero el contenido cognoscitivo de los trminos son interpretados segn la nueva filosofa cartesiana. La lgica de Port-Royal es en ocasiones citada como ejemplo paradigmtico de la lgica de trminos tradicional. El filsofo Louis Marin la estudio minuciosamente en el siglo XX (La Critique du discours, ditions de Minuit, 1975), y Michel Foucault la consider en Les mots et les choses, como una de las bases de la episteme moderna. Nos servimos de la razn como de un instrumento para adquirir las ciencias cuando, por el contrario, deberamos utilizar las ciencias para perfeccionar la razn, pues la justedad del espritu es infinitamente ms digna de consideracin que todos los conocimientos especulativos a los que nos es posible acceder por medio de las ciencias ms verdaderas y ms slidas.

ANTOINE ARNAULD Y PIERRE NICOLE. La Lgica o el Arte de Pensar. Primer Discurso. La cita aqu reproducida ofrece la posibilidad de comprender cul es el objetivo declarado ms importante de La Lgica o el Arte de Pensar. La razn humana se concibe en ella como una facultad constitutiva del espritu que permite el acceso al conocimiento de la naturaleza, siendo la base y fundamento de lo que se denomina ciencia. El afn del entendimiento es ser capaz de distinguir lo verdadero de lo falso. Aquello que excede a toda capacidad racional humana, que es mucho y muy importante, debe quedar supeditado a la voluntad divina a cuyo mandato se somete el hombre por la fe. Fe y razn manan de la misma fuente y no pueden oponerse la una a la otra. Esta declaracin no puede ser ms agustiniana, expresando inequvocamente el mismo sentido que tena el creer para entender del obispo de Hipona. Arnauld y Nicole dejan as bien patente que el acrecimiento de nuestro espritu y su posibilidad de pensar con justeza tienen un valor intrnseco, y ponen al hombre en situacin de dirigir su vida a un fin ltimo que le ha sido dado a conocer por revelacin, esto es, su propia salvacin. Precisamente por esto el conocimiento no debe ser un fin en s mismo, porque pervertira su propia finalidad y se convertira en otra forma de concupiscencia (libido sciendi). El quehacer del hombre de ciencia es la bsqueda de la verdad hasta donde su razn alcance, y en esa tarea la lgica puede ser un instrumento ciertamente til, aunque los portrroyalistas desconfen de que haya en ella tantas soluciones como promete. Critican que se haya ido llenando de numerosas reglas de difcil aprendizaje que, al fin y al cabo, nadie medianamente dotado necesita para poder argumentar con correccin en aquellos asuntos que le ataen. El descontento ante las exposiciones clsicas de los manuales lgicos se muestra tambin en que recurren a ejemplos inverosmiles o triviales que no ayudan a mantener el inters de quien los lee. Aduciendo este motivo, Arnauld y Nicole se proponen incluir ejemplos sacados de otros modelos de discurso, como la Moral, la Fsica o la Geometra, para demostrar que la lgica no se cierra en s misma ni tiene por qu ser especialmente rida. Arnauld es el autor de las cuartas objeciones a las meditaciones metafsicas de Descartes en las que denuncia el crculo vicioso entre la claridad y distincin como criterio de verdad garantizado por Dios, y la propia nocin de Dios a la que la razn humana llega gracias a la idea clara y distinta de infinito. Como destaca Abbagnano segn Arnauld el cartesianismo abarca todo el dominio del conocimiento que el hombre puede conseguir con sus medios naturales: ms all de este dominio, la fe, como ya lo haba dicho el propio Descartes, puede tener curso libre. La lgica es el arte de dirigir adecuadamente la razn en el conocimiento de las cosas, tanto para que uno se instruya a s mismo como para instruir a los otros. Este arte comprende las reflexiones que los hombres han realizado sobre las cuatro principales operaciones de su espritu: concebir, juzgar, razonar, ordenar. Estos prrafos sirven para determinar el punto de vista lgico de los portrroyalistas, por el cual han sido fuertemente criticados desde la moderna historia de la lgica. Se deja en ellos bastante clara una intencin regulativa, queriendo decir con ello que estn partiendo de la base de que la lgica tiene la misin de dotar de normas al pensamiento cuando ste lleva a cabo las acciones cognoscitivas.

Puesto que slo podemos adquirir conocimiento de lo que est fuera de nosotros por medio de las ideas que hay en nosotros, nada hay ms importante en la lgica y en todas las otras ciencias que conocer bien nuestras ideas. Op. cit. 1 Parte (ed. 1662) La nocin de idea que Arnauld y Nicole manejan en la primera parte de la Lgica se puede identificar con aquello que es concebible, independientemente de cul sea la manera bajo la cual se nos hace presente en la mente (o espritu, segn sus palabras). El hecho de plantear que son contenidos mentales les sirve para expresar su rechazo frente a la determinacin de la idea como una imagen mental, puesto que con esta restriccin slo cabra hablar de ideas de aquello que es corpreo. Manteniendo abierta la posibilidad de seguir explorando cualquiera de las mltiples sugerencias que se suscitan desde esta Lgica, se destacan algunos de sus aspectos fundamentales:  Sus autores muestran un explcito desinters por el desarrollo formal. El descubrimiento de las estructuras formales slo servira para efectuar un anlisis de tipo deductivo. Sin embargo, los errores se encuentran mayoritariamente en los falsos principios de los que se parte, y stos son juicios, no deducciones. Confan en la razn natural y el buen sentido, sin necesidad de recurrir a leyes artificiosamente formuladas. Adems, esta razn espontnea reconoce sus lmites, por lo que ella misma justifica la fe cuando se enfrenta a temas que superan sus posibilidades. A lo largo de toda la obra se observa una honda preocupacin por el hecho de que la renovacin filosfica de la poca y el auge de la nueva ciencia puedan conducir a algunos a la prdida de la fe. El reconocimiento de la debilidad de la ciencia humana frente a la revelacin divina conlleva la postulacin de una vida vivida para la salvacin, no para el conocimiento mundano. La reforma de la espiritualidad que los portrroyalistas se propusieron necesitaba acompaarse de un proyecto docente como el que pusieron en marcha en las Petites Ecoles. La Lgica o el Arte de Pensar es parte de ese proyecto en tanto que nace como un manual para estudiantes presentado con intencin formativa, no slo en los aspectos tcnicos de su materia, sino tambin en lo moral y religioso.

 HEGEL Y LA LGICA DIALECTICA GEORG WILHELM FRIEDRICH HEGEL (STUTTGART, 27/AGOSTO/1770 BERLN, 14/NOVIEMBRE/1831) Se le considera el ltimo de los Ms Grandes Metafsicos. Muri vctima de una epidemia de clera, que hizo estragos durante el verano y el otoo de 1831. Considerado por la Historia Clsica de la Filosofa como un revolucionario de la Dialctica, habra de tener un impacto profundo en el materialismo histrico de Karl Marx. Hegel es clebre como un filsofo muy oscuro, pero muy original, trascendente para la historia de la filosofa y que sorprende a cada nueva generacin.

Se suele considerar la primera obra realmente importante de Hegel su Fenomenologa del espritu(1807), actualmente considerada la ms importante. Otras obras prefenomenolgicas, como La Constitucin de Alemania (1802), dan cuenta del triste estado germnico-romano de aquella poca. Mientras viva, public adems la Ciencia de la lgica (1812-1816), la Enciclopedia de las ciencias filosficas (1817) y Elementos de la filosofa del derecho (1821). PENSAMIENTO Hegel introdujo un sistema para entender la historia de la filosofa y el mundo mismo, llamado a menudo dialctica: una progresin en la que cada movimiento sucesivo surge como solucin de las contradicciones inherentes al movimiento anterior. En las explicaciones contemporneas del hegelianismo, la dialctica de Hegel a menudo aparece fragmentada en tres momentos llamados tesis (en nuestro ejemplo, la revolucin), anttesis (el terror subsiguiente) y sntesis (el estado constitucional de ciudadanos libres). Sin embargo, Hegel no emple personalmente esta clasificacin en absoluto; fue creada anteriormente por Fichte en su explicacin ms o menos anloga de la relacin entre el individuo y el mundo. Hegel consideraba que el estudio de la historia era el mtodo adecuado para abordar el estudio de la ciencia de la sociedad, ya que revelara algunas tendencias del desarrollo histrico. La filosofa de Hegel afirmaba que todo lo que es real es tambin racional y que todo lo que es racional es real. El fin de la historia era, para Hegel, la parusa del espritu y el desarrollo histrico poda equipararse al desarrollo de un organismo, los componentes trabajan afectando al resto y tienen funciones definidas. Hegel dice que es una norma divina, que en todo se halla la voluntad de Dios que es conducir al hombre a la libertad. Hegel se vali de este sistema para explicar toda la historia de la filosofa, de la ciencia, del arte, de la poltica y de la religin, pero muchos crticos modernos sealan que Hegel a menudo parece pasar por alto las realidades de la historia a fin de hacerlas encajar en su molde dialctico. La filosofa de la historia de Hegel est tambin marcada por los conceptos de las "astucias de la razn" y la "burla de la historia"; la historia conduce a los hombres que creen conducirse a s mismos, como individuos y como sociedades, y castiga sus pretensiones de modo que la historia-mundo se burla de ellos produciendo resultados exactamente contrarios, paradjicos, a los pretendidos por sus autores, aunque finalmente la historia se reordena, y en un bucle fantstico retrocede sobre s misma y con su burla y paradoja sarcstica, convertida en mecanismo de cifrado, crea tambin ella misma sin quererlo, realidades y smbolos ocultos al mundo y accesibles slo a los cognoscentes, es decir, a aquellos que quieren conocer. LGICA El acto mismo del conocimiento es la introduccin de la contradiccin. El principio del tercero excluido, algo o es A o no es A, es la proposicin que quiere rechazar la contradiccin y al hacerlo incurre precisamente en contradiccin: A debe ser +A -A, con lo cual ya queda introducido el tercer trmino, A que no es ni + ni - y por lo mismo es +A y -A.

Una cosa es ella misma y no es ella, porque en realidad toda cosa cambia y se transforma ella misma en otra cosa. Esto significa la superacin de la lgica formal y el establecimiento de la lgica dialctica. LA DIALCTICA EN HEGEL: ONTOLOGA Y MTODO La dialctica como ontologa, implica una concepcin de la realidad en proceso circular de tres momentos cuyo motor es la contradiccin. El ser infinito es pues, una totalidad ya que nada est aislado y todo est en relacin. Pero se trata de una relacin de oposicin y no de identidad. Los tres momentos de proceso dialctico son: y y y Primer momento: Tesis. Posicin. Inmediatez. Indeterminacin. Estar en s. Segundo momento: Anttesis. Negacin o contradiccin. Mediacin. Determinacin. Ser para s, es decir, objetivacin. Podra aadirse alineacin. Tercer momento: Sntesis. Negacin de la negacin y superacin.

La dialctica como mtodo, consiste en descubrir y seguir racionalmente en movimiento de la Idea, de modo que la razn y la realidad expresen su verdadera coincidencia. Hegel, en efecto, propone una nueva lgica diferente a la forma aristotlica que est basada en el principio de identidad. 4. LGICA MATEMTICA La lgica matemtica es una parte de la lgica y las matemticas, que consiste en el estudio matemtico de la lgica y en la aplicacin de este estudio a otras reas de las matemticas. La lgica matemtica guarda estrechas conexiones con las ciencias de la computacin y la lgica filosfica. La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican conceptos intuitivos de objetos matemticos como conjuntos, nmeros, demostraciones y computacin. La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las matemticas. La lgica matemtica fue tambin llamada lgica simblica. El primer trmino todava se utiliza como sinnimo suyo, pero el segundo se refiere ahora a ciertos aspectos de la teora de la demostracin. La lgica matemtica no es la "lgica de las matemticas" sino la "matemtica de la lgica". Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas matemticamente.

HISTORIA Lgica matemtica fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lgica de Aristteles, pero desde el punto de vista de una nueva notacin, ms abstracta, tomada del lgebra. Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero presentaron un sistema matemtico para modelar operaciones lgicas. El tradicional desarrollo de la lgica enfatizaba su centro de inters en la forma de argumentar, mientras que la actual lgica matemtica lo centra en un estudio combinatorio de los contenidos. Esto se aplica tanto a un nivel sintctico (por ejemplo, el envo de una cadena de smbolos perteneciente a un lenguaje formal a un programa compilador que lo convierte en una secuencia de instrucciones ejecutables por una mquina), como a un nivel semntico, construyendo modelos apropiados (teora de modelos). DESARROLLO La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico para realizar cualquier actividad. PROPOSICIONES Y OPERACIONES LGICAS Una proposicin o enunciado es una oracin que puede ser falsa o verdadera pero no ambas a la vez. La proposicin es un elemento fundamental de la lgica matemtica. A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se explica el porqu algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minscula, dos puntos y la proposicin propiamente dicha. Ejemplo. p: q: r: s: t: w: La tierra es plana. -17 + 38 = 21 x > y-9 El Morelia ser campen en la presente temporada de Fut-Bol. Hola como estas? Lava el coche por favor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones validas. El inciso r tambin es una proposicin valida, aunque el valor de falso o verdadero depende del valor asignado a las variables x y y en determinado momento. La proposicin del inciso s tambin est perfectamente expresada aunque para decir si es falsa o verdadera se tendra que esperar a que terminara la temporada de fut-bol. Sin embargo los enunciados t y w no son vlidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden.