Lógica epistêmica
Origem: Wikipédia, a enciclopédia livre.
A Lógica Epistêmica (do grego episteme, "conhecimento"), é uma lógica complementar da lógica clássica que atua com a verificabilidade das sentenças. Os operadores desta lógica são traduzidos em sentenças dos tipos: "certamente é verdade que...", "pode ser verdade que..." e similares.
[editar] Exemplo
Um homem, João, pode razoavelmente dizer: (1) "Não, não é possível que o coelhinho da Páscoa exista, tenho certeza disto", ou então: (2) "Certamente, existe uma possibilidade de existir o coelhinho da Páscoa". O que João disse em (1) é que todas as informações disponíveis já foram dadas e provou ser impossível a existência do coelhinho da Páscoa. Isto é uma afirmação epistêmica. Em (2), ele afirma que podem existir coisas além das que ele conhece que pode provar a existência do coelhinho da Páscoa. Ele não quer dizer "é possível que o coelhinho da Páscoa exista, segundo tudo o que eu conheço". Desta forma, ele faz uma afirmação metafísica de que é possível que o coelhinho da Páscoa exista, embora os conhecimentos que ele têm não possam provar.
De outra forma, João pode dizer, (3) "É possível que existam anjos, mas também é possível que não existam", e também (4) "se eles existem, então necessariamente eles existem, é impossível que não existam". Aqui, João quer dizer que é epistemicamente possível tanto a existência dos anjos quanto a não-existência, por tudo o que ele conhece. Mas se alguém provar que é impossível que os anjos não existam, qualquer premissa que avente a possibilidade de não-existência dos anjos será falsa.