¿Qué es?
No se ha añadido ninguna twiki todavía.
Es la manera como se afirma la verdad de un enunciado (ver texto). Por ejemplo, «es posible que mañana se inicien las conversaciones de paz» y «es necesario empezar mañana las conversaciones de paz», son dos enunciados con igual afirmación (respecto de la paz) pero con una modalidad diversa en la afirmación. «Posible» y «necesario» son términos modales que, en lógica modal, se denominan operadores modales, y suelen simbolizarse como «M» y «N» o, respectivamente,
Así, por ejemplo,si se antepone una N a un enunciado escrito en forma condicional,
queremos decir que «necesariamente si p, entonces q», o bien, en una posible interpretación, «necesariamente todo suceso tiene una causa». Los términos o indicadores que, en un enunciado, señalan lo que está «permitido» («P») o lo que es «obligatorio» («O») se denominan operadores deónticos y se usan en lógica deóntica. Así, por ejemplo, «es obligatorio cumplir con lo prometido» es un enunciado deóntico que puede escribirse como «Op».