Acesso mais rápido do que o navegador!
29 relações: Álgebra booliana, Crisipo de Solos, Disjunção lógica, Dualismo, Estoicismo, Extensionalidade, Falácia, Falsa dicotomia, Grau de verdade, Jan Łukasiewicz, Jean-Yves Béziau, Lógica, Lógica difusa, Lógica proposicional, Lógica quântica, Lei do terceiro excluído, Luitzen Egbertus Jan Brouwer, Negação por falha, Ou exclusivo, Paradoxo sorites, Perspectivismo, Princípio da não-contradição, Programação lógica, Quantificação existencial, Quantificação universal, Relativismo, Rizoma (filosofia), Stanford Encyclopedia of Philosophy, Valor de verdade.
Álgebra booliana
Em álgebra abstrata, álgebras boolianas (ou álgebras de Boole) são estruturas algébricas que "captam as propriedades essenciais" dos operadores lógicos e de conjuntos, ou ainda oferecem uma estrutura para se lidar com "afirmações",Edward R. Scheinerman.
Novo!!: Princípio da bivalência e Álgebra booliana · Veja mais »
Crisipo de Solos
Crisipo ou Crísipo de Solos (Solos, — Atenas, ca.) foi um filósofo grego.
Novo!!: Princípio da bivalência e Crisipo de Solos · Veja mais »
Disjunção lógica
Disjunção, operador ou (OR), é uma operação lógica utilizada em lógicas digitais e lógicas matemáticas.
Novo!!: Princípio da bivalência e Disjunção lógica · Veja mais »
Dualismo
Ilustração do dualismo de René Descartes: as sensações são transmitidas pelos órgãos dos sentidos à glândula pineal no cérebro e depois ao espírito imaterial. Dualismo é uma concepção filosófica ou teológica do mundo baseada na presença de dois princípios ou duas substâncias ou duas realidades opostas, irredutíveis entre si e incapazes de uma síntese final ou de recíproca subordinação.
Novo!!: Princípio da bivalência e Dualismo · Veja mais »
Estoicismo
Zenão de Cítio, fundador do estoicismo, em escultura da Coleção Farnese, fotografada por Paolo Monti em 1969. O estoicismo é uma escola de filosofia helenística fundada por Zenão de Cítio na Grécia, em Atenas, no início do Século III a.C..
Novo!!: Princípio da bivalência e Estoicismo · Veja mais »
Extensionalidade
Em lógica ou linguística, o conceito de extensionalidade se refere à definição da identidade entre objetos ou vocábulos distintos pelo fato de eles apresentarem as mesmas propriedades externas.
Novo!!: Princípio da bivalência e Extensionalidade · Veja mais »
Falácia
O termo falácia deriva do verbo latino fallere, que significa enganar.
Novo!!: Princípio da bivalência e Falácia · Veja mais »
Falsa dicotomia
Falsa dicotomia, falso dilema, pensamento preto e branco ou falsa bifurcação é uma falácia informal que descreve uma situação em que dois pontos de vista alternativos, geralmente opostos, são colocados como sendo as únicas opções, quando na realidade existem outras opções que não foram consideradas.
Novo!!: Princípio da bivalência e Falsa dicotomia · Veja mais »
Grau de verdade
Em matemática padrão, proposições podem ser tipicamente consideradas inequivocamente verdadeiras ou falsas.
Novo!!: Princípio da bivalência e Grau de verdade · Veja mais »
Jan Łukasiewicz
Jan Łukasiewicz (21 de dezembro de 1878 — 13 de fevereiro de 1956) foi um lógico polonês.
Novo!!: Princípio da bivalência e Jan Łukasiewicz · Veja mais »
Jean-Yves Béziau
Jean-Yves Beziau (Orléans, França) é um pesquisador do Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) e professor da Universidade do Brasil.
Novo!!: Princípio da bivalência e Jean-Yves Béziau · 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!!: Princípio da bivalência e Lógica · Veja mais »
Lógica difusa
A lógica difusa ou lógica fuzzy é a forma de lógica multivalorada, na qual os valores verdade das variáveis podem ser qualquer número real entre 0 (correspondente ao valor falso) e 1 (correspondente ao valor verdadeiro), diferentemente do que se verifica na lógica booliana (também chamada, às vezes, lógica nítida), segundo a qual os valores lógicos podem ser apenas 0 ou 1.
Novo!!: Princípio da bivalência e Lógica difusa · Veja mais »
Lógica proposicional
Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como teoremas do sistema formal.
Novo!!: Princípio da bivalência e Lógica proposicional · Veja mais »
Lógica quântica
Em Física Matemática, lógica quântica é um conjunto de regras para o raciocínio relativo a uma classe proposições para as quais os princípios da teoria quântica são considerados.
Novo!!: Princípio da bivalência e Lógica quântica · Veja mais »
Lei do terceiro excluído
Em lógica, a lei do terceiro excluído (em latim, principium tertii exclusi ou tertium non datur) é a terceira de três clássicas Leis do Pensamento.
Novo!!: Princípio da bivalência e Lei do terceiro excluído · Veja mais »
Luitzen Egbertus Jan Brouwer
Luitzen Egbertus Jan Brouwer, mais conhecido como L. E. J. Brouwer (Overschie, 27 de fevereiro de 1881 — Blaricum, 2 de dezembro de 1966), foi um matemático holandês.
Novo!!: Princípio da bivalência e Luitzen Egbertus Jan Brouwer · Veja mais »
Negação por falha
Negação por falha, é uma regra de inferência não-monotônica na programação em lógica, usada para derivar \mathrm~p (isto é, p não se verifica) da falha em derivar p. Note que \mathrm~p pode ser diferente do enunciado \neg p (negação lógica de p), dependendo da completude do algoritmo de inferência e assim, também do sistema lógico formal.
Novo!!: Princípio da bivalência e Negação por falha · Veja mais »
Ou exclusivo
Ou exclusivo ou disjunção exclusiva é uma operação lógica entre dois operandos que resulta em um valor lógico verdadeiro se e somente se os dois operandos forem diferentes, ou seja, se um for verdadeiro e o outro for falso.
Novo!!: Princípio da bivalência e Ou exclusivo · 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!!: Princípio da bivalência e Paradoxo sorites · Veja mais »
Perspectivismo
Em epistemologia, perspectivismo é a visão filosófica que toda percepção e pensamento tem lugar a partir de uma perspectiva que é alterável.
Novo!!: Princípio da bivalência e Perspectivismo · Veja mais »
Princípio da não-contradição
Na Lógica clássica, o princípio da não-contradição (ou o princípio da contradição, ou a lei da não-contradição, ou a lei da contradição), afirma que duas afirmações contraditórias não podem ser verdadeiras ao mesmo tempo, exemplo: As duas proposições "A é B" e "A não é B" são mutuamente exclusivas, dito de outra forma: "nada pode ser e não ser simultaneamente" O princípio da não-contradição foi (primeiramente) formulado por Aristóteles e diz-nos que uma proposição verdadeira não pode ser falsa e uma proposição falsa não pode ser verdadeira.
Novo!!: Princípio da bivalência e Princípio da não-contradição · Veja mais »
Programação lógica
Programação lógica é um paradigma de programação que faz uso da lógica matemática.
Novo!!: Princípio da bivalência e Programação lógica · Veja mais »
Quantificação existencial
Na lógica de predicados, um quantificador existencial é a predicação de uma propriedade ou relação para, pelo menos, um elemento do domínio.
Novo!!: Princípio da bivalência e Quantificação existencial · Veja mais »
Quantificação universal
Na lógica de predicados, a quantificação universal é uma formalização da noção de que algumas coisas são verdadeiras para todas as coisas, ou para todas as coisas relevantes.
Novo!!: Princípio da bivalência e Quantificação universal · Veja mais »
Relativismo
O relativismo é o conceito de que os pontos de vista não têm uma verdade absoluta ou validade intrínsecas, mas eles têm apenas um valor relativo, subjetivo, e de acordo com diferenças na percepção e consideração.
Novo!!: Princípio da bivalência e Relativismo · Veja mais »
Rizoma (filosofia)
Rizoma é um modelo descritivo ou epistemológico na teoria filosófica de Gilles Deleuze e Félix Guattari.
Novo!!: Princípio da bivalência e Rizoma (filosofia) · 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!!: Princípio da bivalência e Stanford Encyclopedia of Philosophy · Veja mais »
Valor de verdade
Na lógica e na matemática, um valor de verdade, também chamado de valor veritativo ou valor verdade, é um valor que indica o grau de verdade de uma proposição, dependendo da interpretação.
Novo!!: Princípio da bivalência e Valor de verdade · Veja mais »
