Lógica modal
Origem: Wikipédia, a enciclopédia livre.
A Lógica modal dentro da lógica ocupa-se das proposições afetadas por modalidades do tipo possivelmente, necessariamente, de maneira impossível. A lógica modal é intencional, isto é, o valor da verdade de uma proposição complexa afetada por uma modalidade das mencionadas anteriormente não pode-se determinar a partir do valor da verdade de suas proposições elementares. A lógica modal formal representa as modalidades através de operadores modais proposicionais. Os significados dos operadores modais dependem do tipo de lógica modal.
Índice |
[editar] Origem
Boa parte das lógicas modais originaram-se em uma lógica "fraca", conhecida como Lógica K, que leva este nome em homenagem a Saul Kripke por sua contribuição.
[editar] Aplicações
- Solução de problemas de sentenças proposicionais
- Análise formal de argumento filosófico
- Estudo da inteligência artificial
[editar] Principais contribuidores da lógica modal
- Clarence Irving Lewis - em 1912 deu origem a lógica moderna, composta pelas três tradições: semântica, algébrica e sintática.
- Saul Aaron Kripke - amplamente conhecido como um dos mais importantes filósofos vivos. Publicou Semantical Considerations on Modal Logic em 1963, onde propôs uma resposta a uma dificuldade da teoria clássica da quantificação.
- Amir Pnueli - primeiro utilizador da lógica temporal.
- Vaughan Ronald Pratt - desenvolvedor do sistema de lógica dinâmica
- Arthur Norman Prior - fundou a lógica temporal e contribuiu com a lógica intencional.
