Abrir menu principal

Em lógica e filosofia, S5 é um dos cinco sistemas de lógica modal propostos por Clarence Irving Lewis e Cooper Harold Langford no livro Symbolic Logic, de 1932. É uma lógica modal normal, e um dos mais velhos sistemas de lógica modal.

Índice

AxiomáticaEditar

S5 é caracterizado pelos axiomas:

(K)   (axioma da necessitação)
(T)   (axioma da reflexividade)

e também:

(5)   (axioma da euclidianidade)

ou então por K e T e:

(4)   (axioma da transitividade)
(B)   (axioma da simetria)

Semântica de KripkeEditar

Em termos de semântica de Kripke, S5 é caracterizado por modelos em que a relação de acessibilidade é uma relação de equivalência (ou seja, reflexiva, simétrica e transitiva). Outro ponto de vista é que a relação de acessibilidade é "universal", isto é, todos os mundos são acessíveis a partir de outro.

Veja tambémEditar

Ligações externasEditar