Download la logica - WordPress.com

Document related concepts

Lógica wikipedia , lookup

Historia de la lógica wikipedia , lookup

Proposición wikipedia , lookup

Filosofía de la lógica wikipedia , lookup

Argumento wikipedia , lookup

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