tesis

Acepciones Ciencia argumentativa y propedéutica El término «lógica», se encuentra en los antiguos peripatéticos y estoicos como una teoría de la argumentación o argumento cerrado.[3] De este modo la forma argumentativa responde al principio de conocimiento que supone que representa adecuadamente la realidad.[4] Por ello, sin perder su condición de formalidad, no son formalistas y no acaban dedesprenderse de las estructuras propias del lenguaje.[2]

Con el nombre de Dialéctica, en la Edad Media, la Lógica mantiene la condición de ciencia propedéutica. Así se estudia en la estructura de las enseñanzas del Trivium como una de las artes liberales.

En la Edad Moderna la lógica tradicional aristotélica adquiere un nuevo enfoque en las interpretaciones racionalistas de Port Royal, en elsiglo XVII, pero tampoco supusieron un cambio radical en el concepto de la Lógica como ciencia.

Ciencia del pensar
Gottfried Leibniz (1646-1716).Los filósofos racionalistas, sin embargo, al situar 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 pensar,[5] los temas que van a marcar el desarrollo de la lógicaformal. Son de especial importancia la idea de Descartes de una Mathesis universalis[6] y de Leibniz que, con su Characteristica Universalis supone la posibilidad de un lenguaje universal, especificado con precisión matemática sobre la base de que la sintaxis de las palabras debería estar en correspondencia con las entidades designadas como individuos o elementos metafísicos, lo que haría posible uncálculo o computación mediante algoritmo en el descubrimiento de la verdad.[7] [8]

Aparecen los primeros intentos y realizaciones de máquinas de cálculo, (Pascal, Leibniz) y, aunque su desarrollo no fue eficaz, sin embargo la idea de una Mathesis Universal o Característica Universal, es el antecedente inmediato del desarrollo de la lógica simbólica a partir del siglo XX.

La palabra «lógica» hasido utilizada como lógica trascendental por Kant, en el sentido de investigar los conceptos puros a priori del entendimiento o categorías trascendentales.

Hegel considera la lógica dentro del absoluto como proceso dialéctico del Absoluto, entendido éste como Principio Absoluto, Espíritu Absoluto, y Sujeto, como Sujeto Absoluto.[9] [10] La lógica, la epistemología y la ontología van unidas yson expuestas en la filosofía entendida ésta como Sistema Absoluto.

Ciencia formal En el último tercio del siglo XIX la Lógica va a encontrar su transformación más profunda de la mano de las investigaciones matemáticas y lógicas, junto con el desarrollo de la investigación de las estructuras profundas del lenguaje, la lingüística, convirtiéndose definitivamente en una ciencia formal.

Lógicainformal En el lenguaje cotidiano, expresiones como «lógica» o «pensamiento lógico», aporta también un sentido alrededor de un «pensamiento lateral» comparado, haciendo los contenidos de la afirmación coherentes con un contexto, bien sea del discurso o de una teoría de la ciencia, o simplemente con las creencias o evidencias transmitidas por la tradición cultural.

Del mismo modo existe elconcepto sociológico y cultural de lógica como, p.e. «la lógica de las mujeres», «lógica deportiva», etc. que, en general, podríamos considerar como «lógica cotidiana» - también conocida como «lógica del sentido común».

En estas áreas la «lógica» suele tener una referencia lingüística en la pragmática.

Un argumento en este sentido tiene su «lógica» cuando resulta convincente, razonable y claro; endefinitiva cuando cumple una función de eficacia. La habilidad de pensar y expresar un argumento así corresponde a la retórica, cuya relación con la verdad es una relación probable.[11]

Sistemas lógicos Artículo principal: Sistema formal.
Existe un debate sobre si es correcto hablar de una lógica, o de varias lógicas, pero en el siglo XX se han desarrollado no uno, sino varios sistemas...