Capitulo Légica Il proposicionalACERCA DE LA HISTORIA DE LA LOGICA Laevolucién de la Logica esta intimamente igada al perfeccionamiento intelectual del ser humano, ya Que como ciencia del razonamiento, su historia incorpora la historia misma del hombre. La Logica florece desde el primer momento en que el hombre, al enfrentar a la naturaleza, infiere, deduce y azona, con el énimo de entenderla y aprovecharla para su supervivencia. Existen varios enfoques acerca de cémo explicar la evolucién de la Légica. Poincare la divide en cinco etapas 0 revoluciones, que se presentan oscilando entre dos grandes tépicos: del rigor y la formalidad, a la creatividad y el aos. Las etapas se identifican como revolucién matematica, revolucién cientifica, revoluci6n formal, rrevolucion digital y la prevista siguiente revolucién logica. El objetivo de la Logica matemitica es cuestionar con el mayor rigor los conceptos y las reglas de deduccién utilizados en matematicas, constituyendo la Logica, por ello una verdadera matemiética. Una teoria materndtica considera objetos definidos (enteros, por ejemplo) y define leyes que relacionan a ‘est05 objetos entre si (los axiomas de la teoria). De los axiomas se deducen nuevas proposiciones (los teoremas), ya veces, nuevos objetos. Durante el periodo de 600..n.e. hasta300..ne., en Grecia se desarrollaron los principios formales de las matemsticas. Sus principales representantes son Platén, Aristoteles y Euclides. Platén introduce sus ideas 0 abstracciones, Aristoteles presenta el razonamiento deductivo y sistematizado y Euclides es el personaje que mayor influencia tuvo en las mateméticas, al establecer el método axiomitico. Después de declinar la escucta clisica de los griegos, se presenta un periodo en el cual la autoridad religiosa embrutecié a la creatividad intelectual. EI Renacimiento inicia una nueva era en ta cual se permite la revitalizacién de la ciencia y las matemiticas. Los representantes mas destacados de esta ‘etapa son Descartes, Newton y Leibniz. Este periodo abarca de los 1500 a los 1800. Esta etapa se caracteriza por el resurgimiento de la formalizacién rigurosa de las mateméticas, ‘que en la etapa clisica griega fue representativa. En este periodo se crea la Logica simbalica, la escuela formal, la logica booleana, el célculo proposicional, la induccion matemstica. Personajes muy notables de esta etapa son Peano, Hilbert, Frege. Boole, de Morgan, Gentzen, Russell, Gide! y Whitehead. A Rusell y Gédel se deben los planteamientos de las limitantes de la Légica y de la ciencia en general, Esta revolucién se inicié con lainvencién de fa computadora digital y el acceso universal a redes de alta ‘velocidad. Turing une ala Légicay la computacién antes que cualquier computadora fuera inventada. Wiener funda la ciencia de la bernética. En la escucta moderna de la computacion estin presentes kbgicos que han pPermitido avances importantes: Hoare presenta un sistenta axiomatico de los sistemas de programacién y Dijkstra un sisterna de verificacion y deduccién de programas a partir de especificaciones. La siguiente revolucion légica serd la asimilacién practica de las matemiiticas y la computacion dentro de Ia Logica. Se hard énfasis en que las computadoras exploten ia informacién inteligentemente, pasando de las bases de datos a las bases de conocimientos. FUENTE: BLASCO CARRO, Pedro, CHICO GONZALES, Pedro. Filosofia y Ligica. Lima. Editorial Bruno.Logica calm ove] “= proposicional OBJETIVOS + Conocer las reglas que asume el proceso de pensamiento que refleja la realidad. + Valorar la importancia de la Logica en las demostraciones matematicas. + Dominar el célculo proposicional para analizar la verdad 0 falsedad de las proposiciones compuestas. Introduccion Qué es la ligien? ‘Si un vaso de vidrio cae al piso, es logico que se quiebre. Si estudio con bastante dedicaci6n, es légico que apruebe el examen. Una probable respuesta seria que damos a entender que existe una coherencia 0 sentido correcto en fo que hacemos, pero también poderos afirmar que siempre extraemos conclusiones, lo cual es inherente a nuestra capacidad racional, Tanto enla vida diaria como, sobre todo, en la investigacion cientifica, el ser hurnano debe muchos de sus éxitos 0 fracasos a la eficacia de sus razonamientos, dado que estos le permiten conocer mejor la realidad. En tanto que un mal razonamiento, con frecuencia, prolonga el cambio hacia el conocimiento verdadero. La Logica se ocupa, justamente, de determinar qué es lo que hace que un razonamiento sea corecto ono lo sea. La Logica nace en Grecia antigua, en el sexto siglo a.ne., con Tales, el primer matematico de Ja Historia, pero pasé algiin tiempo antes de que Aristételes inicie su sistematizacién y otro tiempo mayor atin para que asuma el aspecto modemo de ciencia. Actualmente, aparece como una ciencia rigurosa, con un lenguaje técnico elaborado y preciso, pues la utillzacién que hace del simbolismo te permite evitar las confusiones y ambigtiedades del lenguaje natural. A la Logica en su estado actual de desarrollo, se le conoce como Logica simbélica o légico-matematica, nombres que aluden a su uso sisterdtico del simbolismo y al parecido de sus procedimientos con los de la Matematica. 1