This paper offers a reconstruction of Wittgenstein's discussion on inductive proofs. A "algebraic version" of these indirect proofs is offered and contrasted with the usual ones in which an infinite sequence of modus pones is projected

Porto, André

DoisPontos

Portuguese

This paper presents a reconstruction of Wittgenstein’s treatment of inductive proofs. The philosopher repeatedly talks about separating “what the proof actually shows” from something he calls pejoratively the “prose”. Our proposal is a bold one: we present a new calculus, the “horizontal calculus” which would precisely embody the mathematical content of this kind of proof according to the philosopher

André Porto

Directory of Open Access Journals

Wittgenstein Sobre as Provas Indutivas

PhilPapers

O objetivo deste artigo &eacute; apresentar uma reconstru&ccedil;&atilde;o para o tratamento deWittgenstein para as provas indutivas. Repetidamente o fil&oacute;sofo fala em separar &ldquo;o que aprova efetivamente demonstra&rdquo; de algo que ele chama pejorativamente de &ldquo;prosa&rdquo;. Nossaproposta de solu&ccedil;&atilde;o &eacute; ousada: propomos um novo c&aacute;lculo, que chamamos de &ldquo;c&aacute;lculo horizontal&rdquo;,que encarnaria exatamente aquele conte&uacute;do matem&aacute;tico desse tipo de demonstra&ccedil;&otilde;esde que fala o fil&oacute;sofo.This paper presents a reconstruction of Wittgenstein&rsquo;s treatment of inductiveproofs. The philosopher repeatedly talks about separating &ldquo;what the proof actuallyshows&rdquo; from something he calls pejoratively the &ldquo;prose&rdquo;. Our proposal is a boldone: we present a new calculus, the &ldquo;horizontal calculus&rdquo; which would preciselyembody the mathematical content of this kind of proof according to the philosopher

Biblioteca Digital de Periódicos da UFPR (Universidade Federal do Paraná)

Wittgenstein on Inductive Proofs

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.</jats:p

Wittgenstein Sobre as Provas Indutivas

Abstract

Similar works

Full text

Available Versions

Directory of Open Access Journals

PhilPapers

Biblioteca Digital de Periódicos da UFPR (Universidade Federal do Paraná)

Crossref