Diferencia entre revisiones de «Lógica»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 190.254.43.166 (disc.) a la última edición de Diegusjaimes |
|||
Línea 32:
==== Lógicas modales ====
Las lógicas modales están diseñada para tratar con expresiones que ''califican'' la verdad de los juicios. Así por ejemplo, la expresión "siempre" califica a un juicio verdadero como verdadero ''siempre''. No es lo mismo decir "está lloviendo" que
* [[Lógica modal]]: Trata con las nociones de necesidad, posibilidad, imposibilidad y contingencia.
* [[Lógica deóntica]]: Se ocupa de las nociones [[moral]]es de obligación y permisibilidad.
* [[Lógica temporal]]: Abarca operadores temporales como "siempre", "nunca", "antes", "después", etc.
* [[Lógica epistémica]]: Es la lógica que formaliza los razonamientos relacionados con el ''conocimiento''.
* [[Lógica doxástica]]: Es la lógica que trata con los razonamientos acerca de las ''creencias''.
== Metalógica ==
| |||