Lógica

Lógica. Rama de la filosofía cuyo objeto es 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.

Lógica. Del griego "logiké" (relativo a la razón, al discurso racional) en general, y en la actualidad, se considera que la lógica es una ciencia formal que tiene por objeto el estudio de las condiciones en las que un razonamiento puede ser considerado válido, mediante la determinación de las reglas de inferencia válidas.

Aunque se atribuye su origen a Zenón de Elea, el verdadero sistematizador e impulsor de la lógica griega fue Aristóteles, cuyos trabajos, agrupados posteriormente bajo la denominación de "Organon", se consideró durante más de 20 siglos como un compendio completo y definitivo de lógica.

A finales del siglo XX, sin embargo, debido a los trabajos de Boole y Frege, entre otros, la lógica experimentará un cambio sustancial: deja de basarse en la clasificación de las proposiciones y adopta el principio de generación recursiva, lo que permite prescindir totalmente del lenguaje ordinario a favor de un lenguaje puramente formal, compuesto por un pequeño número de signos y de ciertas reglas de combinación para formar enunciados.

Desde entonces los estudios de lógica no han dejado de progresar, quedando reducida la lógica aristotélica a una pequeña parte de las cuestiones de que se ocupa la lógica contemporánea.