L�gica

Origem: Wikip�dia, a enciclop�dia livre.

Saltar para a navega��oSaltar para a pesquisa
Searchtool.svg
Esta p�gina foi marcada para revis�o, devido a incoer�ncias e/ou dados de
confiabilidade duvidosa (desde julho de 2011). Se tem algum conhecimento sobre o
tema, por favor, verifique e melhore a coer�ncia e o rigor deste artigo.
Filosofia

�reas[Expandir]
Per�odos[Expandir]
Tradi��es[Expandir]
Fil�sofos[Expandir]
Literatura[Expandir]
Listas[Expandir]
Portal � Categoria
vde

Arist�teles � o autor do primeiro trabalho sobre l�gica.

L�gica (do grego ?????? logos[1]) tem dois significados principais: discute o uso
de racioc�nio em alguma atividade e � o estudo normativo, filos�fico do racioc�nio
v�lido.[2] No segundo sentido, a l�gica � discutida principalmente nas disciplinas
de filosofia, matem�tica e ci�ncia da computa��o. Ambos os sentidos se baseando no
foco comum referente a harmonia de racioc�nio, a proporcionalidade formal entre
argumentos, assim sendo, a correta e equilibrada rela��o entre todos os termos, a
total concord�ncia entre cada um deles dentro de um desenvolvimento.[3]

A l�gica examina de forma gen�rica as formas que a argumenta��o pode tomar, quais
dessas formas s�o v�lidas e quais s�o falaciosas. Em filosofia, o estudo da l�gica
aplica-se na maioria dos seus principais ramos: metaf�sica, ontologia,
epistemologia e �tica. Na matem�tica, estudam-se as formas v�lidas de infer�ncia de
uma linguagem formal.[4] Na ci�ncia da computa��o, a l�gica � uma ferramenta
indispens�vel. Por fim, a l�gica tamb�m � estudada na teoria da argumenta��o.[5]

A l�gica foi estudada em v�rias civiliza��es da Antiguidade. Na �ndia, a recurs�o

silog�stica, Nyaya remonta a 1900 anos atr�s. Na China, o Mo�smo e a Escola dos
Nomes datam de 2200 anos atr�s. Na Gr�cia Antiga a l�gica foi estabelecida como
disciplina por Arist�teles, com a sua obra Organon. Ele dividiu a l�gica em formal
e material. O estudo da l�gica era parte do Trivium cl�ssico, juntamente com a
gram�tica e a ret�rica (ver: Artes liberais).

A l�gica � frequentemente dividida em tr�s partes: o racioc�nio indutivo, o

racioc�nio abdutivo e o racioc�nio dedutivo.

�ndice
1 O estudo da l�gica
2 Hist�ria
3 L�gica aristot�lica
3.1 L�gica formal
3.2 L�gica material
4 L�gica matem�tica
5 L�gica filos�fica
6 L�gica de predicados
7 L�gica de v�rios valores
8 L�gica e computadores
9 Tipos de l�gica
10 Testes de l�gica
11 Respostas dos "testes de l�gica" citados acima
12 Ver tamb�m
13 Refer�ncias
14 Leituras adicionais
O estudo da l�gica

Gregor Reisch "A l�gica apresenta os seus temas centrais", Margarita Philosophica,
1503/08 (?). Os dois c�es veritas e falsitas correm atr�s da lebre problema, a
l�gica apressa-se armada com a sua espada syllogismus. Em baixo, � esquerda,
encontra-se Parm�nides, gra�as a quem a l�gica ter� sido introduzida na filosofia.
O conceito de forma l�gica � central � l�gica, que se baseia na ideia de que a
validade de um argumento � determinada pela sua forma l�gica, n�o pelo seu
conte�do. A l�gica silog�stica aristot�lica tradicional e a l�gica simb�lica
moderna s�o exemplos de l�gicas formais.

L�gica informal � o estudo da argumenta��o em l�ngua natural. O estudo de fal�cias

� um ramo particularmente importante da l�gica informal. Os Di�logos de Plat�o[6]
s�o bons exemplos de l�gica informal.
L�gica formal � o estudo da infer�ncia com conte�do puramente formal. Uma
infer�ncia possui um conte�do puramente formal se ele pode ser expresso como um
caso particular de uma regra totalmente abstrata, isto �, uma regra que n�o � sobre
uma qualquer coisa em particular. As obras de Arist�teles cont�m o primeiro estudo
formal da l�gica. A l�gica formal moderna segue e amplia o trabalho de Arist�teles.
[7] Em muitas defini��es de l�gica, infer�ncia l�gica e infer�ncia com conte�do
puramente formal s�o a mesma coisa. Isso n�o esvazia a no��o de l�gica informal,
porque nenhuma l�gica formal captura todas as nuances da l�ngua natural.
L�gica simb�lica � o estudo das abstra��es simb�licas que capturam as
caracter�sticas formais da infer�ncia l�gica.[8][9] A l�gica simb�lica �
frequentemente dividida em dois ramos: l�gica proposicional e a l�gica de
predicados.
L�gica matem�tica � uma extens�o da l�gica simb�lica em outras �reas, em especial
para o estudo da teoria dos modelos, teoria da demonstra��o, teoria dos conjuntos e
teoria da recurs�o.
Hist�ria
Ver artigo principal: Hist�ria da l�gica
O primeiro trabalho feito sobre o tema da l�gica � o de Arist�teles (na verdade, os
sofistas e Plat�o j� haviam se dedicado a quest�es l�gicas, o trabalho de
Arist�teles, por�m, � mais amplo, rigoroso e sistematizado).[10][11] A l�gica
aristot�lica tornou-se amplamente aceita em ci�ncias e matem�tica e manteve-se em
ampla utiliza��o no Ocidente at� o in�cio do s�culo XIX.[12] O sistema l�gico de
Arist�teles foi respons�vel pela introdu��o do silogismo hipot�tico,[13] l�gica
modal temporal[14][15] e l�gica indutiva.[16] Na Europa, durante o final do per�odo
medieval, grandes esfor�os foram feitos para mostrar que as ideias de Arist�teles
eram compat�veis com a f� crist�. Durante a Alta Idade M�dia, a l�gica se tornou o
foco principal dos fil�sofos, que se engajaram em an�lises l�gicas cr�ticas dos
argumentos filos�ficos (ver: Filosofia crist�).

L�gica aristot�lica
Ver artigo principal: L�gica aristot�lica
D�-se o nome de L�gica aristot�lica ao sistema l�gico desenvolvido por Arist�teles
a quem se deve o primeiro estudo formal do racioc�nio. Dois dos princ�pios centrais
da l�gica aristot�lica s�o a lei da n�o-contradi��o e a lei do terceiro exclu�do.

A lei da n�o-contradi��o diz que nenhuma afirma��o pode ser verdadeira e falsa ao
mesmo tempo e a lei do terceiro exclu�do diz que qualquer afirma��o da forma *P ou
n�o-P* � verdadeira. Esse princ�pio deve ser cuidadosamente distinguido do
*princ�pio de bival�ncia*, o princ�pio segundo o qual para toda proposi��o (p), ela
ou a sua nega��o � verdadeira.

A l�gica aristot�lica, em particular, a teoria do silogismo, � apenas um fragmento

da assim chamada l�gica tradicional.

L�gica formal
A L�gica Formal, tamb�m chamada de L�gica Simb�lica, preocupa-se, basicamente, com
a estrutura do racioc�nio. A L�gica Formal lida com a rela��o entre conceitos e
fornece um meio de compor provas de declara��es. Na L�gica Formal os conceitos s�o
rigorosamente definidos, e as ora��es s�o transformadas em nota��es simb�licas
precisas, compactas e n�o amb�guas. As letras min�sculas p, q e r, em fonte
it�lica, s�o convencionalmente usadas para denotar proposi��es:

{\displaystyle p:1+2=3} p:1+2=3

Esta declara��o define que p � 1 + 2 = 3 e que isso � verdadeiro.

Duas proposi��es --ou mais proposi��es-- podem ser combinadas por meio dos chamados
operadores l�gicos bin�rios , formando conjun��es, disjun��es ou condicionais.
Essas proposi��es combinadas s�o chamadas proposi��es compostas. Por exemplo:

p: 1 + 1 = 2 e
Neste caso, e � uma conjun��o. As duas proposi��es podem diferir totalmente uma da
outra!

Na matem�tica e na ci�ncia da computa��o, pode ser necess�rio enunciar uma

proposi��o dependendo de vari�veis:

p: n � um inteiro �mpar.
Essa proposi��o pode ser ou verdadeira ou falsa, a depender do valor assumido pela
vari�vel n.

Uma f�rmula com vari�veis livres � chamada fun��o proposicional com dom�nio de
discurso D. Para formar uma proposi��o , devem ser usados quantificadores. "Para
todo n", ou "para algum n" podem ser especificados por quantificadores: o
quantificador universal, ou o quantificador existencial, respectivamente. Por
exemplo:

para todo n em D, P(n).

Isto pode ser escrito como:

{\displaystyle \forall n\in D,P(n)} \forall n\in D,P(n)

Quando existem algumas vari�veis livres, a situa��o padr�o na an�lise matem�tica
desde Weierstrass, as quantifica��es para todos ... ent�o existe ou ent�o
existe ... isto para todos (e analogias mais complexas) podem ser expressadas.

L�gica material
Trata da aplica��o das opera��es do pensamento, segundo a mat�ria ou natureza do
objeto a conhecer. Neste caso, a l�gica � a pr�pria metodologia de cada ci�ncia. �,
portanto, somente no campo da l�gica material que se pode falar da verdade: o
argumento � v�lido quando as premissas s�o verdadeiras e se relacionam
adequadamente � conclus�o.

L�gica matem�tica
Ver artigo principal: L�gica matem�tica
L�gica Matem�tica � o uso da l�gica formal para estudar o racioc�nio matem�tico--
ou, como prop�e Alonzo Church,[17] 'l�gica tratada pelo m�todo matem�tico'. No
in�cio do s�culo XX, l�gicos e fil�sofos tentaram provar que a matem�tica, ou parte
da matem�tica, poderia ser reduzida � l�gica.(Gottlob Frege, p.ex., tentou reduzir
a aritm�tica � l�gica; Bertrand Russell e Alfred North Whitehead, no cl�ssico
Principia Mathematica, tentaram reduzir toda a matem�tica ent�o conhecida � l�gica
-- a chamada 'l�gica de segunda ordem'.) Uma das suas doutrinas l�gico-sem�nticas
era que a descoberta da forma l�gica de uma frase, na verdade, revela a forma
adequada de diz�-la, ou revela alguma ess�ncia previamente escondida. H� um certo
consenso que a redu��o falhou -- ou que precisaria de ajustes --, assim como h� um
certo consenso que a l�gica -- ou alguma l�gica -- � uma maneira precisa de
representar o racioc�nio matem�tico. Ci�ncia que tem por objeto o estudo dos
m�todos e princ�pios que permitem distinguir racioc�nios v�lidos de outros n�o
v�lidos.

L�gica filos�fica
A l�gica estuda e sistematiza a argumenta��o v�lida. A l�gica tornou-se uma
disciplina praticamente aut�noma em rela��o � filosofia, gra�as ao seu elevado grau
de precis�o e tecnicismo. Hoje em dia, � uma disciplina acad�mica que recorre a
m�todos matem�ticos, e os l�gicos contempor�neos t�m em geral forma��o matem�tica.
Todavia, a l�gica elementar que se costuma estudar nos cursos de filosofia � t�o
b�sica como a aritm�tica elementar e n�o tem elementos matem�ticos. A l�gica
elementar � usada como instrumento pela filosofia, para garantir a validade da
argumenta��o.

Quando a filosofia tem a l�gica como objecto de estudo, entramos na �rea da

filosofia da l�gica, que estuda os fundamentos das teorias l�gicas e os problemas
n�o estritamente t�cnicos levantados pelas diferentes l�gicas. Hoje em dia h�
muitas l�gicas al�m da teoria cl�ssica da dedu��o de Russell e Frege (como as
l�gicas livres, modais, temporais, paraconsistentes, difusas, intuicionistas, etc.
ver: L�gica intuicionista), o que levanta novos problemas � filosofia da l�gica.

A filosofia da l�gica distingue-se da l�gica filos�fica aristot�lica, que n�o

estuda problemas levantados por l�gicas particulares, mas problemas filos�ficos
gerais, que se situam na intersec��o da metaf�sica, da epistemologia e da l�gica.
S�o problemas centrais de grande abrang�ncia, correspondendo � disciplina medieval
conhecida por "L�gica & Metaf�sica", e abrangendo uma parte dos temas presentes na
pr�pria Metaf�sica, de Arist�teles: a identidade de objetos, a natureza da
Necessidade, a natureza da verdade, o conhecimento a prioridade, etc. Precisamente
por ser uma "subdisciplina transdisciplinar", o dom�nio da l�gica filos�fica �
ainda mais difuso do que o das outras disciplinas. Para agravar as incompreens�es,
alguns fil�sofos chamam "l�gica filos�fica" � filosofia da l�gica (e vice-versa).
Em qualquer caso, o importante � n�o pensar que a l�gica filos�fica � um g�nero de
l�gica, a par da l�gica cl�ssica, mas "mais filos�fica"; pelo contr�rio, e algo
paradoxalmente, a l�gica filos�fica, n�o � uma l�gica no sentido em que a l�gica
cl�ssica � uma l�gica, isto �, no sentido de uma articula��o sistem�tica das regras
da argumenta��o v�lida.

A l�gica informal estuda os aspectos da argumenta��o v�lida que n�o dependem

exclusivamente da forma l�gica. O tema introdut�rio mais comum no que respeita �
l�gica � a teoria cl�ssica da dedu��o (l�gica proposicional e de predicados,
incluindo formaliza��es elementares da linguagem natural); a l�gica aristot�lica �
por vezes ensinada, a n�vel universit�rio, como complemento hist�rico e n�o como
alternativa � l�gica cl�ssica.� (Desid�rio Murcho)

"L�gica", depois ela foi substitu�da pela inven��o da L�gica Matem�tica. Relaciona-
se com a elucida��o de ideias como refer�ncia, previs�o, identidade, verdade,
quantifica��o, exist�ncia, e outras. A L�gica filos�fica est� muito mais preocupada
com a conex�o entre a Linguagem Natural e a L�gica.

L�gica de predicados
Ver artigo principal: L�gica de predicados
Gottlob Frege, em sua Conceitografia (Begriffsschrift), descobriu uma maneira de
reordenar v�rias ora��es para tornar sua forma l�gica clara, com a inten��o de
mostrar como as ora��es se relacionam em certos aspectos. Antes de Frege, a l�gica
formal n�o obteve sucesso al�m do n�vel da l�gica de ora��es: ela podia representar
a estrutura de ora��es compostas de outras ora��es, usando palavras como "e", "ou"
e "n�o", mas n�o podia quebrar ora��es em partes menores. N�o era poss�vel mostrar
como "Vacas s�o animais" leva a concluir que "Partes de vacas s�o partes de
animais".

A l�gica de ora��es explica como funcionam palavras como "e", "mas", "ou", "n�o",
"se-ent�o", "se e somente se", e "nem-ou". Frege expandiu a l�gica para incluir
palavras como "todos", "alguns", e "nenhum". Ele mostrou como podemos introduzir
vari�veis e quantificadores para reorganizar ora��es.

"Todos os humanos s�o mortais" se torna "Para todo x, se x � humano, ent�o x �

mortal.", o que pode ser escrito simbolicamente como:
: {\displaystyle \forall x(H(x)\to M(x))} \forall x(H(x)\to M(x))
"Alguns humanos s�o vegetarianos" se torna "Existe algum (ao menos um) x tal que x
� humano e x � vegetariano", o que pode ser escrito simbolicamente como:
: {\displaystyle \exists x(H(x)\wedge V(x))} \exists x(H(x)\wedge V(x)).
Frege trata ora��es simples sem substantivos como predicados e aplica a eles to
"dummy objects" (x). A estrutura l�gica na discuss�o sobre objetos pode ser operada
de acordo com as regras da l�gica de ora��es, com alguns detalhes adicionais para
adicionar e remover quantificadores. O trabalho de Frege foi um dos que deram
in�cio � l�gica formal contempor�nea.

Frege adiciona � l�gica de ora��es:

o vocabul�rio de quantificadores (o A de ponta-cabe�a, e o E invertido) e

vari�veis;
e uma sem�ntica que explica que as vari�veis denotam objetos individuais e que os
quantificadores t�m algo como a for�a de "todos" ou "alguns" em rela��o a esse
objetos;
m�todos para us�-los numa linguagem.
Para introduzir um quantificador "todos", voc� assume uma vari�vel arbitr�ria,
prova algo que deva ser verdadeira, e ent�o prova que n�o importa que vari�vel voc�
escolha, que aquilo deve ser sempre verdade. Um quantificador "todos" pode ser
removido aplicando-se a ora��o para um objeto em particular. Um quantificador
"algum" (existe) pode ser adicionado a uma ora��o verdadeira de qualquer objeto;
pode ser removida em favor de um temo sobre o qual voc� ainda n�o esteja
pressupondo qualquer informa��o.

L�gica de v�rios valores

Ver artigo principal: L�gica tern�ria
Sistemas que v�o al�m dessas duas distin��es (verdadeiro e falso) s�o conhecidos
como l�gicas n�o-aristot�licas, ou l�gica de v�rios valores (ou ent�o l�gicas
polivaluadas, ou ainda polivalentes).

No in�cio do s�culo XX, Jan Lukasiewicz investigou a extens�o dos tradicionais

valores verdadeiro/falso para incluir um terceiro valor, "poss�vel".

L�gicas como a l�gica difusa foram ent�o desenvolvidas com um n�mero infinito de
"graus de verdade", representados, por exemplo, por um n�mero real entre 0 e 1.
Probabilidade bayesiana pode ser interpretada como um sistema de l�gica onde
probabilidade � o valor verdade subjetivo.

L�gica e computadores
Ver artigos principais: Programa��o l�gica e Programa��o de computadores
A L�gica � extensivamente utilizada em todas as �reas vinculadas aos computadores.

Partindo-se do princ�pio que muitas das nossas tarefas di�rias s�o uma sequ�ncia
que obedecem uma determinada ordem, de um estado inicial, atrav�s de um per�odo de
tempo finito e que nesse per�odo produzimos resultados esperados e bem definidos,
poder�amos classificar essas tarefas dentro de um algoritmo que utilizam o conceito
da l�gica formal para fazer com que o computador produza uma s�rie sequencial.

Nas d�cadas de 50 e 60, pesquisadores previram que quando o conhecimento humano

pudesse ser expresso usando l�gica com nota��o matem�tica, supunham que seria
poss�vel criar uma m�quina com a capacidade de pensar, ou seja, intelig�ncia
artificial. Isto se mostrou mais dif�cil que o esperado em fun��o da complexidade
do racioc�nio humano. A programa��o l�gica � uma tentativa de fazer computadores
usarem racioc�nio l�gico e a linguagem de programa��o Prolog � frequentemente
utilizada para isto.

Na l�gica simb�lica e l�gica matem�tica, demonstra��es feitas por humanos podem ser
auxiliadas por computador. Usando prova autom�tica de teoremas os computadores
podem achar e verificar demonstra��es, assim como trabalhar com demonstra��es muito
extensas.

Na ci�ncia da computa��o, a �lgebra booleana � a base do projeto de hardware.

Tipos de l�gica
De uma maneira geral, pode-se considerar que a l�gica, tal como � usada na
filosofia e na matem�tica, observa sempre os mesmos princ�pios b�sicos: a lei do
terceiro exclu�do, a lei da n�o-contradi��o e a lei da identidade. A esse tipo de
l�gica pode-se chamar "l�gica cl�ssica", ou "l�gica aristot�lica".

Al�m desta l�gica, existem outros tipos de l�gica que podem ser mais apropriadas
dependendo da circunst�ncia onde s�o utilizadas. Podem ser divididas em dois tipos:

Complementares da l�gica cl�ssica: al�m dos tr�s princ�pios da l�gica cl�ssica,

essas formas de l�gica t�m ainda outros princ�pios que as regem, estendendo o seu
dom�nio. Alguns exemplos:
L�gica modal: agrega � l�gica cl�ssica o princ�pio das possibilidades. Enquanto na
l�gica cl�ssica existem ora��es como: "se amanh� chover, vou viajar", "minha av� �
idosa e meu pai � jovem", na l�gica modal as ora��es s�o formuladas como "�
poss�vel que eu viaje se n�o chover", "minha av� necessariamente � idosa e meu pai
n�o pode ser jovem", etc.
L�gica epist�mica: tamb�m chamada "l�gica do conhecimento", agrega o princ�pio da
certeza, ou da incerteza (ver: Indeterminismo). Alguns exemplos de ora��o: "pode
ser que haja vida em outros planetas, mas n�o se pode provar", "� imposs�vel a
exist�ncia de gelo a 100 �C", "n�o se pode saber se duendes existem ou n�o", etc.
L�gica de�ntica: forma de l�gica vinculada � moral, agrega os princ�pios dos
direitos, proibi��es e obriga��es. � o sistema de l�gica usado para indicar
condutas e comportamentos, e que inclui as rela��es de poder entre indiv�duos.
Enquanto a l�gica cl�ssica trata do que "� ou n�o �", a l�gica de�ntica trata do
que "se deve ou n�o fazer". As ora��es na l�gica de�ntica s�o da seguinte forma: "�
proibido fumar mas � permitido beber", "se voc� � obrigado a pagar impostos, voc� �
proibido de sonegar", etc.[18]
L�gica Temporal: H� situa��es em que os atributos de "Verdadeiro" e "Falso" n�o
bastam, e � preciso determinar se algo � "Verdadeiro no per�odo de tempo A", ou
"Falso ap�s o evento B". Para isso, � utilizado um sistema l�gico espec�fico que
inclui novos operadores para tratar dessas situa��es.[19]
Anticl�ssicas: s�o formas de l�gica que derrogam pelo menos um dos tr�s princ�pios
fundamentais da l�gica cl�ssica. Alguns exemplos incluem:
L�gica paraconsistente: � uma forma de l�gica onde n�o existe o princ�pio da
contradi��o. Nesse tipo de l�gica, tanto as ora��es afirmativas quanto as negativas
podem ser falsas ou verdadeiras, dependendo do contexto. Uma das aplica��es desse
tipo de l�gica � o estudo da sem�ntica, especialmente em se tratando dos paradoxos.
Um exemplo: "fulano � cego, mas v�". Pelo princ�pio da l�gica cl�ssica, o indiv�duo
que v�, um "n�o-cego", n�o pode ser cego. Na l�gica paraconsistente, ele pode ser
cego para ver algumas coisas, e n�o-cego para ver outras coisas.
L�gica paracompleta: Esta l�gica derroga o princ�pio do terceiro exclu�do, isto �,
uma ora��o pode n�o ser totalmente verdadeira, nem totalmente falsa. Um exemplo de
ora��o que pode ser assim classificada �: "fulano conhece a China". Se ele nunca
esteve l�, essa ora��o n�o � verdadeira. Mas se mesmo nunca tendo estado l� ele
estudou a hist�ria da China por livros, fez amigos chineses, viu muitas fotos da
China, etc; essa ora��o tamb�m n�o � falsa.
L�gica difusa: Mais conhecida como "l�gica fuzzy", trabalha com o conceito de graus
de pertin�ncia. Assim como a l�gica paracompleta, derroga o princ�pio do terceiro
exclu�do, mas de maneira comparativa, valendo-se de um elemento chamado conjunto
fuzzy. Enquanto na l�gica cl�ssica sup�e-se verdadeira uma ora��o do tipo "se algo
� quente, n�o � frio" e na l�gica paracompleta pode ser verdadeira a ora��o "algo
pode n�o ser quente nem frio", na l�gica difusa poder-se-ia dizer: "algo � 30%
quente, 25% morno e 45% frio". Esta l�gica tem grande aplica��o na inform�tica e na
estat�stica, sendo inclusive a base para indicadores como o coeficiente de Gini e o
IDH.
L�gica de base n: uma das forma de l�gica de base n era um tipo de l�gica difusa.
No entanto podemos fazer enumera��es de zero a n ou usar um alfabeto n-�rio numa
m�quina de Turing, relacion�-las e com base nisso tirar vantagens.[20] Esta l�gica
pode ainda relacionar-se com muitos assuntos em inform�tica.[20]
Testes de l�gica
Vejam alguns testes simples de l�gica:

1.Voc� est� numa cela onde existem duas portas, cada uma vigiada por um guarda.
Existe uma porta que d� para a liberdade, e outra para a morte. Voc� est� livre
para escolher a porta que quiser e por ela sair. Poder� fazer apenas uma pergunta a
um dos dois guardas que vigiam as portas. Um dos guardas sempre fala a verdade, e o
outro sempre mente e voc� n�o sabe quem � o mentiroso e quem fala a verdade. Que
pergunta voc� faria?

2.Voc� � prisioneiro de uma tribo ind�gena que conhece todos os segredos do

Universo e portanto sabem de tudo. Voc� est� para receber sua senten�a de morte. O
cacique o desafia: "Fa�a uma afirma��o qualquer. Se o que voc� falar for mentira
voc� morrer� na fogueira, se falar uma verdade voc� ser� afogado. Se n�o pudermos
definir sua afirma��o como verdade ou mentira, n�s te libertaremos." O que voc�
diria?

3. Epim�nides era um grego da cidade de Minos. Dizem que ele tinha a fama de mentir
muito.

Certa vez, ele citou esta passagem:

Era uma vez um bode que disse:

- Quando a mentira nunca � desvendada, quem est� mentindo sou eu.

Em seguida o le�o disse:

- Se o bode for um mentiroso, o que o drag�o diz tamb�m � mentira.

Por fim o drag�o disse:

- Quem for capaz de desvendar a minha mentira, ent�o, ele estar� dizendo a verdade.

Qual deles est� mentindo?

Este teste � mais conhecido como paradoxo de Epim�nides.

Respostas dos "testes de l�gica" citados acima

1. Pergunte a qualquer um deles: Qual a porta que o seu companheiro apontaria como
sendo a porta da liberdade?
Explica��o: O mentiroso apontaria a porta da morte como sendo a porta que o seu
companheiro (o sincero) diria que � a porta da liberdade, j� que se trata de uma
mentira da afirma��o do sincero. E o sincero, sabendo que seu companheiro sempre
mente, diria que ele apontaria a porta da morte como sendo a porta da liberdade.

Conclus�o: os dois apontariam a porta da morte como sendo a porta que o seu
companheiro diria ser a porta da liberdade. Portanto, � s� seguir pela outra porta.

Uma outra op��o de resposta seria perguntar a qualquer um deles: A porta que est� o
guarda que diz a verdade � a porta da liberdade?

Explica��o: Se voc� perguntar ao verdadeiro e ele estiver na porta da liberdade

dir� que "sim" e se voc� perguntar ao mentiroso e ele estiver na porta da liberdade
tamb�m dir� que "sim" pois seria uma mentira j� que a verdade seria que ele est� na
porta da liberdade. Se o guarda que diz a verdade responder "n�o" seria porque a
porta da liberdade estaria com o mentiroso, ou seja a outra porta, e o mentiroso
dizendo "n�o" � porque o verdadeiro estaria na porta da liberdade que tamb�m seria
a porta oposta.

Conclus�o: Independente a qual guarda perguntar sempre saia pela mesma porta se a
resposta for "sim", e saia pela outra porta se a resposta for "n�o".

2. Afirme que voc� morrer� na fogueira.

Explica��o: Se voc� realmente morrer na fogueira, isto � uma verdade, ent�o voc�
deveria morrer afogado, mas se voc� for afogado a afirma��o seria uma mentira, e
voc� teria que morrer na fogueira.

Conclus�o: Mesmo que eles pudessem prever o futuro, cairiam neste impasse e voc�
seria libertado.

3. Ao tentar responder ao enigma, encontram-se informa��es que se ligam umas �s

outras e acabam n�o levando a resposta alguma. Esse enigma pode ser denominado como
paradoxo do mentiroso.