Lógica

Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia.

[8]​[9]​[10]​ Sin embargo, el ámbito de la lógica (interpretada en sentido amplio) incluye: Históricamente, la lógica se ha estudiado principalmente en filosofía desde la antigüedad, en matemáticas desde mediados del siglo XIX y en informática desde mediados del siglo XX.

La palabra «lógica» deriva del griego antiguo λογική logikḗ, que significa «dotada de razón, intelectual, dialéctica, argumentativa» y que a su vez viene de λόγος (lógos), «palabra, pensamiento, idea, argumento, razón o principio».

Un argumento en este sentido tiene su «lógica» cuando resulta convincente, razonable y claro; en definitiva cuando cumple una función de eficacia.

Expresiones como "pensamiento lógico" a menudo se utilizan para describir un enfoque racional que busca alinearse con la realidad y las pruebas disponibles.

Sin embargo, en este contexto, la lógica no siempre se refiere a un sistema formal de reglas, sino más bien a un sentido práctico o común sobre como algo debería funcionar.

Este tipo de lógica, aunque menos estructurada, busca soluciones innovadoras que desafíen las suposiciones habituales.

Conceptos como la "lógica deportiva" suelen surgir en este ámbito, en el cual las reglas tácitas o evidentes dentro de un contexto específico forman la base del razonamiento.

Siendo así que la lógica pragmática considera cómo se usan los argumentos en contextos reales, donde la retórica y la persuasión juegan un rol importante.

[15]​ La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas o hipótesis iniciales.

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 (retórica).

[17]​ Tradicionalmente, se distinguen tres clases de inferencias: las deducciones, las inducciones y las abducciones, aunque a veces se cuenta a la abducción como un caso especial de inducción.

Si la conclusión es una consecuencia lógica de las premisas, se dice que el argumento es deductivamente válido.

Si un argumento, además de ser válido, tiene premisas verdaderas, entonces se dice que es sólido.

En lógica, una falacia (del latín fallacia ‘engaño’) es una tesis que parece válida, pero no lo es.

En ocasiones las falacias pueden ser muy sutiles y persuasivas, por lo que se debe poner mucha atención para detectarlas.

Debe señalarse que la lógica matemática se ocupa de sistemas formales que pueden no ser equivalentes en todos sus aspectos, por lo que la lógica matemática no es un método para descubrir verdades del mundo físico real, sino solo una fuente posible de modelos lógicos aplicables a teorías científicas, muy especialmente a la matemática convencional.

En los años 50 y 60, investigaciones predijeron que, cuando el conocimiento humano se pudiera expresar usando la lógica con notaciones matemáticas, sería posible crear una máquina capaz de razonar o una inteligencia artificial.

Las lógicas de orden superior no aplican directamente la lógica clásica a ciertos subcampos nuevos dentro de la filosofía, sino que la generalizan al permitir la cuantificación no solo sobre individuos sino también sobre predicados.

Un cálculo o lógica proposicional (también un cálculo sentencial) es un sistema formal en el que las fórmulas que representan proposiciones pueden formarse combinando proposiciones atómicas (normalmente representadas con p, q, etc.) utilizando conectivos lógicos (

etc.); estas proposiciones y conectivas son los únicos elementos de un cálculo proposicional estándar.

) se incluyen en el cálculo proposicional extendido, pero solo cuantifican sobre proposiciones completas, no sobre sujetos o predicados individuales.

Brouwer rechazó la formalización en matemáticas, pero su alumno Arend Heyting estudió la lógica intuicionista formalmente, al igual que Gerhard Gentzen.

Sin embargo, la lógica modal se formaliza normalmente con el principio del medio excluido, y su semántica relacional es bivalente, por lo que esta inclusión es discutible.

puede verse como una respuesta natural a la controversia fundamental en metafísica sobre realismo versus antirrealismo.

Georg Wilhelm Friedrich Hegel fue profundamente crítico con cualquier noción simplificada del Principio de no contradicción.

Innumerables seres que hicieron inferencias de una manera diferente a la nuestra perecieron".

Esta posición sostenida por Nietzsche, sin embargo, ha sido sometida a un escrutinio extremo por varias razones.

Algunos filósofos, como Jürgen Habermas, afirman que su posición es autorrefutante y acusan a Nietzsche de no tener siquiera una perspectiva coherente, y mucho menos una teoría del conocimiento [ver perspectivismo].

De ahí que, así como Nietzsche llamaba platonismo para el pueblo al cristianismo, llamara también cristianismo sin Dios a la Ilustración y sus ídolos (la ciencia, el realismo científico, la democracia, la idea de progreso, etc.).