-
4 BCE
Sistema de lógica de predicados
Creado por Aristóteles en su monumental obra "Organon" -
17
Siglo XVII Inicio de la Lógica Moderna
Leibniz empezó con esto, enfocándose estrechamente con las matemáticas, a través de un lenguaje universal y metodología general, modificando la lógica de Aristóteles y fructificando el trabajo de Godel -
19
Siglo XIX gestación de conocimientos
Se gestaron los cimientos para el gran desarrollo de la lógica -
"Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities"
El matemático inglés George Boole publica este libreo donde continuja los intentos de un cálculo algebraico para las leyes del pensamiento, y se presenta por primera vez el algebra Booleana -
Reducción formal de la aritmética a la lógica
dada por Frege en el libro "Grundgesetze del Arithmetik Begriftlich" -
Paradoja Russell
Bertrand Russell descubrió una paradoja que atacaba a sistemas anteriores, donde define el conjunto R cuyos elementos son todos los elementos que no son elementos de sí mismos -
Paradoja de Berry
Se propone un número finito de números naturales que se asociarán con la letra "K" con menos de cuarenta sílabas -
Paradoja de Grelling
La paradoja utiliza las palabras inventadas "autológico" y "heterológico". Una palabra es autológica si se describe a sí misma. Por ejemplo "corto" y "esdrújula" son autológicas, ya que la palabra "corto" es relativamente corta y la palabra "esdrújula" es esdrújula. Las palabras que no son autológicas se denominan heterológicas. "Largo" es una palabra heterológica, al igual que "monosilábico".
