Dicionário de Termos Linguísticos

Tipo de modalidade que diz respeito ao estudo das noções de "saber" e "crer" (por vezes a esta última chama-se também doxástica). Há vários sistemas formais que estudam esta modalidade, mas os mais conhecidos são os propostos por Kripke e por Hintikka que recorrem à teoria dos modelos e à noção de mundo possível. Uma das grandes diferenças entre "saber" e "crer" reside no facto de a primeira ter a propriedade de reflexividade e a segunda não, isto é, se "a sabe que p" (KaP), então "P" é verdadeiro. É comum em linguística associar a este tipo de modalidade as noções de "certo", "incerto", "dúvida" e há também quem chame a estas modalidades inferenciais.