Acesso mais rápido do que o navegador!
17 relações: Amônio de Hérmias, Conjunto difuso, Construtivismo (matemática), Esquema T, Falácia, Filosofia da Lógica, Is Logic Empirical?, Lógica de segunda ordem, Lógica multivalorada, Lógica temporal, Lei do terceiro excluído, Paradoxo do mentiroso, Possibilidade lógica, Princípio da não-contradição, Realidade, Teoria dos conjuntos, Valor de verdade.
Amônio de Hérmias
Ἀμμώνιος τοῦ Ἑρμείου, também Amônio de Alexandria, (Ammonius Hermiae; Alexandria, entre 435 e 450 – provavelmente depois de 517) foi um influente filósofo antigo tardio.
Novo!!: Princípio da bivalência e Amônio de Hérmias · Veja mais »
Conjunto difuso
Na matemática, conjuntos difusos, conjuntos nebulosos ou conjuntos fuzzy, são conjuntos aos quais os elementos têm graus de pertinência.
Novo!!: Princípio da bivalência e Conjunto difuso · Veja mais »
Construtivismo (matemática)
Na filosofia da matemática, o construtivismo afirma que é preciso encontrar (ou "construir") um objeto matemático para provar que ele existe.
Novo!!: Princípio da bivalência e Construtivismo (matemática) · Veja mais »
Esquema T
O esquema T ou esquema-verdade (não confundir com 'Convenção T') é usado para dar uma definição indutiva da verdade definida na teoria semântica da verdade de Alfred Tarski.
Novo!!: Princípio da bivalência e Esquema T · 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 »
Filosofia da Lógica
Filosofia da lógica é a área da filosofia que estuda o alcance e a natureza da lógica.
Novo!!: Princípio da bivalência e Filosofia da Lógica · Veja mais »
Is Logic Empirical?
"Is Logic Empirical" (em português, "Lógica é empírica?") é o título de dois artigos (um por Hilary Putnam e outro por Michael Dummett) que discutem a ideia de que propriedades algébricas da lógica podem, ou devem, ser determinadas empiricamente, em particular, elas lidam com a questão de se fatos empíricos sobre a mecânica quântica podem prover embasamento para revisar a Lógica clássica como uma renderização lógica da realidade consistente. A substituição deriva do trabalho de Garret Birkhoff e John von Neumann na lógica quântica.
Novo!!: Princípio da bivalência e Is Logic Empirical? · Veja mais »
Lógica de segunda ordem
Na lógica matemática, a lógica de segunda ordem é uma extensão da lógica de primeira ordem, onde a própria lógica de primeira ordem é uma extensão de lógica proposicional.
Novo!!: Princípio da bivalência e Lógica de segunda ordem · Veja mais »
Lógica multivalorada
Em lógica, a lógica multivalorada (ou lógica plurivalente) é um cálculo proposicional em que há mais de dois valores verdade.
Novo!!: Princípio da bivalência e Lógica multivalorada · Veja mais »
Lógica temporal
Em lógica, lógica temporal é qualquer sistema de regras e símbolos para representar e dissertar sobre proposições qualificadas em termos de tempo.
Novo!!: Princípio da bivalência e Lógica temporal · 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 »
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!!: Princípio da bivalência e Paradoxo do mentiroso · Veja mais »
Possibilidade lógica
Possibilidade lógica refere-se a uma proposição que pode ser a consequência lógica de outra, baseada nos axiomas de um dado sistema lógico.
Novo!!: Princípio da bivalência e Possibilidade lógica · 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 »
Realidade
Realidade (do latim realitas isto é, "coisa") significa, em seu sentido mais livre, o termo inclui tudo o que é, seja ou não perceptível, acessível ou entendido pela filosofia, ciência ou qualquer outro sistema de análise.
Novo!!: Princípio da bivalência e Realidade · 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!!: Princípio da bivalência e Teoria dos conjuntos · 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 »
