===== TIPOS DE INDUÇÃO =====
I — A [[lexico:i:inducao|indução]] [[lexico:f:formal|formal]] é um [[lexico:r:raciocinio|raciocínio]] e constitui uma [[lexico:p:prova|prova]] apodíctica [Necessária quer em virtude duma evidência imediata, quer em virtude duma demonstração dedutiva.]. Se, pois, se entende por [[lexico:d:deducao|dedução]], como em [[lexico:g:geral|geral]] entendem os lógicos contemporâneos, toda [[lexico:o:operacao|operação]] que consiste em passar de uma ou várias proposições para uma [[lexico:p:proposicao|proposição]] que é a sua [[lexico:c:consequencia|consequência]] necessária, em [[lexico:v:virtude|virtude]] de leis lógicas, segue-se daqui:

1.° Que a indução completa é uma [[lexico:f:forma|forma]] da dedução;

2.° Que esta [[lexico:n:nao|não]] vai sempre «do geral para o [[lexico:p:particular|particular]]» (ou, para [[lexico:f:falar|falar]] mais exatamente, do genérico para o especial).

II — A indução amplificante não é uma [[lexico:i:implicacao|implicação]] [[lexico:l:logica|lógica]]; porque de que alguns S são P ou até de que muitos S sejam P não se pode concluir que todos os S sejam P. Apesar de tudo, ela não deixa de [[lexico:s:ser|ser]] considerada incontestável no que se refere a um certo [[lexico:n:numero|número]] de casos. Por isto, suscita três problemas conexos, ordinariamente reunidos sob o [[lexico:n:nome|nome]] de [[lexico:p:problema|problema]] do [[lexico:f:fundamento-da-inducao|fundamento da indução]].

a) Problema do [[lexico:f:fundamento|fundamento]] [[lexico:p:psicologico|psicológico]] da indução: Sendo [[lexico:d:dado|dado]] que a maioria das proposições que julgamos verdadeiras assentam em amostras e exemplos, donde resulta o [[lexico:a:assentimento|assentimento]], por vezes tão decidido, que nós lhes prestamos?

b) Problema da legitimidade da indução: Em que casos, e sob que condições, uma proposição induzida pode ser considerada como verdadeira?

c) Problema do [[lexico:p:principio-da-inducao|princípio da indução]]: Podem-se reunir todos os casos de indução legítima numa [[lexico:r:regra|regra]] lógica rigorosamente definida?

[André Lalande (philosophe), Vocabulaire Technique et Critique de la Philosophie, vol. I, p. 374.]