* G. W. Leibniz -> Primero en proponer lenguaje simbólico y universal.
* George Boole y Augusto de Morgue: Precursores
* Gottlob Frege: Primer representante y considerado el precursor.
Es un cálculo que consta de:
* La lógica se maneja como un cálculo.
* Primero se construye un sistema formal y luego se interpreta en un lenguaje ordinario.
* Las leyes se formulan en lenguaje artificial que consiste en símbolos.
Un grupo de signos lógicos
Un grupo de reglas para operar con dichos signos
OBJETO DE ESTUDIO
Tiene como objeto de estudio el razonamiento, con el fi n de encontrar métodos para distinguir los razonamientos válidos de los no válidos.