Trabalho Final de Tpicos Especiais em Lgica.

Jlio Csar Caldeira Police Filho.

Lucas de M. Rodrigues Vargas.
Lgica epistmica e doxtica, ensaio introdutrio.

A lgica epistmica pode ser concebida se substituirmos o operador de necessidade,
numa lgica modal altica, por K. Nesta interpretao, K significar sabe que, ou,
conhece que. Este operador ser acompanhado de um subscrito que indicar o
agente do conhecimento, p. ex., K
a
p, pode ser interpretado como, a conhece que
[sabe que] p. Onde p pode ser substitudo por qualquer sentena asservel. Para cada
agente x, teremos um operador K. O operador K binrio e intencional. Por
intencional, entendemos aqueles operadores que no so extensionais. Por
extensional, entendemos aqueles operadores cujos quais, acrescentando-se uma
proposio p, o valor de verdade da proposio complexa resultante, depende apenas
do valor de verdade de p. Vemos que o operador de conhecimento, neste sentido,
intencional, no exemplo que segue. Seja p a proposio 10+15=25. Faamos com
que a designe o agente referente descrio definida meu primo de dois anos. A
frmula bem formada, adicionando o operador K, K
a
p
,
que se traduz por meu primo
de dois anos sabe que 10+15=25. Esta afirmao presumivelmente falsa, mesmo
sendo p, em si, verdadeira.
Definido o operador K, podemos agora definir outro operador da lgica epistmica, P.
P
a
= K
a
p
P
a
pode ser lido, ento, como a no sabe que p no o caso. Novamente, para cada
agente x teremos um operador P.
Podemos ter tambm, a lgica doxtica, que parte integrante da lgica epistmica,
se substituirmos o operador de necessidade, numa lgica modal altica, por B. B,
assim como K, binrio e intencional e pode ser lido como acredita que. B
a
p pode
ser lido como a acredita que p. Onde a um agente de crena e p uma sentena
judicvel. Para cada agente x, teremos um operador B. Vemos que B intencional, no
sentido antes citado, no exemplo que segue. Seja p, a proposio, a Terra gira em
torno do Sol, e, o agente a, Ptolomeu. A fbf formada, acrescentando-se o operador
de crena, B
a
p. Essa fbf traduzvel como Ptolomeu acredita(va) que a Terra
gira(va) em torno do Sol, o que falso, embora p seja verdadeira em si, visto que
Ptolomeu acreditava exatamente no contrrio (CF. Claudius Ptolomeu, Almagesto).
Podemos, agora, definir o operador de crena C.
C
a
= B
a
p
C
a
pode ser lido, ento, como, a no acredita que p no o caso, e, para cada
agente x, teremos um operador C.
Semntica.
Para alm das estipulaes feitas acima, a semntica da lgica epistmica e doxtica
se completam com o acrscimo da semntica da lgica modal altica.
Temos:
Letras proposicionais:
Constantes individuais: a, b, c, d,..., a
1
, b
1
,...
Variveis individuais: x, y, z, x
1
, y
1
, z
1
,...
Variveis de predicados: q, r, s...
Constantes de predicados: Q, R, S...
Operador mondico:
Operadores didicos: &, V, e (obviamente j estabelecemos os operadores K, B, P,
C).
Operadores didicos para acessibilidade:
E ser o operador para acessibilidade epistmica e Dser o operador para
acessibilidade doxtica.
Tendo acesso a um mundo possvel, certo agente epistmico pode acessar todos os
outros mundos possveis que mantenham uma relao de acessibilidade com o
primeiro mundo em questo.
Parnteses: ()
Sintaxe
1- Toda letra proposicional fbf (frmula bem formada).
2- Se fbf, ser fbf.
3- Se fbf e uma letra proposicional referente a indivduos, ento, K

, B

,
P

e C

, sero fbfs.
4- Se * um operador didico e, e , so fbfs, ento, (*) ser fbf.
5- Nada mais ser fbf.

Regras
Epistmica:
Como regras no sistema temos as regras subjacentes em um sistema modal
altico S4, com algumas diferenas na nomenclatura. Temos: Regras
proposicionais, negao modal, PR, KR, Reflexividade e Transitividade.
Somando-se a essas, temos: (onde w e v so metavariveis para mundos
possveis).
KPN: K
x
(w) P
x
(w) e P
x
(w) K
x
(w);
PR: P
x
(w), wE
x
v (v); KR: K
x
(w), wE
x
v

(v)
KT: K
x
(w) (w); KKR: K
x
(w), wE
x
v K
x
(v);
TrKR: K
x
K
y
(w) K
x
(w).
As duas regras KPN so semelhantes s regras de equivalncia entre necessrio
e possvel.
As regras PR e KR so muito similares s regras de possibilidade e necessidade
no sistema de Kripke.
A regra KT pressupe a reflexibilidade no sistema e, KKR, a transitividade. Logo,
temos o sistema S4 como base.
TrKR chamada de regra de transmissibilidade do conhecimento. Ela diz
que, se x sabe que y sabe que , ento x sabe que .
Os principais axiomas da lgica epistmica so estabelecidos por:
K1: (K
x
(XY)(K
x
XK
x
Y)) - Axioma distributivo.
K2: (K
x
XX) - Axioma da verdade.
K3: (K
x
XK
x
K
x
X) - Axioma da introspeco positiva.
K4: (K
x
K
y
XK
x
X) - Axioma da Transmissibilidade do Conhecimento.

Doxtica:
Como regras no sistema temos as regras subjacentes em um sistema modal
altico S4, com algumas diferenas na nomenclatura. Temos: Regras
proposicionais, negao modal, CR, BR, Reflexividade e Transitividade.
Somando-se a essas, temos: (onde w e v so metavariveis para mundos
possveis).
BCN: B
x
(w) Cx(w) e C
x
(w) B
x
(w)
CR: C
x
(w), wD
x
V (v), onde v novo no caminho.
BR: B
x
(w), wD
x
v (v)
BBR: B
x
(w), wD
x
v B
x
(v)
BCR: B
x
(w) C
x
(w)
Os principais axiomas da lgica doxtica so estabelecidos por:
B1 (B
x
(XY)(B
x
XB
x
Y) - Axioma distributivo.
B2 (B
x
XB
x
X) - Este axioma diz que, da crena de um agente em algo (x), se
segue sua no crena na negao desse algo (x).
B3 (B
x
XB
x
B
x
X) - Este axioma diz que, da crena de um agente em algo x, se
segue que este agente acredita que acredita em x.

Problemticas
Bem, como quase tudo na Filosofia, a lgica epistmica e sua funcionalidade
no so totalmente indiscutveis.
O primeiro destaque para o Axioma da introspeco positiva: (K
x
XK
x
K
x
X).
Este axioma diz que se um agente x conhece algo X, ento, esse agente
conhece que conhece X. Muito se argumenta a favor da invalidade desse
princpio, uma vez que, um agente x pode conhecer algo (X) sem,
necessariamente, conhecer que conhece, pois, para tanto, este agente deveria
possuir noo do conceito de conhecimento, o que nem sempre o caso.
Outro axioma problemtico o Axioma distributivo: (K
x
(XY)(K
x
XK
x
Y)).
O problema aqui seria a pressuposio do conhecimento, por parte do agente
x, de uma srie de regras lgicas. Em outras palavras, pressuposto a
omniscincia lgica do agente, o que controverso.


Agentes

Em lgica epistmica necessrio definir o nvel de cincia do agente ao
estabelecer as regras de acessibilidade entre os mundos e axiomas no sistema.
Para isso so definidos trs tipos de oniscincia: lgica, dedutiva e factual. A
oniscincia lgica se divide em dois tipos, forte e fraca. Quando forte o agente
conhece todas as verdades lgicas do sistema, a oniscincia lgica fraca
possibilita ao agente conhecer automaticamente somente as verdades lgicas
da lgica de primeira ordem. J a oniscincia dedutiva consiste em que o
agente conhea todas as consequncias das verdades j assumidas. A
oniscincia factual permite que o agente conhea todas as verdades do
sistema.
Para que o esses tipos de oniscincia sejam regulados preciso definir as
regras de acessibilidade e axiomas do sistema.
(Retomando) Em S5 temos as regras:
K1: (K
x
(XY)(K
x
XK
x
Y))
K2: (K
x
XX)
K3: (K
x
XK
x
K
x
X)
K4: (K
x
K
y
XK
x
X)
O agente S5 tem oniscincia lgica forte e oniscincia dedutiva, alm de saber
o que conhece e o que no conhece.
O agente S4 muito parecido com o S5 e carrega os mesmos axiomas, com
exceo de K5, o que possibilita que o agente S4 possa ter no saber o que no
conhece. Ter falsa crena sobre seu prprio conhecimento.
O agente T tem os mesmos axiomas de S4 com exceo de K3, ou seja, este
agente pode enganar-se sobre aquilo que sabe.






























Referncias

Vanessa, Jeane. Alguns Aspectos da Relao entre lgica epistmica e
epistemologia. Disponvel em:
www.inquietude.org/index.php/revista/article/download/76/106. Acesso em: 14
de julh. (2014).

Girle, Rod. Modal Logics and Philosophy. Second Edition. 2009.

Branquinho, Joo. Enciclopdia de termos lgico-filosficos / Joo Branquinho,
Desidrio Murcho, Nelson Gonalvez. - So Paulo: Martins Fontes. 2006.