Acesso mais rápido do que o navegador!
31 relações: Acarretamento, Aceitação, Anekantavada, Axioma, Axiomas de separação, Budismo, Calcanhar de aquiles, Consequência lógica, Declaração (lógica), Deflacionismo, Duplipensar, Introdução da disjunção, Jainismo, Lógica, Lógica clássica, Lógica intuicionista, Lógica paraconsistente, Metalinguagem, Negação, Oxford University Press, Paradoxo de Russell, Paradoxo do mentiroso, Paradoxo sorites, Princípio de explosão, Semântica, Silogismo disjuntivo, Stanford Encyclopedia of Philosophy, Teorema, Teoria dos conjuntos, Teoria ingênua dos conjuntos, Verdade.
Acarretamento
Em lógica, o acarretamento (ou implicação lógica ou consequência semântica) é uma relação entre sentenças de uma linguagem formal de tal forma que se \boldsymbol é um conjunto de sentenças e se \boldsymbol é uma sentença, então podemos concluir que a sentença \boldsymbol é verdadeira desde que todas as sentenças em \boldsymbol o sejam.
Novo!!: Dialeteísmo e Acarretamento · Veja mais »
Aceitação
A palavra aceitação é utilizada em diversas circunstâncias e pode referir-se a diversas realidades.
Novo!!: Dialeteísmo e Aceitação · Veja mais »
Anekantavada
(Devanágari: अनेकान्तवाद) é uma das mais importantes e fundamentais doutrinas do jainismo.
Novo!!: Dialeteísmo e Anekantavada · Veja mais »
Axioma
Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria.
Novo!!: Dialeteísmo e Axioma · Veja mais »
Axiomas de separação
Em topologia, chamam-se axiomas de separação a uma série de axiomas que descrevem de que forma um espaço topológico pode ser separado em partes menores; ou, mais precisamente, de que forma pontos e subconjuntos de um espaço topológico podem ser distinguidos através de propriedades topológicas.
Novo!!: Dialeteísmo e Axiomas de separação · Veja mais »
Budismo
O budismo é uma religião indiana baseada nos ensinamentos de Sidarta Gautama, conhecido como o Buda.
Novo!!: Dialeteísmo e Budismo · Veja mais »
Calcanhar de aquiles
Estátua de Aquiles moribundo na ilha de Corfu Um calcanhar de aquiles é um substantivo composto que significa fraqueza a despeito de uma força geral, que pode levar a derrota ou queda.
Novo!!: Dialeteísmo e Calcanhar de aquiles · Veja mais »
Consequência lógica
Consequência lógica é um conceito fundamental na lógica.
Novo!!: Dialeteísmo e Consequência lógica · Veja mais »
Declaração (lógica)
Em lógica uma declaração ou é (a) uma sentença declarativa significativa que é ou verdadeira ou falsa, ou (b) que é afirmada ou criada pelo uso de uma sentença declarativa.
Novo!!: Dialeteísmo e Declaração (lógica) · Veja mais »
Deflacionismo
Frequentemente sinônimo de anti-fundacionalismo, deflacionismo (também chamado de não-essencialismo) na filosofia é a falta de crença em uma essência (do latim esse) de qualquer coisa, ideia ou entidade metafísica (por exemplo, Deus).
Novo!!: Dialeteísmo e Deflacionismo · Veja mais »
Duplipensar
Duplopensar ou duplipensar é o ato de aceitar simultaneamente duas crenças mutuamente contraditórias como corretas, muitas vezes em contextos sociais distintos.
Novo!!: Dialeteísmo e Duplipensar · Veja mais »
Introdução da disjunção
Na lógica matemática, a introdução da disjunção é uma regra de inferência que estabelece que, se um argumento é verdadeiro, então a disjunção deste argumento com qualquer outro também é verdadeiro.
Novo!!: Dialeteísmo e Introdução da disjunção · Veja mais »
Jainismo
Jainismo, também conhecido como Jain Dharma, é uma religião indiana que traça suas ideias espirituais e história através da sucessão de vinte e quatro tirthankaras (pregadores supremos do Dharma).
Novo!!: Dialeteísmo e Jainismo · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Dialeteísmo e Lógica · Veja mais »
Lógica clássica
Lógica clássica identifica uma classe de Lógica matemática que têm sido mais intensamente estudado e mais amplamente utilizado.
Novo!!: Dialeteísmo e Lógica clássica · Veja mais »
Lógica intuicionista
Lógica intuicionista, ou lógica construtivista, é o sistema de lógica simbólica desenvolvido por Arend Heyting para prover uma base formal para o intuicionismo de Brouwer.
Novo!!: Dialeteísmo e Lógica intuicionista · Veja mais »
Lógica paraconsistente
Em lógica, entende-se por lógica paraconsistente um sistema formal no qual se podem verificar, de modo controlado, exceções ao princípio da não contradição, isto é, no qual podem se apresentar contradições sem que, com isso, seja possível derivar uma proposição qualquer, dentro do sistema, evitando-se assim o princípio de explosão (em latim, ex falso quodlibet, 'da falsidade, qualquer coisa'; ou ex contradictione quodlibet, 'da contradição, qualquer coisa ').
Novo!!: Dialeteísmo e Lógica paraconsistente · Veja mais »
Metalinguagem
Em lógica e linguística, uma metalinguagem é uma linguagem usada para descrever algo sobre outra(s) linguagens (linguagens objeto).
Novo!!: Dialeteísmo e Metalinguagem · Veja mais »
Negação
Negação, em lógica e matemática, é uma operação unária sobre valores lógicos, por exemplo o valor lógico de uma proposição.
Novo!!: Dialeteísmo e Negação · Veja mais »
Oxford University Press
Oxford University Press (OUP) é uma casa editorial e departamento da Universidade de Oxford.
Novo!!: Dialeteísmo e Oxford University Press · Veja mais »
Paradoxo de Russell
O Paradoxo de Russell é um paradoxo descoberto por Bertrand Russell em 1901 e que mostra que no sistema do livro de Frege Leis fundamentais da aritmética pode ser derivada uma contradição.
Novo!!: Dialeteísmo e Paradoxo de Russell · Veja mais »
Paradoxo do mentiroso
Em filosofia e lógica, o paradoxo do mentiroso abrange afirmações paradoxais como: ou Para evitar que uma afirmação se refira ao seu próprio valor lógico, também se pode construir o paradoxo da seguinte forma, chamada de paradoxo mentiroso fortalecido: Geralmente, a denominação “paradoxo do mentiroso” é mais usada, embora a abstração seja feita precisamente pelo próprio mentiroso.
Novo!!: Dialeteísmo e Paradoxo do mentiroso · Veja mais »
Paradoxo sorites
O paradoxo sorites — conhecido também por paradoxo do monte, com "monte" no sentido de grande quantidade (o termo sorites em grego significa "pilha, monte, montão", sendo σωρός (sōros) a palavra grega para "monte" e σωρίτης, sōritēs (o adjetivo)) —, é um paradoxo que aparece quando se utiliza o "sentido comum" sobre conceitos vagos.
Novo!!: Dialeteísmo e Paradoxo sorites · Veja mais »
Princípio de explosão
O princípio de explosão (em latim: ex falso quodlibet ou ex contradictione sequitur quodlibet, "a partir de uma contradição, qualquer coisa segue") é uma lei da lógica clássica e de alguns outros sistemas como a lógica intuicionista que, de acordo com ela, "qualquer coisa pode surgir de uma contradição", isto é, uma vez que uma contradição foi afirmada, qualquer proposição (ou a sua inversa) pode ser inferida dela.
Novo!!: Dialeteísmo e Princípio de explosão · Veja mais »
Semântica
Rede semântica em língua portuguesa Semântica (do grego σημαντικός, sēmantiká, plural neutro de sēmantikós, derivado de sema, sinal) é o estudo do significado.
Novo!!: Dialeteísmo e Semântica · Veja mais »
Silogismo disjuntivo
O silogismo disjuntivo, também conhecido historicamente como modus tollendo ponens, é uma forma de argumento simples, classifica-se válido, do tipo: Um exemplo cotidiano: Ele tem mais que 16 anos ou ele é criança.
Novo!!: Dialeteísmo e Silogismo disjuntivo · Veja mais »
Stanford Encyclopedia of Philosophy
A Enciclopédia de Filosofia de Stanford é uma enciclopédia online, colaborativa e de livre acesso, projetada em 1995 por John Perry (ex-diretor do centro CSLI), e retomado por Edward Zalta, o editor principal do projeto.
Novo!!: Dialeteísmo e Stanford Encyclopedia of Philosophy · Veja mais »
Teorema
Na matemática, um teorema é uma afirmação que pode ser provada como verdadeira, por meio de outras afirmações já demonstradas, como outros teoremas, juntamente com afirmações anteriormente aceitas, como axiomas.
Novo!!: Dialeteísmo e Teorema · Veja mais »
Teoria dos conjuntos
conjuntos. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos.
Novo!!: Dialeteísmo e Teoria dos conjuntos · Veja mais »
Teoria ingênua dos conjuntos
Na matemática abstrata, a teoria dos conjuntos foi o primeiro desenvolvimento da teoria dos conjuntos, que foi mais tarde remodelada cuidadosamente como a teoria axiomática dos conjuntos.
Novo!!: Dialeteísmo e Teoria ingênua dos conjuntos · Veja mais »
Verdade
A verdade é a propriedade de estar de acordo com o fato real ou a realidade.
Novo!!: Dialeteísmo e Verdade · Veja mais »
