«Ciência geral da inferência. A lógica dedutiva, na qual a conclusão se segue de um conjunto de premissas, distingue-se da lógica indutiva, que estuda a maneira como as premissas podem sustentar uma conclusão sem no entanto a implicar. Na lógica dedutiva, a conclusão não pode ser falsa se as premissas são verdadeiras. O objetivo da lógica é tornar explícitas as regras através das quais as inferências podem realizar-se, e não estudar os processos de raciocínio que as pessoas usam de facto, e que podem ou não conformar-se com essas regras. No caso da lógica dedutiva, se perguntarmos por que razão temos de obedecer às regras, a maneira mais geral de responder é dizer que, se não o fizermos, nos contradizemos.(...)»
Simon Blackburn.(1977). Dicionário de Filosofia. Lisboa: Gradiva.
Sem comentários:
Enviar um comentário