La lógica
La lógica se define como la ciencia de las leyes del pensamiento y su objetivo es estudiar la
relación que tiene con la verdad y estudiar los principios o formas generales que rigen el
conocimiento y el pensamiento humano en forma coherente.
Es la ciencia formal y rama tanto de la filosofía como de las matemáticas que estudia los
principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción.
Historia de la lógica:
La historia de la lógica documenta el desarrollo de la lógica en varias culturas y tradiciones a lo
largo de la historia. Aunque muchas culturas han empleado intrincados sistemas de
razonamiento, e, incluso, el pensamiento lógico estaba ya implícito en Babilonia en algún
sentido, la lógica como análisis explícito de los métodos de razonamiento ha recibido un
tratamiento sustancial solo originalmente en tres tradiciones: la Antigua China, la Antigua India
y la Antigua Grecia.
La historia de la lógica tiene varias etapas:
Edad Antigua 500 a 400 a.C- La historia de la lógica comienza desde la época antigua
con las civilizaciones de China, India y Grecia.
En Grecia surgen dos lógicas opuestas, la lógica estoica y la lógica proposicional, pero el
que le da relevancia es Aristóteles en su obra Órganon, documento que aporta los
principios para que en la edad media se sigan trabajando en esos razonamientos.
Se considera que Aristóteles fue el fundador de la lógica, Aristóteles definió la lógica como la
ciencia que estudia los razonamientos correctos. Por lo que la entendía como un instrumento al
servicio de las demás ciencias.
Para Aristóteles existía un tipo de razonamiento, especialmente, útil para la ciencia. El silogismo,
un silogismo, es un razonamiento de tipo deductivo que consta de 2 premisas y una conclusión
que se deduce necesariamente de las premisas.
Parménides de Elea formulo el principio lógico de identidad, del cual surge el principio de no
contradicción; sin embargo, Heráclito considera que fue Platón el que hablo de ello.
Edad Media s. V al XV d.C- Los árabes extendieron los estudios de Aristóteles, lo cual
era requisito para ingresar a la universidad. Por otra parte, la lógica se convirtió en
estudio de muchos filósofos como Hispano, Raimundo; Kilvington y Sajonia, entre otros,
que trataron nuevos problemas de la lógica y la semántica.
Edad Moderna s. XV y XVIII d.C- Los filósofos llamados racionalistas sitúan 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 pensarlo que daría paso a la lógica formal, promulgada por Descartes y Leibniz.
Edad contemporánea s. XVlll- Gottlob extendió la lógica formal más allá de la lógica
proposicional para incluir constructores como "todo" y "algunos", lo que ahora se denomina
premisas.
Peano, Ernst Perirce introduce la lógica de segundo orden, base de la aritmética.
A partir de la segunda mitad del siglo XIX, se construye la lógica para el calculo, mediante
valores de verdad. Fueron muchos los aportes para las matemáticas, pero el avance mas
importante fue la lógica de predicados por Frege, base para los sistemas de computadores.
Además de la lógica proposicional y la lógica de predicados, el siglo XX vio el desarrollo de
muchos otros sistemas lógicos; entre los que destacan las muchas lógicas modales y que seguirá
avanzando para mejorar muchas mas cosas.
Gottlob extendió la lógica formal más allá de la lógica proposicional para incluir constructores
como "todo" y "algunos", lo que ahora se denomina premisas.
Peano, Ernst Perirce introduce la lógica de segundo orden, base de la aritmética.
Ramas de la lógica:
Lógica matemática- también, lógica simbólica, lógica teorética, lógica formal, o logística, es el
estudio matemático de la lógica y su aplicación a otras áreas de la matemática y la ciencia.
Lógica computacional- es la misma lógica matemática aplicada al contexto de las ciencias de la
computación, su uso se desprende de varios sistemas como circuitos, programación, análisis y
optimación de algoritmos.
Lógica filosófica- se refiere a aquellas áreas de la filosofía en la que reconocidos métodos de la
lógica, tradicionalmente, han sido utilizadas para resolver o avanzar en la discusión de los
problemas filosóficos.
Lógica informal- es el estudio de los argumentos a posteriori en oposición al estudio técnico y
teórico de la lógica matemática, también distinguiendo las formas válidas e inválidas a partir de
la información dada, sin tener en cuenta su forma lógica.
La lógica formal- que expresa sus contenidos, empleándolos de forma estricta, de modo que se
analice lo deductivo a partir de la validez de sus formas.
Características de la lógica:
- Los resultados de la lógica son válidos o inválidos, de ahí la importancia de razonar para dar
argumentos, para dar su validez o no.
- Puede ser deductiva, inductiva, abductiva o analógica, por eso los razonamientos.
• Lógica deductiva es aquella en la que se extrae una conclusión a partir de dos premisas, y su
validez dependerá de la veracidad de las premisas.
Ejemplo:
Premisa1: Los hombres son seres vivos
Premisa2: Gaby es un ser vivo
Conclusión: Gaby es un hombre
• Lógica inductiva, la cual busca extraer premisas a partir de una conclusión ya existente, es
decir las premisas apoyan una conclusión observable.
Ejemplo:
premisa: cada vez que hace sol, Camilo va al parque
Conclusión observable: Camilo sale al parque cuando hace sol
• Lógica abductiva, busca extraer premisas a partir de una conclusión, cuyos resultados
pueden ser incorrectos.
Ejemplo: Se escucha música. Entonces deben estar en rumba.
- La lógica puede ser formal e informal
- Los enunciados lógicos no se contradicen, la lógica se rige por el principio de la no
contradicción. Este establece que dos proposiciones contradictorias no pueden ser v álidas al
mismo tiempo. Es decir, no se puede ser y no ser de manera simultánea.
- Evita cometer falacias o sofismas en nuestro razonamiento. Una falacia o sofisma es un
argumento incorrecto que parece correcto
- La validez de las proposiciones se evalúa tomando en cuenta ciertas modalidades
- Los enunciados lógicos son unidades
Utilidad de la lógica:
La lógica nos permite distinguir los argumentos correctos de los incorrectos, comprender por qué
algunos son correctos y otras no, y evitar cometer falacias o sofismas en nuestro razonamiento.
- Nos permite diferenciar los argumentos correctos de los incorrectos.
- Evita que cometamos y caigamos en falacias en nuestros razonamientos.
- Nos ayuda de que alguna forma explícita o implícita, a buscar argumentos sólidos que nos
permita defender las ideas.
Palabras:
Argumentos: Razonamiento para probar o demostrar una proposición, o para convencer de lo que
se afirma o se niega.
Razonamientos: Acción y efecto de razonar.
Razón: Acto de discurrir el entendimiento.
Lógica: lógico.
Racionalidad: Cualidad de racional.
Premisas: Señal o indicio por donde se infiere algo o se viene en conocimiento de ello
Juicios: Facultad por la que el ser humano puede distinguir el bien del mal y lo verdadero de lo
falso.
Silogismo: Argumento que consta de tres proposiciones, la última de las cuales se deduce
necesariamente de las otras dos.
Tomado de:
[Link]
[Link]
[Link]
[Link]
[Link]
[Link]
