Open Journal Systems

Wittgenstein Sobre as Provas Indutivas

André Porto

Resumo


O objetivo deste artigo é apresentar uma reconstrução para o tratamento deWittgenstein para as provas indutivas. Repetidamente o filósofo fala em separar “o que aprova efetivamente demonstra” de algo que ele chama pejorativamente de “prosa”. Nossaproposta de solução é ousada: propomos um novo cálculo, que chamamos de “cálculo horizontal”,que encarnaria exatamente aquele conteúdo matemático desse tipo de demonstraçõesde que fala o filósofo.

Palavras-chave


Wittgenstein; Provas indutivas; infinitude; Inductive proofs

Texto completo:

PDF


DOI: http://dx.doi.org/10.5380/dp.v6i2.14931