Faculdade Mineira de Direito

Lgica Aplicada ao Direito Avaliao Global

Prof. Luiz A. L. de vila

Primeira Questo: Determine, considerada a proposio se, porm, todo valor fosse
condicional, por conseguinte contingente, seria absolutamente impossvel encontrar para a
razo qualquer princpio prtico supremo., se Kant deduz a negao do antecedente fundada
na negao do consequente quando afirma que Portanto, se houver um princpio prtico
supremo e, com respeito vontade humana, um imperativo categrico, ele tem de ser tal que
faa da representao daquilo que necessariamente fim para todos, porque fim em si
mesmo, um princpio objetivo da vontade que pode, por conseguinte, servir de lei prtica
universal. O fundamento desse princpio : a natureza racional existente como fim em si.?
(KANT, Immanuel. Fundamentao da metafsica dos costumes. So Paulo: Discurso
Editorial: Barcelona, 2009. P. 242-243)

Segunda Questo: Faa a anlise lgica da deciso de Meugnin, juiz que d voz de priso
para Sodot, que sai algemado do Tribunal de Acituenem-Reh, em Aisat-Naf, com o
pressuposto do falso testemunho.

O JULGAMENTO E A CONDENAO DE MEUGLA FUNDADA NO

DEPOIMENTO DE SODOT
Luiz Augusto Lima de vila

Meugnin, magistrado no Tribunal de Acituenem-Reh, em Aisat-Naf e presidindo o

julgamento de Meugla Ania-Coc, chama a ateno de Sodot, testemunha indicada no referido
processo, para o fato de que a afirmao falsa ou a negao da verdade constitui conduta
tpica do crime de falso testemunho, nos termos do artigo 342 do Cdigo Penal. Perguntado se
conhecia Meugla Ania-Coc, disse: Sim! Que conhecia, inclusive, o marido de Meugla,
Anhocam da Iaugarap e Ania-Coc, um traficante conhecido e procurado pela polcia. Disse,
ainda, que: em razo de Meugla e Anhocam serem casados e compartilharem a mesma cama,
Meugla Ania-Coc era traficante. E perguntado se estava mentindo, disse que: Sim! Eu estou
mentindo(1). Mas, se eu estou mentindo, ento eu estou dizendo a verdade e eu no estou
mentindo. E, se eu no estou mentindo, ento eu estou dizendo a verdade e eu estou mentindo.
Meugnin intrigado, indaga: o que quer dizer com isso? Sodot diz que: Se eu estou mentindo
equivalente a eu no estou mentindo, ento no estou cometendo crime algum. Meugnin,
com o pressuposto do falso testemunho, d voz de priso para Sodot, que sai algemado do
Tribunal de Acituenem-Reh, em Aisat-Naf. No dia seguinte o caso noticiado pela imprensa:
Negar aquele que nega a diversidade no negar a prpria diversidade? O No` esta
questo o fundamento do politicamente correto. E no negar a diversidade, para alm do
politicamente correto, no negar aquele que nega a diversidade. Dito isto, parabenizamos o
magistrado Meugla por seu determinismo inabalvel e por decisionismo implacvel.
 Faculdade Mineira de Direito
Lgica Aplicada ao Direito Avaliao Global
Prof. Luiz A. L. de vila

NOTA

(1) PARADOXO DO MENTIROSO

[Eu estou mentindo] P
a. Se eu estou mentindo, ento eu estou dizendo a verdade e eu no estou mentindo.
Causa P Consequncia Q Adio P
[Eu estou mentindo] P verdade se, e somente se, eu estou mentindo P (afirmao causa)
P verdade P (afirmao causa)
b. Se eu no estou mentindo, ento eu estou dizendo a verdade e eu estou mentindo.
Causa P Consequncia Q Adio P (ou P)
[Eu estou mentindo] P verdade se, e somente se, eu estou mentindo P (neg. da causa)
P verdade P (negao da causa)
Eu estou mentindo equivalente a Eu no estou mentindo.
Mas,
Dizer do que que no , ou dizer do que no que , falso.
Dizer do que que , ou dizer do que no que no , verdadeiro.
Para a inteligibilidade da questo, adotamos os pressupostos de que a verdade de uma sentena consiste
em sua concordncia (ou correspondncia) com a realidade e de que uma sentena verdadeira se ela designa
um estado de coisas existentes.
Ou seja, em que condies a sentena verdadeira ou falsa?
R A neve branca verdadeira se a neve branca, e que A neve branca falsa se a neve no branca.
Assim, se a definio de verdade tem de se conformar nossa concepo, ela deve implicar a seguinte
equivalncia:
A setena A neve branca verdadeira se, e somente se, a neve branca.
Se [Eu estou mentindo] P verdade, ento eu estou mentindo.
Se [Eu estou mentindo] P falso ([Eu no estou mentindo] P verdadeiro), ento eu no estou mentindo.
Quando posso dizer que [Eu no estou mentindo] de modo que P possa ser verdadeiro? R No caso da hiptese
b.
a. Se eu estou mentindo, ento eu estou dizendo a verdade e eu no estou mentindo.
Causa P Consequncia Q Adio P
[P Q] e P (afirmao causa) equivalente a P? E modo que [Eu estou mentindo] P verdade se, e
somente se, eu estou mentindo P
b. Se eu no estou mentindo, ento eu estou dizendo a verdade e eu estou mentindo.
Causa P Consequncia Q Adio P (ou P)
[P Q] e P (afirmao causa) equivalente a P? E modo que [Eu estou mentindo] P verdade se, e
somente se, eu estou mentindo P
Tabela dos Valores de Verdade:

P Q P Q P Q [P Q] e P P e Q P Q [P Q] e P P
V V F F V F F V V V
V F F V F V V V V V
F V V F V V V V F F
F F V V V V V F F F