LOGICA MATEMATICA

LAS NUEVAS LOGICAS

CARLOS GOMEZ

COLOMBIA

BOGOTA D.C
 TIPOS LOGICAS

LOGICAS CLASICAS:
Los sistemas lgicos clsicos son los ms estudiados y utilizados de
todos, y se caracterizan por incorporar ciertos principios tradicionales
que otras lgicas rechazan.
Entre los sistemas clsicos se encuentran:

Lgica proposicional:
La lgica proposicional trata con sistemas lgicos que carecen de
cuantificadores, o variables interpretables como entidades. En lgica
proposicional si bien no hay signos para variables de tipo entidad, s
existen signos para variables proposicionales.

Lgica de primer orden:

La lgica de primer orden, tambin llamada lgica de
predicados o clculo de predicados, es un sistema formal diseado
para estudiar la inferencia en los lenguajes

Lgica de segundo orden:

Una lgica de segundo orden es una extensin de una lgica de
primer orden en la que se aaden variables para propiedades,
funciones y relaciones, As se expande el poder expresivo del lenguaje
sin tener que agregar nuevos smbolos lgicos

LOGICAS NO CLASICAS:

Los sistemas lgicos no clsicos son aquellos que rechazan uno o

varios de los principios de la lgica clsica.

La lgica difusa:

Tambin llamada lgica borrosa se basa en lo relativo de lo

observado como posicin diferencial. Este tipo de lgica toma dos
valores aleatorios, pero contextualizados y referidos entre s. As, por
ejemplo, una persona que mida dos metros es claramente una
persona alta.

La lgica relevante:
Tambin llamada lgica de relevancia, es toda lgica perteneciente a
una de las familias de lgicas sub-estructurales no clsicas que
impone ciertas restricciones en la implicacin.

Lgica cuntica:

La lgica cuntica es el conjunto de reglas algebraicas que rigen las

operaciones para combinar, estas son aquellas que rigen el momento
la posicin y el espacio.
La lgica intuicionista:
El sistema enfatiza las pruebas, en vez de la verdad, a lo largo de las
transformaciones de las proposiciones, donde puede tomar valores o
pruebas inexactas y comprobarlas.

logicas modales :
Lgicas modales estn diseadas para tratar con expresiones
que califican la verdad de los juicios. As por ejemplo, la expresin
est comiendo no como decir siempre est comiendo.

Lgica temporal
La lgica temporal es una extensin de la lgica modal, la cual es
prcticamente usada en sistemas de reglas, donde est presente el
tiempo por ejemplo tengo frio es dependiente de el tiempo.

Logica epistmica:
La lgica epistmica es un desarrollo mucho ms reciente con
aplicaciones en numerosos campos, tales como filosofa, ciencia
computacional terica, inteligencia artificial, economa y lingstica.

Logica doxastica:
Es una lgica modal que se ocupa del razonamiento acerca de
las creencias