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

As plantas, os animais, os homens se movem [[lexico:p:por-si|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|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|movimento]] por si [[lexico:p:proprio|próprio]], pode-se concluir que [[lexico:t:todo|todo]] [[lexico:c:corpo|corpo]] [[lexico:v:vivente|vivente]] se move por si próprio. Tal indução conduz à [[lexico:c:certeza|certeza]]: é como um caso [[lexico:l:limite|limite]] e [[lexico:p:perfeito|perfeito]] desta [[lexico:o:operacao|operação]]. Os antigos consideraram com uma [[lexico:a:atencao|atenção]] especial esta [[lexico:f:forma|forma]] privilegiada do [[lexico:r:raciocinio|raciocínio]] indutivo que, na [[lexico:v:verdade|verdade]], é [[lexico:b:bem|Bem]] rara, porém seria [[lexico:f:falso|falso]] afirmar que eles não tivessem conhecido outra.

A indução incompleta é aquela na qual a [[lexico:e:enumeracao|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|ser]] apenas [[lexico:p:provavel|provável]]. [[lexico:e:esse|esse]] [[lexico:t:tipo|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|verdadeiro]] raciocínio se não há [[lexico:p:progresso|progresso]] na [[lexico:o:ordem|ordem]] da verdade. Seria o caso de perguntar se a [[lexico:a:afirmacao|afirmação]] coletiva "todos os apóstolos" acrescenta [[lexico:a:alguma-coisa|alguma coisa]] à [[lexico:s:soma|soma]] das afirmações individuais, "Pedro" etc.