A lógica é a ciência das inferências válidas.
Inferência do latim inferre «levar para» - é uma operação do espírito pela qual se conclui através duma ideia para outra. A inferência é dedutiva, ou demonstrativa, quando a conclusão é logicamente necessária (como num silogismo, por ex.). É indutiva, ou não demonstrativa, quando a conclusão não é mais do que provável ou verosimilhante (ex: Infiro a existência dum cão se ouço ladrar).
Uma inferência é válida quando está em conformidade com os procedimentos que governam o pensamento correcto. O objecto da lógica é então de destrinçar as leis que autorizam estes procedimentos, de os explicar e de os formular.
Aristóteles foi o primeiro a tentar uma tal explicitação. Isto não significa que antes dele, não se raciocinasse logicamente, pode-se raciocinar logicamente sem se fazer lógica, da mesma forma que se pode falar correctamente sem se ter um conhecimento teórico das regras da gramática.
A lógica permite, no entanto, evitar (ou recusar) os paralogismos, ou seja, os raciocínios que consideram apenas a aparência de correcção. Neste sentido, a lógica é uma disciplina normativa: indica quais são as regras que devemos seguir se quisermos raciocinar «bem».
Sem comentários:
Enviar um comentário