Logica filosofica

COGNITIO: Revista de Filosofia
ISSN 1518-7187
Indexação: The Philosopher`s Index; Citas Latinoamericanas en Ciencias Sociales y Humanidades (CLASE)
Banco de Traduções
Tradução de artigo publicado no número 3 – novembro de 2002

SOBRE A METODOLOGIA DA LÓGICA E FILOSOFIA DE PEIRCE
Leila Haaparanta
Philosophy Unit, Department of Mathematics, Statistics and Philosophy
University of Tampere
[e-mail]
Original em inglês.
[Tradução para o português de Cassiano Terra Rodrigues [e-mail] e Edélcio Gonçalves de Souza edé[e-mail] ]

1. Introdução
Em seu artigo ‘Explanation of Curiosity the First’ (1908) Charles Peirce descreve o procedimento de Euclides em demonstrações de teoremas. Euclides primeiramente apresenta o teorema em termos gerais e então o traduz em termos singulares. Peirce chama a atenção para o fato de que a generalidade do enunciado não é perdida nesse movimento. O próximo passo é uma construção que é seguida por uma demonstração. Finalmente, a sentença ergo repete a proposição original. Peirce dá muita ênfase na distinção entre raciocínios do tipo corolário e do tipo teorema em geometria. Ele considera um argumento como sendo do tipo corolário se nenhuma construção auxiliar é necessária. Para Peirce, a construção é ‘o principal passo teórico’ da demonstração (CP, 4.616). Peirce também enfatiza que é a observação dos diagramas que é essencial para todos os raciocínios e que mesmo se nenhuma construção auxiliar é feita, existe sempre um passo do enunciado geral para o particular no raciocínio dedutivo, que significa introduzir um tipo de diagrama no raciocínio.
Os interesses metodológicos de Peirce são bem conhecidos. No seu ‘Introductory Lecture on Logic’ (1883) ele faz uma interessante observação sobre metodologia. Ele escreve:

“Mas os lógicos modernos geralmente, em particular na Alemanha, não consideram a Lógica como uma arte, mas como uma ciência. Eles não concebem o Lógico como ocupado no estudo de métodos