Acesso mais rápido do que o navegador!
86 relações: A priori e a posteriori, Abdução (lógica filosófica), Afirmação do consequente, Alfred Tarski, Argumento, Axioma, Baruch Espinoza, Bispo (xadrez), Causalidade, Cálculo de sequentes, Ceticismo antigo, Ciência, Ciência cognitiva, Ciência da computação, Condicional material, Conectivo lógico, Consequência lógica, Constantes lógicas, Correção, Crença, David Hume, Dedução natural, Definições, Derivação formal, Dupla negação, Eliminação da disjunção, Empirismo, Epistemologia, Evidência, Evidência empírica, Falácia, Falácia formal, Fiabilismo, Filosofia, Forma lógica, Geometria, Gerhard Gentzen, Habilidade, Inferência, Inteligência, Inteligência artificial, Interpretação (lógica), Justificação, Karl Popper, Língua natural, Lógica, Lógica clássica, Lógica intuicionista, Lógica probabilística, Lógica proposicional, ..., Linguagem, Linguagem formal, Matemática, Método hipotético-dedutivo, Método indutivo, Metalinguagem, Modus ponens, Modus tollens, Mundo possível, Negação do antecedente, Normatividade, Observação, Premissa, Probabilidade, Problema da indução, Prova matemática, Psicologia, Psicologia cognitiva, Quantificação, Quociente de inteligência, Racionalismo, Regra de inferência, Rei (xadrez), Representação mental, Semântica, Silogismo, Sintaxe, Sistema de Hilbert, Sistema formal, Tarefa de seleção de Wason, Teorema, Teoria dos modelos, Validade, Valor de verdade, Verdade lógica, Viés cognitivo. Expandir índice (36 mais) »
A priori e a posteriori
A priori (do latim, caso genitivo de prior, "de antes" ou "do anterior") e a posteriori (do latim, caso genitivo de posterior, "do seguinte", "do depois" ou "do posterior") são expressões filosóficas para distinguir dois tipos de conhecimento ou argumento.
Novo!!: Método dedutivo e A priori e a posteriori · Veja mais »
Abdução (lógica filosófica)
A abdução é uma das três formas canônicas de inferência para estabelecer hipóteses científicas.
Novo!!: Método dedutivo e Abdução (lógica filosófica) · Veja mais »
Afirmação do consequente
Afirmação do consequente é uma falácia lógica de non sequitur que consiste em confundir o antecedente com o consequente, ou seja, consiste em afirmar a consequência.
Novo!!: Método dedutivo e Afirmação do consequente · Veja mais »
Alfred Tarski
Alfred Tarski (Varsóvia, na época Império Russo, atualmente Polônia, — Berkeley, Estados Unidos) foi um lógico, matemático e filósofo polonês.
Novo!!: Método dedutivo e Alfred Tarski · Veja mais »
Argumento
Um argumento pode ser definido como uma afirmação acompanhada de justificativa (argumento retórico) ou como uma justaposição de duas afirmações opostas, argumento e contra-argumento (argumento dialético).
Novo!!: Método dedutivo e Argumento · 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!!: Método dedutivo e Axioma · Veja mais »
Baruch Espinoza
Baruch (de) Espinoza (em hebraico, ברוך שפינוזה), também referido como Baruch (de) Espinosa ou Baruch Spinoza ou, ainda, na literatura em português, como Bento (de) Espinosa e, após o herem de 1656, como Benedictus de Spinoza (Amsterdão, 24 de novembro de 1632 – Haia, 21 de fevereiro de 1677foi um filósofo de origem judaico-portuguesa, nascido nos Países Baixos, filho de uma família de refugiados na Sinagoga Portuguesa de Amsterdão, perseguidos pela inquisição lusitana. Um dos primeiros pensadores do Iluminismo e da crítica bíblica moderna, incluindo das modernas concepções de si mesmo e do universo, ele veio a ser considerado um dos grandes racionalistas da filosofia do século XVII. Inspirado pelas ideias inovadoras de René Descartes, Spinoza se tornou uma figura filosófica importante da Idade de Ouro Holandesa. O nome de batismo de Spinoza, que significa "Bem-aventurado", varia entre as diferentes línguas. Em hebraico, seu nome completo é escrito. Na Holanda, usava o nome português. Em suas obras em latim e em holandês, usava a forma latina desse nome, Benedictus. Spinoza foi criado na comunidade luso-judaica em Amsterdã. Ele desenvolveu ideias altamente controversas a respeito da autenticidade da Bíblia Hebraica e da natureza do Divino. Autoridades religiosas judaicas emitiram um chérem contra ele, levando-o a ser efetivamente expulso e repudiado pela sociedade judaica, aos 23 anos, inclusive por sua própria família. Seus livros foram posteriormente adicionados ao Índice de Livros Proibidos da Igreja Católica. Ele era frequentemente chamado de "ateu" por seus contemporâneos, embora em nenhuma parte de sua obra Espinoza argumente contra a existência de Deus. Spinoza viveu uma vida aparentemente simples como um moedor de lentes ópticas, colaborando nos designs de microscópio e lentes de telescópio com Christiaan Huygens. Ele recusou recompensas e homenagens ao longo de sua vida, incluindo posições de ensino de prestígio. Morreu aos 44 anos em 1677 de uma doença pulmonar, talvez tuberculose ou silicose exacerbada pela inalação de pó de vidro fino durante o polimento de lentes. Ele está enterrado no cemitério cristão de Nieuwe Kerk, em Haia. No seu magnum opus, a Ética, publicado postumamente, no mesmo ano de sua morte, Espinoza contrapôs-se ao dualismo mente-corpo de Descartes. A obra viria a tornar-se um dos marcos da filosofia ocidental. "Espinoza escreveu a última obra-prima latina indiscutível, na qual as concepções refinadas da filosofia medieval são finalmente voltadas contra si mesmas e totalmente destruídas". Sobre ele, Hegel diria: "O fato é que Espinoza se tornou um ponto de teste na filosofia moderna, de modo que realmente pode-se dizer: ou você é um espinozista ou nem mesmo é um filósofo". Suas realizações filosóficas e caráter moral levaram Gilles Deleuze a nomeá-lo "o 'príncipe' dos filósofos". Um dos grandes filósofos racionalistas do século XVII, dentro da chamada Filosofia Moderna, já em seu tempo apontou importantes reflexões sobre os modos de viver e os caminhos escolhidos pelos seres humanos. Estes, com seus desejos insaciáveis, seus pensamentos prepotentes e suas ausências de conexão com a natureza, estabeleceram relações que, por si mesmos, julgaram importantes para suas vidas na Terra, mas que não passam de ideias inadequadas e de uma experiência vagante; ou seja, experiência de vida que não é determinada pelo conhecimento.
Novo!!: Método dedutivo e Baruch Espinoza · Veja mais »
Bispo (xadrez)
O Bispo é uma peça menor do xadrez ocidental de valor aproximado de três peões.
Novo!!: Método dedutivo e Bispo (xadrez) · Veja mais »
Causalidade
acessodata.
Novo!!: Método dedutivo e Causalidade · Veja mais »
Cálculo de sequentes
Na teoria da prova e lógica matemática, o cálculo de sequentes é um grupo de sistemas formais que compartilham de um certo estilo de inferência e propriedades formais.
Novo!!: Método dedutivo e Cálculo de sequentes · Veja mais »
Ceticismo antigo
Ceticismo filosófico (σκέψις - skepsis, "investigação") é tanto uma escola de pensamento filosófico quanto um método que atravessa disciplinas e culturas.
Novo!!: Método dedutivo e Ceticismo antigo · Veja mais »
Ciência
Ciência (do latim scientia, traduzido por "conhecimento") refere-se a qualquer conhecimento ou prática sistemáticos.
Novo!!: Método dedutivo e Ciência · Veja mais »
Ciência cognitiva
A ciência cognitiva ou a ciência da cognição ou as ciências cognitivas designam normalmente o estudo científico da mente ou da inteligência.
Novo!!: Método dedutivo e Ciência cognitiva · Veja mais »
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: Método dedutivo e Ciência da computação · Veja mais »
Condicional material
O condicional material, também conhecido como implicação material, condicional funcional de verdade ou simplesmente condicional, é uma operação lógica.
Novo!!: Método dedutivo e Condicional material · Veja mais »
Conectivo lógico
Diagrama de Hasse dos conectivos lógicos. Em lógica, um conectivo lógico (também chamado de operador lógico) é um símbolo ou palavra usado para conectar duas ou mais sentenças (tanto na linguagem formal quanto na linguagem natural) de uma maneira gramaticalmente válida, de modo que o sentido da sentença composta produzida dependa apenas das senteças originais.
Novo!!: Método dedutivo e Conectivo lógico · Veja mais »
Consequência lógica
Consequência lógica é um conceito fundamental na lógica.
Novo!!: Método dedutivo e Consequência lógica · Veja mais »
Constantes lógicas
Constante é uma área reservada para armazenamento de uma informação que não se alterará em todo o ciclo de vida do algoritmo, ou seja, tem sempre o mesmo valor dentro de um sistema.
Novo!!: Método dedutivo e Constantes lógicas · Veja mais »
Correção
Na lógica matemática, um sistema lógico possui a propriedade da correção se e somente se suas regras de inferências demonstram somente fórmulas que são válidas do ponto de vista de sua semântica.
Novo!!: Método dedutivo e Correção · Veja mais »
Crença
Crenças são estados mentais em que se assume que algo é verdadeiro ou provável.
Novo!!: Método dedutivo e Crença · Veja mais »
David Hume
David Hume (Edimburgo, 7 de maio (ou 26 de abril-Antigo) de 1711 – Edimburgo, 25 de Agosto de 1776) foi um filósofo, historiador e ensaísta britânico nascido na Escócia, que se tornou célebre pelo seu empirismo radical e ceticismo filosófico.
Novo!!: Método dedutivo e David Hume · Veja mais »
Dedução natural
Dedução natural é um dos sistemas dedutivos utilizados para construir demonstrações formais na Lógica.
Novo!!: Método dedutivo e Dedução natural · Veja mais »
Definições
Definições é um glossário com 182 definições sumárias a respeito de física, ética, epistemologia e linguística e que foi atribuído a Platão, mas que hoje é considerado apócrifo.
Novo!!: Método dedutivo e Definições · Veja mais »
Derivação formal
Em lógica, uma derivação formal (ou prova formal) é uma sequência finita de sentenças onde cada sentença pode ser um axioma ou então pode ser obtida como consequência direta de sentenças anteriores na sequência utilizando-se uma regra de inferência.
Novo!!: Método dedutivo e Derivação formal · Veja mais »
Dupla negação
Na lógica proposicional, a dupla negação é o teorema que afirma que "Se uma declaração é verdadeira, então não é o caso que a declaração não é verdadeira".
Novo!!: Método dedutivo e Dupla negação · Veja mais »
Eliminação da disjunção
Na lógica proposicional, eliminação da disjunção (as vezes chamado prova por casos ou análise de casos), é a forma de argumento válido e regra de inferência que permite a eliminação de um argumento disjunctivo de uma prova lógica.
Novo!!: Método dedutivo e Eliminação da disjunção · Veja mais »
Empirismo
Na filosofia, o empirismo (em latim: "experientia": "experiência", do grego: /έμπειρία/) é uma teoria do conhecimento que afirma que o conhecimento sobre o mundo vem apenas da experiência sensorial; é a experiência do real.
Novo!!: Método dedutivo e Empirismo · Veja mais »
Epistemologia
Epistemologia (do grego ἐπιστήμη, transl. episteme: conhecimento certo, ciência; λόγος, transl. logos: discurso, estudo), em sentido estrito, refere-se ao ramo da filosofia que se ocupa do conhecimento científico; é o estudo crítico dos princípios, das hipóteses e dos resultados das diversas ciências, com a finalidade de determinar seus fundamentos lógicos, seu valor e sua importância objetiva.
Novo!!: Método dedutivo e Epistemologia · Veja mais »
Evidência
Evidência (lat. evidentĭa,ae: visibilidade, clareza, transparência) para uma proposição é o que apoia essa proposição.
Novo!!: Método dedutivo e Evidência · Veja mais »
Evidência empírica
Evidência empírica para uma proposição é evidência, ou seja, o que apoia ou refuta esta proposição, que é constituída por ou acessível a experiência sensorial ou procedimento experimental.
Novo!!: Método dedutivo e Evidência empírica · Veja mais »
Falácia
O termo falácia deriva do verbo latino fallere, que significa enganar.
Novo!!: Método dedutivo e Falácia · Veja mais »
Falácia formal
Falácia formal é um padrão de raciocínio inválido por conter uma falha na sua estrutura lógica, que pode ser expresso em um sistema padrão de lógica, como por exemplo a lógica proposicional.
Novo!!: Método dedutivo e Falácia formal · Veja mais »
Fiabilismo
Fiabilismo, uma categoria de teorias da disciplina filosófica da epistemologia, tem avançado como uma teoria do conhecimento, tanto da justificação quanto do conhecimento.
Novo!!: Método dedutivo e Fiabilismo · Veja mais »
Filosofia
Filosofia (do grego Φιλοσοφία, philosophia, literalmente "amor pela sabedoria") é o estudo de questões gerais e fundamentais sobre a existência, conhecimento, valores, razão, mente, e linguagem; frequentemente colocadas como problemas a se resolver.
Novo!!: Método dedutivo e Filosofia · Veja mais »
Forma lógica
A forma lógica, forma de um argumento, ou simplesmente forma, é a representação de suas sentenças usando a gramática formal e o simbolismo de um sistema lógico para mostrar sua semelhança com todos outros argumentos do mesmo tipo.
Novo!!: Método dedutivo e Forma lógica · Veja mais »
Geometria
projetiva (P.Oxy. I 29) mostrando um fragmento dos Elementos de Euclides A geometria (γεωμετρία; geo- "terra", -metria "medida") é um ramo da matemática preocupado com questões de forma, tamanho e posição relativa de figuras e com as propriedades dos espaços.
Novo!!: Método dedutivo e Geometria · Veja mais »
Gerhard Gentzen
Gerhard Karl Erich Gentzen (Greifswald, 24 de Novembro de 1909 — Praga, 4 de Agosto de 1945) foi um matemático e lógico alemão.
Novo!!: Método dedutivo e Gerhard Gentzen · Veja mais »
Habilidade
Habilidades são poderes que um agente tem para realizar várias ações.
Novo!!: Método dedutivo e Habilidade · Veja mais »
Inferência
Em Lógica, inferência ou ilação é operação intelectual mediante a qual se afirma a verdade de uma proposição em decorrência de sua ligação com outras proposições já reconhecidas como verdadeiras.
Novo!!: Método dedutivo e Inferência · Veja mais »
Inteligência
A inteligência tem sido definida popularmente e ao longo da história de muitas formas diferentes, tais como em termos da capacidade de alguém/algo para lógica, abstração, memorização, compreensão, autoconhecimento, comunicação, aprendizado, controle emocional, planejamento e resolução de problemas.
Novo!!: Método dedutivo e Inteligência · Veja mais »
Inteligência artificial
Inteligência artificial (de sigla: IA; do inglês: artificial intelligence, de sigla: AI) é um campo de estudo multidisciplinar que abrange varias áreas do conhecimento.
Novo!!: Método dedutivo e Inteligência artificial · Veja mais »
Interpretação (lógica)
Uma interpretação é uma atribuição de significado para os símbolos de uma Linguagem formal.
Novo!!: Método dedutivo e Interpretação (lógica) · Veja mais »
Justificação
Em epistemologia, justificação é um tipo de autorização a crer em alguma coisa.
Novo!!: Método dedutivo e Justificação · Veja mais »
Karl Popper
Karl Raimund Popper (Viena, 28 de julho de 1902 — Londres, 17 de setembro de 1994) foi um filósofo liberal e professor austro-britânico.
Novo!!: Método dedutivo e Karl Popper · Veja mais »
Língua natural
Língua natural (língua humana, língua idiomática, ou somente língua ou idioma) é qualquer linguagem desenvolvida naturalmente pelo ser humano, de forma não premeditada, como resultado da facilidade inata para a linguagem possuída pelo intelecto humano.
Novo!!: Método dedutivo e Língua natural · 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!!: Método dedutivo 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!!: Método dedutivo 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!!: Método dedutivo e Lógica intuicionista · Veja mais »
Lógica probabilística
O objetivo da lógica probabilística (também visto como probabilidade lógica e raciocínio lógico) é combinar a capacidade da teoria da probabilidade para lidar com incerteza com a capacidade da Método dedutivo para explorar a estrutura.
Novo!!: Método dedutivo e Lógica probabilística · 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!!: Método dedutivo e Lógica proposicional · Veja mais »
Linguagem
A linguagemAntônio Houaiss.
Novo!!: Método dedutivo e Linguagem · Veja mais »
Linguagem formal
Entende-se por linguagem formal estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propriedades, características e inter-relacionamentos.
Novo!!: Método dedutivo e Linguagem formal · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Método dedutivo e Matemática · Veja mais »
Método hipotético-dedutivo
O Método hipotético-dedutivo consiste na construção de conjecturas, ou seja, premissas com alta probabilidade e que a construção seja similar, baseada nas hipóteses, isto é, caso as hipóteses sejam verdadeiras, as conjecturas também serão.
Novo!!: Método dedutivo e Método hipotético-dedutivo · Veja mais »
Método indutivo
Na lógica, método indutivo ou indução é o raciocínio que, após considerar um número suficiente de casos particulares, conclui uma verdade geral.
Novo!!: Método dedutivo e Método indutivo · Veja mais »
Metalinguagem
Em lógica e linguística, uma metalinguagem é uma linguagem usada para descrever algo sobre outra(s) linguagens (linguagens objeto).
Novo!!: Método dedutivo e Metalinguagem · Veja mais »
Modus ponens
Na lógica proposicional, modus ponendo ponens (em latim significa "a maneira que afirma afirmando", muitas vezes abreviado para MP ou modus ponens) ou a eliminação da implicação é uma válida e simples forma de argumento e regra de inferência.
Novo!!: Método dedutivo e Modus ponens · Veja mais »
Modus tollens
Modus tollens (Latim: modo que nega por negação) ou negação do consequente, é o nome formal para a prova indireta, também chamado de modo apagógico.
Novo!!: Método dedutivo e Modus tollens · Veja mais »
Mundo possível
Na filosofia e na lógica, o conceito de mundo possível é usado para expressar declarações modais.
Novo!!: Método dedutivo e Mundo possível · Veja mais »
Negação do antecedente
Negação do antecedente é uma falácia que consiste em confundir condição suficiente com necessária.
Novo!!: Método dedutivo e Negação do antecedente · Veja mais »
Normatividade
Em filosofia da mente, pertencem à normatividade os conceitos que explicam o pensamento e a ação dos seres racionais, como o ser humano, a partir de normas que são irredutíveis às leis da natureza.
Novo!!: Método dedutivo e Normatividade · Veja mais »
Observação
A observação é uma das etapas do método científico.
Novo!!: Método dedutivo e Observação · Veja mais »
Premissa
Em Lógica, uma premissa é uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência.
Novo!!: Método dedutivo e Premissa · Veja mais »
Probabilidade
A palavra probabilidade deriva do Latim probare (provar ou testar).
Novo!!: Método dedutivo e Probabilidade · Veja mais »
Problema da indução
O problema da indução é a questão filosófica sobre se o raciocínio indutivo (uma generalização ou uma previsão não dedutiva) leva ao conhecimento.
Novo!!: Método dedutivo e Problema da indução · Veja mais »
Prova matemática
Prova do teorema de Euclides. Em matemática, uma prova é uma demonstração de que, dados certos axiomas, algum enunciado de interesse é necessariamente verdadeiro.
Novo!!: Método dedutivo e Prova matemática · Veja mais »
Psicologia
Psicologia é a ciência que trata, estuda e analisa os processos mentais e comportamentos de indivíduos e grupos humanos em diferentes situações.
Novo!!: Método dedutivo e Psicologia · Veja mais »
Psicologia cognitiva
A psicologia cognitiva estuda a cognição, os processos mentais que estão por detrás do comportamento.
Novo!!: Método dedutivo e Psicologia cognitiva · Veja mais »
Quantificação
O termo Quantificação tem vários significados, gerais e específicos.
Novo!!: Método dedutivo e Quantificação · Veja mais »
Quociente de inteligência
Um tipo de teste de QI das Matrizes Progressivas de Raven Quociente de inteligência (de forma abreviada: QI) é uma pontuação obtida por meio de testes a fim de avaliar a Inteligência Humana.
Novo!!: Método dedutivo e Quociente de inteligência · Veja mais »
Racionalismo
O racionalismo é uma posição epistemológica ou corrente filosófica caracterizada pela aceitação de ao menos uma entre três teses: a razão e a intuição devem ter privilégio sobre a sensação e a experiência na obtenção do conhecimento; toda ou a maior parte das ideias é inata ao invés de adquirida no decorrer da vida; e a certeza do conhecimento deve ser privilegiada sobre a mera probabilidade dele em investigações filosóficas.
Novo!!: Método dedutivo e Racionalismo · Veja mais »
Regra de inferência
Inferência é o processo pelo qual se chega a uma proposição, firmada na base de uma ou outras mais proposições aceitas como ponto de partida do processo.
Novo!!: Método dedutivo e Regra de inferência · Veja mais »
Rei (xadrez)
O Rei é a peça mais importante do xadrez ocidental, cuja captura é o único objetivo do jogo.
Novo!!: Método dedutivo e Rei (xadrez) · Veja mais »
Representação mental
Uma representação mental, representação cognitiva ou, ainda, representação psíquica, na filosofia da mente, psicologia cognitiva, neurociência e ciência cognitiva, é um símbolo cognitivo interno hipotético que representa a realidade externa, ou então um processo mental que faz uso de um símbolo; "um sistema formal para fazer explícitas determinadas entidades ou tipos de informação, juntamente com uma especificação de como o sistema faz isso." Apesar do uso difundido em diferentes modelos que têm como unidade básica o indivíduo, existem limitações epistêmicas concernindo seu uso.
Novo!!: Método dedutivo e Representação mental · 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!!: Método dedutivo e Semântica · Veja mais »
Silogismo
Um silogismo (do grego antigo συλλογισμός, transl. syllogismós, 'conexão de ideias', 'raciocínio', composto pelos termos σύν, transl. syn, 'com', e λογισμός, 'cálculo' e, por extensão, 'raciocínio', pelo latim syllogismus,i) é um termo filosófico com o qual Aristóteles designou a conclusão deduzida de premissas, a argumentação lógica perfeita.
Novo!!: Método dedutivo e Silogismo · Veja mais »
Sintaxe
Sintaxe (pronúncia no) (do grego clássico σύνταξις "estrutura", de σύν, transl. syn, "mais", e τάξις, transl. táxis, "classe") é o estudo das regras que regem a construção de frases nas línguas naturais.
Novo!!: Método dedutivo e Sintaxe · Veja mais »
Sistema de Hilbert
Na lógica matemática, um Sistema de Hilbert, também chamado de Cálculo de Hilbert ou de Sistema de Hilbert-Ackermann, é um tipo de sistema de dedução formal atribuído a Gottlob Frege e David Hilbert.
Novo!!: Método dedutivo e Sistema de Hilbert · Veja mais »
Sistema formal
Um sistema formal ou sistema lógico é, por assim dizer, qualquer sistema de pensamento abstrato bem definido, em um modelo matemático.
Novo!!: Método dedutivo e Sistema formal · Veja mais »
Tarefa de seleção de Wason
Cada cartão tem um número de um lado e uma cor do outro. Que carta ou cartas devem ser viradas para testar a ideia de que se uma carta mostra um número par numa das faces, então a sua face oposta é vermelha? A tarefa de seleção de Wason (ou problema de quatro cartas) é um quebra-cabeça lógico desenvolvido por Peter Cathcart Wason em 1966.
Novo!!: Método dedutivo e Tarefa de seleção de Wason · 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!!: Método dedutivo e Teorema · Veja mais »
Teoria dos modelos
Na matemática, Teoria de Modelos é o estudo da representação de conceitos matemáticos em termos de teoria de conjuntos, ou o estudo de modelos que apoiam sistemas matemáticos.
Novo!!: Método dedutivo e Teoria dos modelos · Veja mais »
Validade
O termo validade (também chamada verdade lógica, verdade analítica, ou verdade necessária), em lógica, refere-se geralmente a uma propriedade de enunciados particulares e de argumentos dedutivos.
Novo!!: Método dedutivo e Validade · 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!!: Método dedutivo e Valor de verdade · Veja mais »
Verdade lógica
Verdade lógica é um dos conceitos mais fundamentais na lógica.
Novo!!: Método dedutivo e Verdade lógica · Veja mais »
Viés cognitivo
Um viés cognitivo (ou tendência cognitiva) é um padrão de distorção de julgamento que ocorre em situações particulares, levando à distorção perceptiva, ao julgamento pouco acurado, à interpretação ilógica, ou ao que é amplamente chamado de irracionalidade.
Novo!!: Método dedutivo e Viés cognitivo · Veja mais »
Redireciona aqui:
Dedutivismo, Dedutivo, Dedução, Raciocinio dedutivo, Raciocínio dedutivo.
