===== INDUÇÃO COMPLETA E INCOMPLETA =====
A [[lexico:i:inducao:start|indução]] é completa quando se inferiu um [[lexico:u:universal:start|universal]] após ter-se enumerado todos os casos singulares que se acham compreendidos abaixo dele. [[lexico:e:exemplo:start|exemplo]]:

As plantas, os animais, os homens se movem [[lexico:p:por-si:start|por si]] próprios

Ora, todos os corpos viventes são plantas, animais, homens

Logo, todos os corpos viventes se movem por si próprios.

Supõe-se que [[lexico:n:nao:start|não]] há senão as três espécies enumeradas de corpos viventes. Se, portanto, verificou-se que cada uma destas espécies possuía [[lexico:m:movimento:start|movimento]] por si [[lexico:p:proprio:start|próprio]], pode-se concluir que [[lexico:t:todo:start|todo]] [[lexico:c:corpo:start|corpo]] [[lexico:v:vivente:start|vivente]] se move por si próprio. Tal indução conduz à [[lexico:c:certeza:start|certeza]]: é como um caso [[lexico:l:limite:start|limite]] e [[lexico:p:perfeito:start|perfeito]] desta [[lexico:o:operacao:start|operação]]. Os antigos consideraram com uma [[lexico:a:atencao:start|atenção]] especial esta [[lexico:f:forma:start|forma]] privilegiada do [[lexico:r:raciocinio:start|raciocínio]] indutivo que, na [[lexico:v:verdade:start|verdade]], é [[lexico:b:bem:start|Bem]] rara, porém seria [[lexico:f:falso:start|falso]] afirmar que eles não tivessem conhecido outra.

A indução incompleta é aquela na qual a [[lexico:e:enumeracao:start|enumeração]] das partes subjetivas do universal não é completa. Ex.:

Esta porção de água ferve a 100, esta outra também, aquela etc.

Logo, a água ferve a 100 .

Quando a enumeração das partes é suficiente, infere-se legitimamente uma conclusão universal, que porém não deixa de [[lexico:s:ser:start|ser]] apenas [[lexico:p:provavel:start|provável]]. [[lexico:e:esse:start|esse]] [[lexico:t:tipo:start|tipo]] de indução é o que habitualmente se encontra nas ciências, e é com ele que os lógicos modernos mais se preocupam.

Poder-se-ia perguntar se raciocínios do tipo desse:

Pedro, André, Tiago etc . . . estavam no Cenáculo

Ora, Pedro, André, Tiago etc . . . são todos os apóstolos

Logo, todos os apóstolos estavam no Cenáculo.

devem ser considerados como verdadeiras induções (completas). Não há, lembremo-nos disto, [[lexico:v:verdadeiro:start|verdadeiro]] raciocínio se não há [[lexico:p:progresso:start|progresso]] na [[lexico:o:ordem:start|ordem]] da verdade. Seria o caso de perguntar se a [[lexico:a:afirmacao:start|afirmação]] coletiva "todos os apóstolos" acrescenta [[lexico:a:alguma-coisa:start|alguma coisa]] à [[lexico:s:soma:start|soma]] das afirmações individuais, "Pedro" etc.

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}