Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Uma comunicação eficaz exige uma linguagem que nos permita expressar o que sabemos, nem mais
nem menos. Se sabemos o estado do mundo, então devemos escrever frases suficientes para
comunicar isso aos outros. Se não sabemos de quais maneiras o mundo poderia ser, precisamos de
uma linguagem que nos permita expressar apenas o que sabemos. A beleza da lógica é que ela nos
dá meios de expressar informações incompletas quando isso é tudo o que temos e de expressar
informações completas quando informações completas estão disponíveis.
A alternativa é o raciocínio lógico, viz. a aplicação de regras de raciocínio para tirar conclusões
lógicas e produzir provas lógicas, ou seja, sequências de passos de raciocínio que levam de premissas
a conclusões.
O conceito de prova, para ser significativo, requer que reconheçamos certos passos de raciocínio
como imediatamente óbvios. Em outras palavras, precisamos estar familiarizados com os "átomos"
do raciocínio, a partir dos quais se constroem "moléculas" complexas.
Uma das grandes contribuições de Aristóteles para a filosofia foi o reconhecimento de que o que
torna um passo de uma prova imediatamente óbvio é sua forma e não seu conteúdo. Não importa
se você está falando sobre blocos ou ações ou garotas da irmandade. O que importa é a estrutura
dos fatos com os quais você está trabalhando. Tais padrões são chamados de regras de inferência.
Como exemplo, considere a etapa de raciocínio mostrada abaixo. Sabemos que todos os Acordos
são Hondas e sabemos que todas as Honda são carros japoneses. Consequentemente, podemos
concluir que todos os Acordos são carros japoneses.
O que é interessante sobre esses exemplos é que eles compartilham a mesma estrutura de
raciocínio, viz. o padrão mostrado abaixo.
Todos os x são y.
Todos são z.
Todos os x são y.
Alguns são z.
Agora vamos dar uma olhada em uma instância desse padrão. Se substituirmos x por Toyotas e y
por carros e z por made in America, obtemos a seguinte linha de argumentação, levando a uma
conclusão que está correta.
Por outro lado, se substituirmos x por Toyotas e y por carros ez por Porsches, obtemos uma linha
de argumentação que leva a uma conclusão que é questionável.
O que distingue um padrão correto de um incorreto é que ele deve * sempre * levar a conclusões
corretas, ou seja, deve estar correto desde que as premissas nas quais elas se baseiam estejam
corretas. Como veremos, esse é o critério de definição para o que chamamos de dedução.
Agora, vale ressaltar que há padrões de raciocínio que às vezes são úteis, mas não satisfazem esse
critério estrito. Há raciocínio indutivo, raciocínio abdutivo, raciocínio por analogia e assim por
diante.
A indução é raciocinar do particular para o geral. O exemplo mostrado abaixo ilustra isso. Se vemos
casos suficientes em que algo é verdadeiro e nunca vemos um caso em que é falso, tendemos a
concluir que é sempre verdade.
Abdução é raciocínio de efeitos para possíveis causas. Muitas coisas podem causar um resultado
observado. Muitas vezes, tendemos a inferir uma causa mesmo quando nossa enumeração de
possíveis causas é incompleta.
Se não houver combustível, o carro não ligará.
Há faísca.
Raciocinar por analogia é o raciocínio em que inferimos uma conclusão baseada na similaridade de
duas situações, como no exemplo a seguir.