Download la logica - WordPress.com
Document related concepts
Transcript
LA LOGICA Alumno: DAVID GONZALEZ LOREDO 2ºN INTRODUCCION La palabra lógica proviene del griego antiguo que significa «intelectual, dialéctico, argumentativo», que a su vez deriva de «palabra, pensamiento o razón». Aristóteles padre de la lógica La lógica es la ciencia que se encarga de exponer las leyes, modos y formas del razonamiento. Se trata de una ciencia formal que no tiene contenido, pero que se dedica al estudio de las formas válidas de inferencia. Es decir, trata del estudio de los métodos y principios utilizados para distinguir el razonamiento correcto del incorrecto. En otras palabras, la lógica es: "El conjunto de conocimientos que tienen por objeto la enunciación de las leyes que rigen los procesos del pensamiento humano; así como de los métodos que han de aplicarse al razonamiento y la reflexión para lograr un sistema de raciocinio que conduzca a resultados que puedan considerarse como certeros o verdaderos." El objeto de estudio de esta ciencia son las formas, estructuras o esquemas de pensamiento; por eso mientras las otras ciencias se centran en las relaciones de su objeto de estudio con diversos fenómenos, la lógica se ocupa de las relaciones mismas. Podemos distinguir entre dos tipos generales de lógica: a) La lógica formal, también llamada lógica pura, que es precisamente la “ciencia” que determina cuáles son las formas correctas y válidas de los raciocinios. b) La lógica material, también llamada lógica aplicada, que es en la cual un proceso de raciocinio o de pensamiento se analiza en consideración al contenido real de sus premisas y que por lo tanto debe llevar a una conclusión que sea concordante con la realidad. DESARROLLO Relación de la lógica con otras ciencias Psicología: Para algunos la lógica deber ser una parte de la psicología. Los que apoyan este hecho suelen considerar que la ciencia de lo psíquico ha de abarcar todo lo que se relacione con lo mental, y ya que la lógica estudia las formas del pensamiento, de ahí surge el supuesto de que lo psicológico deber determinar a la lógica. Sin embargo, al contrastar ambas ciencias, encontramos que la psicología presenta un conocimiento demasiado disperso sobre su objeto de estudio, insuficiente como para albergar a lógica dentro de la débil estructura en que se envuelve lo mental desde el punto de vista psicológico; por otra parte, a la lógica no le interesan los procesos que generan los pensamientos, solamente le incumbe la estructura correcta o incorrecta de cierto tipo de estos. Matemáticas: A partir del siglo XIX surgió con gran auge la tendencia a considerar a la lógica como una parte muy importante de las matemáticas, creándose desde ese momento una relación indisoluble que apostaba por la ruptura definitiva de la lógica con la filosofía. Para varios lógicos del siglo antepasado, las ciencias formales debían estar indisolublemente unidas. En contra parte, los filósofos señalaban un excesivo énfasis en lo formal por parte de los lógicos matemáticos, un énfasis que extraviaba a la lógica de su carácter original. Al día de hoy el debate continua vigente, sin que ninguno de los bandos ceda terreno, sin embargo es importante señalar que han surgido relevantes avances de la lógica desde el campo de las matemáticas. Metafísica: Los lógicos matemáticos han acusado a los filósofos de hacer ontología con la lógica, lo cual es el principal factor de reticencia sobre la lógica hecha desde el terreno filosófico, con justa o injusta razón, es indudable que algunos lógicos se han perdido en el discurso ontológico en lugar de atenerse al objeto de estudio de esta ciencia. En un extremo neutral encontramos un bando que acusa tanto a los metafísicos como a los matemáticos de extraviar a la lógica de su verdadera naturaleza; conocer las estructuras del pensamiento valido. Gramática: La lógica se apoya en la gramática, ya que esta es el estudio de las reglas y principios que regulan el uso de las lenguas y la organización de las palabras dentro de una oración. Los pensamientos se estructuran en palabras distribuidas a lo largo de una oraciones, antes que cualquier análisis lógico, es indudable que debe existir un uso adecuado de la gramática; claro que sin caer en el exceso de creer que esta determina a la lógica o viceversa. Raciocinio Es una operación discursiva por medio de la cual obtenemos un conocimiento nuevo (inferido) que parte de un conocimiento previo. Existen dos tipos generales de raciocinios, a saber: Raciocinio inductivo Se refiere a un conocimiento de los objetos sensibles, es un tipo de razonamiento que parte de ciertas comprobaciones de la experiencia (observación) para llegar a un punto de validez general. De ahí que se pueda decir que es un tipo de conocimiento que parte de un caso singular para llegar al conocimiento universal. Este es el tipo de raciocinio utilizado para elaborar leyes universales en las ciencias. Raciocinio deductivo Recibe su validez de los principios lógicos; en el intervienen varias relaciones lógicas, por lo mismo generalmente se expresa mediante silogismos. Es un razonamiento que parte de un conocimiento universal para aplicarlo en casos singulares. Proposición Tipos de pensamientos en los que se afirma algo, y que se expresan mediante enunciados u oraciones declarativas, con dos posibles y únicas respuestas; verdadero o falso. La proposiciones siempre son declarativas; los enunciados exclamativos, interrogativos o imperativos no pueden ser proposiciones, la razón es porque dichos enunciados no pueden ser respondidos mediante verdadero o falso, como ocurre con las oraciones declarativas. Existen proposiciones simples (elementales) donde solamente se maneja una sola proposición, y proposiciones compuestas (moleculares) que manejan dos o más proposiciones encadenadas mediante conectivas lógicas ("no", "y", "o", etc). La lógica proposicional es la encargada de estudiar las formas en que se relacionan unas proposiciones con otras y, sobre todo, la relación que se da entre las proposiciones que componen un razonamiento. Es la parte más elemental de la lógica matemática y dispone de métodos específicos para el análisis de las inferencias; como el lenguaje simbólico, en el cual las proposiciones se simplifican a través de diversos símbolos que abrevian el mensaje, para centrarse específicamente en la estructura lógica de las proposiciones y con ello determinar si son correctas o incorrectas. La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική logikḗ, que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (lógos), «palabra, pensamiento, idea, argumento, razón o principio». Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas.1 La lógica investiga los principios por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica. La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática. Hasta el siglo XIX, la lógica aristotélica y estoica mantuvieron siempre una relación con los argumentos formulados en lenguaje natural. Por eso aunque eran formales, no eran formalistas.2 Hoy esa relación se trata bajo un punto de vista completamente diferente. La formalización estricta ha mostrado las limitaciones de la lógica tradicional o aristotélica, que hoy se interpreta como una parte pequeña de la lógica de clases. Ciencia argumentativa y propedéutica El término «lógica», se encuentra en los antiguos peripatéticos y estoicos como una teoría de la argumentación o argumento cerrado.3 De este modo la forma argumentativa responde al principio de conocimiento que supone que representa adecuadamente la realidad.4 Por ello, sin perder su condición de formalidad, no son formalistas y no acaban de desprenderse de las estructuras propias del lenguaje.2 Con el nombre de Dialéctica, en la Edad Media, la Lógica mantiene la condición de ciencia propedéutica. Así se estudia en la estructura de las enseñanzas del Trivium como una de las artes liberales. En la Edad Moderna la lógica tradicional aristotélica adquiere un nuevo enfoque en las interpretaciones racionalistas de Port Royal, en el siglo XVII, pero tampoco supusieron un cambio radical en el concepto de la Lógica como ciencia. Ciencia del pensar Gottfried Leibniz (1646-1716). Los filósofos racionalistas, sin embargo, al situar el origen de la reflexión filosófica en la conciencia, aportaron, a través del desarrollo del análisis como método científico del pensar,5 los temas que van a marcar el desarrollo de la lógica formal. Son de especial importancia la idea de Descartes de una Mathesis universalis6 y de Leibniz que, con su Characteristica Universalis supone la posibilidad de un lenguaje universal, especificado con precisión matemática sobre la base de que la sintaxis de las palabras debería estar en correspondencia con las entidades designadas como individuos o elementos metafísicos, lo que haría posible un cálculo o computación mediante algoritmo en el descubrimiento de la verdad.7 8 Aparecen los primeros intentos y realizaciones de máquinas de cálculo, (Pascal, Leibniz) y, aunque su desarrollo no fue eficaz, sin embargo la idea de una Mathesis Universal o Característica Universal, es el antecedente inmediato del desarrollo de la lógica simbólica a partir del siglo XX. Leibniz y Descartes seguían muy de cerca la escuela jesuita, sobre todo a Suárez, quienes a su vez utilizaban la Lógica Mexicana, de Fray Antonio de Rubio, filósofo mexicano (Novohispano).9 Además se considera que las lógicas modernizantes nunca lograron la precisión de estos estudios. Sander Pierce, Gottlob Frege, Saussure y Wittgenstein siguieron criterios neoescolásticos para formular sus teorías lógicas, más acabadas.10. La palabra «lógica» ha sido utilizada como lógica trascendental por Kant, en el sentido de investigar los conceptos puros a priori del entendimiento o categorías trascendentales. Hegel considera la lógica dentro del absoluto como proceso dialéctico del Absoluto, entendido éste como Principio Absoluto, Espíritu Absoluto, y Sujeto, como Sujeto Absoluto.11 12 La lógica, la epistemología y la ontología van unidas y son expuestas en la filosofía entendida ésta como Sistema Absoluto. Ciencia formal Artículo principal: Lógica matemática En el último tercio del siglo XIX la Lógica va a encontrar su transformación más profunda de la mano de las investigaciones matemáticas y lógicas, junto con el desarrollo de la investigación de las estructuras profundas del lenguaje, la lingüística, convirtiéndose definitivamente en una ciencia formal. Lógica informal En el lenguaje cotidiano, expresiones como «lógica» o «pensamiento lógico», aporta también un sentido alrededor de un «pensamiento lateral» comparado, haciendo los contenidos de la afirmación coherentes con un contexto, bien sea del discurso o de una teoría de la ciencia, o simplemente con las creencias o evidencias transmitidas por la tradición cultural. Del mismo modo existe el concepto sociológico y cultural de lógica como, p.e. «la lógica de las mujeres», «lógica deportiva», etc. que, en general, podríamos considerar como «lógica cotidiana» - también conocida como «lógica del sentido común». En estas áreas la «lógica» suele tener una referencia lingüística en la pragmática. CONCLUSION Un argumento en este sentido tiene su «lógica» cuando resulta convincente, razonable y claro; en definitiva cuando cumple una función de eficacia. La habilidad de pensar y expresar un argumento así corresponde a la retórica, cuya relación con la verdad es una relación probable.13