Dicionário de Termos Linguísticos

Noção modal que se articula com necessário e que, conjuntamente com contingente e impossível, constitui a lógica modal alética fundada por Aristóteles. Necessário implica possível, se se tratar de possível unilateral, mas possível bilateral é "aquilo que tanto pode ser como não ser" e, portanto, nem necessário nem impossível. Há vários sistemas de lógica alética propostos por Lewis, mas é a partir dos anos 60 que Hintikka e Kripka (que constroem modelos semânticos baseados na noção de mundo possível e relações de acessibilidade) vêm propor uma nova concepção do tratamento modal.