serviço social
Uma vez que um cientista tem leis e teorias universais à sua disposição, é possível derivar delas várias conseqüências que servem como explicações e previsões. Por exemplo, dado o fato de que os metais se expandem quando aquecidos, é possível derivar o fato de que trilhos contínuos de ferrovias não interrompidos por pequenos espaços se alterarão sob o calor do Sol. O tipo de raciocínio envolvido em derivações dessa 29 espécie chama-se raciocínio dedutivo. A dedução é distinta da indução discutida na seção anterior.
Um estudo do raciocínio dedutivo constitui a disciplina da lógica.(8
) Não será feita aqui nenhuma tentativa de dar uma explicação e avaliação detalhadas da lógica. Ao invés disso, algumas de suas características importantes e relevantes para nossa análise da ciência serão ilustradas por meio de exemplos triviais. Eis aqui um exemplo de uma dedução lógica.
Exemplo 1:
1. Todos os livros de filosofia são chatos. 2. Este livro é um livro de filosofia. .
3. Este livro é chato.
Neste argumento, (1) e (2) são as premissas e (3) é a conclusão. É evidente, suponho, que, se (1) e (2) são verdadeiras, então (3) é obrigada a ser verdadeira. Não é possível para (3) ser falsa uma vez que é dado que (1) e (2) são verdadeiras. Para (1) e (2) serem verdadeiras e (3) ser falsa envolveria uma contradição. Essa é a característica-chave de uma dedução logicamente válida. Se as premissas de uma dedução logicamente válida são verdadeiras, então a conclusão deve ser verdadeira.
Uma ligeira modificação do exemplo acima nos dará um modelo de uma dedução que não é válida.
Exemplo 2:
1. Muitos livros de filosofia são chatos. 2. Este livro é um livro de filosofia. .
3. Este livro e chato.
Neste exemplo, (3) não segue necessariamente (1) e (2). É possivel (1) e (2) serem verdadeiras e, ainda assim, (3) ser falsa. Mesmo se (1) e (2) são verdadeiras, este livro pode ser um da minoria de livros de filosofia que