es el estudio formal y simbólico de la lógica, y su
aplicación a algunas áreas de la matemática y la
ciencia
se busca un lenguaje artificial
y
La lógica simbólica es el acto de la creación de un
"lenguaje" artificial que hace uso de símbolos
convencionales que representan estructuras para
hacer frente a los complejos argumentos lógicos.
sus caracteristicas
formalismo
Consiste en entender exclusivamente
la estructura del pensamiento y a sus
conexiones y reglas de inferencia
simbolizacion
La Logística usa símbolos semejantes a
las Matemáticas. Los símbolos lógicos
tienen un papel parecido a los símbolos
algebraicos.
calculo
Una vez
establecido los
símbolos y su
significado, la
Lógica realiza una
serie de
combinaciones y
operaciones
deductivas que se
infieren a partir
de los datos
previamente
aportados.
Axiomatización
Es una operación que consiste en señalar
explícitamente los axiomas que, dentro de
un sistema de pensamientos
la logica simbolica como su
nombre dice utiliza unos
simbolos