Lgica Modal

Lgica Modal - Origem

A lgica modal surgiu em 1963, com o
livro Semantical Consideration on
Modal Logic, de Saul Aaron Kripke.
Seu desenvolvimento foi motivado pela
deteco
de
incompletudes
de
expresso na teoria clssica da
quantificao.

Lgica Modal - Aplicaes

Solues de problemas de sentenas
proposicionais

Anlise formal de argumento filosfico

Estudo da Inteligncia Artificial

Lgica Modal Fundamentos

A lgica modal consiste da introduo de
novos smbolos na lgica de predicados
tradicional.
Essa nova simbologia tem por objetivo
formalizar expresses como
necessrio que.. e possvel que..

Lgica Modal - Expresses

A necessidade expressa formalmente
da seguinte maneira:
(P(x) Q(x))
(l-se necessrio que P(x) implique
Q(x))

Lgica Modal - Expresses

A possibilidade expressa formalmente
da seguinte maneira:

(P(x) Q(x))

(l-se possvel que P(x) implique Q(x))

Lgica Modal - Expresses

Intuitivamente, podemos relacionar a
expresso de necessidade com a
quantificao .
A

(P(x) Q(x))

x(P(x) Q(x))

Lgica Modal - Expresses

De forma anloga, podemos relacionar a
expresso de possibilidade com a
quantificao .
E

(P(x) Q(x))

x(P(x) Q(x))

Lgica Modal - Relaes

Dessa forma, algumas relaes entre os
A

quantificadores e tambm valem

para as expresses de necessidade e
possibilidade.

~P(x) = ~P(x)
~P(x) = ~ P(x)

Lgica Dentica
Alguns estudiosos definem Lgica Modal
como um conjunto de outras lgicas.

A Lgica Dentica tem por objetivo

formalizar as expresses obrigatrio e
permitido

Lgica Epistmica
Alm da Lgica Dentica ainda existe a

Lgica Epistmica.
A Lgica Epistmica tem por objetivo
formalizar a crena, de modo a afirmar
que x acredita que y
Tambm serve para formalizar o
conhecimento, de modo a afirmar que x
sabe que y

Problema dos Pingins

Existe pelo menos um
pingim com a doena.
Se um pingim sabe que
tem a doena, ele se mata
no mesmo dia.
Pingins so excelentes
em Lgica ;-)