===== TIPOS DE INDUÇÃO =====
I — A [[lexico:i:inducao:start|indução]] [[lexico:f:formal:start|formal]] é um [[lexico:r:raciocinio:start|raciocínio]] e constitui uma [[lexico:p:prova:start|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:start|dedução]], como em [[lexico:g:geral:start|geral]] entendem os lógicos contemporâneos, toda [[lexico:o:operacao:start|operação]] que consiste em passar de uma ou várias proposições para uma [[lexico:p:proposicao:start|proposição]] que é a sua [[lexico:c:consequencia:start|consequência]] necessária, em [[lexico:v:virtude:start|virtude]] de leis lógicas, segue-se daqui:

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

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

II — A indução amplificante não é uma [[lexico:i:implicacao:start|implicação]] [[lexico:l:logica:start|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:start|ser]] considerada incontestável no que se refere a um certo [[lexico:n:numero:start|número]] de casos. Por isto, suscita três problemas conexos, ordinariamente reunidos sob o [[lexico:n:nome:start|nome]] de [[lexico:p:problema:start|problema]] do [[lexico:f:fundamento-da-inducao:start|fundamento da indução]].

a) Problema do [[lexico:f:fundamento:start|fundamento]] [[lexico:p:psicologico:start|psicológico]] da indução: Sendo [[lexico:d:dado:start|dado]] que a maioria das proposições que julgamos verdadeiras assentam em amostras e exemplos, donde resulta o [[lexico:a:assentimento:start|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:start|princípio da indução]]: Podem-se reunir todos os casos de indução legítima numa [[lexico:r:regra:start|regra]] lógica rigorosamente definida?

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

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