¿Por qué es importante la lógica para establecer un razonamiento correcto?

¿Por qué es importante la lógica para establecer un razonamiento correcto?

Trabajo de profundización

Samanta Quesada Castiblanco

Colegio Venecia IED

Filosofía

Bogotá D.C

Año 2023

1003

Introducción

En este ensayo tratare de dar una idea general de lo que se conoce como lógica.

Escogí esta rama de la filosofía porque fue la que más me llamo la atención, investigue sobre este tema que creía que no tenía mucha relevancia, no sabía hasta este momento la importancia que este tiene para que el ser humano tenga un buen razonamiento, la lógica no se basa en lo que es verdad o mentira sino en la validez.

Es algo que usamos diariamente y se basa en algo natural como la capacidad que tenemos para cuestionar nuestros actos y saber que tendrán consecuencias obteniendo certeza y validez.

Tanto en la ciencia como en problemas matemáticos, en la física, astronomía.

Introducción general

Historia de la lógica

La lógica se divide en dos: la lógica formal y lógica informal

“Todos nosotros, supuestos seres racionales, empleamos la lógica cuando razonamos, asimilamos o procesamos la información que recibimos del entorno, cualquier tipo de información. (Somos lógicos porque somos seres humanos.) Hombre = Animal+Racional =Racionalidad.”^[1]

Aristóteles fue el fundador de lógica en el siglo IV a.c, el la definió como la ciencia que estudia los razonamientos correctos, creía que era instrumento al servicio de las demás ciencias, por ejemplo, la física debe construirse con razonamientos correctos. El tipo de razonamiento especialmente para la ciencia es el silogismo. Razonamiento de tipo deductivo que consta de dos premisas y una conclusión, en otras palabras, estructura que la lógica formal.

Esto cambio en el siglo XIX a partir de esto comienza una relación entre la lógica y las matemáticas, la lógica se utilizará para estudiar la validez de las deducciones matemáticas y será sometida a un proceso de formalización simbólica; esto quiere decir que para realizar los análisis lógicos se empleara un lenguaje simbólico similar al de las matemáticas, en esta tarea destacaron autores como Fred y Russell. De esta forma nace la lógica moderna, también llamada lógica simbólica o lógica matemática, el propósito de la lógica desde Aristóteles hasta el siglo XIX se entiende como la ciencia que estudia los razonamientos correctos centrándose en los silogismos , la lógica moderna desde el siglo XIX hasta la actualidad , asume un propósito más general , el estudio de la forma valide de demostración o interferencia es decir la manera en que ciertas verdades son demostradas a partir de otras previas, si es de forma inductiva o deductiva.

Para llevar a cabo este estudio la lógica se constituye como un cálculo o sistema formal axiomático , se trata del lenguaje artificial constituido por signos y reglas que permite calcular ,es decir demostrar ciertas verdades a partir de otras ya establecidas , a  través de una serie de pasos , la que llamaremos operaciones del cálculo de qué forma a dado lugar la lógica a las computadoras , es precisamente al plantearse la lógica como un cálculo o sistema formal axiomático, cuando se pusieron las bases de las actuales computadores u ordenadores , un cálculo consiste en una serie de operaciones o pasos ordenados definidos e infinitos , es decir que tienen un principio y fin , permiten solucionar un problema demostrando  una verdad o extraer consecuencias a partir de datos previamente conocidos , el cálculo se realiza mediante un lenguaje bien definido ejemplo el de las matemáticas , reglas que permiten operar como las reglas de la aritmética suma, resta, multiplicación,  división etc. .

Lógica formal: es una ciencia que contiene métodos que nos ayudan a distinguir entre argumentos válidos e inválidos usando ciertos valores de verdad y falsedad lo cual es muy útil para dirigirse a la verdad, la lógica estudia la estructura formal del pensamiento, que funciona a partir de premisas y conclusiones que nos ayudan a determinar si las premisas dan a luz correctamente a una conclusión, por ejemplo.

Todos los Dioses son inmortales  

Zeus es un Dios

Zeus es inmortal

Se puede observar que la conclusión sigue de las premisas, esta acción que se denomina inferencia ya que inferir es extraer de las premisas de la conclusión o dar por hecho que una proposición sigue a otra como un enlace de cadenas, también las proposiciones de lógicas se clasifican en verdaderas y falsas, por ejemplo:

...