Diccionario de términos lógicos

Metalogica: Mientras la lógica se encarga, entre otras cosas, de construir sistemas lógicos, la metalógica se ocupa de estudiar las propiedades de dichos sistemas. Las propiedades más importantes que se pueden demostrar de los sistemas lógicos son: Consistencia, Decibilidad, Completitud.

Falacias: Una falacia es un argumento que si bien puede ser convincente o persuasivo, no es lógicamente válido. Esto no quiere decir que la conclusión de los argumentos falaces sea falsa, sino que el argumento mismo es malo, no es válido.

Existen varias maneras de clasificar a la gran cantidad de falacias conocidas, pero quizás la más neutral y general (aunque tal vez un poco amplia), sea la que divide a las falacias en formales e informales.

Paradojas: Una paradoja es un razonamiento en apariencia válido, que parte de premisas en apariencia verdaderas, pero que conduce a una contradicción o a una situación contraria al sentido común. Los esfuerzos por resolver ciertas paradojas han impulsado desarrollos en la lógica, la filosofía, la matemática y las ciencias en general.

Edad antigua: La lógica, como un análisis explícito de los métodos de razonamiento, se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia, entre el siglo V y el siglo I a. C.

Se considera a Aristóteles el fundador de la lógica como propedéutica o herramienta básica para todas las ciencias.

Los filósofos estoicos introdujeron el silogismo hipotético y anunciaron la lógica proposicional, pero no tuvo mucho desarrollo.

En el periodo romano la lógica tuvo poco desarrollo, más bien se hicieron sumarios y comentarios a las obras recibidas, siendo los más notables: Cicerón, Porfirio y Boecio. En el período bizantino, Filopón.

Edad Media: 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 Trívium como una de las artes liberales pero sin especiales aportaciones en la Alta Edad Media.

La Edad Moderna: Un nuevo enfoque adquiere esta lógica en las interpretaciones racionalistas de Port Royal, en el siglo XVII, pero tampoco supusieron un cambio radical en el concepto de la Lógica como ciencia .

Siglo XIX: La verdadera revolución de la lógica vino de la mano de Gottlob Frege, quien frecuentemente es considerado como el lógico más importante de la historia, junto con Aristóteles. En su trabajo de 1879, la Conceptografía, Frege ofrece por primera vez un sistema completo de lógica de predicados. También desarrolla la idea de un lenguaje formal y define la noción de prueba. Estas ideas constituyeron una base teórica fundamental para el desarrollo de las computadoras y las ciencias de la computación.

Siglo XX: El siglo XX sería uno

...