Mostrar código-fonte de Método dedutivo

'''Método dedutivo''' o '''raciocínio dedutivo''' é a maneira de tirar [[inferência]]s dedutivas. Uma inferência é dedutivamente [[Validade|válida]] se sua conclusão segue logicamente de suas [[premissa]]s, ou seja, se é impossível que as premissas sejam verdadeiras e a conclusão falsa. Por exemplo, a inferência das premissas "todos os homens são mortais" e "Sócrates é um homem" para a conclusão "Sócrates é mortal" é dedutivamente válida. Um argumento é [[Correção|sólido]] se é válido e todas as suas premissas são verdadeiras. Alguns teóricos definem a dedução em termos das intenções do autor: tem que ter a intenção de que as premissas ofereçam apoio dedutivo à conclusão. Com a ajuda desta modificação, é possível distinguir o raciocínio dedutivo válido do inválido: é inválido se a crença do autor sobre o apoio dedutivo é falsa, mas mesmo o raciocínio dedutivo inválido é uma forma de raciocínio dedutivo.

A [[psicologia]] está interessada no raciocínio dedutivo como um processo psicológico, ou seja, como as pessoas ''realmente'' tiram inferências. A [[lógica]], por outro lado, concentra-se na relação dedutiva de [[consequência lógica]] entre as premissas e a conclusão ou como as pessoas ''devem'' tirar inferências. Existem diferentes maneiras de conceituar esta relação. De acordo com a abordagem [[semântica]], um argumento é dedutivamente válido se e somente se não há uma [[Interpretação (lógica)|interpretação]] possível deste argumento em que suas premissas são verdadeiras e sua conclusão falsa. A abordagem [[Sintaxe|sintática]], por outro lado, sustenta que um argumento é dedutivamente válido se e somente se sua conclusão pode ser deduzida de suas premissas usando uma [[regra de inferência]] válida. Uma regra de inferência é um esquema de tirar uma conclusão de um conjunto de premissas com base apenas em sua [[forma lógica]]. Há várias regras de inferência, como o ''[[modus ponens]]'' e o ''[[modus tollens]]''. Os [[argumento]]s dedutivos inválidos, que não seguem uma regra de inferência, são chamados de [[Falácia formal|falácias formais]]. As regras de inferência são regras definitórias e contrastam com as regras estratégicas, que especificam quais inferências se precisa tirar para chegar a uma conclusão pretendida. O raciocínio dedutivo contrasta com o raciocínio não dedutivo ou ampliativo. Para argumentos ampliativos, como argumentos [[Método indutivo|indutivos]] ou [[Abdução (lógica filosófica)|abdutivos]], as premissas oferecem um apoio mais fraco para sua conclusão: elas a tornam mais provável, mas não garantem sua verdade. Eles compensam essa desvantagem ao serem capazes de fornecer informações genuinamente novas ainda não encontradas nas premissas, ao contrário dos argumentos dedutivos.

A [[psicologia cognitiva]] investiga os processos mentais responsáveis pelo raciocínio dedutivo. Um de seus tópicos diz respeito aos fatores que determinam se as pessoas tiram inferências dedutivas válidas ou inválidas. Um fator é a forma do argumento: por exemplo, as pessoas têm mais sucesso com argumentos da forma ''modus ponens'' do que com o ''modus tollens''. Outro é o conteúdo dos argumentos: as pessoas são mais propensas a acreditar que um argumento é válido se a afirmação feita em sua conclusão é plausível. Uma descoberta geral é que as pessoas tendem a obter melhores resultados em casos realistas e concretos do que em casos abstratos. As teorias psicológicas do raciocínio dedutivo visam explicar essas descobertas fornecendo uma explicação dos processos psicológicos subjacentes. As ''teorias da lógica mental'' sustentam que o raciocínio dedutivo é um processo semelhante à [[linguagem]] que acontece através da manipulação de representações utilizando regras de inferência. As ''teorias dos modelos mentais'', por outro lado, afirmam que o raciocínio dedutivo envolve modelos de possíveis estados do mundo sem o meio da linguagem ou das regras de inferência. De acordo com as ''teorias do processo dual'' do raciocínio, há dois sistemas cognitivos qualitativamente diferentes responsáveis pelo raciocínio.

O problema do raciocínio dedutivo é relevante para vários campos e questões. A [[epistemologia]] tenta entender como a [[justificação]] é transferida da [[crença]] nas premissas para a crença na conclusão no processo de raciocínio dedutivo. A [[lógica probabilística]] estuda como a probabilidade das premissas de uma inferência afeta a probabilidade de sua conclusão. A controversa tese do dedutivismo nega que existam outras formas corretas de inferência além da dedução. A [[dedução natural]] é um tipo de sistema de prova baseado em regras de inferência simples e evidentes. Em [[filosofia]], o método geométrico é uma forma de filosofar que parte de um pequeno conjunto de axiomas evidentes e tenta construir um sistema lógico abrangente utilizando o raciocínio dedutivo.

== Definição ==
O raciocínio dedutivo, também chamado de método dedutivo, é o processo psicológico de tirar [[inferência]]s dedutivas. Uma inferência é um conjunto de [[premissa]]s juntamente com uma conclusão. Este processo psicológico começa a partir das premissas e raciocina para uma conclusão baseada e apoiada por essas premissas. Se o raciocínio foi feito corretamente, resulta em uma dedução [[Validade|válida]]: a verdade das premissas garante a verdade da conclusão.<ref name="Johnson-Laird2009"/><ref name="Houde"/><ref name="Schechter"/><ref>{{citar periódico |last1=Norris |first1=Stephen E. |title=The Intelligibility of Practical Reasoning |journal=American Philosophical Quarterly |date=1975 |volume=12 |issue=1 |pages=77–84 |jstor=20009561 |url=https://www.jstor.org/stable/20009561 |issn=0003-0481}}</ref> Por exemplo, no argumento [[Silogismo|silogístico]] "todas as rãs são anfíbios; nenhum gato é anfíbio; portanto, nenhum gato é rã", a conclusão é verdadeira porque suas duas premissas são verdadeiras. Mas mesmo argumentos com premissas erradas podem ser dedutivamente válidos se obedecerem a este princípio, como em "todas as rãs são mamíferos; nenhum gato é mamífero; portanto, nenhum gato é rã". Se as premissas de um [[argumento]] válido são verdadeiras, então é chamado de argumento [[Correção|sólido]].<ref name="Evans"/>

A relação entre as premissas e a conclusão de um argumento dedutivo é geralmente chamada de "[[consequência lógica]]". Segundo [[Alfred Tarski]], a consequência lógica tem 3 características essenciais: é necessária, formal e cognoscível [[a priori]].<ref name="IEPLogical"/><ref name="Tarski"/> É necessária no sentido de que as premissas de argumentos dedutivos válidos tornam necessária a conclusão: é impossível que as premissas sejam verdadeiras e a conclusão falsa, independentemente de quaisquer outras circunstâncias.<ref name="IEPLogical"/><ref name="Tarski"/> A consequência lógica é formal no sentido de que depende apenas da forma ou da sintaxe das premissas e da conclusão. Isto significa que a validade de um argumento em particular não depende do conteúdo específico deste argumento. Se for válido, então qualquer argumento com a mesma forma lógica também é válido, não importa quão diferente seja no nível de seu conteúdo.<ref name="IEPLogical"/><ref name="Tarski"/> A consequência lógica é cognoscível a priori no sentido de que nenhum conhecimento [[empírico]] do mundo é necessário para determinar se uma dedução é válida. Portanto, não é necessário envolver-se em qualquer forma de investigação empírica.<ref name="IEPLogical"/><ref name="Tarski"/> Alguns lógicos definem a dedução em termos de [[mundos possíveis]]: uma inferência dedutiva é válida se e somente se, não há um mundo possível no qual sua conclusão seja falsa enquanto suas premissas forem verdadeiras. Isto significa que não há contra-exemplos: a conclusão é verdadeira em ''todos'' esses casos, não apenas na ''maioria'' dos casos.<ref name="Johnson-Laird2009"/>

Tem sido argumentado contra esta e outras definições semelhantes que eles não conseguem distinguir entre raciocínio dedutivo válido e inválido, ou seja, deixam em aberto se há inferências dedutivas inválidas e como defini-las.<ref name="Vorobej"/><ref name="Wilbanks"/> Alguns autores definem o raciocínio dedutivo em termos psicológicos para evitar esse problema. De acordo com Mark Vorobey, se um argumento é dedutivo depende do estado psicológico da pessoa que faz o argumento: "Um argumento é dedutivo se, e somente se, o autor do argumento acredita que a verdade das premissas faz necessária (garante) a verdade da conclusão".<ref name="Vorobej"/> Uma formulação semelhante sustenta que o falante afirma ou pretende que as premissas ofereçam apoio dedutivo para sua conclusão.<ref name="Copi1"/><ref name="IEPDeductiveInductive"/> Isto é às vezes categorizado como uma definição de dedução determinada pelo falante (''{{lang|en|speaker-determined definition}}''), pois depende também do falante se o argumento em questão é dedutivo ou não. Para as definições sem falante (''{{lang|en|speakerless definitions}}''), por outro lado, apenas o argumento em si importa independentemente do falante.<ref name="Wilbanks"/> Uma vantagem deste tipo de formulação é que permite distinguir entre argumentos dedutivos bons ou válidos e maus ou inválidos: o argumento é bom se a [[crença]] do autor sobre a relação entre as premissas e a conclusão é verdadeira, caso contrário é mau.<ref name="Vorobej"/> Uma consequência dessa abordagem é que os argumentos dedutivos não podem ser identificados pela lei de inferência que utilizam. Por exemplo, um argumento da forma ''[[modus ponens]]'' pode ser não dedutivo se as crenças do autor são suficientemente confusas. Isso traz consigo uma importante desvantagem desta definição: é difícil de aplicar a casos concretos, já que as intenções do autor geralmente não são declaradas explicitamente.<ref name="Vorobej"/>

O raciocínio dedutivo é estudado na [[lógica]], na [[psicologia]] e nas [[ciências cognitivas]].<ref name="Schechter"/><ref name="Johnson-Laird2009"/> Alguns teóricos enfatizam em sua definição a diferença entre estes campos. Nesta visão, a psicologia estuda o raciocínio dedutivo como um processo mental empírico, ou seja, o que acontece quando os seres humanos se envolvem no raciocínio.<ref name="Schechter"/><ref name="Johnson-Laird2009"/> Mas a questão descritiva de como o raciocínio real acontece difere da questão [[Normatividade|normativa]] de como ''deve'' acontecer ou o que constitui o raciocínio dedutivo ''correto'', que é estudado pela lógica.<ref name="Schechter"/><ref name="BritannicaPhilosophy"/><ref name="IEPLogical"/> Isto é às vezes expresso ao afirmar que, estritamente falando, a lógica não estuda o raciocínio dedutivo, mas a relação dedutiva entre as premissas e uma conclusão conhecida como [[consequência lógica]]. Mas esta distinção nem sempre é observada com precisão na literatura acadêmica.<ref name="Schechter"/> Um aspecto importante desta diferença é que a lógica não está interessada em saber se a conclusão de um argumento é sensata.<ref name="Johnson-Laird2009"/> Assim, da premissa "a impressora tem tinta" pode-se tirar a conclusão inútil "a impressora tem tinta e a impressora tem tinta e a impressora tem tinta", que tem pouca relevância do ponto de vista psicológico. Em vez disso, os raciocinadores reais geralmente tentam remover informações redundantes ou irrelevantes e tornar as informações relevantes mais explícitas.<ref name="Johnson-Laird2009"/> O estudo psicológico do raciocínio dedutivo também se ocupa de quão boas as pessoas são para tirar inferências dedutivas e dos fatores que determinam seu desempenho.<ref name="Schechter"/><ref name="Evans"/> As inferências dedutivas são encontradas tanto na [[linguagem natural]] quanto em [[Sistema formal|sistemas lógicos formais]], como a [[lógica proposicional]].<ref name="Johnson-Laird2009"/><ref name="Hintikka"/>

== Concepções de dedução ==
Os argumentos dedutivos diferem dos argumentos não dedutivos pois a verdade de suas premissas assegura a verdade de sua conclusão.<ref name="Stump"/><ref name="RoutledgeFormalInformal"/><ref name="IEPLogical"/> Há duas concepções importantes do que isto significa exatamente. Elas são chamadas de abordagem [[Sintaxe|sintática]] e [[semântica]].<ref name="Hintikka"/><ref name="IEPLogical"/><ref name="Evans"/> De acordo com a abordagem sintática, se um argumento é dedutivamente válido depende apenas de sua forma, sintaxe ou estrutura. Dois argumentos têm a mesma forma se utilizam o mesmo vocabulário lógico na mesma ordem, não importa se seu conteúdo é diferente.<ref name="Hintikka"/><ref name="IEPLogical"/><ref name="Evans"/> Por exemplo, os argumentos "se chove, então a rua estará molhada; chove; portanto, a rua estará molhada" e "se a carne não é resfriada, então apodrecerá; a carne não é resfriada; portanto, apodrecerá" têm a mesma forma lógica: seguem o ''modus ponens''. Sua forma pode ser expressa mais abstratamente como "se A então B; A; portanto B" para tornar explícita a sintaxe comum.<ref name="Evans"/> Existem várias outras formas lógicas válidas ou [[regras de inferência]], como o ''[[modus tollens]]'' ou a [[eliminação da disjunção]]. A abordagem sintática sustenta que um argumento é dedutivamente válido se e somente se sua conclusão pode ser deduzida de suas premissas usando uma regra de inferência válida.<ref name="Hintikka"/><ref name="IEPLogical"/><ref name="Evans"/> Uma dificuldade para a abordagem sintática é que geralmente é necessário expressar o argumento em uma [[linguagem formal]] para avaliar se é válido. Mas como o problema da dedução também é relevante para as [[linguagens naturais]], isto muitas vezes traz consigo a dificuldade de traduzir o argumento da linguagem natural para uma linguagem formal, um processo que vem com vários problemas próprios.<ref name="Hintikka"/> Outra dificuldade se deve ao fato de que a abordagem sintática depende da distinção entre características formais e não formais. Embora exista um amplo acordo sobre os casos paradigmáticos, há também vários casos controversos em que não está claro como esta distinção deve ser feita.<ref name="MacFarlane"/><ref name="BritannicaPhilosophy"/>

A abordagem semântica sugere uma definição alternativa de validade dedutiva. Baseia-se na ideia de que as sentenças que constituem as premissas e conclusões devem ser [[Interpretação (lógica)|interpretadas]] para determinar se o argumento é válido.<ref name="Hintikka"/><ref name="IEPLogical"/><ref name="Evans"/> Isto significa que se atribui valores semânticos às expressões utilizadas nas sentenças, como a referência a um objeto para termos singulares ou um [[valor de verdade]] para sentenças atômicas. A abordagem semântica também é chamada de abordagem teórica dos modelos, já que o ramo da [[matemática]] conhecido como [[teoria dos modelos]] é frequentemente usado para interpretar essas sentenças.<ref name="Hintikka"/><ref name="IEPLogical"/> Normalmente, muitas interpretações diferentes são possíveis, como se um termo singular se refere a um objeto ou a outro. De acordo com a abordagem semântica, um argumento é dedutivamente válido se e somente se não houver interpretação possível onde suas premissas são verdadeiras e sua conclusão é falsa.<ref name="Hintikka"/><ref name="IEPLogical"/><ref name="Evans"/> Algumas objeções à abordagem semântica são baseadas na afirmação de que a semântica de uma linguagem não pode ser expressa na mesma linguagem, ou seja, que uma [[metalinguagem]] mais rica é necessária. Isto implicaria que a abordagem semântica não pode fornecer um relato universal de dedução para a linguagem como um meio abrangente.<ref name="Hintikka"/><ref name="BritannicaPhilosophy"/>

== Exemplo simples ==
Um exemplo de um argumento dedutivo:
# Todos os homens são mortais.
# Sócrates é um homem.
# Portanto, Sócrates é mortal.

A primeira premissa afirma que todos os objetos classificados como "homens" têm o atributo "mortal". A segunda premissa afirma que "Sócrates" é classificado como um "homem" - um membro do conjunto de "homens". A conclusão afirma então que "Sócrates" tem de ser "mortal" porque ele herda esse atributo de sua classificação como um "homem".

== Regras de inferência ==
O raciocínio dedutivo geralmente acontece aplicando [[regras de inferência]]. Uma regra de inferência é uma forma ou esquema de tirar uma conclusão a partir de um conjunto de premissas.<ref name="Macmillan"/> Isto acontece normalmente com base apenas na forma lógica das premissas. Uma regra de inferência é válida se, quando aplicada a premissas verdadeiras, a conclusão não pode ser falsa. Um argumento particular é válido se segue uma regra de inferência válida. Argumentos dedutivos que não seguem uma regra de inferência válida são chamados de [[Falácia formal|falácias formais]]: a verdade de suas premissas não garante a verdade de sua conclusão.<ref name="IEPFallacies"/><ref name="Stump"/>

Em alguns casos, se uma regra de inferência é válida depende do sistema lógico que se está utilizando. O sistema lógico dominante é a [[lógica clássica]] e as regras de inferência listadas aqui são todas válidas na lógica clássica. Mas as chamadas [[Filosofia da Lógica#Desviante|lógicas desviantes]] fornecem uma abordagem diferente de quais inferências são válidas. Por exemplo, a regra da inferência conhecida como [[eliminação da dupla negação]] é aceita na lógica clássica, mas rejeitada na [[lógica intuicionista]]. Esta regra estabelece que se uma proposição ''não é não verdadeira'', então ela ''é verdadeira''.<ref name="Moschovakis"/><ref name="MacMillanNonClassical"/>

=== Falácias ===
Várias falácias formais foram descritas. São formas inválidas de raciocínio dedutivo.<ref name="IEPFallacies"/><ref name="Stump"/> Um aspecto adicional delas é que parecem ser válidas em algumas ocasiões ou na primeira impressão. Assim, elas podem seduzir as pessoas a aceitá-las e cometê-las.<ref>{{citar web |last1=Hansen |first1=Hans |title=Fallacies |url=https://plato.stanford.edu/entries/fallacies/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2022-03-12 |date=2020}}</ref> Um tipo de falácia formal é [[Afirmação do consequente|afirmar o consequente]], como em "se João é solteiro, então é homem; João é homem; portanto, João é solteiro".<ref>{{citar web |title=Expert thinking and novice thinking: Deduction |url=https://www.britannica.com/topic/thought/Expert-thinking-and-novice-thinking |website=Encyclopedia Britannica |access-date=2022-03-12}}</ref> Isso é semelhante à regra de inferência válida chamada ''modus ponens'', mas a segunda premissa e a conclusão são trocadas, razão pela qual é inválida. Uma falácia formal semelhante é [[Negação do antecedente|negar o antecedente]], como em "se Otelo é solteiro, então é homem; Otelo não é solteiro; portanto, Otelo não é homem".<ref name="BritannicaThought"/><ref>{{citar periódico |last1=Stone |first1=Mark A. |title=Denying the Antecedent: Its Effective Use in Argumentation |journal=Informal Logic |date=2012 |volume=32 |issue=3 |pages=327–356 |doi=10.22329/il.v32i3.3681 |url=https://philpapers.org/rec/STODTA}}</ref> Isto é semelhante à regra de inferência válida chamada ''modus tollens'', com a diferença de que a segunda premissa e a conclusão são trocadas. Outras falácias formais incluem afirmar uma disjunção, negar uma conjunção e a falácia do meio não distribuído. Todas elas têm em comum que a verdade de suas premissas não garante a verdade de sua conclusão. Mas ainda pode acontecer por coincidência que tanto as premissas quanto a conclusão das falácias formais sejam verdadeiras.<ref name="IEPFallacies"/><ref name="Stump"/>

=== Regras definitórias e estratégicas ===
As regras de inferência são regras definitórias: determinam se um argumento é dedutivamente válido ou não. Mas os raciocinadores geralmente não estão apenas interessados em fazer qualquer tipo de argumento válido. Em vez disso, eles geralmente têm um ponto ou uma conclusão específica que desejam provar ou refutar. Assim, dado um conjunto de premissas, eles são confrontados com o problema de escolher as regras de inferência relevantes para que sua dedução chegue à conclusão pretendida.<ref name="Hintikka"/><ref name="BritannicaSystems"/><ref name="Pedemonte"/> Esta questão pertence ao campo das regras estratégicas: a questão de quais inferências se deve tirar para apoiar a própria conclusão. A distinção entre regras definitórias e estratégicas não é exclusiva da lógica: também é encontrada em vários jogos.<ref name="Hintikka"/><ref name="BritannicaSystems"/><ref name="Pedemonte"/> No xadrez, por exemplo, as regras definitórias estabelecem que os [[Bispo (xadrez)|bispos]] só podem se mover diagonalmente, enquanto as regras estratégicas recomendam que se deve controlar o centro e proteger o [[Rei (xadrez)|rei]] se a pessoa pretende ganhar. Neste sentido, as regras definitórias determinam se alguém joga xadrez ou outra coisa, enquanto as regras estratégicas determinam se a pessoa é bom ou mau como jogador de xadrez.<ref name="Hintikka"/><ref name="BritannicaSystems"/> O mesmo se aplica ao raciocínio dedutivo: ser um raciocinador eficaz envolve dominar tanto as regras definitórias quanto as estratégicas.<ref name="Hintikka"/>

=== Formas importantes ===
==== ''Modus ponens'' ====
O ''modus ponens'' (também conhecido como lei do destacamento) é a primeira forma de raciocínio dedutivo. Uma única instrução condicional é feita, e uma hipótese (P) é indicado. A conclusão (Q) é então deduzida da premissa. A forma mais básica é listada abaixo:
# P → Q (instrução condicional)
# P (hipótese prevista)
# Q (conclusão deduzida)
No raciocínio dedutivo, podemos concluir Q a partir de P usando a lei do destacamento. No entanto, se a conclusão (Q) é dada em vez de a hipótese de (P), então não há nenhuma conclusão definitiva.

O seguinte é um exemplo de um argumento que utiliza o ''modus ponens'':
# Se está chovendo, então há nuvens no céu.
# Está chovendo.
# Portanto, há nuvens no céu.

==== ''Modus tollens'' ====
O ''modus tollens'' tem forma seguinte: se a conclusão de uma sentença condicional é falsa, então a hipótese deve ser falsa também. A forma geral é:
# P → Q.
# ~ Q.
# Portanto, podemos concluir ~ P  (~Q→~P).

Por exemplo:
# Se estiver chovendo, então há nuvens no céu.
# Não há nuvens no céu.
# Assim, não está chovendo.

==== Lei do silogismo ====
A lei do silogismo leva duas premissas condicionais e forma uma conclusão, combinando a hipótese (premissas) com a conclusão. Assim:
# P → Q
# Q → R
# Por isso, P→ R.

Por exemplo:
# Se Larry está doente, então ele vai estar ausente.
# Se Larry está ausente, então ele vai perder a sua escola.
# Portanto, se Larry está doente, então ele vai perder a sua escola.

Deduzimos a conclusão, combinando a hipótese da primeira premissa com a segunda premissa.

== Validade ==
{{sem fontes|Esta seção}}
Argumentos dedutivos são avaliados em termos de sua validade e solidez.

Um argumento é válido se for impossível para as suas premissas serem verdadeiras, enquanto a sua conclusão é falsa. Em outras palavras, a conclusão deve ser verdadeira se as premissas são verdadeiras.

Um argumento é sólido se ele é válido e as premissas são verdadeiras. É possível ter um argumento dedutivo que é logicamente válido, mesmo que não pareça ser ao ouvir. Argumentos falaciosos muitas vezes tomam esta forma.

O seguinte é um exemplo de um argumento que é válido, mesmo que não soe:
# Todo mundo que come cenouras é um zagueiro.
# João come cenouras.
# Portanto, João é um zagueiro.

No exemplo acima a primeira premissa é falsa - há pessoas que comem cenouras e não são zagueiros - mas a conclusão deve ser verdadeira, desde que as premissas sejam verdadeiras (ou seja, é impossível que as premissas sejam verdadeiras e a conclusão falsa). Portanto, o argumento é válido, mas não parece. Generalizações são muitas vezes utilizados para fazer argumentos inválidos, como "Todo mundo que come cenouras é um zagueiro". Nem todo mundo que come cenouras é um zagueiro, provando assim a falha de tais argumentos.

Neste exemplo, a primeira declaração usa o raciocínio categórico, dizendo que todos os comedores de cenoura são definitivamente zagueiros. Esta teoria do raciocínio dedutivo - também conhecida como lógica de termos - foi desenvolvida por Aristóteles, mas foi substituída pela lógica proposicional (sentencial) e lógica de predicados.

O raciocínio dedutivo pode ser contrastado com o raciocínio indutivo, no que diz respeito à validade. No raciocínio indutivo, embora as premissas sejam verdadeiras e o argumento é "válido", é possível que a conclusão seja falsa.

== Diferença do raciocínio ampliativo ==
O raciocínio dedutivo é geralmente contrastado com o raciocínio não dedutivo ou ampliativo.<ref name="Hintikka"/><ref name="Backmann"/><ref name="IEPArguments"/> A característica distintiva das inferências dedutivas válidas é que é impossível que suas premissas sejam verdadeiras e sua conclusão falsa. Desta forma, as premissas fornecem o apoio mais forte possível para sua conclusão.<ref name="Hintikka"/><ref name="Backmann"/><ref name="IEPArguments"/> As premissas das inferências ampliativas também apoiam sua conclusão. Mas este apoio é mais fraco: não preservam a verdade necessariamente. Assim, mesmo para argumentos ampliativos corretos, é possível que suas premissas sejam verdadeiras e sua conclusão falsa.<ref name="IEPDeductiveInductive"/> Duas formas importantes de raciocínio ampliativo são o [[Método indutivo|raciocínio indutivo]] e o [[Abdução (lógica filosófica)|abdutivo]].<ref name="StanfordAbduction"/> Às vezes, o termo "raciocínio indutivo" é usado em um sentido muito amplo para cobrir todas as formas de raciocínio ampliativo.<ref name="IEPDeductiveInductive"/> No entanto, em um uso mais estrito, o raciocínio indutivo é apenas uma forma de raciocínio ampliativo.<ref name="StanfordAbduction"/> No sentido estrito, as inferências indutivas são formas de generalização estatística. São normalmente baseadas em muitas [[Observação|observações]] individuais que mostram um certo padrão. Estas observações são então utilizadas para formar uma conclusão sobre uma entidade ainda não observada ou sobre uma lei geral.<ref name="MacmillanInduction"/><ref>{{citar livro |last1=Scott |first1=John |last2=Marshall |first2=Gordon |title=A Dictionary of Sociology |date=2009 |publisher=Oxford University Press |isbn=978-0-19-953300-8 |url=https://www.oxfordreference.com/view/10.1093/oi/authority.20110803095410661 |lingua=en |chapter=analytic induction}}</ref><ref>{{citar livro |last1=HOUDE |first1=R. |last2=CAMACHO |first2=L. |title=New Catholic Encyclopedia |url=https://www.encyclopedia.com/science-and-technology/computers-and-electrical-engineering/electrical-engineering/induction |chapter=Induction}}</ref> Para inferências abdutivas, as premissas apoiam a conclusão porque a conclusão é a melhor explicação de por que as premissas são verdadeiras.<ref name="StanfordAbduction"/><ref name="Koslowski"/>

O apoio que os argumentos ampliativos fornecem para sua conclusão vem em graus: alguns argumentos ampliativos são mais fortes que outros.<ref name="IEPDeductiveInductive"/><ref name="StanfordInductive"/><ref name="StanfordAbduction"/> Isso é frequentemente explicado em termos de [[probabilidade]]: as premissas tornam mais provável que a conclusão seja verdadeira.<ref name="Hintikka"/><ref name="Backmann"/><ref name="IEPArguments"/> Argumentos ampliativos fortes tornam sua conclusão muito provável, mas não absolutamente certa. Um exemplo de raciocínio ampliativo é a inferência da premissa "cada corvo em uma amostra aleatória de 3200 corvos é negro" para a conclusão "todos os corvos são negros": a amostra aleatória extensa torna a conclusão muito provável, mas não exclui que existam raras exceções.<ref name="StanfordInductiveLogic"/> Neste sentido, o raciocínio ampliativo é derrotável: pode tornar-se necessário retirar uma conclusão anterior ao receber novas informações relacionadas.<ref name="BritannicaPhilosophy"/><ref name="StanfordAbduction"/> O raciocínio ampliativo é muito comum no discurso cotidiano e nas [[ciência]]s.<ref name="Hintikka"/><ref name="Bunge"/>

Uma desvantagem importante do raciocínio dedutivo é que ele não leva a informações genuinamente novas.<ref name="Evans"/> Isto significa que a conclusão só repete informações já encontradas nas premissas. O raciocínio ampliativo, por outro lado, vai além das premissas ao chegar a informações genuinamente novas.<ref name="Hintikka"/><ref name="Backmann"/><ref name="IEPArguments"/> Uma dificuldade para esta caracterização é que ela faz com que o raciocínio dedutivo pareça inútil: se a dedução não é informativa, não está claro por que as pessoas a usariam e a estudariam.<ref name="Hintikka"/><ref name="D'Agostino"/> Foi sugerido que este problema pode ser resolvido distinguindo entre informações superficiais e profundas. Nesta visão, o raciocínio dedutivo não é informativo no nível de profundidade, em contraste com o raciocínio ampliativo. Mas ainda pode ser valioso no nível superficial, apresentando as informações nas premissas de uma maneira nova e às vezes surpreendente.<ref name="Hintikka"/><ref name="Evans"/>

Um equívoco popular da relação entre dedução e indução identifica sua diferença no nível de afirmações particulares e gerais.<ref name="Houde"/><ref name="Wilbanks"/><ref>{{citar web |title=Deductive and Inductive Arguments |url=https://iep.utm.edu/deductive-inductive-arguments/ |website=Internet Encyclopedia of Philosophy |access-date=2022-03-17}}</ref> Nesta visão, as inferências dedutivas partem de premissas gerais e tiram conclusões particulares, enquanto as inferências indutivas partem de premissas particulares e tiram conclusões gerais. Essa ideia é frequentemente motivada por ver a dedução e a indução como dois processos inversos que se complementam: a dedução vai do geral para o específico, enquanto a indução vai do específico para o geral. Mas esta é uma concepção errônea que não reflete como a dedução válida é definida no campo da [[lógica]]: uma dedução é válida se é impossível que suas premissas sejam verdadeiras e sua conclusão falsa, independentemente de se as premissas ou a conclusão são particulares ou gerais.<ref name="Houde"/><ref name="Wilbanks"/><ref name="Johnson-Laird2009"/><ref name="Evans"/><ref name="Schechter"/> Devido a isto, algumas inferências dedutivas têm uma conclusão geral e outras também têm premissas particulares.<ref name="Houde"/>

== Em vários campos ==
=== Psicologia cognitiva ===
A [[psicologia cognitiva]] estuda os processos psicológicos responsáveis pelo raciocínio dedutivo.<ref name="Schechter"/><ref name="Evans"/> Ocupa-se, entre outras coisas, de quão boas as pessoas são para tirar inferências dedutivas válidas. Isto inclui o estudo dos fatores que afetam seu desempenho, sua tendência a cometer [[falácia]]s, e os [[Viés cognitivo|vieses]] subjacentes envolvidos.<ref name="Schechter"/><ref name="Evans"/> Uma descoberta notável neste campo é que o tipo de inferência dedutiva tem um impacto significativo sobre se a conclusão correta é tirada.<ref name="Schechter"/><ref name="Evans"/><ref>{{citar periódico |last1=Rips |first1=Lance J. |title=Cognitive processes in propositional reasoning. |journal=Psychological Review |date=1983 |volume=90 |issue=1 |pages=38–71 |doi=10.1037/0033-295X.90.1.38 |url=https://doi.org/10.1037/0033-295X.90.1.38 |access-date=2022-03-19 |lingua=en |issn=1939-1471}}</ref><ref>{{citar periódico |last1=Müller |first1=Ulrich |last2=Overton |first2=Willis F. |last3=Reene |first3=Kelly |title=Development of Conditional Reasoning: A Longitudinal Study |journal=Journal of Cognition and Development |date=2001-02 |volume=2 |issue=1 |pages=27–49 |doi=10.1207/S15327647JCD0201_2|s2cid=143955563 }}</ref> Em uma meta-análise de 65 estudos, por exemplo, 97% dos sujeitos avaliaram corretamente as inferências do ''modus ponens'', enquanto a taxa de sucesso para ''modus tollens'' foi de apenas 72%. Por outro lado, mesmo algumas falácias, como [[Afirmação do consequente|afirmar o consequente]] ou [[Negação do antecedente|negar o antecedente]], foram consideradas argumentos válidos pela maioria dos sujeitos.<ref name="Schechter"/> Um fator importante para estes erros é se a conclusão parece inicialmente plausível: quanto mais credível é a conclusão, maior é a chance de um sujeito confundir uma falácia com um argumento válido.<ref name="Schechter"/><ref name="Evans"/>

Um viés importante é o {{lang|en|matching bias}}, que geralmente é ilustrado usando a [[tarefa de seleção de Wason]].<ref name="Evans"/><ref name="Schechter"/><ref>{{citar periódico |last1=Evans |first1=J. St B. T. |last2=Lynch |first2=J. S. |title=Matching Bias in the Selection Task |journal=British Journal of Psychology |date=1973-08 |volume=64 |issue=3 |pages=391–397 |doi=10.1111/j.2044-8295.1973.tb01365.x}}</ref><ref>{{citar periódico |last1=Wagner-Egger |first1=Pascal |title=Conditional reasoning and the Wason selection task: Biconditional interpretation instead of reasoning bias |journal=Thinking & Reasoning |date=2007-10-01 |volume=13 |issue=4 |pages=484–505 |doi=10.1080/13546780701415979 |s2cid=145011175 |url=https://www.tandfonline.com/doi/abs/10.1080/13546780701415979 |issn=1354-6783}}</ref> Em um experimento de [[Peter Wason]], citado frequentemente, 4 cartas são apresentadas ao participante. Em um caso, os lados visíveis mostram os símbolos D, K, 3, e 7 nas diferentes cartas. O participante é informado que "cada cartão que tem um D de um lado tem um 3 do outro lado". Sua tarefa é identificar quais cartas precisam ser viradas para confirmar ou refutar essa afirmação condicional. A resposta correta, dada apenas por cerca de 10%, são as cartas D e 7. Muitos selecionam a carta 3 em vez disso, mesmo que a afirmação condicional não envolva nenhum requisito sobre quais símbolos podem ser encontrados no lado oposto da carta 3.<ref name="Schechter"/><ref name="Evans"/> Mas este resultado pode ser drasticamente alterado se símbolos diferentes são usados: os lados visíveis mostram "beber uma cerveja", "beber uma coca", "16 anos de idade" e "22 anos de idade" e os participantes são solicitados a avaliar a afirmação "se uma pessoa está bebendo cerveja, então a pessoa deve ter mais de 19 anos de idade". Neste caso, 74% dos participantes identificaram corretamente que as cartas "beber uma cerveja" e "16 anos de idade" devem ser viradas.<ref name="Schechter"/><ref name="Evans"/> Estas descobertas sugerem que a capacidade de raciocínio dedutivo é fortemente influenciada pelo conteúdo das afirmações envolvidas e não apenas pela forma lógica abstrata da tarefa: quanto mais realistas e concretos forem os casos, melhor o desempenho tende a ser.<ref name="Schechter"/><ref name="Evans"/>

Outro viés é chamado de "{{lang|en|negative conclusion bias}}", que acontece quando uma das premissas tem a forma de um [[condicional material]] negativo,<ref name="Evans"/><ref>{{citar livro |last1=Chater |first1=Nick |last2=Oaksford |first2=Mike |last3=Hahn |first3=Ulrike |last4=Heit |first4=Evan |title=Handbook of the History of Logic |date=2011-01-01 |publisher=North-Holland |pages=553–624 |chapter-url=https://www.sciencedirect.com/science/article/abs/pii/B9780444529367500148 |lingua=en |chapter=Inductive Logic and Empirical Psychology|volume=10 |doi=10.1016/B978-0-444-52936-7.50014-8 |isbn=9780444529367 }}</ref><ref>{{citar livro |last1=Arreckx |first1=Frederique |title=COUNTERFACTUAL THINKING AND THE FALSE BELIEF TASK: A DEVELOPMENTAL STUDY |date=2007 |publisher=University of Plymouth |url=http://hdl.handle.net/10026.1/1758 |lingua=en |chapter=2. Experiment 1: Affirmative and negative counterfactual questions|hdl=10026.1/1758 }}</ref> como em "Se a carta não tem um A à esquerda, então tem um 3 à direita. A carta não tem um 3 à direita. Portanto, a carta tem um A à esquerda". A tendência aumentada de julgar mal a validade desse tipo de argumento não está presente para condicionais materiais positivos, como em "Se a carta tem um A à esquerda, então tem um 3 à direita. A carta não tem um 3 à direita. Portanto, a carta não tem um A à esquerda".<ref name="Evans"/>

==== Teorias psicológicas do raciocínio dedutivo ====
Várias teorias psicológicas de raciocínio dedutivo foram propostas. Essas teorias visam explicar como o raciocínio dedutivo funciona em relação aos processos psicológicos subjacentes responsáveis. São frequentemente usadas para explicar as descobertas empíricas, como por que os raciocinadores humanos são mais suscetíveis a alguns tipos de falácias do que a outros.<ref name="Schechter"/><ref name="Johnson-Laird2009"/><ref name="Johnson-Laird1993"/>

Uma distinção importante é entre ''teorias da lógica mental'', às vezes também chamadas de ''teorias das regras'' mentais, e ''teorias dos modelos mentais''. As teorias da lógica mental veem o raciocínio dedutivo como um processo semelhante à [[linguagem]] que acontece através da manipulação de representações.<ref name="Schechter"/><ref name="Johnson-Laird2009"/><ref name="García-Madruga"/><ref name="Johnson-Laird1993"/> Isso é feito aplicando regras sintáticas de inferência de uma maneira muito semelhante a como os sistemas de [[dedução natural]] transformam suas premissas para chegar a uma conclusão.<ref name="Johnson-Laird1993"/> Nesta visão, algumas deduções são mais simples que outras, pois envolvem menos passos inferenciais.<ref name="Schechter"/> Essa ideia pode ser usada, por exemplo, para explicar por que os seres humanos têm mais dificuldades com algumas deduções, como o ''modus tollens'', do que com outras, como o ''modus ponens'': porque as formas mais propensas a erros não têm uma regra nativa de inferência, mas precisam ser calculadas combinando vários passos inferenciais com outras regras de inferência. Nesses casos, o trabalho cognitivo adicional torna as inferências mais expostas a erros.<ref name="Schechter"/>

As teorias dos modelos mentais, por outro lado, sustentam que o raciocínio dedutivo envolve modelos ou [[Representação mental|representações mentais]] de possíveis estados do mundo sem o meio da linguagem ou regras de inferência.<ref name="Schechter"/><ref name="Johnson-Laird2009"/><ref name="Johnson-Laird1993"/> Para avaliar se uma inferência dedutiva é válida, o raciocinador constrói mentalmente modelos que são compatíveis com as premissas da inferência. Então, a conclusão é testada, observando esses modelos e tentando encontrar um contra-exemplo no qual a conclusão seja falsa. A inferência é válida se tal contra-exemplo não puder ser encontrado.<ref name="Schechter"/><ref name="Johnson-Laird2009"/><ref name="Johnson-Laird1993"/> Para reduzir o trabalho cognitivo, apenas tais modelos são representados nos quais as premissas são verdadeiras. Devido a isto, a avaliação de algumas formas de inferência requer apenas a construção de muito poucos modelos, enquanto para outras, muitos modelos diferentes são necessários. Neste último caso, o trabalho cognitivo adicional necessário torna o raciocínio dedutivo mais propenso a erros, explicando assim o aumento da taxa de erro observada.<ref name="Schechter"/><ref name="Johnson-Laird2009"/> Esta teoria também pode explicar por que alguns erros dependem mais do conteúdo do que da forma do argumento. Por exemplo, quando a conclusão de um argumento é muito plausível, os sujeitos podem não ter motivação para buscar contra-exemplos entre os modelos construídos.<ref name="Schechter"/>

Tanto as teorias da lógica mental quanto as teorias dos modelos mentais assumem que existe um mecanismo de raciocínio de propósito geral que se aplica a todas as formas de raciocínio dedutivo.<ref name="Schechter"/><ref name="García-Madruga"/><ref>{{citar periódico |last1=Johnson-Laird |first1=Philip N. |title=Mental models and human reasoning |journal=Proceedings of the National Academy of Sciences |date=2010-10-18 |volume=107 |issue=43 |pages=18243–18250 |doi=10.1073/pnas.1012933107 |pmid=20956326 |pmc=2972923 |issn=0027-8424|doi-access=free }}</ref> Mas também existem relatos alternativos que postulam vários mecanismos de raciocínio de propósito especial para diferentes conteúdos e contextos. Neste sentido, tem sido afirmado que os seres humanos possuem um mecanismo especial para permissões e obrigações, especificamente para detectar trapaças nas trocas sociais. Isto pode ser usado para explicar por que os seres humanos geralmente têm mais êxito em tirar inferências válidas se o conteúdo envolve o comportamento humano em relação às normas sociais.<ref name="Schechter"/> Outro exemplo é a chamada teoria do processo dual.<ref name="Evans"/><ref name="Schechter"/> Esta teoria postula que existem dois sistemas cognitivos distintos responsáveis pelo raciocínio. Sua inter-relação pode ser usada para explicar os vieses comumente observados no raciocínio dedutivo. O sistema 1 é o sistema mais antigo em termos de evolução. Baseia-se na aprendizagem associativa e acontece de forma rápida e automática sem exigir muitos recursos cognitivos.<ref name="Evans"/><ref name="Schechter"/> O sistema 2, por outro lado, é de origem evolutiva mais recente. É lento e cognitivamente exigente, mas também mais flexível e sob controle deliberado.<ref name="Evans"/><ref name="Schechter"/> A teoria do processo dual postula que o sistema 1 é o sistema padrão que guia a maior parte do nosso raciocínio cotidiano de maneira pragmática. Mas para problemas particularmente difíceis no nível lógico, o sistema 2 é empregado. O sistema 2 é principalmente responsável pelo raciocínio dedutivo.<ref name="Evans"/><ref name="Schechter"/>

==== Inteligência ====
A [[habilidade]] de raciocínio dedutivo é um aspecto importante da [[inteligência]] e muitos [[Teste de inteligência|testes de inteligência]] incluem problemas que exigem inferências dedutivas.<ref name="Johnson-Laird2009"/> Devido a esta relação com a inteligência, a dedução é altamente relevante para a psicologia e as ciências cognitivas.<ref name="Evans"/> Mas o tema do raciocínio dedutivo também é pertinente às [[ciências da computação]], por exemplo, na criação da [[inteligência artificial]].<ref name="Johnson-Laird2009"/>

=== Epistemologia ===
O raciocínio dedutivo desempenha um papel importante na [[epistemologia]]. A epistemologia se preocupa com a questão da [[justificação]], ou seja, de apontar quais crenças são justificadas e por quê.<ref>{{citar web |title=epistemology |url=https://www.britannica.com/topic/epistemology |website=www.britannica.com |access-date=2022-03-19 |lingua=en}}</ref><ref>{{citar web |last1=Steup |first1=Matthias |last2=Neta |first2=Ram |title=Epistemology |url=https://plato.stanford.edu/entries/epistemology/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2022-03-19 |date=2020}}</ref> As inferências dedutivas são capazes de transferir a justificação das premissas para a conclusão.<ref name="Schechter"/> Assim, enquanto a lógica se interessa por como a dedução preserva a verdade, a epistemologia se interessa por como a dedução preserva a justificação. Há diferentes teorias que tentam explicar por que o raciocínio dedutivo preserva a justificação.<ref name="Schechter"/> De acordo com o [[fiabilismo]], isto é assim porque as deduções preservam a verdade: são processos confiáveis que garantem uma conclusão verdadeira se as premissas são verdadeiras.<ref name="Schechter"/><ref>{{citar web |last1=Becker |first1=Kelly |title=Reliabilism |url=https://iep.utm.edu/reliabil/ |website=Internet Encyclopedia of Philosophy |access-date=2022-03-19}}</ref><ref>{{citar web |last1=Goldman |first1=Alvin |last2=Beddor |first2=Bob |title=Reliabilist Epistemology |url=https://plato.stanford.edu/entries/reliabilism/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2022-03-19 |date=2021}}</ref> Alguns teóricos sustentam que o pensador deve ter consciência explícita da natureza preservadora da verdade da inferência para que a justificação seja transferida das premissas para a conclusão. Uma consequência de tal visão é que, para crianças pequenas, esta transferência dedutiva não ocorre, pois elas não têm essa consciência específica.<ref name="Schechter"/>

=== Educação ===
{{sem fontes|Esta seção}}
O raciocínio dedutivo é geralmente considerado como uma habilidade que se desenvolve sem qualquer ensino formal ou de formação. Como resultado dessa crença, habilidades de raciocínio dedutivo não são ensinados nas escolas secundárias, onde se espera que os alunos usem o raciocínio com mais frequência e em um nível superior. É na escola, por exemplo, que os alunos tem uma introdução abrupta de provas matemáticas - que dependem muito de raciocínio dedutivo. Algumas instituições de nível superior oferecem nas grades de seus cursos a matéria.

== Conceitos e teorias relacionados ==
=== Dedutivismo ===
O dedutivismo é uma posição filosófica que dá primazia ao raciocínio ou argumentos dedutivos sobre suas contrapartes não dedutivas.<ref name="Bermejo-Luque"/><ref name="Howson"/> Muitas vezes é entendido como a afirmação avaliativa de que apenas as inferências dedutivas são inferências boas ou corretas. Esta teoria teria consequências de amplo alcance para vários campos, pois implica que as regras de dedução são "o único padrão aceitável de [[evidência]]".<ref name="Bermejo-Luque"/> Desta forma, a racionalidade ou correção das diferentes formas de raciocínio indutivo é negada.<ref name="Howson"/><ref>{{citar livro |last1=Kotarbinska |first1=Janina |title=Twenty-Five Years of Logical Methodology in Poland |date=1977 |publisher=Springer Netherlands |isbn=978-94-010-1126-6 |pages=261–278 |url=https://link.springer.com/chapter/10.1007/978-94-010-1126-6_15 |lingua=en |chapter=The Controversy: Deductivism Versus Inductivism|doi=10.1007/978-94-010-1126-6_15 }}</ref> Algumas formas de dedutivismo expressam isto em termos de graus de razoabilidade ou probabilidade. As inferências indutivas são geralmente vistas como fornecendo um certo grau de apoio para sua conclusão: tornam mais provável que sua conclusão seja verdadeira. O dedutivismo afirma que tais inferências não são racionais: as premissas ou garantem sua conclusão, como no raciocínio dedutivo, ou não fornecem nenhum apoio.<ref name="Stove"/>

Uma motivação para o dedutivismo é o [[problema da indução]] introduzido por [[David Hume]]. Consiste no desafio de explicar como ou se inferências indutivas baseadas em experiências passadas apoiam conclusões sobre eventos futuros.<ref name="Howson"/><ref>{{citar web |last1=Henderson |first1=Leah |title=The Problem of Induction |url=https://plato.stanford.edu/entries/induction-problem/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2022-03-14 |date=2020}}</ref><ref name="Stove"/> Por exemplo, uma galinha passa a esperar, com base em todas as suas experiências passadas, que a pessoa que entra em seu galinheiro vai alimentá-la, até que um dia a pessoa "finalmente torce seu pescoço".<ref>{{citar livro |last1=Russell |first1=Bertrand |title=The Problems of Philosophy |date=2009 |publisher=Project Gutenberg |url=https://www.gutenberg.org/files/5827/5827-h/5827-h.htm |chapter=VI. On Induction}}</ref> De acordo com o falsificacionismo de [[Karl Popper]], o raciocínio dedutivo por si só é suficiente. Isto se deve à sua natureza de preservação da verdade: uma teoria pode ser falsificada se uma de suas consequências dedutivas é falsa.<ref>{{citar web |last1=Thornton |first1=Stephen |title=Karl Popper: 4. Basic Statements, Falsifiability and Convention |url=https://plato.stanford.edu/entries/popper/#BasiStatFalsConv |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2022-03-14 |date=2021}}</ref><ref>{{citar web |last1=Shea |first1=Brendan |title=Popper, Karl: Philosophy of Science |url=https://iep.utm.edu/pop-sci/ |website=Internet Encyclopedia of Philosophy |access-date=2022-03-14}}</ref> Assim, mesmo que o raciocínio indutivo não fornece evidência positiva para uma teoria, a teoria permanece um concorrente viável até que seja falsificada pela [[Evidência empírica|observação empírica]]. Neste sentido, a dedução por si só é suficiente para discriminar entre hipóteses concorrentes sobre qual é o caso.<ref name="Howson"/> O [[Método hipotético-dedutivo|hipotético-dedutivismo]] é um método científico intimamente relacionado. De acordo com ele, a ciência progride formulando hipóteses e depois visa falsificá-las tentando fazer observações que vão contra suas consequências dedutivas.<ref>{{citar web |title=hypothetico-deductive method |url=https://www.britannica.com/science/hypothetico-deductive-method |website=Encyclopedia Britannica |access-date=2022-03-14 |lingua=en}}</ref><ref>{{citar web |title=hypothetico-deductive method |url=https://www.oxfordreference.com/view/10.1093/oi/authority.20110803095954755 |website=Oxford Reference |access-date=2022-03-14 |lingua=en }}</ref>

=== Dedução natural ===
O termo "[[dedução natural]]" refere-se a uma classe de sistemas de prova baseados em regras de inferência evidentes.<ref name="IEPNatural"/><ref name="StanfordNatural"/> Os primeiros sistemas de dedução natural foram desenvolvidos por [[Gerhard Gentzen]] e [[Stanislaw Jaskowski]] na década de 1930. A motivação central foi dar uma apresentação simples do raciocínio dedutivo que refletisse fielmente como o raciocínio realmente ocorre.<ref>{{citar periódico |last1=Gentzen |first1=Gerhard |title=Untersuchungen über das logische Schließen. I |journal=Mathematische Zeitschrift |date=1934 |volume=39 |issue=2 |page=176–210 |doi=10.1007/BF01201353 |s2cid=121546341 |url=https://gdz.sub.uni-goettingen.de/id/PPN266833020_0039?tify={%22pages%22:[180],%22panX%22:0.559,%22panY%22:0.785,%22view%22:%22info%22,%22zoom%22:0.411} |quote=Ich wollte nun zunächst einmal einen Formalismus aufstellen, der dem wirklichen Schließen möglichst nahe kommt. So ergab sich ein "Kalkül des natürlichen Schließens. (First I wished to construct a formalism that comes as close as possible to actual reasoning. Thus arose a "calculus of natural deduction".)}}</ref> Neste sentido, a dedução natural contrasta com outros sistemas de prova menos intuitivos, como os [[Sistema de Hilbert|sistemas dedutivos do estilo de Hilbert]], que empregam esquemas axiomáticos para expressar [[Verdade lógica|verdades lógicas]].<ref name="IEPNatural"/> A dedução natural, por outro lado, evita esquemas axiomáticos ao incluir muitas regras de inferência diferentes que podem ser usadas para formular provas. Estas regras de inferência expressam como as [[constantes lógicas]] se comportam. São frequentemente divididas em regras de introdução e regras de eliminação. As regras de introdução especificam sob quais condições uma constante lógica pode ser introduzida em uma nova sentença da [[Derivação formal|prova]].<ref name="IEPNatural"/><ref name="StanfordNatural"/> Por exemplo, a regra de introdução para a constante lógica {{nowrap|"<math>\land</math>"}} (e) é {{nowrap|"<math>\frac{A, B}{(A \land B)}</math>"}}.  Expressa que, dadas as premissas {{nowrap|"<math>A</math>"}} e {{nowrap|"<math>B</math>"}} individualmente, pode-se tirar a conclusão {{nowrap|"<math>A \land B</math>"}} e assim incluí-la na prova. Desta forma, o símbolo {{nowrap|"<math>\land</math>"}} é introduzido na prova. A eliminação deste símbolo é regida por outras regras de inferência, como a regra de eliminação {{nowrap|"<math>\frac{(A \land B)}{A}</math>"}}, que estabelece que se pode deduzir a sentença {{nowrap|"<math>A</math>"}} da premissa {{nowrap|"<math>(A \land B)</math>"}}. Regras semelhantes de introdução e eliminação são fornecidas para outras constantes lógicas, como o operador proposicional {{nowrap|"<math>\lnot</math>"}}, os [[Conectivo lógico|conectivos proposicionais]] {{nowrap|"<math>\lor</math>"}} e {{nowrap|"<math>\rightarrow</math>"}}, e os [[Quantificação|quantificadores]] {{nowrap|"<math>\exists</math>"}} e {{nowrap|"<math>\forall</math>"}}.<ref name="IEPNatural"/><ref name="StanfordNatural"/>

O foco em regras de inferências em vez de esquemas axiomáticos é uma característica importante da dedução natural.<ref name="IEPNatural"/><ref name="StanfordNatural"/> Mas não há um acordo geral sobre como a dedução natural deve ser definida. Alguns teóricos sustentam que todos os sistemas de prova com esta característica são formas de dedução natural. Isso incluiria várias formas de [[cálculo de sequentes|cálculos de sequentes]] ou cálculos de tabelas. Mas outros teóricos usam o termo em um sentido mais restrito, por exemplo, para se referir aos sistemas de prova desenvolvidos por Gentzen e Jaskowski. Devido a sua simplicidade, a dedução natural é frequentemente usada para ensinar lógica aos estudantes.<ref name="IEPNatural"/>

=== Método geométrico ===
O método geométrico é um método de [[filosofia]] baseado no raciocínio dedutivo. Começa a partir de um pequeno conjunto de axiomas evidentes e tenta construir um sistema lógico abrangente baseado apenas em inferências dedutivas destes primeiros [[axioma]]s.<ref name="DalyHandbook"/> Foi inicialmente formulado por [[Baruch Spinoza]] e ganhou destaque em vários sistemas filosóficos [[racionalista]]s na era moderna.<ref>{{citar web |last1=Dutton |first1=Blake D. |title=Spinoza, Benedict De |url=https://iep.utm.edu/spinoza/#H2 |website=Internet Encyclopedia of Philosophy |access-date=2022-03-16}}</ref> Seu nome deriva das formas de [[Prova matemática|demonstração matemática]] encontradas na [[geometria]] tradicional, que são geralmente baseadas em axiomas, [[definições]] e [[teoremas]] inferidos.<ref>{{citar web |last1=Goldenbaum |first1=Ursula |title=Geometrical Method |url=https://iep.utm.edu/geo-meth/ |website=Internet Encyclopedia of Philosophy |access-date=2022-02-17}}</ref><ref>{{citar livro |last1=Nadler |first1=Steven |title=Spinoza's 'Ethics': An Introduction |date=2006 |publisher=Cambridge University Press |isbn=978-0-521-83620-3 |pages=35–51 |url=https://www.cambridge.org/core/books/abs/spinozas-ethics/geometric-method/08550AF622C78ACC388069710D37036E |chapter=The geometric method}}</ref> Uma motivação importante do método geométrico é repudiar o [[ceticismo filosófico]] ao fundamentar o sistema filosófico em axiomas absolutamente certos. O raciocínio dedutivo é central para este esforço devido à sua natureza necessariamente preservadora da verdade. Desta forma, a certeza inicialmente investida apenas nos axiomas é transferida para todas as partes do sistema filosófico.<ref name="DalyHandbook"/>

Uma crítica recorrente dos sistemas filosóficos construídos utilizando o método geométrico é que seus axiomas iniciais não são tão evidentes ou certos como seus defensores proclamam.<ref name="DalyHandbook"/> Este problema está além do próprio raciocínio dedutivo, que só garante que a conclusão seja verdadeira se as premissas forem verdadeiras, mas não que as premissas em si sejam verdadeiras. Por exemplo, o sistema filosófico de Spinoza foi criticado desta forma com base em objeções levantadas contra o axioma [[Causalidade|causal]], ou seja, que "o conhecimento de um efeito depende e envolve o conhecimento de sua causa".<ref>{{citar livro |last1=Doppelt |first1=Torin |title=Spinoza's Causal Axiom: A Defense |date=2010 |url=https://qspace.library.queensu.ca/bitstream/handle/1974/6052/Doppelt_Torin_201009_MA.pdf |chapter=3: The Truth About 1A4}}</ref> Uma crítica diferente não se dirige às premissas, mas ao próprio raciocínio, que às vezes pode assumir implicitamente premissas que em si mesmas não são evidentes.<ref name="DalyHandbook"/>

== Referências ==
<references>
<ref name="Johnson-Laird2009">{{citar periódico |last1=Johnson-Laird |first1=Phil |title=Deductive reasoning |journal=WIREs Cognitive Science |date=2009-12-30 |volume=1 |issue=1 |pages=8–17 |doi=10.1002/wcs.20 |pmid=26272833 |url=https://wires.onlinelibrary.wiley.com/doi/abs/10.1002/wcs.20 |issn=1939-5078}}</ref>
<ref name="Houde">{{citar livro |last1=Houde |first1=R. |title=New Catholic Encyclopedia |url=https://www.encyclopedia.com/philosophy-and-religion/philosophy/philosophy-terms-and-concepts/deduction |chapter=Deduction |quote=Modern logicians sometimes oppose deduction to induction on the basis that the first concludes from the general to the particular, whereas the second concludes from the particular to the general; this characterization is inaccurate, however, since deduction need not conclude to the particular and its process is far from being the logical inverse of the inductive procedure.}}</ref>
<ref name="Tarski">{{citar livro |last1=Tarski |first1=Alfred |title=Logic, Semantics, Metamathematics: Papers from 1923 to 1938 |date=1983 |publisher=Hackett Publishing |isbn=978-0-915144-76-1 |url=https://books.google.com/books?id=2uhra9PEFZsC |lingua=en |chapter=16. On The Concept of Logical Consequence}}</ref>
<ref name="Copi1">{{citar livro |last1=Copi |first1=Irving M. |last2=Cohen |first2=Carl |last3=Rodych |first3=Victor |title=Introduction to Logic |date=2018-09-03 |publisher=Routledge |isbn=978-1-351-38696-8 |url=https://books.google.com/books?id=jDOoDwAAQBAJ |lingua=en |chapter=1. Basic Logical Concepts}}</ref>
<ref name="Vorobej">{{citar periódico |last1=Vorobej |first1=Mark |title=Defining Deduction |journal=Informal Logic |date=1992 |volume=14 |issue=2 |doi=10.22329/il.v14i2.2533 |url=https://philpapers.org/rec/VORDD}}</ref>
<ref name="RoutledgeFormalInformal">{{citar livro |last1=Craig |first1=Edward |title=Routledge Encyclopedia of Philosophy |date=1996 |publisher=Routledge |url=https://philpapers.org/rec/BEAREO |chapter=Formal and informal logic}}</ref>
<ref name="IEPLogical">{{citar web |last1=McKeon |first1=Matthew |title=Logical Consequence |url=https://iep.utm.edu/logcon/ |website=Internet Encyclopedia of Philosophy |access-date=2021-11-20}}</ref>
<ref name="Hintikka">{{citar livro |last1=Jaakko |first1=Hintikka |last2=Sandu |first2=Gabriel |title=Philosophy of Logic |date=2006 |publisher=North Holland |pages=13–39 |url=https://philpapers.org/rec/JAAWIL |chapter=What is Logic?}}</ref>
<ref name="MacFarlane">{{citar web |last1=MacFarlane |first1=John |title=Logical Constants |url=https://plato.stanford.edu/entries/logical-constants/#SynTer |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-21 |date=2017}}</ref>
<ref name="BritannicaPhilosophy">{{citar web |title=Philosophy of logic |url=https://www.britannica.com/topic/philosophy-of-logic |website=www.britannica.com |access-date=2021-11-21 |lingua=en}}</ref>
<ref name="Macmillan">{{citar livro |first=Sanford |last=Shieh |editor1-last=Borchert |editor1-first=Donald |title=Macmillan Encyclopedia of Philosophy, 2nd Edition |date=2006 |publisher=Macmillan |url=https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/logical-knowledge |chapter=LOGICAL KNOWLEDGE}}</ref>
<ref name="Moschovakis">{{citar web |last1=Moschovakis |first1=Joan |title=Intuitionistic Logic: 1. Rejection of Tertium Non Datur |url=https://plato.stanford.edu/entries/logic-intuitionistic/#RejTerNonDat |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-12-11 |date=2021}}</ref>
<ref name="MacMillanNonClassical">{{citar livro |last1=Borchert |first1=Donald |title=Macmillan Encyclopedia of Philosophy, 2nd Edition |date=2006 |publisher=Macmillan |url=https://philpapers.org/rec/BORMEO |chapter=Logic, Non-Classical}}</ref>
<ref name="IEPFallacies">{{citar web |last1=Dowden |first1=Bradley |title=Fallacies |url=https://iep.utm.edu/fallacy/ |website=Internet Encyclopedia of Philosophy |access-date=2022-03-12}}</ref>
<ref name="Stump">{{citar livro |last1=Stump |first1=David J. |title=New Dictionary of the History of Ideas |url=https://www.encyclopedia.com/history/dictionaries-thesauruses-pictures-and-press-releases/fallacy-logical |chapter=Fallacy, Logical}}</ref>
<ref name="BritannicaThought">{{citar web |title=Thought |url=https://www.britannica.com/topic/thought |website=Encyclopedia Britannica |access-date=2021-10-14 |lingua=en}}</ref>
<ref name="BritannicaSystems">{{citar web |title=Logical systems |url=https://www.britannica.com/topic/logic/Logical-systems |website=www.britannica.com |access-date=2021-12-04 |lingua=en}}</ref>
<ref name="Pedemonte">{{citar periódico |last1=Pedemonte |first1=Bettina |title=Strategic vs Definitory Rules: Their Role in Abductive Argumentation and their Relationship with Deductive Proof |journal=Eurasia Journal of Mathematics, Science and Technology Education |date=2018-06-25 |volume=14 |issue=9 |pages=em1589 |doi=10.29333/ejmste/92562 |s2cid=126245285 |url=https://www.ejmste.com/article/strategic-vs-definitory-rules-their-role-in-abductive-argumentation-and-their-relationship-with-5539 |lingua=en |issn=1305-8215}}</ref>
<ref name="Backmann">{{citar periódico |last1=Backmann |first1=Marius |title=Varieties of Justification—How (Not) to Solve the Problem of Induction |journal=Acta Analytica |date=2019-06-01 |volume=34 |issue=2 |pages=235–255 |doi=10.1007/s12136-018-0371-6 |s2cid=125767384 |url=https://link.springer.com/article/10.1007/s12136-018-0371-6 |lingua=en |issn=1874-6349}}</ref>
<ref name="IEPArguments">{{citar web |title=Deductive and Inductive Arguments |url=https://iep.utm.edu/ded-ind/ |website=Internet Encyclopedia of Philosophy |access-date=2021-12-04}}</ref>
<ref name="IEPDeductiveInductive">{{citar web |last1=IEP Staff |title=Deductive and Inductive Arguments |url=https://iep.utm.edu/ded-ind/ |access-date=2022-01-06}}</ref>
<ref name="MacmillanInduction">{{citar livro |last1=Borchert |first1=Donald |title=Macmillan Encyclopedia of Philosophy, 2nd Edition |date=2006 |publisher=Macmillan |url=https://philpapers.org/rec/BORMEO |chapter=}}</ref>
<ref name="Koslowski">{{citar livro |last1=Koslowski |first1=Barbara |title=The Routledge International Handbook of Thinking and Reasoning |date=2017 |publisher=Routledge |isbn=978-1-315-72569-7 |chapter-url=https://www.taylorfrancis.com/chapters/edit/10.4324/9781315725697-20/abductive-reasoning-explanation-barbara-koslowski |chapter=Abductive reasoning and explanation|doi=10.4324/9781315725697 }}</ref>
<ref name="StanfordInductive">{{citar web |last1=Hawthorne |first1=James |title=Inductive Logic |url=https://plato.stanford.edu/entries/logic-inductive/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2022-01-06 |date=2021}}</ref>
<ref name="StanfordInductiveLogic">{{citar web |last1=Hawthorne |first1=James |title=Inductive Logic |url=https://plato.stanford.edu/entries/logic-inductive/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2022-03-13 |date=2021}}</ref>
<ref name="StanfordAbduction">{{citar web |last1=Douven |first1=Igor |title=Abduction |url=https://plato.stanford.edu/entries/abduction/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |date=2021}}</ref>
<ref name="Bunge">{{citar periódico |last1=Bunge |first1=Mario |title=The Place of Induction in Science |journal=Philosophy of Science |date=1960 |volume=27 |issue=3 |pages=262–270 |doi=10.1086/287745 |jstor=185969 |s2cid=120566417 |url=https://www.jstor.org/stable/185969 |issn=0031-8248}}</ref>
<ref name="D'Agostino">{{citar periódico |last1=D'Agostino |first1=Marcello |last2=Floridi |first2=Luciano |title=The Enduring Scandal of Deduction: Is Propositional Logic Really Uninformative? |journal=Synthese |date=2009 |volume=167 |issue=2 |pages=271–315 |doi=10.1007/s11229-008-9409-4 |jstor=40271192 |hdl=2299/2995 |s2cid=9602882 |url=https://www.jstor.org/stable/40271192 |lingua=en |issn=0039-7857}}</ref>
<ref name="Wilbanks">{{citar periódico |last1=Wilbanks |first1=Jan J. |title=Defining Deduction, Induction, and Validity |journal=Argumentation |date=2010 |volume=24 |issue=1 |pages=107–124 |doi=10.1007/s10503-009-9131-5 |s2cid=144481717 |url=https://philpapers.org/rec/WILDDI}}</ref>
<ref name="Schechter">{{citar web |last1=Schechter |first1=Joshua |title=Deductive Reasoning |url=https://philpapers.org/rec/SCHDR |website=The Encyclopedia of the Mind |publisher=SAGE Reference |access-date=2022-03-16 |date=2013}}</ref>
<ref name="Johnson-Laird1993">{{citar periódico |last1=Johnson-Laird |first1=Philip N. |last2=Byrne |first2=Ruth M. J. |title=Precis of Deduction |journal=Behavioral and Brain Sciences |date=1993 |volume=16 |issue=2 |pages=323–333 |doi=10.1017/s0140525x00030260 |url=https://philpapers.org/rec/JOHPOD-2}}</ref>
<ref name="García-Madruga">{{citar periódico |last1=García-Madruga |first1=Juan A. |last2=Gutiérrez |first2=Francisco |last3=Carriedo |first3=Nuria |last4=Moreno |first4=Sergio |last5=Johnson-Laird |first5=Philip N. |title=Mental Models in Deductive Reasoning |journal=The Spanish Journal of Psychology |date=2002-11 |volume=5 |issue=2 |pages=125–140 |doi=10.1017/s1138741600005904|pmid=12428479 |s2cid=15293848 |url=http://revistas.ucm.es/index.php/SJOP/article/view/SJOP0202220125A }}</ref>
<ref name="Evans">{{citar livro |last1=Evans |first1=Jonathan |editor1-last=Morrison |editor1-first=Robert |title=The Cambridge Handbook of Thinking and Reasoning |date=2005-04-18 |publisher=Cambridge University Press |isbn=978-0-521-82417-0 |url=https://books.google.com/books?id=znbkHaC8QeMC |lingua=en |chapter=8. Deductive reasoning}}</ref>
<ref name="Bermejo-Luque">{{citar periódico |last1=Bermejo-Luque |first1=Lilian |title=What is Wrong with Deductivism? |journal=Informal Logic |date=2020 |volume=40 |issue=3 |pages=295–316 |doi=10.22329/il.v40i30.6214 |s2cid=217418605 |url=https://philpapers.org/rec/BERWIW-3}}</ref>
<ref name="Howson">{{citar livro |last1=Howson |first1=Colin |title=Hume's Problem |date=2000 |publisher=Oxford University Press |isbn=978-0-19-825037-1 |url=https://oxford.universitypressscholarship.com/view/10.1093/0198250371.001.0001/acprof-9780198250371-chapter-6 |chapter=5. Deductivism|doi=10.1093/0198250371.001.0001 }}</ref>
<ref name="Stove">{{citar periódico |last1=Stove |first1=D. |title=Deductivism |journal=Australasian Journal of Philosophy |date=1970 |volume=48 |issue=1 |pages=76–98 |doi=10.1080/00048407012341481 |url=https://philpapers.org/rec/STOD}}</ref>
<ref name="StanfordNatural">{{citar web |last1=Pelletier |first1=Francis Jeffry |last2=Hazen |first2=Allen |title=Natural Deduction Systems in Logic |url=https://plato.stanford.edu/entries/natural-deduction/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2022-03-15 |date=2021}}</ref>
<ref name="IEPNatural">{{citar web |last1=Indrzejczak |first1=Andrzej |title=Natural Deduction |url=https://iep.utm.edu/natural-deduction/ |website=Internet Encyclopedia of Philosophy |access-date=2022-03-15}}</ref>
<ref name="DalyHandbook">{{citar livro |last1=Daly |first1=Chris |title=The Palgrave Handbook of Philosophical Methods |date=2015 |publisher=Palgrave Macmillan UK |isbn=978-1-137-34455-7 |pages=1–30 |url=https://link.springer.com/chapter/10.1057/9781137344557_1 |lingua=en |chapter=Introduction and Historical Overview|doi=10.1057/9781137344557_1 }}</ref>
</references>

{{Correntes de pensamento científico}}
{{Controle de autoridade}}
{{Portal3|Ciência|Filosofia}}

{{DEFAULTSORT:Metodo Dedutivo}}
[[Categoria:Dedução]]
[[Categoria:Lógica]]
[[Categoria:Metodologias]]
[[Categoria:Classificação dos pensamentos|Dedutivo]]