algoritmo

O que é a lógica?
W. H. Newton-Smith
Universidade de Oxford
Diz-se, por vezes, que a lógica é o estudo dos argumentos válidos; é uma tentativa sistemática para distinguir os argumentos válidos dos inválidos. Neste estádio, tal caracterização tem o defeito de explicar o obscuro em termos do igualmente obscuro. O que é afinal a validade? Ou, já agora, o que é um argumento? Para começar pela última noção, mais fácil, podemos dizer que um argumento tem uma ou mais premissas e uma conclusão. Ao avançar um argumento, damos a entender que a premissa ou premissas apoiam a conclusão. Esta relação de apoio é habitualmente assinalada pelo uso de expressões como “logo”, “assim”, “consequentemente”, “portanto, como vês”. Considere-se esse velho e aborrecido exemplo de argumento:
Sócrates é um homem.
Todos os homens são mortais.
Logo, Sócrates é mortal.
As premissas são “Sócrates é um homem” e “Todos os homens são mortais”. “Logo” é o sinal de um argumento e a conclusão é “Sócrates é mortal”.
A vida real nunca é tão evidente e inequívoca como seria se todas as pessoas falassem da maneira como falariam se tivessem lido manuais de lógica a mais numa idade facilmente impressionável. Por exemplo, muitas vezes avançamos argumentos sem apresentar todas as nossas premissas.
Icabod teve negativa.
Logo, não pode passar de ano.
Neste argumento está implícita aquilo a que chamamos uma premissa suprimida; nomeadamente, a de que nenhum estudante que tenha negativa passa de ano. Pode ser tão óbvio, pelo contexto, qual a premissa que está a ser pressuposta, que seja pura e simplesmente demasiado aborrecido formulá-la explicitamente. Formular explicitamente premissas que fazem parte do pano de fundo de premissas partilhadas é uma forma de pedantismo. Contudo, temos de ter em mente que qualquer argumento efectivamente usado pode ter uma premissa suprimida que tenha de se explicitar para que possa ser rigorosamente analisado. Em nome do rigor completo, praticaremos neste estudo um