modal logic
Modal logic
Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality. Modals — words that express modalities — qualify a statement. For example, the statement "John is happy" might be qualified by saying that John is usually happy, in which case the term "usually" is functioning as a modal. The traditional alethic modalities, or modalities of truth, include possibility ("Possibly, p", "It is possible that p"), necessity ("Necessarily, p", "It is necessary that p"), and impossibility ("It is impossible that p"). Other modalities that have been formalized in modal logic include temporal modalities, or modalities of time (notably, "It was the case that p", "It has always been that p", "It will be that p", "It will always be that p"), deontic modalities (notably, "It is obligatory that p", and "It is permissible that p"), epistemic modalities, or modalities of knowledge ("It is known that p") and doxastic modalities, or modalities of belief ("It is believed that p").

 See more at Wikipedia.org...

Lógica modal
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 la oración "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".

 Ver más en Wikipedia.org.../A>

© Este artículo utiliza contenidos de Wikipedia® y está disponible bajo los términos de la Licencia de documentación libre GNU
Logique modale
La logique modale est un type de logique qui permet de formaliser des éléments modaux comme « il est possible » ou « il est nécessaire ».

 Pour la suite, voir Wikipédia.org…

© Cet article se sert du contenu de Wikipédia® et est autorisé sous les termes de la Licence de Documentation libre GNU
Modallogik
Die Modallogik ist derjenige Zweig der Logik, der sich mit den Folgerungen um die Modalbegriffe möglich und notwendig befasst. So lassen sich innerhalb der Modallogik nicht nur Aussagen wie „Es regnet“ oder „Alle Kreise sind rund“ analysieren, sondern auch Aussagen wie „Möglicherweise regnet es“ und „Notwendigerweise sind alle Kreise rund“.

 Mehr unter Wikipedia.org...

© Dieser Eintrag beinhaltet Material aus Wikipedia und ist lizensiert auf GNU-Lizenz für freie Dokumentation
Modallogik
Modallogik är den gren av logiken där man studerar modaliteterna – alltså möjlighet, omöjlighet, nödvändighet och kontingens. Ibland räknas även de deontiska begreppen in under modallogiken.

 Se mer på Wikipedia.οrg…