A Ideografia do Tractatus Logico-Philosophicus e Funções Recursivas Primitivas

Resumo

No Tractatus Logico-Philosophicus (T) Wittgenstein apresenta o esboço de uma ideografia a qual ele pretende perspícua às condições essenciais de uma representação linguística. Seu estilo lacônico e sua notação elíptica, no entanto, deixam subentendidos diversos elementos fundamentais para o estabelecimento de uma sintaxe satisfatória com esse objetivo. O presente artigo faz o levantamento de alguns dos principais pontos obscuros em sua notação, buscando aproximá-la de estruturas similares às observadas em funções recursivas primitivas. A seção 1 discute como a lógica pura no Tractatus permite a obtenção de uma sintaxe lógica, comum a qualquer sistema de sinais em uma representação, e como a partir dela é possível estabelecer a ideografia. As seções 2 de 3 apresentam a derivação dessa ideografia utilizando os procedimentos da lógica pura, resultando na Forma Geral da Proposição, na Forma Geral da Operação, na Forma Geral da Série e na Forma Geral do Número. As seções 4 e 5 associam a notação ideográfica do Tractatus à notação de funções recursivo-primitivas.

Palavras Chave:
Linguagem; Análise Lógica; Matemática; Recursão Primitiva

Abstract

In the Tractatus Logico-Philosophicus (T) Wittgenstein presents a sketch of an ideography which he intends to be perspicuous to the essential conditions of a linguistic representation. His laconic style and concise notation, nevertheless, leaves implicit many elements that are fundamental for the establishment of a satisfactory syntax with that goal. The present article investigates some of the main obscure points in his notation, searching for similarities with the structures usually seen in primitive recursive functions. Section 1 discusses how pure logic in the Tractatus allows the achievement of a logical syntax, essential to any system of signs in a representation, and how it is possible to establish an ideography from it. The sections 2 and 3 present the obtainment of his ideography by using procedures of pure logic, resulting in the General Form of the Proposition, the General Form of the Operation, the General Form of the Series and the General Form of the Number. Sections 4 and 5 associate the ideographic notation of the Tractatus with the notation of primitive recursive functions.

Keywords:
Language; Logical Analysis; Mathematics; Primitive Recursion

1. Lógica Aplicada, Lógica Pura, Sintaxe Lógica e a Ideografia¹

O objetivo deste trabalho é investigar em detalhe a notação ideográfica introduzida por Wittgenstein nos aforismos T6, T6.01 e T6.02 do Tractatus Logico-Philosophicus, utilizando como referência comparativa o formalismo da teoria de recursões primitivas. Para tanto, a presente seção irá apresentar os pressupostos necessários à derivação de uma ideografia no contexto do Tractatus. Tais pressupostos dizem respeito ao ferramental analítico necessário a esse desenvolvimento, bem como ao fundamento dessas ferramentas nas condições mínimas necessárias ao estabelecimento de uma representação. Ainda nesta seção, justifica-se a Forma Geral da Proposição como parte da ideografia, e introduz-se o método de lógica pura a ser utilizado ao longo da seção 2, dedicada especificamente ao desenvolvimento ideográfico. A seção 3 apresenta uma contextualização dos resultados obtidos até então, enquanto a seção 4 realiza a comparação entre a notação de Wittgenstein e a de funções recursivas primitivas. Por fim, a seção 5 realiza um estudo de casos, comparando ambos os formalismos na obtenção da soma e do produto aritméticos.

***

Wittgenstein apresenta dois métodos de análise lógica no Tractatus; por meio da transformação de constantes em variáveis e por meio da reescrita de sinais proposicionais não analisados de modo às relações entre as condições de verdade das proposições serem expressas como tautologias e contradições. O primeiro método diz respeito à lógica pura, enquanto o segundo, à lógica aplicada. Ambos os métodos de análise encontram fundamento na concepção de que deve haver isomorfismo entre linguagem e mundo para que haja representação. No caso da lógica aplicada, é exatamente o isomorfismo necessário entre sinal proposicional não analisado e a situação relativamente complexa que ele representa o que demanda a possibilidade de uma análise desse sinal. Supondo p um sinal proposicional não analisado, a sua estrutura, por definição, não expressa toda a complexidade da situação representada, de maneira a ser a sua complexidade sintática, dada por suas relações para com os demais sinais em um sistema, o que permite o isomorfismo entre p e fatos no mundo. Tal complexidade sintática se manifesta em regras de combinação e substituição dos sinais envolvidos, e uma vez que a complexidade da situação representada é dada pelas condições de verdade das proposições em análise, necessariamente deve haver regras de substituição que permitam expressar, nos próprios sinais proposicionais quando analisados, as condições de verdade dessas proposições. Com isso a sintaxe dos operadores lógicos, ao refletir relações entre as condições de verdade das proposições, viabiliza a reescrita de sinais proposicionais de modo a explicitar a complexidade semântica dessas proposições em seus sinais mesmos.

A sintaxe dos operadores lógicos se mostra assim fundamental para o isomorfismo entre linguagem e mundo, sendo, portanto, parte da sintaxe lógica, essencial a qualquer sistema de sinais em uma representação. Mesmo proposições elementares - em que por definição não constam operadores lógicos - têm suas relações verdade para com outras proposições expressas por meio de operadores em tautologias e contradições. Dessa maneira, ainda que a lógica aplicada sirva à expressão das condições verdade de proposições particulares em seus sinais proposicionais, ela se vale de elementos sintáticos comuns a quaisquer proposições, sendo esses últimos propriamente o escopo de estudo da lógica pura.

O método característico em lógica pura na explicitação das regras da sintaxe lógica é apresentado por Wittgenstein em T3.315 (a nota 2 a seguir aponta ainda um possível uso em lógica aplicada):

Se transformamos em variável uma parte constituinte de uma proposição, há uma classe de proposições que são todos os valores da proposição variável assim originada. Em geral, essa classe depende ainda do que nós, segundo uma convenção arbitrária, queremos significar com partes daquela proposição. Se transformamos em variáveis, porém, todos os sinais cujo significado foi arbitrariamente determinado, ainda assim continua a haver uma tal classe. Esta, porém, não depende mais de qualquer convenção, mas apenas da natureza da proposição. Ela corresponde a uma forma lógica - a um protótipo lógico de figuração.

A lógica aplicada se configura como um procedimento que conduz de termos previamente definidos àqueles termos indefiníveis, primitivos, de uma linguagem. Dentre os elementos indefiníveis que participam de uma proposição, têm-se aqueles que dizem respeito à proposição particular em caso (como os nomes que a compõem, por exemplo) e aqueles que dizem respeito à sintaxe de proposições quaisquer. O procedimento T3.315 fornece um método para a expressão da sintaxe desses elementos em geral²: ao transformar as constantes de um sinal proposicional em variáveis, obtemos como resultado esquemas da aplicação de tais regras sintáticas, ou 'protótipos lógicos'. É a partir das regras da sintaxe lógica, obtidas em lógica pura com a transformação de todas as constantes de um sinal proposicional em variáveis, que Wittgenstein propõe sua ideografia, pretendendo-a perspícua a essas formas lógicas. O isomorfismo entre linguagem e mundo, fundamento da representação, como visto, baseia-se na possibilidade de reescrita dos sinais proposicionais de modo a expressar as condições de verdade das proposições nesses sinais mesmos, com o uso de operadores lógicos. Assim, a Forma Geral da Proposição, resultado principal da análise em lógica pura, tem a seguinte estrutura (T6):

Onde N se trata de um operador lógico similar ao traço de Sheffer³ e N. Nessa expressão não se especifica qual a forma das proposições elementares N, sendo essas as constantes tornadas variáveis na obtenção da Forma Geral da Proposição, através do procedimento T3.315. Nela somente se indica, com o uso do sinal de barra em T3.315, Wittgenstein deriva então a Forma Geral da Operação, a Forma Geral da Série e a Forma Geral do Número, expressando-as em uma ideografia que se pretende perspícua a essas formas lógicas. Tal derivação é detalhada a seguir. e tampouco o número ou a estrutura das reiterações de do esquema para a reiteração de que um dos possíveis valores dessas variáveis deve se dar. Em repetidas aplicações de e indica o conjunto das proposições elementares,

2. Da Forma Geral da Proposição à Forma Geral do Número

A lógica pura na derivação da ideografia do Tractatus leva de conceitos formais menos a mais abstratos, conforme sugerido pelo procedimento em T3.315. Da Forma Geral da Proposição, ⁴.(T6.02). Essa última é reformulada com o uso de expoentes em [Ω0' x, Ωv' x Ωv+1'x](T6.02) e dela, ao tornar variável mesmo a Forma Geral da Operação, Ω, obtemos a Forma Geral do Número, [0, ξ, ξ+1](T6.03). Por essas estruturas decorrerem da sintaxe lógica, um agrupamento de sinais que não se enquadre nas regras determinadas por elas ou que não permita transformações sintáticas que resultem nelas não articula uma representação, mas nonsense. Assim, dado o aspecto recursivo dessas expressões, haveria um método para mecanicamente evitar a construção de contrassensos, bastando para tanto seguir um procedimento algorítmico na geração de sinais. Por outro lado, possíveis contrassensos poderiam ser identificados diretamente pela inspeção desses sinais, pela averiguação se se encontram ou não conforme os esquemas de substituição fornecidos por essas formas lógicas. Em outras palavras, não seria necessária uma transformação de sinais por meio de análise para validar a sua correção para com a sintaxe lógica, mas tão somente a conferência direta desses sinais mesmos, de onde essa se tratar de uma ideografia(T6), chegamos à Forma Geral da Operação, (T6.01), e dessa à Forma Geral da Série em [x, ξ, Ω', ξ] (onde

Antes de passar ao detalhamento dessas fórmulas, é preciso esclarecer alguns dos elementos que as compõem, como as variáveis ξ e N. Acerca de ξ e e o operador , tome-se T5.501:

Uma expressão entre parênteses cujos termos sejam proposições, indico-a - se a sequência dos termos entre os parênteses for irrelevante - por meio de um sinal da forma "(

)". "ξ é uma variável cujos valores são os termos da expressão entre parênteses; e o traço sobre a variável indica que ela substitui todos os seus valores entre parênteses. (Portanto, se ξ tem, digamos, os 3 valores P, Q, R, então (

) =P, Q, R). Os valores da variável são fixados. A fixação é a descrição das proposições que a variável substitui. (...) Podemos distinguir três espécies de descrição: 1. A enumeração direta. Nesse caso, podemos simplesmente colocar, no lugar da variável, seus valores constantes. 2. A especificação de uma função fx, cujos valores para todos os valores de x sejam as proposições a serem descritas. 3. A especificação de uma lei formal segundo a qual tais proposições sejam constituídas. Nesse caso, os termos da expressão entre parênteses são todos os termos de uma série formal.

A fixação de valores de uma variável em T5.501 se apresenta como o procedimento inverso ao de transformação de constantes em variáveis, em T3.315. Na fixação dos valores de ξ, temos que se ξ = fx, então fa, fb, fc,...) Em outras palavras, função ou variável proposicional fx, de onde se poder dizer que ξ (nesse exemplo, fx) expressa a forma lógica comum a fa, fb, fc,.... Além disso, se fa, fb, fc,...), por exemplo, formam a base ou argumento dessa operação - como se vê nas ocorrências do sinal da variável x, ξ, Ω' ξ] e [0, ξ, ξ+1], seu papel deve ser o de um esquema para a geração de expressões. Dessa maneira, a distinção entre variável livre propriamente dita e uma letra esquemática - escopo fixo, trata-se de uma enumeração de proposições que perfaz uma totalidade sobre a qual podemos quantificar (ou aplicar uma operação lógica, como N), enquanto ξ equivale a uma letra esquemática que se deixa substituir por expressões com determinada forma lógica. na Forma Geral da Operação, equivale ao conjunto das proposições que podem ser valores da Por outro lado, se ao invés de é apresentada diante do sinal de uma operação, em sua posição de argumento, então as proposições (P, Q, R) ou ( possui um = ( e ξ deve ser tomada como a existente entre uma é uma variável livre com um escopo delimitado, cujo esquema é dado por ξ. temos ξ como base de uma operação ou argumento de função, como acontece na Forma Geral da Série e na Forma Geral do Número, [

Além disso, o termo enumeração de sinais proposicionais - e não como uma proposição, como seria, por exemplo, o produto lógico das proposições correspondentes aos sinais proposicionais sob após a aplicação de alguma operação lógica sobre antes da aplicação de alguma operação sobre eles. deve ser tomado como uma simples ). De fato, dada uma lista de sinais proposicionais (p,q,r), para obter uma proposição é preciso determinar ainda se as suas condições de verdade serão relacionadas por meio de uma conjunção, de uma disjunção, ou por condicionais, etc. Esse ponto se mostra útil ao esclarecer porque tautologias não afirmam nada acerca do mundo: por resultarem de operações que se anulam completamente, obtemos com elas variáveis livres, sinais desligados, exatamente como os que ocorrem na simples enumeração de sinais proposicionais em não temos atribuições de valores verdade aos sinais listados, de modo que essa variável apenas reúne sob uma totalidade os sinais proposicionais com a forma do esquema ξ. Somente obtemos uma proposição , como em N(. Em outras palavras, em

O operador N, por sua vez, é uma generalização do traço de Sheffer, onde N(p,q,r) equivale a ~p ~q ~r (T5.502), por exemplo. Em uma notação mais usual, escreveríamos nesse caso (p/q/r), de maneira aos demais conectivos poderem ser definidos como ~p = (p|p); p.q = ((p | p)|(q | q)); p ∨ q =((p | q) | (p | q)); etc. (T5.1311). Tal operador corresponde a uma generalização do traço de Sheffer por Wittgenstein pretender expressar com ele ainda o cálculo de predicados, e com isso a lógica de primeira ordem. Se por ξ tomamos a variável proposicional fx, por exemplo, então N(~ fa ~ fb ~ fc...... Nesse caso, N(N(x)fx (T5.52). Por outro lado, o quantificador universal pode ser obtido da seguinte forma: se ξ = N(fx), então ~ fa ~ fb ~ fc...), de maneira que N(~~ fa ~~ fb ~~fc...= fa . fb . fc =(x)fx. Assim, Wittgenstein pretende dar um tratamento uniforme ao cálculo proposicional e ao cálculo de predicados, ainda que ressalvas tenham sido feitas acerca da viabilidade dessa redução. Como observa Fogelin⁵, a múltipla quantificação seria inviável na notação do Tractatus, visto o operador N manipular simultaneamente todas as posições de argumento de uma função, o que tornaria (∃x)(y)fxy inexprimível, por exemplo, assim como a lógica de primeira ordem. Geach propõe solucionar o problema estendendo a notação de Wittgenstein de maneira a cada operação N apontar a posição de argumento específica à qual ela se aplica, através de um índice⁶. Independente dessa discussão, deve ser observado que ao barrar uma variável, como em fa, fb, fc,...), reunimos a totalidade dos termos com a forma geral ξ = fx. Assim, seria hipoteticamente possível reunir sob x em fx, algo que, posteriormente ao Tractatus, Wittgenstein irá rejeitar por equivaler a uma quantificação sobre infinitos termos⁷.) equivale a ) equivale à negação conjunta de todos os valores que essa variável pode assumir, em = ()) equivaleria a (∃ = ( infinitas expressões, caso existam infinitos objetos no mundo sob o escopo de

Pode-se então esclarecer a Forma Geral da Proposição:

6 A forma geral da função de verdade é:

. Isso é a forma geral da proposição.

6.001 Isso nada diz senão que toda proposição é um resultado da aplicação sucessiva da operação N(

) às proposições elementares.

6.002 Dada a forma geral como uma proposição é construída, com isso já está dada também a forma geral como, a partir de uma proposição e por meio de uma operação, uma outra pode ser gerada.

Em N(⁸. No caso, não é indicado o número específico de iterações realizadas, e também por isso essa se trata de uma forma geral. Dessa maneira, N.), gerando a série ) sobre essas proposições, onde a cada passo a expressão à esquerda, , e o resultado, N( ela explicitamente exibir a base, , .... O esquema de reiteração é apresentado através de é a variável para a forma geral de uma operação resultante da composição de aplicações da operação , se substitui pela expressão à direita, N(), de cada passo iterativo equivale à fixação de um conjunto de proposições elementares, enquanto a expressão , ao esquema da aplicação reiterada da operação

No entanto, para a viabilidade da notação proposta por Wittgenstein, N sobre um conjunto de proposições elementares dadas ou sobre o resultado de cada aplicação a elas. Isso porque em cada iteração a fixação dos valores de nova seleção entre as proposições geradas até então, sem o que seria impossível gerar todas as proposições moleculares que podemos construir sobre uma base de proposições elementares r, s, t). A primeira aplicação da operação N resulta em (~r ~s ~t), enquanto uma segunda aplicação, realizada sobre esse resultado, obtém ~(~r ~s ~t). Já uma terceira aplicação, realizada sobre ~(~r ~s ~t), resulta em ~~(~r ~s ~t), a qual equivale a (~r ~s ~t), o mesmo resultado da primeira aplicação da operação. Qualquer outra iteração não nos leva mais longe, e sendo assim, por meio de simples reiterações sobre o resultado de uma mesma operação não seria possível gerar o conjunto das proposições moleculares que podemos construir a partir de r, s e t⁹. A solução seria considerar que a cada passo recursivo podemos realizar fixações distintas de valores em r), s), t), r, t), s, t), ϖ = (r, s, t), ou algum outro subconjunto dentre as proposições geradas até então. Com isso, a cada nova iteração da operação N é realizada uma nova fixação de ξ, o que gera, a cada passo, uma ramificação¹⁰ distinta na série das proposições. A fixação dos valores de ξ deve, portanto, se dar ao longo das aplicações de operações em ¹¹. = (r, s), , se valendo de qualquer um dos procedimentos apresentados em T5.501 = ( = ( deve ser entendida ainda não como simples iterações da operação deve realizar uma , tomando a cada vez diferentes subconjuntos de . Digamos que o conjunto inicial de proposições elementares seja dado por ou das proposições geradas ao longo da série. Nesse caso, cada nova operação pode ser aplicada sobre um dos conjuntos = ( = ( = ( = (

Assim, na avaliação de quais constantes foram tornadas variáveis na obtenção da Forma Geral da Proposição, barradas e iii) as diferentes fixações de valores de ξ em cada passo iterativo, na geração das diferentes ramificações da série de sinais. A fixação desses três itens se expressa na Forma Geral da Proposição pelo uso das variáveis . Já em sentido inverso a essa 'síntese' de um sinal proposicional, seguindo o procedimento de análise T3.315 e dada uma proposição qualquer, ao tomar por variáveis os valores fixados nesses três itens obtemos novamente a Forma Geral da Proposição., ii) o número de iterações e , deve-se ter em conta que para obter uma instância dessa variável proposicional, ou seja, uma proposição, são fixados: i) os valores de

Em T6.002 Wittgenstein afirma que juntamente com a Forma Geral da Proposição já é introduzida uma Forma Geral da Operação¹². Isso se justifica por uma nova aplicação do procedimento T3.315. No caso, a constante tornada variável diz respeito ao sinal do conjunto dos termos iniciais da série de proposições, o conjunto das proposições elementares posição no esquema aplicar a operação significa fixar esses valores, ao se tomar ¹³. Aplicar uma operação não equivaleria, portanto, ao fragmento de sinal proposicional Cuter, 2005, p.69-70) chega a uma conclusão similar, ao afirmar que "operações [de seleção] como Oi e Oii encontram-se subentendidas em variáveis proposicionais como ξ e η" (comentário meu entre colchetes)¹⁴.η ou novamente no contexto de uma proposição, . Assim, o sinal de uma operação lógica antes de sua aplicação pode ser expresso por meio de equivale mais propriamente à aplicação dessa operação, ao fixar o esquema η em . ( - onde η indica a . Com isso, operações aplicam-se a qualquer conjunto de proposições - e não apenas a proposições elementares - quando da fixação novamente do esquema (η) - ou ainda, η, expressa por meio do uso do apóstrofo. Será argumentado mais adiante que essa fixação de valores é ela mesma uma operação formal (ver nota 14). Com isso, a variável da Forma Geral da Operação é dada pelo sinal . Nessa expressão, o apóstrofo em η, antes de sua aplicação, nem à proposição obtida ao tornar variável. Inversamente, ' corresponde à aplicação da operação fixando , apresentado após o sinal de igualdade entre parênteses. O traço sobre uma variável proposicional como η fixa seus valores em , em seu argumento, obtendo com isso o resultado , de onde a Forma Geral da Operação ser dada por , obtida após sua aplicação, mas à própria fixação dos valores de η na variável operacional = Ω, ao passo que a expressão

A Forma Geral da Série [x, ξ, Ω' ξ] pode ser obtida em uma nova aplicação do procedimento T3.315. Nesse caso, da Forma Geral da Proposição η na Forma Geral da Operação, acima, e x no que segue), como também ¹⁵. Dessa maneira, de x, ξ, Ω' ξ], a Forma Geral da Série, na qual Ω é a forma geral de uma operação lógica qualquer ξ, em fa, fb, fc), por exemplo, ao passo que variáveis não barradas como ξ expressam a forma comum a tais valores, como em ξ = fx. Assim, variáveis barradas delimitam uma totalidade específica de expressões, ao passo que variáveis não barradas deixam em aberto esse total, por exprimirem tão somente a forma comum aos termos em questão. No caso da Forma Geral da Proposição, o uso de ξ no esquema de reiteração [ξ, Ω', ξ] não indica um total, mas a possibilidade potencialmente infinita de gerar novos termos na série, cuja forma geral é dada pela regra de substituição de ξ por Ω'ξ a cada passo em ξ, Ω', ξ, Ω'Ω'ξ, Ω' Ω'Ω'ξ, .... Em outras palavras, na apresentação da Forma Geral da Proposição, foi argumentado que a cada passo na aplicação reiterada de N em ¹⁶, dada pela Forma Geral da Proposição, nem à forma geral de posições relativas entre proposições em séries lógicas, dada pela Forma Geral da Operação, mas sim à forma de séries lógicas em geral: [x, ξ, Ω'ξ] é a forma comum às possíveis séries geradas por operadores lógicos Ω quaisquer., obtendo ξ, o que resulta em uma ramificação específica dentre as possíveis na geração da série das proposições, bem como um número específico de iterações. Ao tornar variável mesmo a fixação de valores indicada pelas barras em é tornada uma variável não barrada (resultando expressam a fixação de , resultando em [ξ,N(ξ)] não chegamos à forma geral de uma posição particular na série lógica e dessa última a [ devemos fixar novamente os valores de não apenas passamos à Forma Geral da Operação no esquema de reiteração . Foi visto que variáveis barradas como indica uma totalidade específica de iterações e, portanto, uma posição específica na série de sinais proposicionais. Já na Forma Geral da Série, o uso de = (

Com isso, na Forma Geral da Série já deve haver uma variável numérica implícita em [ξ, Ω'ξ], a qual é tornada explícita por Wittgenstein em sua segunda versão da Forma Geral da Série, com expoentes, em [Ω0' x, Ωv' x Ωv+1' x], obtida a partir de [x, ξ, Ω'ξ] por meio das definições x= Ω0 x Def. e Ω'Ωv'x= Ωv+1' x Def. (T6.02). Uma vez expressa a Forma Geral da Série em [Ω0' x, Ωv' x Ωv+1' x], através de nova aplicação do procedimento T3.315 chega-se à Forma Geral do Número [0, ξ, ξ +1], onde a constante tornada variável é a própria Forma Geral da Operação, Ω. A variável operacional Ω tem por valores operações verdade - ou operações lógicas - resultantes da composição de aplicações reiteradas da operação N sobre uma variável proposicional. Ao se tornar variável mesmo o sinal Ω na Forma Geral do Número, tem-se que números determinam regras da sintaxe lógica para a aplicação operações em geral, e não somente operações lógicas. Em outras palavras, a sintaxe dos números constitui regras que refletem o caráter recursivo da aplicação de operações quaisquer na transformação de sinais.

No entanto, duas dificuldades se apresentam para essa interpretação: A) Em T6.02, Wittgenstein claramente identifica a fórmula [x,ξ, Ω'ξ] com a série x, Ω'x, Ω'Ω'x, Ω'Ω'Ω'x.... O que diferencia a Forma Geral da Série, assim expressa, da Forma Geral da Proposição, operações formais para que a notação do Tractatus possa atender o intuito da construção de uma ideografia. Wittgenstein dá indicações de reconhecer essa necessidade. Ao apresentar pela primeira vez o conceito de operação em T5.2521, por exemplo, ele utiliza a fórmula [a,x,O'x]. Seria contrário à própria ideografia o uso de sinais distintos para um mesmo símbolo, caso com o uso de O se pretendesse a variável posteriormente utilizada para operações lógicas, Ω. Além disso, a letra 'a' nessa formulação é utilizada ao longo de todo o Tractatus para expressar nomes, ao passo que operações lógicas apenas se aplicam a proposições¹⁷. No próprio Tractatus são apresentadas ainda séries formais que não poderiam ser obtidas com funções verdade, como a Série Sucessor, em T4.1273, onde a cada etapa em aRb, (∃x):aRx.xRb, (∃x,y): aRx.xRy.yRb,..., são introduzidas novas variáveis x, y, z,..., não havendo indício de como a sintaxe de N poderia realizar algo do tipo. Sendo assim, uma interpretação para ideografia, na qual necessariamente devem constar operações lógicas, ao passo que as operações formais particulares necessárias à descrição do mundo diriam respeito a uma questão de lógica aplicada¹⁸. poder ser considerada a Forma Geral da Operação é com ela Wittgenstein estar apresentando propriamente parte da sua , ou seja, da forma geral de um termo na série, é o uso de variáveis barradas nessa última, a indicar a fixação de p e ξ sob uma totalidade qualquer. Dessa maneira, a Forma Geral da Série expressa a possibilidade potencialmente infinita de expansão de uma série qualquer, por se valer da letra esquemática não barrada ξ. No entanto, a fórmula [0, ξ, ξ + 1] igualmente não utiliza variáveis barradas, o que deveria indicar a forma da série dos números naturais, ao passo que o intuito explícito de Wittgenstein é expressar a Forma Geral do Número (T6.03) - a forma geral de um termo na série dos naturais. Nesse contexto, uma formulação mais coerente com a presente leitura seria . B) Wittgenstein introduz o sinal como a Forma Geral da Operação. Apesar disso, foi argumentado acerca da necessidade da existência de

3. A Matemática e A Lógica como Estrutura da Linguagem

Tomando a estrutura de sistemas de sinais em geral, como apresentada na seção anterior, em analogia com a topologia de um grafo, proposições corresponderiam aos vértices, enquanto operações às arestas que ligam esses vértices. Séries, por sua vez, delimitam diferentes percursos pelo grafo, e enfim, os pontos de cruzamentos entre séries mostram como elas se entrelaçam, articulando um sistema de sinais. Tais pontos de cruzamento entre séries podem por sua vez ser expressos por meio de identidades entre seus termos, as quais, por remeterem às posições numéricas de cada termo em sua respectiva série, assumem a forma de equações matemáticas. Passamos, com isso, do aspecto mais local ao mais amplo na topologia de um sistema de sinais, mas não obtemos uma hierarquia entre essas formas lógicas, visto elas se encontrarem sobrepostas na Forma Geral da Proposição - e assim também em qualquer proposição particular. A Forma Geral da Proposição deve, portanto, indicar, através da estrutura de seu próprio sinal, a sua posição em um sistema de linguagem, valendo-se para tanto de conceitos formais que exprimam essa posição, como os de operação, série, número, etc. Assim, para determinar uma posição em um sistema proposicional devemos fixar um conjunto de proposições elementares, a operação sendo reiterada, a série em que se dá a reiteração - ou seja, a sequência particular de ramificações ou bifurcações ao longo das iterações - e o número dessas iterações. Feito isso, os pontos de cruzamento entre as diversas séries na articulação desse sistema podem ser expressos por meio de equações, com as quais realizamos cálculos com sinais em geral.

A matemática deve assim ser tomada como parte da sintaxe lógica, por refletir regras no cálculo de operações com sinais quaisquer. Que 2+3=5, por exemplo, indica que a aplicação reiterada de 2 operações, seguida de outras 3 aplicações dessa mesma operação, obtém o mesmo sinal que 5 aplicações dessa operação sobre a mesma base. Visto a sintaxe dos números aplicar-se a operações quaisquer, ela é igualmente válida para operações lógicas, de onde a correspondência entre equações e tautologias em T4.461 e T6.121¹⁹. Algo do tipo, no entanto, não implica em uma maior generalidade da matemática em relação à lógica (em um logicismo às avessas²⁰, em uma redução da lógica à matemática), mas sim decorre de ambas refletirem diferentes aspectos de um sistema de sinais, de uma sintaxe para a transformação de sinais na constituição de uma representação. O caráter a priori da matemática e da lógica decorre assim de suas regras refletirem a sintaxe lógica necessária a qualquer representação, algo que igualmente justifica a sua aplicação universal nos diversos ramos das ciências exatas. Da mesma maneira, explica-se ainda a rejeição da existência de objetos matemáticos ou lógicos, visto regras da matemática e da lógica serem tão somente reflexos da própria estrutura da linguagem na representação do mundo e seus objetos.

4. Funções Recursivas Primitivas e a Ideografia do Tractatus

A associação entre elementos da ideografia do Tractatus e a teoria da recursão tem óbvio interesse em vista do finitismo e do construtivismo cada vez mais acentuados no pensamento posterior de Wittgenstein²¹. Na teoria da recursão primitiva, seguindo a notação de (Boolos, 1989, p.74-6), há três tipos de funções recursivas iniciais - assim chamadas por não serem compostas de nenhuma outra - e duas operações²², a serem aplicadas um número finito de vezes na obtenção das demais funções recursivas primitivas. São as funções iniciais:

Zero: z(x) = 0 para todo x; ∈ N

Sucessor: s(x) = x + 1 para todo x; ∈ N; e

Projeção: idⁿ _i .(x ₁, ..., x_i , ..., x_n ) = x_i

As seguintes operações, por sua vez, permitem a definição de funções recursivas umas a partir das outras:

Composição: h(x ₁, ..., x_n ) = f(g ₁(x ₁, ..., x_n ), ..., g_m (x ₁, ..., x_n )), ou Cn[f,g];

Recursão Primitiva: h(x ₁, ..., x_n , 0) = f(x ₁, ..., x_n )e

h(x₁, ...x_n, s(y)) = g(x₁, ..., x_n.y, h(x₁, ..., xn, y)) ou h=Pr[f,g].

Por simplicidade, no que segue a variável em negrito x deve ser entendida como representando o vetor x₁,...,x_n , em h(x,0)=f(x) e h(x,s(y))=g(x,y,h(x,y)).

A função zero pode ser emulada na notação do Tractatus pela definição de uma operação θ que anule qualquer sequência de aplicações de outras operações. Supondo O uma variável para operações quaisquer, a definição de θ é θ'(O^y'(x))=O⁰'(x)=x def. No caso particular de operações lógicas, tem-se θ'(Ω'(x))=N⁰'(x)=x def. Uma vez que números apenas ocorrem em expoentes de operações, na prática a aplicação da operação θ equivale à função inicial z(y)=0 para qualquer natural y.

A função inicial sucessor encontra paralelo imediato na série formal sucessor, apresentada por Wittgenstein em T4.1273 (seção 2). No entanto, deve-se ainda verificar até que ponto os postulados de Peano podem ser considerados subentendidos no esquema [a,x,O'x] ou na Forma Geral do Número, [0, ξ, ξ +1] uma vez que os postulados resultam em uma definição dos números naturais. São eles (seguindo Hatcher, 1968, p.70, com ligeiras modificações):

1. 0 é um número natural;

2. para cada número natural n, existe exatamente um número natural s(n), chamado sucessor de n;

3. 0 não é o sucessor de nenhum número natural;

4. números naturais diferentes têm sucessores diferentes (função 1-1);

5. todo conjunto que contenha 0 e o sucessor de quaisquer números contidos nele contém todos os números naturais (números naturais são o menor conjunto satisfazendo essas 4 propriedades).

(i) O primeiro postulado pode ser considerado implícito no fato de toda série gerada por operações na notação do Tractatus possuir um termo inicial, como 'a', em [a,x,O'x], quando da não aplicação de nenhuma operação - ou de zero operações em [0, ξ, ξ +1]. (ii) O segundo postulado se reflete no uso da variável não barrada x em [a,x,O'x] - ou ainda, ξ, em [0, ξ, ξ +1] - a exprimir a possibilidade sempre aberta de reiterar a operação, gerando um novo termo na série. Esse postulado determina ainda um caráter funcional para o sucessor, algo que encontra correspondente na série [a,x,O'x], dado que a aplicação da operação [x,O'x] sobre um termo y obtém um novo sinal unívoco, O'y. O mesmo vale para [0, ξ, ξ +1]. (iii) O terceiro postulado não se aplica ao esquema [a,x,O'x], uma vez que operações podem se anular e com isso o termo a eventualmente se repetir na série gerada. Números, no entanto, enquanto expoentes de operações em [0, ξ, ξ +1], não se anulam quando da reiteração dessas últimas, mas são incrementados em cada nova aplicação. Assim, em uma operação particular O, definida como O'O'x=x, é a operação que se anula, e ainda que em consequência dessa definição tenhamos O'O'O'x=O'x, numericamente ocorrem expoentes distintos em cada lado dessa identidade. Com isso, a regra de anulação que determina a sintaxe de O atua como um mapeamento entre os possíveis expoentes dessa operação. No exemplo, a aplicação reiterada de O sobre x gera em seu expoente a série 0,1,2,3,..., como em qualquer operação arbitrária, mas uma vez dada a definição particular de O - em O'O'(x)=x - obtemos um mapeamento, uma função da série 0,1,2,3... à série 0,1,0,1,.... (iv) O quarto postulado pode ser escrito como 'se x≠y, então s(x)≠s(y)', onde s é a função sucessor. O mesmo argumento utilizado em (iii) se aplica aqui. A reiteração de uma operação sobre bases distintas x e y pode eventualmente resultar em um mesmo valor, dada a possibilidade de operações se anularem, algo que contraria s(x)≠s(y). No entanto, a aplicação reiterada de operações não anula os expoentes numéricos, mas sim realiza um mapeamento entre possíveis valores desses expoentes. (v) O quinto postulado de Peano delimita uma totalidade dos números naturais. A princípio ele não seria contemplado pela notação do Tractatus, visto séries serem introduzidas por letras esquemáticas não barradas, como ξ; e esquemas de iteração, isoladamente, não determinam totalidades. No entanto, em T5.501 Wittgenstein afirma para casos similares que ao barrar ξ obtemos "todos os termos de uma série formal" (meu itálico). Por outro lado ainda, foi argumentado que a fixação de ξ implica fixar uma variável numérica implícita nesse esquema iterativo, de onde essa fixação não resultar na totalidade da série, mas sim na totalidade de termos dessa série gerados por certo número, finito, de operações. Independentemente dessa discussão, (v) não participa da definição da função sucessor - em jogo aqui - mas da concepção clássica dos números naturais como perfazendo uma totalidade infinita. A concepção finitária certamente é atendida pelo esquema [0, ξ, ξ +1].

Funções iniciais de projeção selecionam um valor dentre um conjunto de argumentos dados²³, em um papel análogo ao uso pretendido para a barra em , conforme T5.501, dever se aplicar a variáveis proposicionais não ordenadas, ao passo que os argumentos x1,...,xn em idni(x1,..,xi,..xn) = xi são ordenados de 1 a n., ou às operações formais de seleção propostas por Cuter, conforme discutido na seção 2. A diferença para com o Tractatus se encontra no sinal da barra em

No que diz respeito às operações utilizadas para definir funções recursivas primitivas umas a partir das outras, a operação de composição é dada por Cn[f,g] = h(x1,..,xn) = f(g1(x1,...,xn),...,gm(x1,...,xn)). Essa operação tem paralelo no Tractatus em definições como ψ'(x)= θ'(Om'(x)), onde θ, ψ e Om são operações quaisquer, de modo a h corresponder à operação sendo definida ψ, f corresponder a θ, Om às funções g1,...,gm e x ao conjunto de argumentos x1,...,xn. Pelo procedimento T3.335, tomando-se isoladamente θ e Om, obtemos as formas θ(η) e Om(ξ), em que a fixação de ξ em x₁,...,x_n e a fixação de η em g₁,...,g_m . determina os argumentos determina os argumentos

Por fim, a operação de recursão primitiva tem a forma h(x,0)=f(x) e h(x,s(y))=g(x,y,h(x,y)) - ou h=Pr[f,g]. A primeira dessas equações é a base de recursão, o primeiro termo da série gerada, enquanto a segunda o passo recursivo utilizado na geração de novos termos na série. A base de recursão comparece na notação de Wittgenstein como o termo inicial de séries em geral. Já no passo recursivo, a principal característica que garante a expressividade da função h em definição é seu valor para o argumento (x,s(y)) ser dado a partir de uma função g, a qual contém em seu argumento x (os parâmetros da recursão), y (o argumento de h na iteração anterior) e h(x,y) (o resultado de h na iteração anterior). Os argumentos x₁,...,x_n=x foram anteriormente vistos terem como correspondentes a fixação de valores em Tractatus. Já o restante da estrutura do passo recursivo em h(x,s(y))=g(x,y,h(x,y)) será discutida a seguir. no

Tome-se a aplicação reiterada de uma operação r a partir de q é distinta da operação , e assim sucessivamente. Realizando a substituição de q na expressão de r, obtemos , a segunda em aplicada para obter sobre um conjunto de proposições elementares iniciais . Essa última expressão pode ser reescrita como . Considere-se agora uma apresentação alternativa de r como . No caso, , de modo que r pode ser reescrita como , onde se substituiu a variável , para indicar que a operação por , utilizada para obter r a partir de . Substituindo essas duas últimas expressões uma na outra temos:. É no procedimento de geração dessa série onde se deve buscar identificar, aproximadamente, expressões correspondentes a h(x,s(y)); h(x,y); g(x,y,h(x,y)); s(y) e y. A primeira aplicação da operação resulta na proposição

Na identidade acima, a fórmula h(x,s(y)), na qual o expoente 2 corresponde a s(y). Na fórmula à direita da identidade, a operação g repetidamente aplicada em cada etapa recursiva - e a qual aqui se aplica sobre na parte mais externa corresponde à função como um todo pode ser associada a , completando assim a analogia para com o passo h(x,s(y))=g(x,y,h(x,y)). Temos como resultado:, o correspondente ao resultado no passo recursivo anterior h(x,y), e sobre o expoente 1, correspondente ao argumento y. Ainda que a associação dessa maneira esboçada diga respeito a uma única iteração na passagem de y=1 a y=2, ela pode ser igualmente efetuada utilizando-se y e s(y) no lugar de 1 e 2, bem como com um esquema η no lugar do conjunto inicial de proposições elementares

em outra versão para a Forma Geral da Operação. Levando em conta ainda a possibilidade da existência de operações formais - para além de operações lógicas - essa fórmula se reescreve como:

5. Somas e Produtos Aritméticos - Estudo de Caso

Nesta seção são comparados os tratamentos da soma e da multiplicação na ideografia do Tractatus e na notação da teoria da recursão. Abaixo, o exemplo de multiplicação no Tractatus, conforme a interpretação de (Frascolla, 1994, p.15-19), com algumas modificações para manter a notação original de Wittgenstein. À demonstração de 2x2=4 de Wittgenstein (T6.241) ele acrescenta ainda a regra [A], conforme a seguir:

• [1] Ω(2x2)'x = (Ω2)2'x [por definição em Ωvxμ'x = (Ωv)μ'x, T6.241]

• [2] = (Ω2)1+1'x [pela definição do numeral 2 em T6.02]

• [3] = Ω2' Ω2'x [pela definição Ω' Ωv' x = Ωv+1'x em T6.02, com Ω2 no lugar de Ω]

• [4] = Ω1+1' Ω1+1'x [pela definição do numeral 2, T6.02]

• [5] = (Ω' Ω)' (Ω' Ω)'x [a ser tratado na discussão abaixo]

• [6] = (Ω' Ω)' Ω' Ω'x [pela definição da regra A]

• [7] = Ω'Ω'Ω'Ω'x [pela definição da regra A]

• [8] = Ω1+1+1+1'x [pela definição indutiva em T6.02]

• [9] = Ω4x [pela definição do numeral 4]

• [A] = (Ω' Ω) 'ξ= Ω'Ω'ξ

A passagem de [4] a [5] a princípio não parece se justificar, segundo (Frascolla, 1994, p.15), visto que utilizando a definição x = Ω0'x Def. e Ω'Ωv'x = Ωv+1'x Def. em T6.02, deveríamos ter algo como Ω0+1+1' Ω0+1+1'x = Ω0+1+1' Ω' Ω'x No entanto, deve-se observar a ausência do 0 no expoente em Ω1+1' Ω1+1'x, o que impede a aplicação de x = Ω0'x. Assim, o desenvolvimento seria Ω1+1' Ω1+1'x = (Ω1+1)' (Ω1+1)'x =(Ω'Ω1)'(Ω'Ω1)'x= (Ω'Ω)'(Ω'Ω)'x Dessa maneira, é a passagem de [1] para [2] na transformação 2=1+1 que aparentemente contradiz a definição original do numeral 2 em T6.02, dada por 0+1+1=2 Def., por descartar o número 0 inicial. Uma saída interpretativa seria considerar que Wittgenstein está introduzindo mais um aspecto de sua notação, na qual a ausência do zero em 1+1 em (Ω2)1+1'x indicaria esse se tratar do expoente de (Ω2), ao invés de novas iterações de Ω. Já o sinal Ω2 entre parênteses nessa expressão não possui apóstrofo, o que igualmente impede a aplicação da definição x = Ω0'x, e decorre diretamente da definição Ωvxμ'x = (Ωv)μ'x. Por outro lado, o passo [3] aparenta realmente se tratar de um equívoco, por nele nada indicar algum uso do numeral 2 distinto de sua definição original. Enfim, o passo [6] não consta no Tractatus, mas é introduzido por Frascolla quando afirma não haver como explicar a passagem direta de [5] para [7] senão por intermédio de uma regra como [A]. No entanto, o exemplo utilizado por Wittgenstein talvez não seja o mais adequado, visto o resultado de 2x2 ser o mesmo que 2+2, o que não permite destacar claramente as diferenças entre ambas. Tome-se o caso 2x3, o qual se escreve por (Ω'Ω)'(Ω'Ω'Ω)'x A ser utilizada a regra [A] de Frascolla - (Ω'Ω)'ξ = Ω'Ω'ξ - temos que (Ω'Ω)'(Ω'Ω'Ω)'x = Ω'Ω'Ω'Ω'Ω'x; um resultado obviamente incorreto, visto 2x3≠5.

Segue uma tentativa de solução para esse problema utilizando alguns dos elementos notacionais discriminados ao longo deste artigo. Foi argumentado que, dada a operação , o uso do apóstrofo deve ser interpretado como uma fixação dos possíveis valores desse esquema. Em outras palavras, o papel do apóstrofo é fixar, ou barrar, a variável η na posição de argumento do sinal da operação . No entanto, não somente a posição de argumento da operação é uma variável no esquema η, de modo a obter a variável proposicional , como também o número de iterações de N, ou o expoente numérico de N, na constituição da operação composta Ω. Assim, reescrevendo (Ω'Ω)' como (Ω'Ωη)', o produto (Ω'Ω)'(Ω'Ω'Ω)'x pode ser reescrito como (Ω'Ωη)' (Ω'Ω'Ωξ)'x (. A ausência de apóstrofo nas operações compostas dentro dos primeiros parênteses deve ser entendida como indicando que o apóstrofo externo a eles não está fixando o valor do argumento η, mas sim o valor da variável numérica subentendida em cada um dos Ω's entre parênteses. Esse valor é fixado pelo número de operações da expressão que se encontra na posição de argumento da variável operacional (Ω'Ωη)', a saber, (Ω'Ω'Ωξ)', de modo a obter (Ω'Ω'Ω'Ω'Ω'Ωξ)'x. Novamente, há uma operação sem apóstrofo entre parênteses nesse resultado. Apesar disso, pode-se supor ainda que caso x seja a expressão de uma operação, a multiplicação deve prosseguir, mas caso ela seja fixada em uma variável proposicional, a única variável passível de ser tornada constante por esse termo é a posição de argumento ξ, de onde Ω'Ω'Ω'Ω'Ω'Ω'x, em 2x3=6 iterações de Ω. Já o caso 2+3=5 pode ser obtido diretamente em(Ω'Ωη)'(Ω'Ω'Ω'ξ)'x = Ω'Ω'Ω'Ω'Ω'x, com a substituição de (Ω'Ω'Ω'ξ) em η e de x em ξ, como indicada pelo apóstrofo à esquerda dessas letras esquemáticas entre parênteses. Dessa maneira, e em contraste com a definição do produto em Ωvxμ'x=(Ωv) μ'x, seria possível sugerir uma definição similar para a soma utilizando Ωv+μ'x=(Ωv') μ'x. Wittgenstein, no entanto, introduz o sinal de soma juntamente com os números naturais, sem uma definição à parte para ele, como será mencionado mais adiante.

O que distingue a soma da multiplicação nesses exemplos é qual a variável a ser fixada em Ω'Ω. No caso de (Ω'Ω'η)'x, a posição de argumento η é fixada, resultando na soma, ao passo que em (Ω'Ωη)'x fixa-se a variável numérica subentendida em Ω, em uma multiplicação. Como definições recursivas podem ser novamente efetuadas na definição da potenciação, da super-potenciação, etc., é preciso avaliar como se dão essas formas de fixação no contexto do esquema geral ²⁴:, apresentado ao final da última seção, tendo em vista a sua correspondência para com o passo recursivo h(x,s(y))=g(x,y,h(x,y)). Tome-se primeiramente o caso particular das definições da soma e do produto na teoria da recursão

sum(x, 0) = id(x) = x, sum(x, s(y)) = s(sum(x, y));

prod(x, 0) = z(x) = 0, prod(x, s(y)) = sum(x, prod(x, y));

A soma é obtida utilizando g=s e h=sum em h(x,s(y))=g(x,y,h(x,y)), assim como sum(x,0)=id(x) no lugar de h(x,0)=f(x). No caso, a cada incremento da variável y, a operação g, ou seja, s, é aplicada novamente sobre o resultado de h, ou sum, da etapa anterior. Em outras palavras, na definição de h (ou sum) a variável y atua como o expoente de g (ou s). Analogamente, na multiplicação temos g=sum e h=prod; e a variável y como expoente de sum. Assim, em uma notação menos formal, a operação de recursão primitiva pode ser entendida como definindo o expoente de uma função: a função sum estabelece um expoente y para a função sucessor s, em sy(x), bem como a função prod estabelece um expoente para a função sum, em sumy(x,0). No caso, a fórmula sy(x) claramente equivale à soma x+y para números naturais x e y quaisquer, ao passo que, na fórmula sumy(x,0), deve-se considerar subentendido que o resultado de cada aplicação de sum deve ser substituído na segunda posição de argumento de sum(x,ξ) na iteração subsequente, tendo 0 como valor inicial da série. A substituição de um desses resultados no esquema sum(x,ξ) equivale à fixação do valor de ξ em Tractatus, de modo que o valor de ξ torna-se totalmente fixo quando ambas as variáveis numéricas x e y são fixadas. Um raciocínio similar se aplica a s^y(x), tendo por esquema de iteração s(ξ) em cada passo: fixar ξ nessa expressão equivale a fixar os valores de x e y em s^y(x), tendo 0 como valor inicial da série. Em ambos os casos temos o equivalente a "fixar a posição de argumento η", na explicação apresentada acima acerca da soma e do produto no Tractatus. Por outro lado, a fixação de g em s ou em sum determina se a função sendo definida se trata da soma ou da multiplicação, respectivamente. A fixação de g seria o equivalente a "fixar a variável numérica subentendida em Ω", na discussão acima. na notação do

Raciocínio similar deve se aplicar na comparação do passo recursivo h(x,s(y))=g(x,y,h(x,y)) com a forma geral y, respectivamente. À função g, sendo reiterada em cada passo recursivo e tendo y por expoente, corresponde y em e . Por outro lado, fixar a variável numérica subentendida em Ω pode ser considerado similar a fixar a função g - a qual pode ser uma função recursiva inicial, bem como uma composição ou uma função recursiva de outras recursivo-primitivas, de maneira análoga a como Ω expressa uma composição de aplicações de N qualquer. Caso g resulte na função sucessor s quando dessa fixação, a função h sendo definida é a soma, caso g seja a soma, então h é a multiplicação, e assim sucessivamente, para a potenciação, super-potenciação, etc.. Com isso, o ato de fixar a posição de argumento em (Ω' Ω'η)'x pode ser considerado análogo a fixar os valores de x e de y em h(x,s(y))=g(x,y,h(x,y)); ou ainda, a fixar os valores de e . O equivalente à função h(x,y) definida por recursão primitiva é a expressão , e equivalendo às posições de argumento x e y temos

Por fim, há um problema proeminente na comparação entre as duas notações. A recursão primitiva permite definir expoentes de funções, algo que no Tractatus é realizado por meio de x = Ω0'x Def. e Ω'Ωv'x = Ωv+1'x Def. (T6.02). A analogia entre essas definições e h(x,0)=f(x) e h(x,s(y))=g(x,y,h(x,y)), no entanto, é problemática. Wittgenstein introduz a soma juntamente com os números naturais, ao passo que na teoria da recursão ela somente pode ser definida após a definição de sucessor, a qual primeiramente introduz os naturais. Uma definição alternativa seria x = Ω0'x Def. e Ω'Ωv'x = Ωs(v)'x Def., onde s é o sucessor. Nesse caso, (i) h(x,s(y)) corresponderia a Ωs(v)'x; (ii) h(x,y) a Ωv'x; (iii) g a Ω', em Ω'Ωv'x (com essa última fórmula correspondendo a g(x,y,h(x,y))); (iv) y a v; (v) x a x (ou à fixação de x); de modo análogo às associações realizadas na discussão anterior.

6. Conclusões

A dificuldade de traçar paralelos entre a ideografia do Tractatus e funções recursivas primitivas decorre, naturalmente, da diversidade de elementos deixados subentendidos por Wittgenstein em sua notação. No entanto, a estrutura iterativa da Forma Geral da Operação, a ocorrência mesma de uma Forma Geral da Série na ideografia, bem como a interpretação de números como expoentes de operações, indicam claramente sua intenção original de retratar estruturas recursivas. Em particular, no que diz respeito a números como expoentes de operações, a analogia se dá para com o fato de funções recursivas primitivas com a forma h(x,s(y))=g(x,y,h(x,y)) resultarem na variável de recursão, y, equivaler ao expoente de reiteração da função g, utilizada para definir h. No entanto, e em contraste, como observado ao final da seção 5, na teoria da recursão números naturais são definidos através da função sucessor, a qual, por sua vez, é utilizada na definição da operação de recursão primitiva - não sendo os naturais, portanto, introduzidos juntamente com essa última. As consequências formais e filosóficas dessa postura de Wittgenstein deverão ser avaliadas em outra oportunidade. De qualquer maneira, a analogia com a fórmula h(x,s(y))=g(x,y,h(x,y)) tomando-se y como expoente de g parece corroborar a posição defendida por autores como (Hylton, 2008, p.138-152), os quais entendem as operações formais do Tractatus como correspondentes a funções matemáticas em geral (abrangendo funções de sinais quaisquer, e não apenas de números). Por fim, deve-se observar ainda que ao incluir a Forma Geral do Número em sua notação Wittgenstein aparenta ter em vistas uma aplicação ideográfica específica: o uso da matemática na física e demais ciências exatas. Notações cujas constantes numéricas se apresentam explicitamente nos sinais proposicionais permitem a sua manipulação de maneira perspícua para com as definições desses sinais - ou ainda, para com os "acordos tácitos" em que a sua sintaxe se baseia (T4.002). A sintaxe dos números, expressa em equações, reflete o caráter recursivo das operações lógicas e formais utilizadas nessas definições, ao mesmo tempo em que demandam uma quantidade reduzida de termos na expressão de sequências extensas de sinais. As proposições utilizadas na física e demais ciências exatas são, assim, proposições moleculares não analisadas, mas escritas em uma notação ideográfica, matemática, e com isso de maneira transparente às definições recursivas de seus termos, permitindo transformações adequadas para com elas. Assim, a matemática não somente reflete a estrutura recursiva da linguagem, de onde seu caráter a priori, conforme mencionado na seção 3, como ainda viabiliza o estabelecimento de notações eficientes, desde o ponto de vista de sua capacidade expressiva. Essa seria a explicação para a proficuidade dos diversos ramos matematizáveis do discurso científico.

Referências

• BOOLOS G., JEFFREY, R. Computability and Logic. Cambridge University Press, 3rd Edition, 1989.
• CUTER, J. "Operations and Truth Operations in the Tractatus". Philosophical Investigations, vol.28, p.63-75, 2005.
• FOGELIN, R. Wittgenstein. Routledge, 1987.
• FRASCOLLA, P. Wittgenstein's Philosophy of Mathematics. Routledge, 1994.
• FREGE, G. "On Concept and Object". Mind, vol.60, no 238, p. 168-180. Oxford University Press, 1951.
• GEACH, P. "Wittgenstein's Operator N". Analysis, vol.41, no.4, p.168-171. Oxford University Press, 1981.
• GOLDFARB, W. "Logic in the Twenties: The Nature of the Quantifier". The Journal of Symbolic Logic, vol.44, no. 3, p.351-368. Association for Symbolic Logic, 1979.
• HATCHER, W. Foundations Of Mathematics. Saunders Company, 1968.
• HYLTON, P. "Propositions, Functions and Analysis", p.138-152. Oxford, 2008.
• LANDINI, G. "Wittgenstein's Apprenticeship with Russell", p.134-146. Cambridge, 2007.
• WITTGENSTEIN, L. Tractatus Logico-Philosophicus. Repr. 1994. Editora USP, 1918.

• 25
  CDD: 160
• 1
  O escopo do presente artigo se limita à recursão primitiva, e não à totalidade das funções computáveis, por essas últimas permitirem a construção do que poderiam ser chamadas de 'pseudoproposições indecidíveis', no contexto do período intermediário de Wittgenstein. Isso, no entanto, não tira o interesse de uma eventual avaliação da possibilidade de obtenção ou não de um correspondente para a μ-recursão não limitada na notação do Tractatus.
• 2
  Dada uma proposição fa, por exemplo, o procedimento permite obter fx ao tornar a constante a variável. Assim, fx reflete a sintaxe dos nomes que podem assumir a posição de x nesse esquema. Essa deve ser considerada uma utilização do método T3.315 em lógica aplicada, portanto, por servir a expressar a sintaxe de sinais particulares. No entanto, ao tornar mesmo a constante f variável, obtemos φx, a qual indica a estrutura em argumento-função de proposições elementares quaisquer - e de onde a forma argumento-função ser parte da sintaxe lógica (sendo esse já um resultado em lógica pura). Naturalmente, proposições elementares poderiam ter outras posições de argumento além de x, o que implica nessas eventuais posições deverem ser consideradas subentendidas na variável φ, nesse exemplo.
• 3
  Na notação apresentada por (Hatcher, 1968, p.10), o traço de Sheffer é o dual da operação N.
• 4
  A ideografia não se resume a esse conjunto de fórmulas, mas envolve ainda, por exemplo, a utilização de sinais distintos para símbolos distintos (e, conseqüentemente, nomes distintos para objetos distintos): "3.325 Para evitar esses equívocos, devemos empregar uma notação que os exclua, não empregando o mesmo sinal em símbolos diferentes e não empregando superficialmente da mesma maneira sinais que designem de maneiras diferentes. Uma notação, portanto, que obedeça à gramática lógica - à sintaxe lógica".
• 5
  Fogelin, 1987, p.78-9.
• 6
  Geach, 1981, p. 169. Algo do tipo, no entanto, inviabiliza a distinção clara entre generalização e operações lógicas pretendida por Wittgenstein, visto que o uso de índices em N para indicar a variável à qual o operador se aplica torna difusa essa distinção: "5.521 Separo o conceito todo da função de verdade. Frege e Russell introduziram a generalidade em conexão com o produto lógico ou a soma lógica. Assim, tornou-se difícil entender as proposições (∃x)fx e (x)fx, em que estão encerradas ambas as ideias". A esse respeito, ver nota 14, onde é discutida a oposição apresentada por Cuter entre operações seletivas e operações construtivas. A totalização de um conjunto de sinais proposicionais seria realizada por operações formais seletivas, em contraste com operações lógicas, construtivas. A respeito do problema da múltipla quantificação em Wittgenstein, Landini apresenta uma solução aparentemente mais adequada em (Landini, 2007, p.134-146).
• 7
  Wittgenstein aceita a possibilidade de infinitos objetos no Tractatus e, portanto, de infinitas proposições elementares, em T4.2211, sobre as quais podemos aplicar operações lógicas. Por outro lado, ele restringe o número de aplicações reiteradas de operações lógicas a uma quantidade finita (T5.32).
• 8
  É por meio do sinal T5.24) - algo que se vê claramente em mostra, no próprio sinal ideográfico T6.01, aquilo que aparentemente é 'dito' de maneira metalógica, e portanto nonsense, em T5.24.

  e o do resultado

  em cada iteração. Com isso Wittgenstein

  . Por outro lado, esse sinal refletiria ainda que "a operação dá expressão à diferença das formas" (T5.24) - algo que se manifesta na diferença entre os sinais da base

  em

  que Wittgenstein pretende expressar, de maneira perspícua em sua ideografia, que "o que é comum às bases e ao resultado da operação são precisamente as bases" (

  figurar tanto na primeira quanto na segunda posição de
• 9
  Poderíamos tentar considerar ainda que a fixação de r ~s ~t), a segunda em ~(~r ~s ~t) e a terceira em ~(~r ~s ~t).~(~r ~s ~t), uma contradição, o que igualmente é inaceitável por não permitir levar a série adiante na geração de todas as possíveis proposições moleculares baseadas em r, s e t.

  reúne todas as proposições geradas até então na série. Nesse caso, a primeira aplicação resulta em (~
• 10
  Sobre o que se pretende por ramificação, aqui e no que segue, tomem-se as seguintes duas séries de sinais (a, b, c, d, e, f,...) e (a, b, c, w, x, y,...). Elas podem ser tomadas como sendo uma só série, que se ramifica, ou bifurca, no ponto c. As duas ramificações obtidas nesse caso correspondem a duas fixações distintas de ξ na quarta iteração de N.
• 11
  Supondo a fixação de valores em cada passo sendo realizada pela aplicação de operações formais de seleção (ver nota 14), caso haja uma função proposicional fx com infinitos possíveis valores de argumento, devemos ter operações suficientes para selecionar 2^N subconjuntos dentre o total das possíveis proposições formadas com esses nomes; o que demanda uma quantidade de operações necessárias de cardinalidade superior à dos números naturais. Essa linha de raciocínio pode ser útil para interpretar a posterior rejeição da possibilidade de infinitos argumentos em funções proposicionais por parte de Wittgenstein.
• 12
  "6.002 Dada a forma geral como uma proposição é construída, com isso já está dada também a forma geral como a partir de uma proposição e por meio de uma operação, uma outra pode ser gerada."
• 13
  (Frascolla, 1994, p.8-9) associa o apóstrofo ao uso desse mesmo sinal por Russell em funções descritivas. Em Russell, dada uma relação aRb, temos que (aR)'=b. No entanto, nesse caso o apóstrofo se aplica sobre uma expressão incompleta, (aR), tendo por resultado um nome, b, enquanto aqui ele se aplica sobre um conjunto de sinais proposicionais, tendo por resultado uma proposição. O uso do apóstrofo proposto por Russell em descrições definidas equivale a um caso particular de aplicação de uma operação formal no contexto do Tractatus, ao passo que, na introdução da Forma Geral da Operação, acima, Wittgenstein lida com operações lógicas (ver nota 14). O uso do apóstrofo pode ser interpretado de maneira idêntica em ambos os casos.
• 14
  Operações formais de seleção devem ser entendidas em contraste com operações lógicas, ou de construção (Cuter, 2005, p.69): "A construção de proposições complexas a partir de proposições simples é sempre um processo duplo. Primeiro, uma seleção é realizada por um dos três procedimentos em T5.501. Em segundo, a operação N é aplicada às proposições selecionadas." (itálico meu). É à distinção entre operações formais e operações lógicas a que Wittgenstein se refere em T5.521: "Separo o conceito todo da função de verdade". As primeiras permitiriam realizar totalizações de conjuntos de sinais proposicionais, ao passo que as últimas tão somente aplicariam operações verdade sobre esses totais, projetando seus sinais proposicionais de acordo com as condições de verdade da proposição molecular assim composta. A distinção entre operações formais de totalização e operações lógicas de construção é o que permitiria evitar a definição de um "conjunto de todos os conjuntos que não pertencem a si mesmos", no paradoxo de Russell.
• 15
  Ao tornar uma variável a base de proposições elementares operações podem ser aplicadas a partir de qualquer ponto da série de proposições, assim como séries podem se iniciar em qualquer ponto da série de proposições.

  , temos que
• 16
  Entendendo séries lógicas, geradas por operações lógicas, em contraste com séries formais, geradas por operações formais.
• 17
  Novos problemas se apresentam com essa observação, visto operações deverem se aplicar a sinais quaisquer, e não apenas a nomes ou proposições. A mesma dificuldade ocorre com o uso do termo x em [x, ξ, Ω' ξ ], tendo em vista que ao longo do livro x é uma variável para nomes, ao passo que operações lógicas apenas se aplicam a proposições. Por razões como essas talvez não seja possível encontrar coerência completa na notação do Tractatus, mas tão somente buscar preencher as lacunas deixadas pelas indicações feitas no livro, como tentado aqui.
• 18
  Toda operação lógica deve ser considerada uma operação formal, no sentido de que também realiza transformações de sinais, ainda que o contrário não se dê. Sendo assim, operações lógicas fazem parte do escopo da lógica pura, ao passo que operações apenas formais como as que refletem a sintaxe dos nomes dizem respeito à lógica plicada (operações formais referentes à sintaxe dos nomes são tais que geram, a partir de fx, a expressão fa, por exemplo).
• 19
  "4.461 Tautologia e contradição não são, porém, contrassensos; pertencem ao simbolismo, analogamente à maneira, na verdade, como o "0" pertence ao simbolismo da aritmética."; "6.121 As proposições da lógica demonstram as propriedades lógicas das proposições, ao ligá-las em proposições que não dizem nada. Esse método poderia também chamar-se um método-zero.". Assim como operações lógicas podem se anular em uma tautologia, equações matemáticas sempre podem ser escritas como uma identidade a zero.
• 20
  A matemática entendida como recurso linguístico descartável no resultado de uma análise completa das proposições é recorrente em leituras logicistas do Tractatus. Certamente podemos realizar transformações com operações sem nos valermos de números, mas o resultado dessas transformações necessariamente se encontra de acordo com o obtido por vias numéricas. Equações matemáticas não são assim consequências acidentais de nossas transformações com sinais, mas a expressão de um aspecto essencial a elas.
• 21
  Assim como certamente há interesse na aproximação com os formalismos do lambda-calculus e o de gramáticas gerativas, dada a concepção algorítmica de linguagem do filósofo.
• 22
  O contexto no que segue deverá deixar claro se o termo "operação" é utilizado na acepção do Tractatus ou se na da teoria da recursão.
• 23
  Assim, é possível obter todos os subconjuntos de um conjunto de argumentos utilizando a composição Cn[f,g] = h(x1,...,xn = f(g1 (x1,...,xn),...,gm(x1,...xn)), onde g1 a gm são funções projeção idin distintas entre si e m≤n. Fazendo m variar de 0 a n, temos uma estrutura recursiva que permite tomar como argumento de f qualquer dos subconjuntos de x1,...,xn.
• 24
  (Boolos, 1989, p.76), ou de maneira alternativa, sum=Pr[id,Cn[s,id33]](x1,x2,x3) e prod=Pr[z,Cn[sum,id13,id33]](x1,x2,x3) (idem).

Datas de Publicação

• Publicação nesta coleção
  29 Set 2016
• Data do Fascículo
  Apr-Jun 2016

Histórico

• Recebido
  17 Maio 2016
• Revisado
  16 Ago 2016
• Aceito
  26 Ago 2016