G. W Leibniz
Alfred Whitehead
Bernard Russell
Glottlob Frege
Augusto de Morgan
George Boole
Se les atribuye las obras mas amplias de la logica simbolica "Principia mathematica"
Se considera el fundador de la logica matematica. Su obra "conceptografia"
Se le atribuye el libro "Logica formal"
Se le atribuye el libro "Análisis matemáticos de la lógica.
Propuso el lenguaje simbólico y Universal.
Objeto de estudio
Es el razonamiento
Elementos
Elementos de cada preposicion
Determinar la escritura
Unidad simple
Expresiones
Enunciados
Molecular
Tiene uno o mas enunciados
Atómico
No tiene enunciados
Simbolismo
Nos permiten nombrar
Proposiciones
Expresiones que califican como verdadrero o falso
Caracteristicas
El calculo logico tiene forma matematico
Reglas para operar
Operaciones y signos
Sus leyes estan en lenguaje artificial
Su sistema primero es formal y despues se interpreta en lenguaje ordinario
La lógica se maneja como un calculo matemático
SU importancia se centra en
Representates
Compendio de Lógica
La lógica estudia las formas y principios generales que rigen el conocimiento y el pensamiento humano
Dentro del contexto simbolico la llaman tambien
Lógica moderna
Lógica matemática
