Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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.
LOGICAS NO CLASICAS:
La lgica difusa:
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:
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