O Que é LIAR PARADOX em Português

• paradoxo do mentiroso

Exemplos de uso de Liar paradox em Inglês e suas traduções para o Português

It is similar to the liar paradox.
É também similar ao paradoxo do mentiroso.

The liar paradox is the sentence"This sentence is false.
O paradoxo do mentiroso é a sentença“Esta sentença é falsa”.

In particular, he claimed that such an approach resolved the liar paradox.
Em particular, Jon alegou que tal abordagem resolveu o paradoxo do mentiroso.

For a better understanding of the liar paradox, it is useful to write it down in a more formal way.
Para um melhor compreensão do paradoxo mentiroso, é útil escrevê-lo em uma maneira mais formal.

Arthur Prior asserts that there is nothing paradoxical about the liar paradox.
Arthur Prior afirma que não há nada paradoxal a respeito do paradoxo mentiroso.

The card paradox is a variant of the liar paradox constructed by Philip Jourdain.
O paradoxo das cartas é um variante não-referencial do paradoxo do mentiroso construído por Philip Jourdain.

Naṣīr al-Dīn al-Ṭūsī could have been the first logician to identify the liar paradox as self-referential.
Naṣīr al-Dīn al-Ṭūsī pode ter sido o primeiro lógico a identificar o paradoxo do mentiroso como auto-referencial.

Yablo's paradox is a variation of the liar paradox that is intended to not even rely on circular reference.
Veja o Paradoxo de Yablo para uma variação do paradoxo do mentiroso que não conta com referência circular.

Thus paraconsistent logics can still be vulnerable to this paradox, even if they are immune to the liar paradox.
Assim lógicas paraconsistentes ainda pode estar vulnerável a este, mesmo que eles são imunes ao paradoxo do mentiroso.

While Gödel's theorem is related to the liar paradox, Chaitin's result is related to Berry's paradox..
Enquanto o teorema de Gödel está relacionado com o paradoxo do mentiroso, o resultado de Chaitin está relacionado com o paradoxo de Berry.

The liar paradox is occasionally used in fiction to shut down artificial intelligences, who are presented as being unable to process the sentence.
O paradoxo do mentiroso é ocasionalmente usado na ficção para desligar inteligências artificiais, que são apresentadas como sendo incapazes de processar a sentença.

The Epimenides paradox(circa 600 BC) has been suggested as an example of the liar paradox, but they are not logically equivalent.
Sugere-se que o paradoxo de Epimênides(cerca de 600 a.C.) é um exemplo de paradoxo mentiroso, mas eles não são logicamente equivalentes.

The problem of the liar paradox is that it seems to show that common beliefs about truth and falsity actually lead to a contradiction.
O problema do paradoxo mentiroso é que ele parece mostrar que crenças comuns acerca de verdade e falsidade frequentemente levam a uma contradição.

On the first approach, typically whatever one says about the Liar paradox carries over smoothly to the Hilbert-Bernays paradox..
Na primeira abordagem, normalmente o que se diz sobre o paradoxo do mentiroso transporta mais suavemente para o paradoxo de Hilbert-Bernays.

Tarski, in"On the Concept of Truth in Formal Languages", attempted to formulate a new theory of truth in order to resolve the liar paradox.
Em On the Concept of Truth in Formal Languages("O conceito de verdade em linguagens formalizadas") Tarski tentou formular uma nova teoria a fim de resolver o paradoxo do mentiroso e, durante essas tentativas.

And in the self-referential spirit of the Liar Paradox, the phrase"it is true that…" is equivalent to"this whole statement is true and….
E no espírito autorreferencial do Paradoxo Mentiroso, a frase“é verdade que…” é equivalente a“toda essa declaração é verdadeira e…”.

George Boolos has since sketched an alternative proof of the first incompleteness theorem that uses Berry's paradox rather than the liar paradox to construct a true but unprovable formula.
George Boolos esquematizou uma prova alternativa para o teorema da incompletude que usa o paradoxo de Berry em vez do paradoxo mentiroso para construir uma fórmula verdadeira mas não demonstrável.

Many philosophers attempting to explain the liar paradox- for examples see that article- concluded that the problem was with the use of demonstrative word"this" or its replacements.
Muitos filósofos, na tentativa de explicar o paradoxo do mentiroso, concluíram que o problema estava no uso da palavra demonstrativa"este" ou seus sinônimos.

He corresponded with Georg Cantor and Gottlob Frege, and took a close interest in the paradoxes related to Russell's paradox, formulating the card paradox version of the liar paradox.
Por meio das suas correspondências com Georg Cantor e Gottlob Frege, tomou um grande interesse sobre paradoxos relacionados ao Paradoxo de Russell, formulando o Paradoxo das cartas, uma variação do Paradoxo do mentiroso.

In early Islamic tradition liar paradox was discussed for at least five centuries starting from late 9th century apparently without being influenced by any other tradition.
Na tradição Islâmica antiga, o paradoxo do mentiroso foi discutido ao menos cinco séculos começando no final do século nove, aparentemente sem sofrer influência de nenhuma outra tradição.

Then, based on an interface used by costa(2001), we show how the barber paradox, the liar paradox and the barbershop paradox can be seen from a linguistic approach.
Então, baseados em uma interface utilizada por costa(2001), mostramos como o paradoxo do barbeiro, o paradoxo do mentiroso e o paradoxo da barbearia podem ser vistos de uma persp.

Now, the liar paradox can be expressed as the statement A, that A is false: A"A false" This is an equation from which the truth value of A"this statement is false" could hopefully be obtained.
Agora, o paradoxo mentiroso pode ser expressão como a declaração A de que que A é falsa:“A “A falso”” Essa é uma equação na qual o valor verdade de A“essa declaração é falsa” poderia possivelmente ser obtida.

Roughly speaking, in proving the first incompleteness theorem, Gödel used a modified version of the liar paradox, replacing"this sentence is false" with"this sentence is not provable", called the"Gödel sentence G.
A grosso modo, ao provar o primeiro teorema da incompletude, Gödel usou uma versão modificada do paradoxo mentiroso, substituindo"essa sentença é falsa" por"essa sentença não é demonstrável", chamada de"sentença G de Gödel.

Unlike the liar paradox, which uses a single sentence, this paradox uses an infinite list of sentences, each referring to sentences occurring further down the list.
Diferente do paradoxo do mentiroso, o qual usa apenas uma sentença, esse paradoxo utiliza uma sequência infinita de afirmações, cada uma das quais refere-se aos valores-verdade das afirmações posteriores na sequência.

This is a requirement on derivability, namely, the principle that in a formal system with material implication and modus ponens, if Y is provable from the hypothesis X, then there is also a proof of X→ Y. Note that unlike the liar paradox or Russell's paradox, Curry's paradox does not depend on what model of negation is used, as it is completely negation-free.
Este é um requisito em derivabilidade, ou seja, o princípio de que em um sistema formal com implicação e modus ponens materiais, se Y é dedutível a partir da hipótese X, em seguida, há também uma prova de X→ Y. Nota se que ao contrário do paradoxo do mentiroso ou o paradoxo de Russell, esse paradoxo não depende de qual é o modelo de negação é usada, uma vez que é completamente livre de negação.

In Star Trek: The Original Series episode"I, Mudd", the liar paradox is used by Captain Kirk and Harry Mudd to confuse and ultimately disable an android holding them captive.
Em Star Trek: The Original Series episódio"I, Mudd", o paradoxo do mentiroso é usado pelo Capitão Kirk e Harry Mudd para confundir e, finalmente, desativar um androíde que estava mantendo-os em cativeiro.

It is related to the liar paradox as a problem, and it purports to show that a sentence can be paradoxical even if it is not self-referring and does not use demonstratives or indexicals i.e. it does not explicitly refer to itself.
É relacionado ao Paradoxo do mentiroso como um problema e pretende mostrar que uma sentença pode ser paradoxal mesmo se ela não se refere a si mesma e não usa demonstrativos ou indexicais isto é, ela não se refere a si mesma explicitamente.

He argues that the major problems of philosophy(such as the liar paradox, the existence of an external world, and free will) are intelligible and non-trivial yet utterly defy solution.
Ele argumenta que a maior parte dos problemas da filosofia(como o paradoxo do mentiroso, a existência de um mundo externo, e do livre-arbítrio) são inteligíveis e não-triviais ainda que seja uma solução completamente desafiadora.

With regard to the liar paradox(sarvam mithyā bravīmi"everything I am saying is false") Bhartrhari identifies a hidden parameter which can change unproblematic situations in daily communication into a stubborn paradox..
No que diz respeito ao paradoxo mentiroso(sarvam mithyā bravīmi“tudo o que estou dizendo é falso”), Bhartrhari identifica um parâmetro escondido que pode mudar situações de comunicação diárias não problemáticas em um paradoxo teimoso.

The paradox presents instead distinctive difficulties for many solutions pursuing the second approach: for example, solutions to the Liar paradox that reject the law of excluded middle(which is not used by the Hilbert-Bernays paradox) have denied that there is such a thing as the referent of h; solutions to the Liar paradox that reject the law of noncontradiction(which is not used by the Hilbert-Bernays paradox) have claimed that h refers to more than one object.
Por exemplo, soluções para o paradoxo do mentiroso que rejeitam a lei do terceiro excluído(que não é utilizada pelo paradoxo de Hilbert-Bernays) negaram que não existe tal coisa como o referente h, soluções para o paradoxo do mentiroso que rejeitam a lei da não-contradição(que não é usada pelo paradoxo de Hilbert-Bernays) alegaram que h refere-se a mais de um objeto.