trabalhos

Mark Sainsbury
King's College London
Há uma velha tradição segundo a qual há dois ramos da lógica: a lógica dedutiva e a indutiva. Mais recentemente, as diferenças entre estas disciplinas tornaram-se tão profundas que a maior parte das pessoas usam hoje em dia o termo "lógica" com o significado de lógica dedutiva, reservando termos como "teoria da confirmação" para abranger pelo menos parte do que se costumava chamar "lógica indutiva". Irei seguir a prática mais recente, interpretando "filosofia da lógica" como "filosofia da lógica dedutiva". Nesta secção, irei tentar mostrar as diferenças entre as duas disciplinas, e indicar brevemente as razões pelas quais as pessoas pensam que a lógica indutiva não é realmente lógica.
[Uma] maneira de as premissas de um argumento constituírem boas razões a favor da sua conclusão é quando a conclusão se segue das premissas. Vamos chamar "válido" a qualquer argumento cuja conclusão se siga das suas premissas. Um teste inicial de validade é o seguinte. Perguntamos: será possível que as premissas sejam verdadeiras mas a conclusão falsa? No caso do argumento "O Henrique é um dramaturgo e alguns dramaturgos são pobres. Logo, o Henrique é pobre" a resposta é "Sim". Mesmo que alguns dramaturgos sejam pobres, é possível que outros, talvez até a maioria, sejam ricos, e que o Henrique seja um destes outros. Em geral, um argumento é válido unicamente se for impossível que as premissas sejam todas verdadeiras mas a conclusão falsa. Poderemos ter a esperança de distinguir a lógica dedutiva da indutiva dizendo que a primeira, mas não a segunda, se ocupa da validade?
Considerem-se dois argumentos que ocorrem em centenas de manuais escolares:
1. Todos os homens são mortais. Sócrates é um homem. Logo, Sócrates é mortal.
2. O Sol nasceu todas as manhãs até hoje. Logo, (é provável que) nasça amanhã.
O primeiro é um exemplo canónico de um argumento classificado como válido pela lógica dedutiva. O segundo é um argumento que não é classificado