Lógica modal

Carta Poco común · N.º 136149

Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.​ Los operadores modales son expresiones que califican la verdad de los juicios.​ Por ejemplo, en el juicio «es necesario que 2 + 2 = 4», la expresión «es necesario que» es un operador modal que califica de necesaria a la verdad del juicio «2 + 2 = 4». De manera análoga, la expresión «siempre» califica a un juicio verdadero como verdadero en cualquier momento, es decir, siempre. No es lo mismo decir «está lloviendo» que decir «siempre está lloviendo». En un sentido más restringido, sin embargo, una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de las expresiones «es necesario que» y «es posible que».​ Este artículo trata exclusivamente sobre lógicas modales en este sentido restringido. Las lógicas modales pertenecen al grupo de las llamadas «lógica no clásica», «extensiones de la lógica clásica» o «lógicas extendidas» entre las…

Leer en Wikipedia · Imagen Thuluviel, Public domain