LÓGICA SIMBÓLICA

Flowchart nodes

• LÓGICA SIMBÓLICA

• Conocida también como lógica matemática

• CARACTERÍSTICAS

• REPRESENTANTES

• * 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.