0 lógica

Ciencia que trata de los principios formales del razonamiento.
El razonamiento implica una transformación definida de un número finito de entradas con valores discretos a un número finito de salidas con valores discretos.
El filósofo Immanuel Kant expuso la distinción entre lógica sintética y analítica en su obra "La critica de la razón pura". La distinción se construye sobre la dicotomía de si el concepto del predicado está contenido o no en el concepto del sujeto. Se dice que una proposición es analítica cuando hay contención, y que es sintética cuando no la hay.

1997-01-29