Lógica Modal

Lógica Modal — Extensão da lógica proposicional (ou de primeira ordem) que incorpora operadores de modalidade: a necessidade (□, do latim necessitas; lê-se “é necessário que”) e a possibilidade (◇; lê-se “é possível que”). Uma proposição é necessariamente verdadeira se não pode ser falsa; é possivelmente verdadeira se poderia ser verdadeira. Os dois operadores são interdefiníveis: □p ≡ ¬◇¬p (“é necessário que p” equivale a “não é possível que não-p”).

Origens: Aristóteles e a Lógica dos Modais: A investigação das modalidades é tão antiga quanto a lógica. Aristóteles, no De Interpretatione e nos Primeiros Analíticos, analisou proposições sobre o que é necessário, possível, impossível e contingente, e construiu silogismos modais — embora com resultados que geraram séculos de debate interpretativo.

C.I. Lewis e os Sistemas Modernos: A lógica modal moderna surge com Clarence Irving Lewis, que a partir de 1912 (artigo “Implication and the Algebra of Logic”) desenvolveu uma crítica à implicação material da lógica clássica — segundo a qual qualquer proposição falsa implica materialmente qualquer proposição, o que Lewis considerava paradoxal. Ele propôs a implicação estrita (se p, então necessariamente q) e, nas décadas de 1910 e 1920, elaborou uma série de sistemas axiomáticos, publicados em Symbolic Logic (com C.H. Langford, 1932). Os sistemas mais influentes são S1, S2, S3, S4 e S5, cada um com axiomas progressivamente mais fortes. S4 adiciona: □p → □□p (se algo é necessário, é necessariamente necessário). S5 adiciona: ◇p → □◇p (se algo é possível, é necessariamente possível).

Semântica de Kripke e Mundos Possíveis: O grande avanço semântico veio com Saul Kripke, que entre 1959 e 1963 (artigos como “A Completeness Theorem in Modal Logic”, 1959, Journal of Symbolic Logic) desenvolveu a semântica relacional (ou semântica de mundos possíveis). Um modelo de Kripke é uma tripla ⟨W, R, V⟩: W é um conjunto de mundos possíveis; R é uma relação de acessibilidade entre mundos (w₁Rw₂ significa “w₂ é acessível a partir de w₁”); V é uma função de valoração que atribui, para cada variável proposicional, o conjunto de mundos em que ela é verdadeira. □p é verdadeiro em w se p é verdadeiro em todos os mundos acessíveis a partir de w; ◇p é verdadeiro em w se p é verdadeiro em algum mundo acessível a partir de w. Diferentes propriedades da relação R (reflexividade, transitividade, simetria, euclidianidade) correspondem a diferentes sistemas modais: S4 corresponde a relações reflexivas e transitivas; S5 a relações de equivalência (reflexivas, simétricas e transitivas).

Aplicações da Lógica Modal:

• Metafísica Modal: David Lewis (em On the Plurality of Worlds, 1986) defendeu o realismo modal — os mundos possíveis são entidades concretas tão reais quanto o mundo atual. Alvin Plantinga propôs um realismo modal “moderado” (mundos possíveis como estados de coisas maximamente incluentes). Kripke, em Naming and Necessity (1972/1980), utilizou mundos possíveis para a teoria das descrições, da identidade necessária e das essências.

• Lógica Epistêmica: Os operadores modais são reinterpretados como “sabe que” (K) e “crê que” (B). Um agente sabe que p se p é verdadeiro em todos os mundos que ele considera epistemicamente possíveis. Hintikka (Knowledge and Belief, 1962) sistematizou esta abordagem.

• Lógica Deôntica: Os operadores modais são reinterpretados como “é obrigatório que” (O) e “é permitido que” (P). Von Wright formulou a lógica deôntica em 1951.

• Lógica Temporal: Os operadores modais são reinterpretados como “sempre” (□) e “em algum momento” (◇), com variantes para o passado e o futuro. Prior desenvolveu a lógica do tempo (tense logic) a partir dos anos 1950.

← Glossário