La Lógica en la actualidad

Como disciplina que investiga los principios del razonamiento humano, la lógica ha
sido, a lo largo de la historia, fuente de estudio para muchas civilizaciones, jugando
un importante rol en el desarrollo de la filosofía y las matemáticas y, más
recientemente, de las ciencias de la computación y las ciencias empíricas. A su vez,
se ha visto enriquecida a partir de los aportes de cada una de estas disciplinas.
La lógica se divide en varias categorías según su campo de estudio. La lógica
filosófica estudia el concepto y la definición, la enunciación o proposición y
la argumentación utilizando los métodos y resultados de la lógica moderna para el
estudio de problemas filosóficos. La lógica matemática estudia la inferencia
mediante sistemas formales como la lógica proposicional, la lógica de primer orden y
la lógica modal. La lógica informal se enfoca en el desarrollo lingüístico de
los razonamientos y sus falacias. La lógica computacional es la aplicación de la
lógica matemática a las ciencias de la computación.
Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes
en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera
una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente
la lógica matemática, y por lo tanto ahora también se considera parte de las
matemáticas, e incluso una ciencia formal independiente.
Inferencia
La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas
Cuando una conclusión se sigue de sus premisas por medio de inferencias válidas,
se dice que éstas implican aquella.
La inferencia es el objeto de estudio tradicional de la lógica, así como la vida es es
el objeto de estudio de la biología. La lógica investiga los fundamentos 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 (retórica). Por esto se construyen sistemas lógicos que capturan
los factores relevantes de las deducciones que aparecen en el lenguaje natural.
Validez
En lógica, la validez es una propiedad que tienen los argumentos cuando
las premisas implican la conclusión. Si la conclusión es una consecuencia lógica de
las premisas, se dice que el argumento es deductivamente válido. Algunos
consideran estas dos nociones idénticas y usan ambos términos indistintamente.
Otros, sin embargo, consideran que puede haber argumentos que no sean
deductivamente válidos, como las inducciones.
Falacias
En lógica, una falacia es un argumento que parece válido, pero no lo es. Algunas
falacias se cometen intencionalmente para persuadir o manipular a los demás,
mientras que otras se cometen sin intención debido a descuidos o ignorancia. En
ocasiones las falacias pueden ser muy sutiles y persuasivas, por lo que se debe
poner mucha atención para detectarlas.
Que un argumento sea falaz no implica que sus premisas o su conclusión sean
falsas ni que sean verdaderas. Un argumento puede tener premisas y conclusión
verdaderas y aun así ser falaz. Lo que hace falaz a un argumento es la invalidez del
argumento en sí.
Paradojas
Una paradoja o antilogía es una idea lógicamente contradictoria u opuesta a lo que
se considera verdadero a la opinión general. También se considera paradoja a una
proposición en apariencia falsa o que infringe el sentido común, pero no conlleva
una contradicción lógica, en contraposición a un sofisma que solo aparenta ser un
razonamiento válido. Algunas paradojas son razonamientos en apariencia válidos,
que parten de premisas en apariencia verdaderas, pero que conducen a
contradicciones o situaciones contrarias al sentido común. En la retórica, es una
figura de pensamiento que consiste en emplear expresiones o frases que implican
contradicción. Las paradojas son estímulo para la reflexión y a menudo los filósofos
se sirven de ellas para revelar la complejidad de la realidad. La paradoja también
permite demostrar las limitaciones de la comprensión humana; la identificación de
paradojas basadas en conceptos que a simple vista parecen sencillos y razonables
ha impulsado importantes avances en la ciencia, la filosofía y las matemáticas.
Verdad
La verdad es la coincidencia entre una afirmación y los hechos, o la realidad a la
que dicha afirmación se refiere o la fidelidad a una idea. El término se usa en un
sentido técnico en diversos campos como la ciencia, la lógica, las matemáticas y
la filosofía.
El uso de la palabra verdad abarca asimismo la honestidad, la buena fe y la
sinceridad humana en general; también el acuerdo de los conocimientos con las
cosas que se afirman como realidades: los hechos o la cosa en particular;25 y,
finalmente, la relación de los hechos o las cosas en su totalidad en la constitución
del Todo, el Universo.
Las cosas son verdaderas cuando son «fiables», fieles porque cumplen lo que
ofrecen.
El término no tiene una única definición en la que estén de acuerdo la mayoría de
los estudiosos y las teorías sobre la verdad continúan siendo ampliamente
debatidas
Ramas
 Lógica matemática
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica
formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a
algunas áreas de la matemática y la ciencia. Comprende la aplicación de las
técnicas de la lógica formal a la construcción y el desarrollo de las matemáticas y el
razonamiento matemático, y conversamente la aplicación de técnicas matemáticas
a la representación y el análisis de la lógica formal. La investigación en lógica
matemática ha jugado un papel crucial en el estudio de los fundamentos de las
matemáticas.
La lógica matemática estudia la inferencia mediante la construcción de sistemas
formales como la lógica proposicional, la lógica de primer orden o la lógica modal.
Estos sistemas capturan las características esenciales de las inferencias válidas en
los lenguajes naturales, pero al ser estructuras formales susceptibles de análisis
matemático, permiten realizar demostraciones rigurosas sobre ellas.

 Lógica computacional
La lógica computacional es la misma lógica matemática aplicada al contexto de
las ciencias de la computación. Su uso es fundamental en varios niveles: en
los circuitos computacionales, en la programación lógica y en el análisis y
optimización (de recursos temporales y espaciales) de algoritmos.
La lógica se extiende al corazón de la informática a medida que surge como una
disciplina: El trabajo de Alan Turing sobre el Entscheidungsproblem seguido del
trabajo de Kurt Gödel sobre teoremas incompletos. La noción de la computadora de
uso general que surgió de este trabajo fue de gran importancia para los diseñadores
de la maquinaria informática en la década de 1940.

 Lógica filosófica
La 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. Entre estos, Sybil Wolfram destaca el
estudio del argumento, el significado y verdad, mientras Colin McGinn presenta las
nociones de identidad, existencia, predicado, estado de necesidad y verdad como
ideas principales en su libro sobre este tema. La lógica se usa únicamente para
pensamientos sobre existencias relacionadas con nosotros, en el caso de la filosofía
esto es en relación a todo lo posiblemente imaginativo.

 Lógica informal
La lógica informal, o lógica no formal, es el estudio de los argumentos a posteriori en
oposición al estudio técnico y teórico de la lógica matemática. Esta parte de la lógica
se dedica principalmente a diferenciar entre formas correctas e incorrectas en que
se desarrolla el lenguaje y el pensamiento cotidiano, en especial al estudio de los
procesos para obtener conclusiones a partir de información dada, sin importar
su forma lógica. Parte de que el pensamiento y el lenguaje humano es a menudo
incorrecto, o tendencioso. Surgió en la década de los 70's como un sub-campo de
la filosofía. La primera obra en hablar acerca de esta disciplina fue La lógica y la
retórica contemporánea (1971) de Howard Kahane.
Historia
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.
Aunque las dataciones exactas son inciertas, particularmente en el caso de la India,
es probable que la lógica emergiese en las tres sociedades hacia el siglo IV a. C. El
tratamiento formalmente sofisticado de la lógica proviene de la tradición griega,
especialmente del Organon aristotélico, cuyos logros serían desarrollados por los
lógicos islámicos y, luego, por los lógicos de la Edad Media europea. El
descubrimiento de la lógica india entre los especialistas británicos en
el siglo XVIII influyó también en la lógica moderna.
La historia de la lógica es producto de la confluencia de cuatro líneas de
pensamiento, que aparecen en momentos históricos diferentes:La lógica
aristotélica, seguida de los aportes de los megáricos y los estoicos. Siglos
después, Ramon Llull y Leibniz estudiaron la posibilidad de un lenguaje único,
completo y exacto para razonar. Al comienzo del siglo XIX las investigaciones en
los fundamentos del álgebra y la geometría, seguidos por el desarrollo del
primer cálculo completo por Frege. Ya en el siglo XX, Bertrand
Russell y Whitehead culminaron el proceso de creación de la lógica matemática. A
partir de este momento no cesarán de producirse nuevos desarrollos y de
nacer escuelas y tendencias. Otra perspectiva interesante sobre cómo abordar el
estudio de la historia lógica la ofrece Alberto Moretti y que es sintetizada por Diego
Letzen.