Está en la página 1de 8

0.

1- Introduccin Para una correcta ubicacin sobre el estudio que vamos a iniciar, considero pertinente mostrar algunas teoras acerca de qu es la Lgica y su relacin con la matemtica; por esta razn quiero citar lo que el profesor Alberto Dou, S.J. recopila al respecto. El logicismo es una doctrina sobre los fundamentos de la matemtica que considera la lgica como anterior o ms fundamental que la matemtica y efecta la reduccin de los conceptos y mtodos de inferencia matemtica a los correspondientes de la lgica, concluyendo consiguientemente que la matemtica no es ms que una rama de la lgica. Las relaciones que existan entre la matemtica y la lgica pueden constituir un aspecto muy importante de una teora sobre fundamentos. Una primera dificultad para la explicacin de estas relaciones es que no sabemos con precisin qu es la matemtica y an menos qu es la lgica. Precisamente nos proponemos explicar qu es la matemtica, pero entonces parece que es imprescindible que sepamos previamente qu es la lgica, si hemos de explicar aquella en trminos de sta. Ahora bien, una definicin precisa de la lgica, que la caracterice totalmente, depende del sistema filosfico que se adopte. Para nuestro fin bastar que demos las definiciones siguientes: La lgica matemtica es una ciencia que es anterior a las dems, que contiene las ideas y los principios en que se basan todas las ciencias.

Esta definicin parcial es de K. Gdel (1906) y me parece que es tambin segn la mente de Santo Toms y anlogamente de Aristteles y de la escolstica medieval. Aunque conviene notar que en Aristteles y en la escolstica la lgica es generalmente considerada como un arte que como una ciencia; un arte que da la manera de operar vlidamente con conceptos y proposiciones, y no como ciencia, porque carece de objetos propios a los que corresponda algo en la naturaleza. Una definicin muy precisa y moderna es la de A. Church (1903). Lgica es el estudio sistemtico de la estructura de las proposiciones y de las condiciones generales de vlida inferencia por un mtodo que abstraiga del contenido o materia de las proposiciones y tenga en cuenta solamente su forma lgica. Se distingue entre materia y forma cuando distinguimos entre la legitimidad lgica o validez de un texto razonado y la verdad de las premisas de las cuales se deduce; y en este sentido es familiar en el lenguaje ordinario. Sin embargo, es necesario establecer con precisin la distincin con referencia a un lenguaje particular o sistema de notacin, un lenguaje formalizado, el cual evite las inexactitudes y las irregularidades de estructura y expresin que sistemticamente llevan a equivocaciones y que se encuentran en los lenguajes ordinarios, y el cual siga o reproduzca la forma lgica, a costa de la brevedad y facilidad de comunicacin cuando sea necesario. De modo que adoptar un lenguaje formalizado particular es adoptar un sistema o teora particular de anlisis lgico. Entonces se puede caracterizar el mtodo formal diciendo que se trata de la forma objetiva de las sentencias que expresan proposiciones, y suministra en estos concretos trminos criterios para determinar si las sentencias tienen sentido, criterios de inferencia vlida, y de otras nociones estrechamente asociadas a stas.

Por consiguiente, segn el logicismo la matemtica es una rama de la lgica, sin duda extensa y con vida propia, pero cuyo mtodo se identifica con el propio mtodo de la lgica. Se concibe as la matemtica como una disciplina universal que regira todas las formas de argumentacin. Una disciplina as fue probablemente pensada por R. Llull (1231-1315) y por J. Caramuel (1606-1682) y ciertamente por R. Descartes (1596-1650). El primero en formularla con cierta precisin parece fue G. Leibniz (1646-1716), quien una vez la defini con estos trminos: Si no hubiese estado reclamado por tantos asuntos, o si hubiese sido ms joven o tenido colaboradores jvenes en situacin de ayudarme, hubiera confiado dar una especie de lgebra generalizada (spcieuse gnrale), en la cual todas las verdades de razn se habran reducido a un clculo. Este sera simultneamente una especie de lenguaje o escritura universal, pero infinitamente distinto de todos los propuestos hasta ahora; y errores, con excepcin de los de hecho, podran darse

nicamente como equivocaciones de clculo. Sera muy difcil crear o inventar este clculo o caracterstica, pero muy fcil aprenderla sin ayuda de diccionario. El primero en desarrollarla con considerable extensin y con todo rigor fue G. Frege (1848-1925), con mayor extensin an J. Peano (1858-1932) y, finalmente, A.N. Whitehead (1861-1947) y B. Russell (1872-1970), que son considerados los introductores del logicismo. Una de las tareas fundamentales del logicismo es la reduccin de los conceptos matemticos a conceptos lgicos; a esta reduccin se le designa como logificacin

0.2 - Por qu es necesaria una buena formacin en lgica ? Lo expuesto en el numeral anterior, nos empieza a mostrar la importancia de esta rea del conocimiento y podra llevarnos a considerar la irrelevancia de la pregunta. No obstante considero que ella cobra plena vigencia, mucho ms por el perodo histrico al que asistimos y en el cual quiero ubicarla. Las respuestas a esta pregunta son muchas y bien fundamentadas por los especialistas en esta rea y tambin por otras personas, no necesariamente expertas en ella pero que por formacin, la asumen como una componente inherente a la buena argumentacin, al buen juicio. Por ello quiero ms bien considerar otros aspectos que se relacionan con la argumentacin lgica, y en particular con el manejo de la informacin producida por diferentes medios. El avance increble en los medios de comunicacin que caracterizaron las ltimas dcadas del siglo veinte y que en el comienzo del nuevo siglo, hace que cualquier fantasa en este campo sea rpidamente una realidad. Nos provee de informacin continua en todas las reas, sin embargo en muchos casos la cantidad de sta no se equipara con su calidad. Es, en particular, en este aspecto: el procesamiento o anlisis crtico, individual y colectivo de la informacin recibida y producida, en diferentes modalidades, sobre el que quiero llamar la atencin; y al respecto destaco con referencia a l, los siguientes elementos. La manipulacin de la informacin, manifiesta desde los mensajes publicitarios cotidianos inductores al consumismo desmedido, plagados de falacias hbilmente diseadas por sus autores por un lado y aceptadas por el desconocimiento del pblico por el otro. Las posiciones polticas sostenidas pblicamente por lderes mundiales, que no resisten el menor anlisis por las contradicciones y sofismas que conllevan, pero que pasan airosos en todos los auditorios sin ninguna crtica a su contenido. La ausencia preocupante de interlocutores vlidos, veraces, objetivos, en diferentes escenarios donde se toman decisiones cruciales que pueden afectar desde una poblacin local hasta la humanidad completa, nos llevan a presenciar como la ausencia de la fuerza argumentativa es reemplazada, lamentablemente en muchas ocasiones, por la fuerza bruta; y en muchos otros la palabra comprometida hoy, maana se olvida.

Estas situaciones reales parecen apuntar a un nuevo orden en el cual son protagonistas la informacin liviana, acrtica, convincente, fcilmente asimilable, donde importa mucho la forma pero muy poco el fondo; y que inevitablemente me lleva a pensar si ese objetivo ideal de la argumentacin vlida con todos los elementos que la caracterizan, que obviamente est en contrava con este diagnstico actual, ha caducado y su existencia se reduce exclusivamente al lenguaje de las matemticas. Sin embargo creo que nuestra obligacin como seres pensantes, como integrantes de una cadena evolutiva, como formadores, nos impide claudicar, y hoy como nunca nos exige cultivar denodadamente todos los elementos que enriquezcan nuestra racionalidad, que estimulen y movilicen nuestros esquemas cognitivos. Es en este aspecto esencial donde considero que la lgica, como disciplina formativa, tiene un papel importante que tenemos que aprovechar como parte de un proceso educativo integral; que tenga como objetivo hacernos ciudadanos responsables, crticos sanos y objetivos, tanto en la informacin que recibimos como en los juicios que emitimos.

Es el reto al que nos convoca una sociedad que avanza vertiginosamente en muchos campos, pero que igualmente nos demanda mejor formacin para ser participantes activos en ella. 0.3 - El objeto de estudio de la lgica Con el propsito de motivar el estudio por esta rea del conocimiento considero importante destacar algunos objetivos de la lgica citados por el Doctor David Kelley en su libro the Art of Reasoning with Symbolic logic, y he adaptado algunas situaciones reales en las que se evidencia el papel de la lgica y la necesidad de la coherencia y el anlisis crtico en la argumentacin. Cuando nos concentramos en nuestros pensamientos, nuestro objetivo normalmente es encontrar la respuesta de algo. Tratamos de responder una pregunta, resolver un problema, probar una tesis, comprender un texto de una disciplina especfica. En todos estos casos, podramos decir que estamos tratando de adquirir conocimientos que no tenamos antes. Y, en muchas ocasiones, podemos adquirir este conocimiento por la observacin directa. Pero tambin tenemos que hacer razonamientos, elaborar inferencias y construir conclusiones conjuntamente a partir de la informacin obtenida. Un objeto esencial de la lgica, siempre, ha sido el estudio de la inferencia y buena parte de nuestro trabajo estar orientado en esta direccin. Estudiaremos reglas para evaluar las inferencias y aprenderemos a distinguir las correctas de las incorrectas. Como una situacin motivadora podemos plantearnos el siguiente problema: Una legislatura aprob la ley que exige que el cinturn de seguridad, en los asientos de los autos, sea utilizado. Los ponentes de esta ley afirman que los usuarios, que utilizan el cinturn, tienen una mejor oportunidad, estadsticamente, de sobrevivir en accidentes, frente a aquellas personas que no los usan. Los oponentes, a menudo, sealan casos particulares en los cuales alguien sobrevivi debido precisamente a que no utiliz el cinturn.Cul es la mejor clase de evidencia? Estn los oponentes haciendo uso exagerado de las excepciones. Estn los ponentes haciendo uso adecuado de la estadstica. Asumamos para orientar la discusin, que el uso de los cinturones de seguridad en los asientos, realmente es seguro. Es esto suficiente para justificar la ley? No, por s solo. La mayor seguridad de los cinturones debera justificar la ley, nicamente, si nosotros aceptamos la posicin de que el gobierno debe exigirnos hacer aquello que propenda por nuestra seguridad. Muchas personas pueden defender esta posicin. Otras dirn que cada persona es libre para decidir en estos aspectos. As, encontramos aqu dos temas de discusin: La seguridad de los cinturones de los asientos y la norma adecuada del gobierno. Puede fundamentarse, este ltimo, en la evidencia estadstica? Si no lo es as, qu clase de evidencia es relevante? Un propsito de la lgica es responder la pregunta que acabamos de plantear. La lgica sola no podra decirnos si o no al soporte del mandato establecido por la ley. Ella nos provee de un mtodo a seguir para la elaboracin de decisiones respaldadas. Nos indica cmo dividir y subdividir y analizar la informacin disponible para tener la seguridad de considerar todos los puntos importantes. Nos proporciona principios para decidir qu tipo de evidencia es apropiada en una situacin particular. Y nos fija principios para determinar qu peso tiene una pieza dada como evidencia. El valor de estas destrezas lgicas tiene un ilimitado campo de aplicacin. En la labor normal de los estudiantes en los cursos, que realizan, frecuentemente, presentan tesis que entran en competencia y que requieren de una discusin crtica. En los cursos de filosofa un tema para la discusin puede ser la libertad versus el determinismo; en la literatura, pueden generarse diferentes interpretaciones de un personaje en una obra determinada. La discusin de estas ideas, en forma crtica, significa presentar razones en pro o en contra de ellas. La comprensin de una teora cientfica, demos por caso una teora sobre el origen del universo, nos lleva a la necesidad de comprender muchas cosas acerca de las evidencias para soportarla. Finalmente, en nuestra vida diaria, tenemos muchas cosas para hacer unas ms importantes que otras, y aqu tambin necesitamos sopesar las razones de cada lado y tratar de considerar todos los elementos importantes.

La lgica puede tambin ayudarnos a desarrollar mayor agudeza en el anlisis de la argumentacin. Muchos hemos participado en discusiones frustrantes a causa de caer en crculos viciosos. Esto ocurre, a menudo, cuando se habla sin escuchar a los interlocutores, esto es cuando no estamos hablando en el mismo contexto. Supongamos que algunos argumentan que es errneo, por inmoral, considerar la eutanasia, exclusivamente, como un procedimiento mdico dirigido finalmente a terminar con el dolor, puesto que est de por medio la vida de una persona. Muchos otros tambin pueden argumentar que una persona en estado terminal tiene, legalmente, el derecho a tomar decisiones sobre su vida. Ambos grupos de personas estn tratando el mismo tema de la eutanasia, pero ellos no estn trabajando el mismo aspecto. Los primeros estn tratando de mostrar que la eutanasia es inmoral, mientras que los segundos estn refutando el hecho de que pueda ser ilegal. Si la eutanasia es aceptable o inaceptable en trminos de la moral, y si es legal o ilegal son conclusiones diferentes. Ellos estn relacionados (lo cual permite que fcilmente se confundan), pero no son idnticos. Si ambos grupos pueden identificar la diferencia, ellos pueden encontrar que no estn en desacuerdo, despus de todo. En esta situacin particular, el problema de ubicar dos contextos diferentes es relativamente sencillo, porque los dos puntos de vista estn claramente identificados por dos palabras diferentes inmoral versus ilegal. Un problema ms difcil se presenta cuando dos personas estn utilizando la misma palabra, pero con distintos significados. Para ilustrar esta situacin observemos la siguiente argumentacin. Una vez analizados los trabajos presentados por los aspirantes al cargo, el jurado considera que deben relevarse. Dos personas que analizan este enunciado pueden expresar conceptos totalmente opuestos frente a su interpretacin as: La primera considera la palabra relevarse como una acepcin de relevante es decir destacable, en este sentido su interpretacin del texto anterior corresponde a que los trabajos presentados por los aspirantes tienen tan buena calidad, que merecen ser destacados. En tanto la segunda persona asume dicha palabra como acepcin de relevar, es decir reemplazar, en este sentido, su interpretacin del texto corresponde a que los trabajos presentados por los aspirantes tienen tan baja calidad que exige que los aspirantes sean reemplazados y, posiblemente que se haga una nueva convocatoria. Estas situaciones nos llevan a considerar otra rea de gran importancia en la lgica que corresponde a los conceptos y definiciones. Siempre que razonamos hacemos uso de palabras abstractas; as en la argumentacin sobre la eutanasia se expresaba si esta era o no ilegal, como tambin si era o no inmoral. Las palabras subrayadas son conceptos abstractos y el debate nos obliga a ver como se definen con toda precisin. Con frecuencia estamos hablando fuera de contexto cuando usamos la misma palabra, pero con diferentes significados. En consecuencia, siempre debemos utilizar el significado de nuestras palabras tan claro y explcito como nos sea posible. Algunos conceptos, tales como verdad, son extremadamente difciles de definir, y grandes pensadores han invertido buen tiempo de su vida en el esfuerzo de lograrlo. La lgica no nos garantiza xito, pero si nos provee de un mtodo a seguir, y el mtodo nos brinda dividendos inmediatos en trminos de la claridad y precisin de nuestros pensamientos. As como es necesario precisar el significado de palabras en el contexto de un anlisis, tambin podemos emplear el camino inverso, tomar palabras claves y analizar su significado en distintas reas. Esto nos permite, adems, una integracin temtica real de diferentes campos. Por ejemplo, si se toma la palabra dinero puede abordarse su sentido en reas como: la religin en la cual se considera como fuente del mal, y en la economa como medio de cambio. Como un ltimo aspecto bien importante a considerar desde el mbito de la lgica, miremos ahora la objetividad. Una buena comprensin de la lgica puede ayudarnos a elaborar buenas argumentaciones y persuadir a otras personas. Pero este no es el nico valor de la lgica. El objetivo fundamental es adquirir conocimiento para determinar que es verdadero. Ganar en una argumentacin no significa, necesariamente, que nuestra posicin sea correcta, as como perder no significa, necesariamente, que ella sea errnea. Si una opinin es verdadera o falsa depende de los hechos. El lograr esta valoracin, como objetivo, es lo que el profesor David Kelley denomina el arte de la objetividad. En el contexto de la discusin con otras personas, objetividad significa no solamente presentar las propias ideas lgicamente, sino tambin escuchar lo que las otras personas dicen.

La objetividad no exige que seamos neutrales, que no tomemos partido o que seamos indiferentes ante el tema en discusin. Requiere que tratemos de mirar la materia en discusin desde el punto de vista de la otra persona. As, si nuestro punto de vista fuera correcto, es raro que una perspectiva singular revele toda la verdad. Se requiere que escuchemos con imparcialidad la evidencia y los argumentos de la contraparte. En esta forma si finalmente refutamos las argumentaciones del oponente, sabremos exactamente por qu, y as tenemos un mejor conocimiento de nuestra posicin. En cierta forma la objetividad es una actitud que tenemos para seleccionar, y la lgica no puede hacer la seleccin por nosotros. Pero la objetividad tambin involucra una habilidad. As, con el mejor propsito del mundo, no podemos ser realmente objetivos, a menos que conozcamos como seguir y evaluar los argumentos que escuchamos, como aislar los temas relevantes, como evitar la ambigedad y la vaguedad en el lenguaje que utilizamos; esto requiere, en consecuencia, un buen conocimiento del tema tratado. Otro aspecto de la objetividad, particularmente importante, es la comunicacin con las personas. A fin de conseguir que nuestras ideas puedan avanzar positivamente, debemos tener en cuenta el contexto de las otras personas. Un punto obvio para alguien y que considerara que no amerita siquiera su mencin en un determinado texto, puede no ser obvio para los dems y su omisin puede generar la no comprensin de su argumentacin. La objetividad es la habilidad de regresar sobre nuestros propios juicios, de tal forma que podamos revisarlos en forma crtica, a travs de la mirada de cualquier persona que no comparta nuestro propio punto de vista, nuestras preferencias, nuestra idiosincrasia. Todo lo que nosotros podemos razonablemente pedir de nuestra audiencia es la habilidad de seguir la coherencia lgica. En este aspecto, la lgica, como lenguaje, es un sistema convenido sin el cual no podramos comunicarnos. Pero la objetividad no es precisamente una virtud social. Va ms all de la irrazonabilidad de los puntos de vista de los opositores; y ms all sensitivamente de las necesidades cognitivas de otros. La habilidad de regresar sobre nuestra cadena de pensamientos y examinarlos crticamente es una virtud, an cuando nuestro objetivo no sea comunicarlos. Es una virtud porque es la nica forma de confrontar los resultados de nuestros razonamientos, de evitar conclusiones precipitadas, de estar en contacto con los hechos. El resultado de nuestras propias reflexiones no puede ser mejor que el proceso por el cual llegamos a ellas. No existe un libro de la vida con respuestas en su interior que nos permita ver si estamos o no en lo correcto. El buen razonamiento es un proceso de autodireccin, autocorreccin alerta a los peligros de los juicios apresurados y nunca temeroso a preguntar o a responder Por qu?. Reafirmando algo ya dicho, esto es ms bien cuestin de actitud, de eleccin, una posicin en nuestra vida y la lgica no puede hacer la seleccin por nosotros. Pero si nos provee de herramientas tiles. Nos suministra la brjula para navegar 0.4 - Actividades Complementarias Con el fin de propiciar la reflexin sobre los temas tratados en la seccin anterior y ampliar su discusin, se proponen las siguientes actividades.

0.4.1 Analice cada uno de los textos que se presentan a continuacin y, exprese su opinin sustentndola en la forma ms conveniente. 0.4.1.1 Con relacin a la reglamentacin del uso de los cinturones de seguridad, considera usted que es pertinente la argumentacin: La mayor seguridad de los cinturones debera justificar la ley,nicamente, si nosotros aceptamos la posicin de que el gobierno debe exigirnos hacer aquello que propenda por nuestra seguridad. 0.4.1.2 La ley colombiana clasifica el delito de asesinato como un delito encarcelable, y por tanto quien lo cometa debe ir a prisin. En consecuencia, es suficiente que un individuo sea condenado por asesinato para ir a prisin?

0.4.1.3 La produccin, el trfico y el consumo de drogas psicotrpicas y alucingenas, ha generado toda una gama de problemas sociales, desde la delincuencia organizada hasta los daos irreversibles y finalmente la muerte que causa en los adictos a ellas. Esto ha llevado a considerar su penalizacin como un delito internacional. En nuestro pas en particular, son nefastas las secuelas que el problema del narcotrfico ha producido.

Puede afirmarse que los daos que causan estas drogas en las personas que las utilizan adems de otros factores delincuenciales que estn asociados a ellas, son elementos suficientes para penalizar drsticamente y prohibir su consumo? 0.4.1.4 Con relacin al tema de la eutanasia considera usted que los aspectos: Legal y moral son efectivamente distintos? Conoce usted algo sobre la legislacin en nuestro pas al respecto? Recuerda usted algn artculo reciente sobre el tema? Puede usted indicar otro tema diferente, que se pueda analizar bajo estos mismos aspectos? 0.4.1.5 Entre Alejandro y Carlos se da el dilogo siguiente: Carlos: No entiendo por qu el profesor me calific 1 a la consulta que entregu y que l dej como tarea la clase pasada. Aunque yo no asist a varias clases, t me informaste por telfono el tema de la consulta. Cunto sacaste? Alejandro: Mi trabajo fue calificado con cinco y yo te indiqu que el tema de consulta era la asociacin libre. Por qu no revisamos los trabajos para observar que pudo haber ocasionado la diferencia entre las notas? Carlos: Estoy de acuerdo Alejandro: La asociacin libre. La asociacin libre o regla fundamental, es uno de los cuatro elementos que constituyen el dispositivo Freudiano para realizar el anlisis del discurso subjetivo en condiciones ptimas. La asociacin libre se constituye en una forma especializada de verbalizacin y podra decirse que es su forma suprema ya que permite dejar de lado el factor crtico y la censura, que en otras formas de verbalizacin controladas aparecen con ms intensidad. Carlos: Ahora entiendo menos Alejandro: Leamos el trabajo de Felipe que tambin fue calificado con cinco y que el profesor me encarg de entregarle. (Felipe): La asociacin libre. Al prescindir de la hipnsis Freud fue construyendo una tcnica que permita inducir al paciente a asociar y a comunicar aquello que se le ocurra, esta regla consiste entonces en pedir al

paciente que comunique todo lo que a su mente acuda sin importar si viene o no al caso, si le parece disparatado o vergonzoso. La intencin de esta tcnica es dejar de lado toda crtica conciente y permitir que las representaciones que surjan encuentren expresin verbal. Carlos: Definitivamente esto no tiene sentido. Alejandro: No comprendo lo que dices, por qu no lees tu trabajo?

Carlos: La asociacin libre. Artculo 38. Se garantiza el derecho de libre asociacin para el desarrollo de las distintas actividades que las personas realizan en sociedad.

Artculo 39. Los trabajadores y empleadores tienen derecho a constituir sindicatos o asociaciones, sin intervencin del Estado. Su reconocimiento jurdico se producir con la simple inscripcin del acta de constitucin. (Constitucin Poltica Repblica de Colombia)

Al analizar estos textos, qu considera usted que pudo haber ocurrido para motivar la diferencia en las notas asignadas por el profesor? Desde el punto de vista de la lgica, cul es el problema central que se plantea en esta situacin? 0.4.1.6 Finalmente seale en forma muy breve, los aspectos ms importantes que, segn su criterio, se tocan en estos elementos preliminares con relacin al papel funcional de la lgica. 0.4.2 Puede considerarse en nuestro medio, razonable, la posicin de aceptar que cada persona es libre para decidir en lo correspondiente a su bienestar individual, siempre y cuando no afecte a otras personas an a riesgo de causarse dao?
Analicemos el siguiente texto: La primera consecuencia que se deriva de la autonoma, consiste en que es la propia persona (y no nadie por ella) quien debe darle sentido a su existencia y, en armona con l, un rumbo. Si a la persona se le reconoce esa autonoma, no puede limitrsela sino en la medida en que entra en conflicto con la autonoma ajena. El considerar a la persona como autnoma tiene sus consecuencias inevitables e inexorables, y la primera y ms importante de todas consiste en que los asuntos que slo a la persona ataen, slo por ella deben ser decididos. Decidir por ella es arrebatarle brutalmente su condicin tica, reducirla a la condicin de objeto, cosificarla, convertirla en medio para los fines que por fuera de ella se eligen. Cuando el Estado resuelve reconocer la autonoma de la persona, lo que ha decidido, ni ms ni menos, es constatar el mbito que le corresponde como sujeto tico: dejarla que decida sobre lo ms radicalmente humano, sobre lo bueno y sobre lo malo, sobre el sentido de su existencia. (Derecho al libre desarrollo de la personalidad. Lmites: autonoma personal Gaceta de la Corte Constitucional. Tomo 5, pgina 46). Ponencia del Doctor Carlos Gaviria Daz. En su cargo como Magistrado de la Corte Constitucional. Dou, Alberto. Fundamentos de la matemtica. Editorial Labor, S.A. Barcelona, 1970. Pgs, 59 y 60. Kelley, David. The Art of Reasoning with Symbolic Logic. W.W. Norton & Company. New York, London, 1990. Pg. 5. Op. Cit., pg. 7.