You are on page 1of 6

T.I.C.

Y RAZONAMIENTO DEDUCTIVO: HERRAMIENTAS LGICAS, ARGUMENTACIN Y SILOGISMO

Carmen Ubiera Correas IES Vadinia Cistierna, Len-Espaa tapinum@terra.es Fernando Jorge Fraile Fernndez Escuela de Ingenieras Industrial e Informtica. Universidad de Len, Espaa dfqfff@unileon.es

Resumen Buscando favorecer el aprendizaje en la materia de Filosofa de Primer Curso de Bachillerato mediante la utilizacin de las NTIC, hemos desarrollado una aplicacin multimedia que sirve de introduccin al estudio de la Lgica y la Silogstica Aristotlica. Dicha aplicacin informtica, cuyo funcionamiento y materiales son descritos en las pginas de esta ponencia, presenta al alumno la informacin textual de los contenidos conceptuales y procedimentales en consonancia con su nivel educativo, acompaada, cuando sea aconsejable, de imgenes, animaciones y sonidos que faciliten su comprensin. Los contenidos versan sobre conceptos que creemos necesarios para introducir al alumno en el manejo de las herramientas lgicas fundamentales: argumento, elementos del argumento, argumentos inductivos y deductivos, validez y verdad en argumentos deductivos... Estos conceptos estn encaminados a centrar al alumno en lo que constituye el objetivo principal de la aplicacin: La Silogstica Aristotlica. En este apartado incluimos nociones tales como: proposicin, trmino, figura y modo del silogismo, etc. Tambin se incluyen una serie de actividades y ejercicios de aplicacin para cada uno de los diferentes apartados de los conceptos desarrollados, un cuestionario de autoevaluacin y, como corolario, un comprobador de la validez formal de cualquier silogismo propuesto al programa. Se trata de un material destinado a motivar y despertar el inters del alumno frente a los contenidos que se le proponen. En este sentido, sera un complemento ideal al trabajo desarrollado en el aula. Pero tambin puede ser una herramienta que facilite la autonoma del alumno en el proceso de aprendizaje y la autoevaluacin.

1. Introduccin El empeo de Descartes por dirigir el pensamiento por el camino adecuado o de hacer un uso correcto y eficaz de nuestra capacidad de razonar le llev al encuentro de un mtodo que facilitara esta tarea y le permitiese alcanzar la verdad de todo cuanto era capaz de conocer. La preocupacin por someter nuestras opiniones y visiones de la realidad al rigor del pensamiento lgico es antigua, pero sigue estando vigente en la actualidad, tal vez porque esa capacidad nos constituye y define; pero tambin porque, en gran medida, creemos que es el criterio ms acertado para alcanzar la verdad. La antigedad de esta preocupacin se remonta, al menos, al siglo IV a.c.. La silogstica aristotlica es su ms clara manifestacin. El conjunto de la lgica aristotlica fue designado por los pensadores medievales con el nombre de RGANON, porque efectivamente la conceba como un rgano o instrumento necesario para trabajar en cualquier ciencia. Aunque fundamentalmente supone un intento por encontrar formas correctas de razonamiento y, en esta medida, recibe frecuentemente el calificativo de formal; puede ampliar nuestra visin del mundo cuando esas formas correctas de razonar se aplican al conocimiento de la realidad. Supone, por tanto, tambin un modo de acceso a la realidad. En la actualidad, decamos, la preocupacin contina vigente. Tambin es compartida por nuestros legisladores en materia educativa. Est especialmente presente en el nuevo curriculum de Bachillerato, aprobado en el Real Decreto 3474/2000. All, en referencia a la materia de Filosofa, se dice explcitamente:
La Filosofa como materia del Bachillerato debe desempear las siguientes funciones: - Propiciar una actitud reflexiva y crtica, acostumbrando a los alumnos a no aceptar ninguna idea, hecho o valor, si no es a partir de un anlisis riguroso. - Potenciar la capacidad de pensar de modo coherente, usando la razn como instrumento de persuasin y dilogo...

Ms adelante contina:

Para cumplir estas funciones, un curso introductorio debe dotar a los alumnos de una estructura conceptual suficiente de carcter filosfico. Si han de adoptar una actitud crtica y reflexiva, se les debe dotar de criterios, habitundoles a exigir de las teoras o los hechos de modo especial los hechos socialesun grado suficiente de evidencia o necesidad; si han de aprender a usar la razn, debern conocer, al menos de modo prctico, las principales reglas lgicas...

Atendiendo a estas exigencias curriculares y a los objetivos de que los alumnos/as de 1 de Bachillerato adquieran las capacidades de someter el pensamiento y el anlisis de los hechos al rigor de las reglas lgicas, aprender a discutir razonadamente, valorar la lgica como instrumento para clarificar nuestro lenguaje y nuestro pensamiento y valorar el rigor de los discursos bien construidos desde un punto de vista lgico como medio de alcanzar el consenso entre los hombres; proponemos el desarrollo de una aplicacin multimedia que permita a los alumnos/as iniciarse en los conceptos y procedimientos de la argumentacin deductiva y del silogismo. Esta sera el punto de partida para el desarrollo de otros posibles contenidos lgicos, como puede ser la lgica de clases. Si bien es cierto que los Institutos de Enseanza Secundaria cuentan en la actualidad con la infraestructura y los recursos materiales necesarios para utilizar las nuevas tecnologas en el uso de la prctica docente, sabemos tambin que la mayor dificultad de los profesores para aprovechar estos recursos no radica en el desconocimiento de su manejo y uso ni en su desconfianza respecto a su contribucin en la mejora del proceso de enseanza-aprendizaje. En concreto en el rea de Filosofa el problema est en la practica inexistencia y/o accesibilidad de un Sotware que le permita dar nuevas perspectivas metodolgicas a la transmisin del saber filosfico. Con nuestra contribucin pretendemos tapar una pequea parte de ese vaco y animar a otros profesionales de la enseanza o de la programacin a que continen con esa tarea. Resulta sorprendente para los informticos el reducido uso que se hace de los ordenadores por parte de los especialistas en lgica y las escasas aplicaciones informticas desarrolladas en este campo, cuando informtica y lgica son dos campos relacionados ntimamente. Los computadores, adems de mquinas para el tratamiento de la informacin, acostumbran a ser definidos como mquinas lgicas. Sus diseadores pretenden que estas mquinas imiten en lo posible el funcionamiento del cerebro humano y as han trasladado las reglas de inferencia de la lgica formal al funcionamiento interno del ordenador y a la programacin informtica. Es de todos conocido que las computadoras funcionan con ceros y unos y que uno de los componentes ms importantes de su Unidad de Proceso es la Unidad Aritmtico-Lgica que se encarga de los clculos matemticos y lgicos. Los circuitos utilizados en la construccin de estos cerebros electrnicos son digitales. Las seales que circulan por ellos son discretas y nicamente pueden tomar dos valores (0 1, verdadero o falso), por lo que su funcionamiento est basado en el lgebra de Boole. Entre esta circuitera se encuentran, como elementos constituyentes ms sencillos, las puertas lgicas que realizan una funcin lgica simple (AND, OR, NOT). Tambin aparecen dispositivos ms complejos que son los denominados PLD (Dispositivos Lgicos Programables) que llevan a cabo funciones lgicas complejas. En cuanto al proceso de la programacin, podemos decir que sta es conocida como parte lgica en contraste con la circuitera o parte material. Una mquina sin programa no realiza ninguna tarea. Un programa se compone de una secuencia de instrucciones que debe ejecutar el ordenador. Sin embargo, cuando las mquinas programables comienzan a realizar tareas ms complejas es cuando se permiten romper la secuencia lineal de instrucciones y son capaces de tomar decisiones, dependiendo del valor de verdad o falsedad de determinadas expresiones condicionales y variables que pueden ser relacionadas mediante las funciones lgicas tradicionales. Actualmente, la programacin ha dado un paso ms adelante hacia la denominada inteligencia artificial. Se persigue dotar al ordenador de un comportamiento ms libre en la toma de decisiones y permitir el aumento de su base de conocimiento a travs de un motor de inferencia. Su funcionamiento debe basarse en la utilizacin de un clculo lgico que defina axiomas, derive teoremas y los aplique a las informaciones ya conocidas para, en combinacin con nuevos datos que se le presenten, inferir nuevos conocimientos que se aadan a los ya existentes. Institucionalmente contamos con proyectos interesantes, como Aldeas Digitales, encaminados al uso de Internet como modo de intercambiar informacin y solucionar problemas concretos en la adquisicin de un determinado contenido. Sin duda en este campo se abren perspectivas muy interesantes que los docentes tendremos que aprender a utilizar como recurso didctico y metodolgico en el aula. Es en este mbito donde pretende incidir la aplicacin desarrollada.

214

2. Desarrollo metodolgico de la aplicacin Metodolgicamente se pretende presentar al alumno/a , de forma atractiva y amena, una serie de conceptos que le permitan avanzar en el manejo de la lgica a un ritmo completamente personalizado. En la informacin se intercalan una serie de actividades para que el alumno autoevalue su progreso, profundice en la materia y sea ms consciente de sus aplicaciones prcticas. Todo ello, adems de constituir un apoyo a la explicacin del profesor en el aula, facilita el autoaprendizaje; pues el alumno puede contar en cualquier momento (tambin en su casa) con la informacin conceptual y procedimental necesaria para conocer la materia objeto de estudio. Es tambin un tutorial informtico que dirige el aprendizaje, aclara dudas y corrige errores. En este sentido el comprobador para silogismos puede ser una herramienta de gran ayuda, ya que no slo obliga al alumno a crear sus propios argumentos, sino que le muestra la informacin necesaria para cerciorarse de su validez, forzndole a contrastarla con la solucin por l ya imaginada Los materiales propuestos seran los siguientes: - Presentar informacin sobre el lenguaje oral y escrito y sus funciones, as como de la diferencia existente entre un discurso informativo y un discurso argumentativo. - Ejercicio 1: Sobre una serie de discursos concretos el alumno debe distinguir los informativos de los argumentativos. - Presentar informacin sobre las caractersticas de un argumento. Acompaar la informacin de ejemplos aclaratorios. - Ejercicio 2: Ante determinados argumentos el alumno debe distinguir las premisas de la conclusin. Tambin debe saber inferir una conclusin a partir de unas premisas dadas y, a la inversa, establecer las premisas que daran lugar a una determinada conclusin. - Presentar informacin sobre las caractersticas de un argumento deductivo. Proponer ejemplos. - Ejercicio 3: Sobre argumentos deductivos concretos, volvemos a p racticar las habilidades desarrolladas en el ejercicio anterior. - Presentar informacin sobre las caractersticas de un argumento inductivo. Proponer ejemplos. - Ejercicio 4 : Presentar las dos primeras premisas de lo que ser un argumento inductivo. El alumno debe escribir dos ms y establecer la conclusin. - Ejercicio 5: Presentar una serie de argumentos. El alumno debe distinguir los que son deductivos de los que son inductivos. Por el momento el alumno/a se ha iniciado en la tcnica de argumentar y sabe que hay varias formas de hacerlo. Tambin sabe que unas merecen mayor confianza que otras. Ahora se tratara de hacerle comprender que la capacidad de razonar podemos utilizarla para hablar de lo que ocurre en el mundo, pero que al razonar utilizamos unas estructuras que son igualmente fiables cuando nuestro discurso no se refiere a la realidad e incluso cuando la niega. Entre otros contenidos y actividades proponemos: - Presentar el concepto de validez de un argumento deductivo, su carcter puramente formal y su independencia del contenido o verdad del mismo. - Ejercicio 6: Presentamos un argumento falso para determinar su validez con la siguiente estructura: Los A son B a es A Por tanto, a es B - Ejercicio 7 : Presentar un argumento verdadero para determinar su validez con la siguiente estructura: Si se cumple A, se cumple B Se cumple B Por tanto, se cumple A

215

- Ejercicio 8: Presentar un argumento falso con la estructura de la transitividad para que el alumno determine su validez. - Ejercicio 9 : Presentar un argumento verdadero para determinar su validez con la siguiente estructura: Los A son B Los B son C Luego, los C son A - Ejercicio 10: Presentar un argumento verdadero con la estructura del Modus Tolens para determinar su validez. - Ejercicio 11: Presentar un argumento verdadero con la siguiente estructura para determinar su validez: Si se da A, se da B No se da A Por tanto, no se da B. - Ejercicio 12: Presentar un argumento con la siguiente estructura para determinar su validez: Algunos A tienen la propiedad x b es A Por tanto, b tiene la propiedad x - Ejercicio 13: Presentar un argumento con la siguiente estructura para determinar su validez: A es x B es x Luego, B es A Ahora el alumno est familiarizado con determinadas formas correctas e incorrectas de razonamientos deductivos. Est preparado, por tanto, para abordar el silogismo como una forma muy particular de razonamiento deductivo. - Presentar informacin general sobre el silogismo y proponemos un ejemplo. A partir de este ejemplo se establece el concepto de proposicin o enunciado. - Presentar informacin sobre la clasificacin de las proposiciones en 4 grupos: A,E,I ,O. - Ejercicio 14: Ante una secuencia de oraciones determinar si son proposiciones y en caso afirmativo de qu tipo. - Presentar informacin sobre los trminos, premisas y conclusin del silogismo. Acompaar la explicacin con ejemplos que ayuden al alumno a identificar los trminos del silogismo y a familiarizarse con la estructura del mismo. - Presentar informacin sobre la figuras del silogis mo con un ejemplo para cada una de las estructuras. - Presentar informacin sobre los modos del silogismo y sobre las palabras nemotcnicas que se utilizan para referirse a los modos vlidos. Presentar ejemplos para que el alumno, atendiendo a estos parmetros, aprenda a identificar los argumentos vlidos. - Ejercicio 15: Presentar una serie de silogismos para que el alumno, de acuerdo a los contenidos previamente expuestos, determine su validez. - Ejercicio 16: El alumno puede proponer una serie de silogismos al ordenador para que este los analice y determine su posible validez. - Presentar informacin sobre representacin de silogismos mediante diagramas de Venn. - Ejercicio 17: Presentar una serie de argumentos silogsticos para que el alumno determine su posible validez mediante la utilizacin de los diagramas de Venn. - Ejercicio 18: El alumno/a puede proponer silogismos al ordenador para que este determine su posible validez mediante diagramas de Venn. 3. Evaluacin La actividad puede finalizar con un ejercicio de evaluacin para determinar el grado de consecucin de los objetivos y valorar hasta qu punto el alumno maneja los conceptos y herramientas lgicas que ha ido aprendiendo con la utilizacin de la aplicacin. Este ejercicio debe incluir alguna cuestin referente a la valoracin que el alumno/a hace del programa: dificultad en su uso, si ha satisfecho las expectativas que tena, si le ha facilitado el trabajo, si

216

el trabajo le ha resultado a la vez til y ameno, etc. Las respuestas a esta ltima cuestin nos servirn de gua para futuras concepciones de la aplicacin. 4. Recursos didcticos La aplicacin multimedia (disponible en http://saudade.unileon.es/estagirita/silogismo.asp) se ha desarrollado como un conjunto de Pginas Web dinmicas en HTML. Los mdulos correspondientes a los ejercicios y al comprobador de argumentos silogsticos, que exigen una programacin ms avanzada y precisan mostrar los resultados, se han realizado como Pginas de Servidor Activo (ASP) en lenguaje VBScript. Para poder ejecutar las pginas ASP se necesita un ordenador que funcione como servidor y en el cual se colocarn los ficheros de la aplicacin. Los alumnos acceden a dicho servidor a travs de los terminales del aula de informtica o desde sus domicilios si cuentan con una conexin a Internet. El uso del servidor se justifica, precisamente, por la posibilidad de poner la aplicacin a disposicin pblica por parte de cualquier usuario y desde cualquier ubicacin. La utilizacin del servidor disminuye tambin las necesidades en cuanto a caractersticas de los ordenadores del aula de informtica del Centro, ya que la mayor parte de las exigencias del proceso se realizan en el servidor. Aunque la simbologa que vamos a utilizar es muy simple, tenemos que advertir que debe respetarse escrupulosamente la cuantificacin de enunciados, ya que el ordenador slo reconocer las expresiones todos/as, ningn/a, algunos/as, algn/a, algunos/as...no son ..., y algn/a... no es.... Nuestro lenguaje natural cuenta con mltiples formas de expresar esta cuantificacin. Todas ellas deben ser escritas de acuerdo a estos parmetros. Actualmente estamos realizando una versin en Flash que permitir la utilizacin de la aplicacin de manera dual, esto es, en el servidor o en ordenadores independientes. Por tanto, para llevar a la prctica esta aplicacin multimedia con un grupo de aproximadamente 30 alumnos/as se necesita un aula de informtica que no precisa de ordenadores de ltima generacin, aunque, eso s, es imprescindible (hasta que est disponible la versin Flash) que estn conectados en red al servidor.

Ilustracin 1: Comprobador de Argumentos Silogsticos

5. Conclusiones Por ltimo sealar que la presente aplicacin comenz siendo un curso de Lgica por ordenador con caractersticas similares a las que tendra si fuese impartido por un profesor en el aula, y termin siendo un comprobador de argumentos silogsticos a dos niveles: por una parte, mediante el anlisis de los elementos que caracterizan este tipo de inferencias (figuras, trminos, modos, etc); por otra, mediante representaciones en diagramas de Venn.

217

No pudimos probar la eficacia de la aplicacin en el aula con un grupo de alumnos de 1 de Bachillerato, aunque este era nuesto propsito, porque estuvo lista para ser utilizada en el 2 trimestre, cuando ya haban estudiado la materia. Se experiment, sin embargo, con un grupo de alumnos voluntarios y el grado de satisfaccin ha sido muy elevado. El desarrollo en forma de pginas HTML permite compartir los contenidos desarrollados y ponerlos a disposicin de todos los interesados en la Filosofa, en general, y la Lgica, en particular, para su consulta y visualizacin a travs de Internet. Pensamos que este tipo de aplicaciones pueden hacerse extensibles a otras partes de la Lgica, especialmente a la Lgica de Clases, que surgi precisamente de la conexin entre la lgica clsica y la moderna teora matemtica de conjuntos. Esta aspiracin nos anima a seguir trabajando.

218