Wittgenstein Sobre as Provas Indutivas
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:
PDFDOI: http://dx.doi.org/10.5380/dp.v6i2.14931