LGICA La evolucin de la lgica est intrnsecamente ligada a la evolucin intelectual del ser humano, ya que como ciencia del

razonamiento, su historia representa la historia misma del hombre. La lgica surge desde el primer momento en que el hombre, al enfrentar a la naturaleza, infiere, deduce y razona, con el nimo de entenderla y aprovecharla para su supervivencia. Existen varios enfoques acerca de cmo interpretar la evolucin de la lgica. Poncaire la divide en cinco etapas o revoluciones, que se presentan oscilando entre dos grandes tpicos: del rigor y la formalidad, a la creatividad y el caos. Las etapas se identifican como: Revolucin matemtica, revolucin cientfica, revolucin formal, revolucin digital y la prevista siguiente revolucin lgica. La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido. CIENCIAS EN LAS QUE SE APLICA LA LGICA La lgica es ampliamente aplicada en la filosofa, matemticas, computacin. 1. En la filosofa para determinar si un razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite saber el significado correcto. 2. En la matemtica para demostrar teoremas e inferir resultados matemticos que puedan ser aplicados en investigaciones. 3. En la computacin para revisar programas. En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lgico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint la parte alta porque se manchara lo que ya tiene pintado, tambin dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o de derecha a izquierda segn el caso, todo esto es la aplicacin de la lgica. LAS MATEMTICAS Y LA LGICA

Durante el periodo de 600 AC hasta 300 AC, en Grecia se desarrollaron los principios formales de las matemticas. A este periodo se le conoce como periodo clsico, donde sus principales representantes son: 1. Platn introduce sus ideas o abstracciones. 2. Aristteles presenta el razonamiento deductivo y sistematizado. 3. Euclides es el personaje que mayor influencia matemticos, al establecer el mtodo axiomtico en Euclides organiza pruebas deductivas dentro de una sistemtica, rigurosa y bien organizada de matemtico. tuvo en las ''Elementos'', presentacin conocimiento

SISTEMAS LOGICOS Lgica Aristotlica La que es conocida como lgica clsica (o tradicional) fue enunciada primeramente por Aristteles, quien elabor leyes para un correcto razonamiento silogstico. Un silogismo es una proposicin hecha de una de estas cuatro afirmaciones posibles: Todo A es B (universal afirmativo), Nada de A es B (universal negativo), Algo de A es B (particular afirmativo) o Algo de A no es B (particular negativo). Las letras sustituyen a palabras comunes como perro, animal de cuatro patas o 'cosa viviente', llamadas trminos del silogismo. Un silogismo bien formulado consta de dos premisas y una conclusin, debiendo tener cada premisa un trmino en comn con la conclusin y un segundo trmino relacionado con la otra premisa. En lgica clsica se formulan reglas por las que todos los silogismos bien construidos se identifican como formas vlidas o no vlidas de argumentacin. Lgica Matemtica La lgica matemtica es un campo de las matemticas que 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 lgica matemtica fue tambin llamada lgica simblica, en oposicin a la lgica filosfica, y metamatemticas. 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.

Lgica Moderna A mediados del siglo XIX, los matemticos britnicos George Boole y Augustus De Morgan abrieron un nuevo campo a la lgica, hoy conocido como lgica simblica (o moderna), que ms tarde fue desarrollada por el matemtico alemn Gottlob Frege y Bertrand Russell y Alfred North Whitehead. El sistema lgico de Russell y Whitehead cubre un espectro mayor de posibles argumentaciones que las que se pueden encontrar en la lgica silogstica. Introduce smbolos para frases enteras y para las conjunciones que las unen, como o, y, si... entonces.... Cuenta con smbolos diferentes para el sujeto lgico y el predicado lgico de una frase; y adjudica smbolos para distinguir las clases, para los miembros de las clases y para las relaciones de la pertenencia a una clase y la inclusin en una clase. Tambin se aleja de la lgica clsica en sus suposiciones de la existencia respecto a las cosas aludidas en sus afirmaciones universales. La afirmacin Todo A es B significa en lgica moderna que Si algo es A, entonces es B; lo que, a diferencia de la lgica tradicional, no significa que todo A existe. Tanto la rama clsica como la moderna implican mtodos de lgica deductiva. En cierto sentido, las premisas de una proposicin vlida contienen la conclusin, y la verdad de la conclusin se deriva de la verdad de las premisas. Tanto la lgica moderna como la clsica asumen en sus formas ms corrientes que cualquier proposicin bien elaborada puede ser o verdadera o falsa. En aos recientes se han desarrollado sistemas de la denominada lgica combinatoria: una afirmacin puede tener un valor distinto a verdadero o falso. En algunos supuestos es slo un tercer valor neutro, en otros es un valor de probabilidad expresado como una fraccin que oscila entre 0 y 1 o entre -1 y +1. DISCIPLINAS RELACIONADAS Muy relacionadas con la lgica se encuentran la semntica o filosofa del lenguaje, la epistemologa o teora del conocimiento, y la psicologa del razonamiento. 1. Semntica (del griego semantikos, 'lo que tiene significado'): Esta ciencia trata del estudio del significado de los signos lingsticos, esto es, palabras, expresiones y oraciones. Quienes estudian la semntica tratan de responder a preguntas del tipo 'Cul es el significado de X (la palabra)?'. Para lo cual se involucra la Lgica. Para ello tienen que estudiar qu signos existen y cules son los que poseen significacin, esto es, qu significan para los hablantes, cmo los designan (es decir, de qu forma se refieren a ideas y cosas), y por ltimo, cmo los interpretan los oyentes. La finalidad de la semntica es

establecer el significado de los signos, lo que significan, dentro del proceso que asigna tales significados. 2. Epistemologa (del griego, episteme, 'conocimiento'; logos, 'teora'): Esta se ocupa de las condiciones bajo las cuales las afirmaciones son verdaderas, trata de los problemas filosficos que rodean a la denominada teora del conocimiento. La epistemologa se ocupa de la definicin del saber y de los conceptos relacionados, de las fuentes, de los criterios, de los tipos de conocimiento posible y del grado con el que cada uno resulta cierto; as como de la relacin exacta entre el que conoce y el objeto conocido. 3. Psicologa del razonamiento: Esta es la que se refiere a los procesos mentales que se siguen en el curso de un razonamiento. Es el estudio cientfico de la conducta y la experiencia, de cmo los seres humanos y los animales sienten, piensan, aprenden y conocen para adaptarse al medio que les rodea. La psicologa moderna se ha dedicado a recoger hechos sobre la conducta y la experiencia, y a organizarlos sistemticamente, elaborando teoras para su comprensin. Estas teoras ayudan a conocer y explicar el comportamiento de los seres humanos y en alguna ocasin incluso a predecir sus acciones futuras, pudiendo intervenir sobre ellas. 4. La Logstica La logstica tiende a reducir todo a relaciones, es decir, a razonamientos. Se trata, pues, de encontrar smbolos que expresaran no solo palabras y frases, sino las ideas, para libertar el pensamiento de los equvocos del lenguaje. Como los smbolos son ajenos a todo lenguaje natural, tienen un carcter universal y no necesitan traduccin, porque su significado resulta de la funcin que desempea. DIVERSAS CONCEPCIONES DE LA LGICA 1. La Concepcin Aristotlica Partiendo de que corresponde a Aristteles haber sido el primero en tratar con todo detalle la lgica, se le considera pues ser su fundador. En un principio se llamo Analtica, en virtud del titulo de las obras en que trato los problemas lgicos. Mas tarde los escritos de Aristteles relativos a estos eventos fueron recopilados por sus discpulos con el titulo de Organon, por considerar que la lgica era un instrumento para el conocimiento de la verdad. De acuerdo con la escuela socrtica, considera que mediante el concepto, es decir, con la idea general, el espritu aprovecha la realidad, la

naturaleza eterna y absoluta de las cosas. Por consiguiente, la definicin de un concepto debe suministrarnos la esencia del objeto, el conocimiento complejo de dicho concepto. Se llega a la definicin mediante el razonamiento, que es el encadenamiento de las ideas. Como los conceptos son la realidad, el encadenamiento que se estables en nuestro pensamiento entre los conceptos corresponde a las relaciones de la realidad misma. 2. La Concepcin Baconiana Quines fueron los verdaderos creadores de la nueva ciencia? Leonardo da Vinci (1452 1519), Johann Kepler (1571 1630) y sobre todo Galileo Galilei (1546 1642). Esta concepcin considera que la ciencia es el instrumento ms eficaz para que las fuerzas de la naturaleza se vuelvan tiles al hombre. Los hechos de la naturaleza deben ser observados con imparcialidad y con objetividad. 3. La Concepcin Idealista El idealismo presenta dos formas: El idealismo subjetivo, tambin conocido como idealismo psicolgico y este sostiene la tesis de que toda realidad esta encerrada en la conciencia del sujeto. Las cosas no son ms que contenidos de conciencia. El idealismo absoluto tambin conocido como idealismo lgico toma tambin como punto de partida la conciencia, pero considera solamente los juicios como un sistema objetivo de juicios, pensamientos, es decir, los elementos lgicos. Los objetos son engendrados por el pensamiento, es decir, que de ellos solo tenemos conceptos, ideas. Por esta razn, se ha llamado al idealismo absoluto o lgico, tambin panlogismo, puesto que reduce toda la realidad a algo lgico. 5. El Concepto Puro. Croce Croce identifica, en primer lugar, el concepto con el juicio y con el silogismo. Por esto su lgica es "la ciencia del concepto puro". El concepto es lo universal; por consiguiente, no es representacin ni condensacin de representaciones, puesto que toda representacin es individual. 6. El Crculo Viens Este circulo lucha con la metafsica y a favor de una ciencia unitaria, como lo ha hecho en el Congreso Internacional de Filosofa Cientfica reunido en Paris en 1935. Sin duda, como dice Alfred Stern, no es difcil probar que la filosofa especulativa no es mas que un verbalismo insensato cuando se trata de una metafsica como la de Martn Heidgger, quien descubre que "la nada engendra la negacin" y que plantea este

problema aparentemente profundo: "La nada existe porque negaciones o al contrario existe la negacin porque existe la nada?

hay

BIBLIOGRAFIA 1 Microsoft Encarta 2007. 1993-2006 Microsoft Corporation. 2 Obtenido de "http://es.wikipedia.org/wiki/L%C3%B3gica" Categoras: Lgica | Ciencias formales. 3 Copi, Irving. 1967. Introduccin a La Lgica. Editorial Universitaria. Buenos Aires, Argentina. Fingermann, Gregorio. 1990. Lgica y Teora del Conocimiento. Editorial El Ateneo. Buenos Aires, Argentina. Autores de la pagina en Internet: Gmez R. Kristian A. Alba M. Gerald. Flores R. Leidys A. Dandrea A. Jean P. Pea D. Yoleiddy.