Revista Brasileira de Histria da Matemtica - Vol. 8 no 16 (outubro/2008 -maro/2009 - pg.123-141 Prefcio ao Begriffsschrift (1879) )de Gottlob Frege...

Publicao Oficial da Sociedade Brasileira de Histria da Matemtica ISSN 1519-955X

PREFCIO AO BEGRIFFSSCHRIFT (1879) DE GOTTLOB FREGE (1848-1925):

TRADUO E INTRODUO AO TEXTO
1

Fernando Raul Neto UFPE - Brasil (aceito para publicao em maio de 2008) Resumo O objetivo deste artigo trazer para o leitor brasileiro a traduo do prefcio ao livro Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (1789) escrito pelo prprio autor, o lgico e filsofo alemo Friedrich Ludwig Gottlob Frege (1848-1925). O livro um marco na histria da lgica e a traduo ser de utilidade tanto para os matemticos, quanto para lgicos e filsofos interessados no tema da fundamentao da matemtica. Uma breve introduo ao texto apresentada para situ-lo em sua poca e na histria subseqente da lgica e da filosofia. Palavras-chaves: Frege. Begriffsschrift. Lgica. Fundamentos da matemtica. Abstract The goal of this paper is to bring to the brazilians the translation of the preface to the book Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (1789) written by his author, the german logician Friedrich Ludwig Gottlob Frege (18481925). The book is a keystone in the history of logic and the translation will be useful both to the mathematicians and to the logicians and philosophers interested at the foundations of mathematics. A short introduction is presented to situate the text at the time and at the future history of logic and philosophy. Keywords: Frege. Begriffsschrift. Logic. Foundations of mathematics. O Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens foi publicado em 1879 na cidade de Halle, na Alemanha. Seu autor, Friedrich Ludwig Gottlob Frege, ento com 31 anos de idade, havia estudado matemtica em Jena
1

Agradecemos a Capes, que forneceu o apoio financeiro, e a UFPE que nos liberou no perodo 2007/8 para um Programa de Ps-doutorado na Philosophisches Fakultt da Universidade de Gttingen na Alemanha sob a superviso do Prof. Dr. Wolfgang Carl.

RBHM, Vol. 8, no 16, p. 123-141, 2008

123

Fernando Raul Neto

(1869-1871) e em Gttingen (1871-1873). Frege ingressa como professor na Faculdade de Matemtica da Universidade de Jena em 1874 onde permanece at 1917 quando se aposenta. Uma possvel traduo para o ttulo do livro, a que adotamos, Ideografia, uma linguagem por frmulas do pensamento puro modelada pela da Aritmtica. No entanto, Ideografia no ainda o termo estabelecido no Brasil para Begriffsschrift, temos como alternativa Conceitografia.2 A expresso Begriffsschrift, tomada ao p da letra, significaria algo como escrita conceitual ou notao conceitual, e Frege a utiliza tanto para referir-se ao sistema simblico e artificial que ele criou como tambm para referir-se ao livro no qual essa escrita introduzida. O objetivo de Frege no livro Begriffsschrift seria dessa forma a criao de uma linguagem, a Begriffsschrift.3 no Begriffsschrift que Frege apresenta as linhas gerais do que viria a ser conhecido mais tarde, j depois de Bertrand Russell, como projeto logicista, o projeto de fundamentao da aritmtica em bases puramente lgicas. Fundamentar ou reduzir a aritmtica lgica significa mostrar que i) os conceitos da aritmtica podem ser reduzidos a conceitos lgicos; ii) as proposies da aritmtica podem ser reduzidas a proposies lgicas; trata-se, enfim, de eliminar qualquer diferena entre aritmtica e lgica: aritmtica lgica e lgica aritmtica. A esse projeto Frege dedicaria toda a sua vida, e toda a sua produo subseqente4 est vinculada ao projeto, sejam os livros e os artigos ou as dezenas de resenhas cientficas que ele costumava escrever. Uma vinculao direta no caso dos textos nos quais ele trata de refinamentos tericos ou do prprio desenvolvimento do projeto ou vinculao indireta ao refletir em seus escritos a concepo de filosofia da matemtica presente no seu projeto. Mas antes da publicao do Begriffsschrift, que foi seu primeiro livro, Frege j havia escrito seis trabalhos: 1873: Ueber eine geometrische Darstellung der imaginren Gebilde in der Ebene. 1874: Rechnungsmethoden, die sich auf eine Erweiterung des Grenbegriffes grnden. 1874: Rezension von H. Seeger, die Elemente der Arithmetik, fr den Schulunterricht bearbeitet. 1876: Rezension von A. v. Gall und Ed. Winter, die analytische Geometrie des Punktes und der Geraden und ihre Anwendung auf Aufgaben. 1876: Rezension von J. Thomae, Sammlung von Formeln welche bei Anwendung der elliptischen und Rosenhain'schen Funktionen gebraucht werden.

Utilizada por Luiz Henrique Lopes dos Santos em sua traduo brasileira do artigo de Frege ber die wissenschaftliche Berechtigung einer Begriffsschrift como Sobre a justificao cientfica de uma conceitografia. Cf. Frege 1980b. 3 Manteremos nesta introduo o termo alemo sem traduo, mas com a conveno usual de distinguir o texto da notao conceitual pelos artigos "o" e "a", ou outros termos designativos do masculino e feminino, como "seu", "sua". Assim o Begriffsschrift refere-se ao texto, a Begriffsschrift refere-se notao conceitual. 4 Alm do Begriffsschrift, Frege publica mais trs livros, o Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung ber den Begriff der Zahl (1884) e os dois volumes do Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet (Vol. I, 1893 e Vol. II, 1903). Dos artigos de Frege merecem destaque os trs dos anos 90: Funktion und Begriff (1891), ber Sinn und Bedeutung (1892) e ber Begriff und Gegenstand (1892). Em portugus: Os fundamentos da aritmtica: um exame lgico-matemtico sobre o conceito de nmero (1884), Leis bsicas da aritmtica: deduzidas pela Begriffsschrift (1893/1903), Funo e conceito (1891), Sobre o sentido e a referncia (1892) e Sobre o conceito e objeto (1892).

124

RBHM, Vol. 8, no 16, p. 123-141, 2008

Prefcio ao Begriffsschrift (1879) de Gottlob Frege...

1878: ber eine Weise, die Gestalt eines Dreiecks als complexe Grsse aufzufassen.5 O primeiro e o segundo so a sua tese de doutorado e a sua Habilitationsschrift, respectivamente, depois Frege publica trs resenhas de livros e um artigo. So quatro trabalhos sobre geometria (1873, 1874, 1876 e 1878), um sobre funes elpticas (1876) e apenas um sobre aritmtica, a resenha que ele fez em 1874 para o livro de aritmtica de Seeger. Nenhum deles trata explcita e abertamente do tema que ele iria desenvolver no Begriffsschrift, a fundamentao rigorosa da aritmtica, embora todos eles revelem a preocupao de Frege com o rigor conceitual caracterstico de toda a sua obra. No Begriffsschrift Frege objetiva quatro pontos: i) mostrar que os instrumentos ento disposio dos matemticos eram insuficientes para levar adiante o projeto logicista; ii) fornecer os instrumentos para desenvolver o projeto; iii) esboar as linhas gerais da concepo do projeto; iv) exemplificar a execuo do projeto. Esses quatro objetivos de Frege esto apresentados nos quatro blocos do livro: o Prefcio e as suas trs partes: I. Explicao dos smbolos, II. Representao e deduo de alguns juzos do pensamento puro e III. Alguns elementos de uma teoria geral das seqncias. Os objetivos i) e iii) so discutidos no Prefcio, ii) nas partes I e II e o objetivo iv) na parte III. claro que esses quatro objetivos de Frege no poderiam estar igualmente contemplados e desenvolvidos no Begriffsschrift, um pequeno livro de oitenta e oito pginas. De fato, embora Frege apresente e discuta no Begriffsschrift os quatro pontos acima, a grande marca do texto a criao do instrumento tcnico necessrio para executar o projeto logicista. Esse instrumento tcnico a lgica, o Begriffsschrift um livro de lgica. Um ponto de partida para julgarmos a importncia desse texto olharmos como alguns lgicos e filsofos o situam na histria. Comecemos pelo americano William van Orman Quine (1908-2000), um dos mais importantes e respeitados lgico e filsofo do sculo XX. Para ele a lgica somente agora emerge de um renascimento tal qual a fsica emergiu sculos atrs. Precisamente, o renascimento lgico pode ser identificado com a publicao do Begriffsschrift de Frege em 1879 um livro que no hoje mais antigo do que era o De revolutionibus de Copernicus no apogeu de Galileu.6 O frade dominicano polons Joseph Maria Bocheski (1902-1995), um enciclopedista da histria da lgica,7 aps descrever e discutir as obras de vrios lgicos, comenta que entre todos esses lgicos Gottlob Frege merece um local destacado. Seu Begriffsschrift somente pode ser comparado com outra obra em toda a histria da lgica, os Primeiros Analticos de Aristteles. As duas obras no podem ser colocadas em um mesmo nvel, porque Aristteles foi o fundador da lgica, enquanto que Frege, como conseqncia, podia apenas desenvolve-la.8 William (19051990) e Martha Kneale escrevem no O Desenvolvimento da Lgica, um dos livros de
Em portugus: Sobre uma representao geomtrica da formas imaginrias no plano (1873); Mtodos de clculo fundamentados na ampliao do conceito de grandeza (1874); Resenha de H. Seeger (1874), Os Elementos da aritmtica (1874); Resenha de A. v. Gall e Ed. Winter, Geometria analtica do ponto e da reta, aplicaes em exerccios (1876); Resenha de J. Thomae, Coleo de frmulas utilizadas na aplicao das funes elpticas e de Rosenhain (1876); Sobre uma maneira de conceber a forma de um tringulo como grandeza complexa (1878). 6 Quine, Preface to J. T. Clark, in Clark 1952, p. v. 7 Alguns ttulos de Bochnski sobre lgica: De cognitione Exist (1936), Elementa logicae Graecae (1937), Nove Lezione di Logica Symbiolica (1938), La logique de Thophraste (1947), Prcis de logique mathmatique (1949), Formale Logik (1956) e Grundri der Logistik (1954). 8 Bochnski 1970, p. 268.
5

RBHM, Vol. 8, no 16, p. 123-141, 2008

125

Fernando Raul Neto

histria da lgica mais citados no sculo XX, que o Begriffsschrift de Frege o primeiro sistema realmente extenso de lgica formal. [...] A obra de Frege [...] contm tudo o que essencial em lgica moderna e no injusto nem para os seus precursores nem para os seus sucessores, dizer que 1879 a data mais importante da nossa disciplina.9 Para compreendermos a correo dessas avaliaes de Quine, Bochnski e Kneale & Kneale e entendermos o alcance das novidades trazidas por Frege vejamos, em largas pinceladas, o estado da lgica na poca de Frege, nos atendo apenas aos aspectos tcnicos, e relevando os aspectos filosficos presentes, explcita ou implicitamente, em toda teoria lgica. Havia a consagrada e estabelecida silogstica, desenvolvida por Aristteles nos Primeiros analticos, que trata da validade dos silogismos categricos, i.e., dos silogismos nos quais as duas premissas e a concluso so proposies de um dos quatro tipos: A: Todo S P; E: Nenhum S P; I: Algum S P; O: Nenhum S P. Compete a uma teoria silogstica apresentar as razes pelas quais um argumento montado, por exemplo, na frmula Barbara: se todo M P e se todo S M, ento todo S P vlido enquanto que outro montado em: nenhum M P e se algum S M, ento algum S P no vlido. A validade dos silogismos era estabelecida por Aristteles em uma teoria axiomtica que utilizava exclusivamente critrios semnticos. Essa a lgica que ao final do sculo XVIII tanto entusiasmava Kant, e que ele dava como pronta e completa. No sculo XIX, a partir da Inglaterra, surgem vrios trabalhos que vo dar um novo impulso lgica. Esses trabalhos, de forma direta ou indireta, comerciam com os resultados advindos do desenvolvimento da lgebra que caminhava para a criao de lgebras abstratas, isto , estruturas formais composta de smbolos a priori no interpretados. O exemplo maior dessa difcil mudana para sistemas abstratos no interpretados o do ingls George Peacock que publica seu A Treatise on Algebra em dois volumes, o primeiro dedicado ainda a uma Arythmetical Algebra (1842) e o segundo, On Symbolical Algebra (1845), tratando de smbolos no interpretados. O ponto em comum dos lgicos ingleses, vrios deles tambm algebristas, era a criao de sistemas lgicos por imitao dos sistemas algbricos, isto , a criao de um clculo literal ou lgebra lgica. De longe o mais bem sucedido exemplo dessas tentativas a de George Boole (1815-1864) trazido em sua Mathematical Analysis of Logic (1847). De forma bem resumida, o objetivo de Boole era criar uma lgica matemtica por meio de sua lgebra de classes (as futuras lgebras booleanas) que consiste em um conjunto C de classes que inclui as classes vazia e universal e as duas operaes binrias de unio e interseo. Dentro desse clculo algbrico os smbolos podem ser interpretados para gerar ou uma lgica proposicional (lgica das proposies secundrias) ou, em outra interpretao, uma lgica de predicados mondicos (lgica das proposies primrias). Outro nome importante Augustus de Morgan (1806-1878) que apresenta suas idias acerca de uma lgica de relaes em uma srie de artigos nas Cambridge Philosophical Transactions (1846-62). Na Alemanha havia uma unanimidade e uma autoridade em lgica: Ernst Friedrich Wilhelm Karl Schrder (1841-1902) que publicara Der Operationskreis des Logikkalkls (1877), antes do Begriffsschrift de Frege e, posteriormente, suas Vorlesungen ber die Algebra der Logik, 3 Bnde, (18901895). Schrder tratou mais de sistematizar as contribuies dos lgicos ingleses.
9

Kneale & Kneale 1991, p. 515.

126

RBHM, Vol. 8, no 16, p. 123-141, 2008

Prefcio ao Begriffsschrift (1879) de Gottlob Frege...

Frege o maior lgico da histria da lgica, logo depois de Aristteles, e isso parece ser uma unanimidade entre os estudiosos. Mas isso ainda no tudo, existe ainda a sua relevncia para a filosofia. Dummett escreve que se Frege tivesse morrido em 1880 seu lugar na histria da filosofia, como o fundador da moderna lgica matemtica, estaria ainda assegurado. Mas do jeito que ocorreu a sua importncia foi bem maior do que isso.10 De fato, particularmente em seus artigos dos anos 90, e especificamente o ber Sinn und Bedeutung (Sobre o sentido e a referncia), Frege inscreve-se como o fundador da moderna filosofia da linguagem, e ao lado de Russell e Wittgenstein como um dos responsveis pela chamada virada lingstica na filosofia. Na histria do pensamento ocidental no encontramos muitos nomes que de forma relevante tenham contribudo tanto para a filosofia quanto para a matemtica, e que possuam o tamanho de um Plato, Aristteles, Descartes ou Leibniz, para ficarmos apenas em alguns nomes incontroversos. Frege entra nessa lista, mas no sculo XIX pagou um preo caro pela incluso. Como ele mesmo afirmou a natureza da sua investigao, a fundamentao da aritmtica, o levou necessariamente filosofia, e essa unio do tcnico-matemtico com o filosfico no parecia agradar nem ao matemtico, nem ao filsofo. Foi o caso, por exemplo, de Hermann Grassmann (1808-1877) que em sua Ausdehnungslehre de 1844 introduzia de forma precoce para a sua poca o clculo vetorial generalizado e os conceitos, utilizando outros nomes, de base, dimenso e dependncia e independncia linear, chaves para a matemtica do sculo XX. A tragdia de Grassmann que fala Dieudonn11 exatamente o no reconhecimento e a pequena recepo obtida pela sua obra na poca. E isto por conta do estilo filosfico de sua escrita matemtica. Frege sabia do risco da empreitada, pois ele prprio iria observar em 1892, no prefcio de sua opus maior, Grundgesetze der Arithmetik (Leis Bsicas da Aritmtica), que a recepo de suas idias filosficomatemticas no seria fcil uma vez que, por um lado, os matemticos iriam pensar: metaphysica sunt, non leguntur!, e, pelo outro, igualmente os filsofos pensariam: mathematica sunt, non leguntur! O preo que Frege pagou foi o no reconhecimento pelos contemporneos da revoluo que ele estava a empreender com a sua obra. Alm da pequena acolhida o equvoco da identificao da lgica de Frege com a lgebra lgica de Boole, como fizeram, por exemplo, John Venn na Inglaterra e Ernst Schrder na Alemanha.12 Frege sabia desse perigo, pois no prefcio do Begriffsschrift ele j alertava ao leitor que a modelagem de sua linguagem simblica pela linguagem da aritmtica, como ele indicava no ttulo, no deveria ser entendida como uma tentativa de produzir alguma similaridade artificial ao considerar um conceito como soma de suas caractersticas, marcando assim de sada sua distancia com a lgebra lgica. A sua linguagem por frmulas, ele esclarece, se aproxima daquela da aritmtica apenas na forma como as letras so utilizadas. Em vrios escritos Frege tenta mostrar as diferenas, hoje claras, entre a sua lgica e a lgica de Boole. O artigo Booles
10 11

Dummett 1973, p.665 Cf. Dieudonn 1979/80. 12 Cf. Review of Frege`s Conceptual Notation by John Venn, Mind, 5(1880), p.297; Review of Frege`s Conceptual Notation by E. Schrder, Zeitschrift fr Mathematik und Physik, 25(1880), pp. 81-94. Cf tambm Review of Frege`s Conceptual Notation by C. Th. Michaelis, Zeitschrift fr Vlkerpsychologie und Sprachwissenschaft, 12(1880), pp. 232-40 e Review of the Conceptual Notation by K. Lasswitz, Jenaer Literatur-Zeitung, 6(1879), pp.248-9.

RBHM, Vol. 8, no 16, p. 123-141, 2008

127

Fernando Raul Neto

rechnende Logik und die Begriffsschrift, escrito em 1880/81, foi enviado, sucessivamente, para o Zeitschrift fr Mathematik und Physik, o Mathematischen Annalen e o Zeitschrift fr Philosophie und philosophische Kritik, tendo sido recusado pelos respectivos editores, Otto Schlmilch, Felix Klein e H. Ulrici e permaneceu dessa forma indito.13 provvel que o manuscrito Booles logische Formelsprache und meine Begriffsschrift de 1882 tambm tenha sido recusado pela Vierteljahrschrift fr wissenssaftliche Philosophie.14 Mas Frege consegue publicar em 1882 o Ueber die wissenschaftliche Berechtigung einer Begriffsschrift (Sobre a justificao cientfica de uma conceitografia) no Zeitschrift fr Philosophie und philosophische Kritik. Lemos ento seu esclarecimento: "No era meu desejo apresentar uma lgica abstrata atravs de frmulas, mas exprimir um contedo mediante sinais escritos de maneira mais precisa e mais clara do que seria possvel atravs de palavras. Com efeito, desejava produzir, no um mero calculus raciocinator, mas uma lingua characteristica no sentido leibniziano; para tal realizao, reconheo, porm, que um clculo dedutivo uma parte necessria de uma ideografia. Se isto foi mal compreendido, talvez se deva ao fato de eu ter permitido que, no desenvolvimento de meu projeto, o aspecto lgico abstrato ocupasse demasiadamente o primeiro plano."15 Em 1902 Frege estava com 54 anos de idade e podemos imaginar o seu sentimento na poca. Havia uma obra filosfico-matemtica pronta, uma trilogia pronta, pois o segundo volume da terceira obra que a completava, o Grundgesetze der Arithmetik, estava no prelo, e nela Frege conclua a demonstrao de sua tese logicista de que a Aritmtica era redutvel Lgica, projeto que ele anunciara em 1879 em seu Begriffsschrift, a primeira obra de sua trilogia. Foram necessrios 23 anos para completar o projeto, durante os quais Frege teve de explic-lo, defend-lo e refin-lo. Podemos imaginar o sentimento de Frege na poca: nele estavam reunidas - podemos imaginar - a ambio pouco certa do filsofo e a certeza pouco ambiciosa do matemtico. Ele sabia do alcance de suas idias, sabia o quanto elas mudavam as concepes vigentes em filosofia e em lgica e ele - podemos imaginar o seu sentimento - havia acabado de demonstrar a verdade de suas idias. A certeza do matemtico - quod erat demonstrandum! autenticando a ambio do filsofo. Podemos imaginar o sentimento de Frege na poca: a obra que conclua o seu projeto de vida no prelo, e ele recebe de Bertrand Russell em junho de 1902 uma carta na qual apontada uma contradio em seu sistema: o Axioma V de seu sistema era antinmico. A questo problemtica, hoje conhecida por Paradoxo de Russell, pode, equivalentemente, ser assim refraseada. O conjunto de todos os conjuntos que no pertencem a si prprios pertence ou no a si prprio? Esta pergunta se deixa formular no sistema de Frege e irrespondvel. Frege publica o livro que estava na grfica, acrescentando a carta de Russell. Em 23 de novembro de 1962 Russell escreve a Heijenoort autorizando a publicao de sua carta de 1902 a Frege. O depoimento de Russell um dos mais vivos testemunhos do esprito cientfico de Frege. Deixo-o no original:
Dear Professor van Heijenoort, I should be most pleased if you would publish the correspondence between Frege and myself, and I am grateful to you for suggesting this. As I think about acts of integrity and grace, I
13 14

Frege 1969, p. 9. Frege 1969, p. 9. 15 Frege 1978, p. 142.

128

RBHM, Vol. 8, no 16, p. 123-141, 2008

Prefcio ao Begriffsschrift (1879) de Gottlob Frege... realize that there is nothing in my knowledge to compare with Freges dedication to truth. His entire lifes work was on the verge of completion, much of his work had been ignored to the benefit of men infinitely less capable, his second volume was about to be published, and upon finding that his fundamental assumption was in error, he responded with intellectual pleasure clearly submerging any feelings of personal disappointment. It was almost superhuman and a telling indication of that of which men are capable if their dedication is to creative work and knowledge instead of cruder efforts to dominate and be known. Yours sincerely, Bertrand Russell16

Pelo que expusemos deve ter ficado claro que o programa filosfico-matemtico de Frege bem mais ambicioso que a simples criao de um novo sistema de lgica. De modo que se faz necessrio tanto a clara separao entre o projeto logicista e a lgica que Frege cria para execut-lo, quanto examinar esta ltima como instrumento para o projeto. Somente dessa forma possvel perceber porque as lgicas existentes eram insuficientes para Frege, e entender as novidades introduzidas pela sua lgica. Talvez a motivao inicial de Frege na direo de seu projeto logicista tenha sido a falta de rigor nas demonstraes e nas definies matemticas, que ele acreditava ser a tnica dos livros que ele cuidadosamente examinava e resenhava. E ele inicia o prefacio de seu Begriffsschrift exatamente com o exame da deduo, do exame da cadeia de inferncias de uma prova matemtica. De fato, provar de maneira rigorosa e irrefutvel que a aritmtica redutvel lgica, exige de incio que se questione o prprio conceito de prova matemtica. Para Frege, a prova mais firme, a puramente lgica, a qual prescindindo das caractersticas particulares das coisas baseada exclusivamente nas leis que suportam todo o conhecimento, e para ele as verdades que exigem justificao ou so desse tipo, ou so deduzidas por meio de provas baseadas em fatos da experincia. Uma prova na aritmtica no pode incluir nada de intuitivo, nem conter lacunas na cadeia de inferncias. Frege escreve: Ao procurar atender esta exigncia da forma a mais rigorosa possvel, encontrei um obstculo na inadequao da linguagem; quanto mais pesadas eram as expresses surgidas, quanto mais complexas tornavam-se as relaes, menos se alcanava a preciso que o meu objetivo exigia. Desta necessidade surgiu a idia da presente ideografia. A lgica a ser criada tinha assim de ser capaz de representar tanto os contedos conceituais envolvidos em uma prova, quanto o prprio conceito de prova rigorosa. Essas duas exigncias no podiam ser conduzidas nos sistemas lgicos anteriores a Frege. A lgica de Boole, por exemplo, no podia representar uma prova matemtica que contivesse tanto proposies da lgica proposicional quanto da lgica de predicados, porque ela no possui os recursos para simbolizar simultaneamente os dois tipos de proposies. Menos ainda a de representar as funes matemticas de vrias variveis, pois lhe falta uma lgica de predicados n-dicos. Alm disso, a preocupao de Frege com a formalizao do conceito de prova rigorosa passa ao largo do simbolismo de Boole, pois ele nem apresentou uma estruturao axiomtica do seu sistema lgico, nem introduziu a diferenciao relativa entre leis lgicas e regras de inferncias. Resumamos17 os pontos que fazem da lgica de Frege, como apresentada no Begriffsschrift, um marco da disciplina e que, segundo Heijenoort, qualquer um deles seria suficiente pra assegurar ao livro um lugar permanente na biblioteca dos lgicos.18
16

Cf. Heijenoort 2000, p. 127.

RBHM, Vol. 8, no 16, p. 123-141, 2008

129

Fernando Raul Neto

Lgica proposicional com funes veritativas (tabelas-verdade). 1) Substituio da anlise de uma proposio em sujeito e predicado por funo e argumentos. 2) Lgica de predicados n-dicos. 3) Apresentao dos constituintes de um sistema lgico formal: a. Uma linguagem estruturada que possa representar pensamentos. b. Introduo de smbolos lgicos para as conexes proposicionais (no, e, ou, se..., ento..., se, e somente se...) e para as quantificaes universais e existenciais.19 c. Estabelecimento de axiomas ou verdades bsicas. d. Estabelecimento de regras de inferncia e da regra de substituio que dizem como uma proposio pode ser inferida de outras j estabelecidas, i.e., uma teoria da inferncia que permite que as dedues sejam conduzidas exclusivamente de acordo com a forma das expresses. Inseri nos textos da Introduo de Frege ao Begriffsschrift, tanto o da lngua original, quanto o da traduo, algarismos romanos entre colchetes para marcar os diversos pontos tratados por Frege. Os pontos so os seguintes: [I] Epistemologia e fundamentao, [II] O mtodo seguido para descobrir a natureza dos juzos da aritmtica; [III] Inadequao da linguagem natural. A razo da Ideografia. [IV] O nome Ideografia; [V] A analogia olho x microscpio; [VI] A comparao com Leibniz; [VII] Aplicaes da Ideografia. [VIII] A tarefa da filosofia; [IX] Lgica; [X] Observaes. Seguem algumas observaes sobre a traduo: 1) A traduo do original foi cotejada com a traduo inglesa de Jean van Heijenoort, publicada em From Frege to Gdel. A Source Book in Mathematical Logic, 1879-1931, e com a traduo francesa de Corine Besson, Idographie, Vrin, 2000. 2) Segui Heijenoort e Besson na escolha do termo Ideografia como traduo para Begriffsschrift.20 3) A palavra Beurtheilbarkeit, na grafia alem de hoje Beurteilbarkeit, que aparece no 2 do ndice na expresso Beurtheilbarkeit eines Inhalts, de difcil traduo. Besson escolhe Jugeabilit dum contenu, enquanto que Heijenoort refraseia para Possibility that a content become a judgement. Preferi um neologismo e traduzir para Judicabilidade de um contedo.

17

Utilizo aqui, livremente, os resumos de Franz von Kutschera e Jean Heihenoort. Cf. Kutschera [20], p.194-5 e Heihenoort 2000, p. 1. 18 Heijenoort 2000, p. 1. 19 Frege escolhe a negao e a condicional como conectivos primitivos no clculo proposicional, e quantificao universal como primitivo no clculo de predicados. 20 Heijenoort justifica sua escolha argumentando que o uso de Ideography por Philip E. B Jourdain, Cf. Jourdain 1912, em um artigo sobre o desenvolvimento histrico da lgica matemtica, teve a concordncia de Frege: In the translation below this term is rendered by ideography, a word used by Jourdain in a paper (1912) read and annotated by Frege; that Frege acquiesced in its use was the reason why ultimately it was adopted here. (Cf. Heijenoort 2000, p. 1). No percebi nenhuma meno de Frege, positiva ou negativa, ao uso da expresso. A falta de uma explcita recusa, suponho, levou Heijenoort sua hiptese.

130

RBHM, Vol. 8, no 16, p. 123-141, 2008

Prefcio ao Begriffsschrift (1879) de Gottlob Frege...

4) Traduzi Darstellungsweise, seguindo mode of presentation de Heijenoort, por modo de apresentao, ao invs da soluo de Besson que a traduz por mode de reprsentation, menos fiel ao esprito de Frege. 5) Grundgesetze traduzi por Lei bsica. Heijenoort usa Fundamental law e Besson Axiome. 6) No atualizei o texto de Frege para o alemo de hoje. Prefcio [I] A apreenso de uma verdade cientfica percorre normalmente vrios estgios de certeza. Conjeturada inicialmente, talvez, por meio de um nmero insuficiente de casos particulares, a proposio geral torna-se cada vez mais firmemente estabelecida ao ser conectada com outras verdades atravs de cadeias de inferncia, sejam porque conseqncias que dela so deduzidas encontram confirmao por outros meios, sejam porque, inversamente, reconhece-se que ela conseqncia de proposies j estabelecidas. Pode-se assim perguntar, por um lado, pelo caminho atravs do qual uma proposio gradualmente alcanada, e por outro, de qual forma ela pode finalmente ser estabelecida da maneira mais firme. A primeira pergunta provavelmente respondida de forma diferente pelas diferentes pessoas, a ltima mais definitiva e sua resposta est associada natureza interna da proposio considerada. A prova mais firme, obviamente, a puramente lgica, a qual prescindindo das caractersticas particulares das coisas baseia-se apenas nas leis que do origem a todo o conhecimento. Dessa maneira dividimos todas as verdades que exigem justificao em duas espcies, aquelas cujas provas podem ser conduzidas de forma puramente lgica, e aquelas cujas provas esto baseadas em fatos da experincia. Porm, perfeitamente compatvel que uma proposio pertena primeira espcie e, no entanto, jamais chegue conscincia de um esprito humano, a no ser pela atividade dos sentidos. Assim no a origem psicolgica, mas o mais perfeito mtodo de prova que est na base da diviso. [II] Quando eu coloco agora a questo de saber a qual dessas duas espcies pertencem os juzos aritmticos, teria primeiro de investigar at onde se poderia chegar na aritmtica apenas por meio de inferncias, apoiado exclusivamente nas leis do pensamento, as quais esto acima de todos os particulares. O curso que segui foi primeiro procurar reduzir o conceito de ordenao em uma seqncia ao de conseqncia lgica e deste progredir para o conceito de nmero. Para que nada intuitivo pudesse ser aqui introduzido de forma despercebida, tudo teria de depender da inexistncia de lacunas na cadeia de inferncias. [III] Ao procurar atender esta exigncia da forma a mais rigorosa possvel, encontrei um obstculo na inadequao da linguagem; quanto mais pesadas eram as expresses surgidas, quanto mais complexas tornavam-se as relaes, menos se alcanava a preciso que o meu objetivo exigia. Dessa necessidade surgiu a idia da presente ideografia. Ela serve assim primordialmente para testar da forma mais segura a validade de uma cadeia de inferncia e mostrar qualquer pressuposto que possa ser involuntariamente introduzido, de modo que a sua origem possa ser investigada. Por isto desiste-se de expressar qualquer
Como sem a percepo sensorial nenhum desenvolvimento mental possvel nos seres conhecidos por ns, isto vale para todos os juzos.

RBHM, Vol. 8, no 16, p. 123-141, 2008

131

Fernando Raul Neto

coisa que no tenha significado para a deduo. No 3 chamei de contedo conceitual o que apenas me interessa. Essa explicao deve ser sempre levada em conta, quando se deseja compreender corretamente a essncia da minha linguagem por frmulas. [IV] Da surgiu tambm o nome "ideografia". Como me limitei na poca expresso das relaes que so independentes das caractersticas particulares das coisas, pude tambm utilizar a expresso "linguagem por frmulas do pensamento puro". A modelao pela linguagem da aritmtica, que indiquei no ttulo, diz respeito mais s idias bsicas que aos detalhes de sua constituio. Qualquer tentativa de produzir alguma similaridade artificial ao considerar um conceito como soma de suas caractersticas est completamente fora de meu pensamento. O ponto de contato mais direto da minha linguagem por frmulas com aquela da aritmtica a forma como as letras so utilizadas. [V] Acredito poder clarear da melhor maneira a relao de minha ideografia com a linguagem cotidiana se a comparo com a que existe entre o microscpio e o olho. Este ltimo possui, pela amplitude de sua aplicao e pela mobilidade com que ele se adapta s diferentes circunstncias, uma grande superioridade sobre o microscpio. Considerado como um instrumento ptico, ele mostra evidentemente muitas imperfeies, que normalmente passam despercebidas por conta de sua ntima relao com a vida mental. Mas na medida em que os objetivos cientficos colocam grandes exigncias na preciso, o olho revela-se inadequado. O microscpio, ao contrrio, adapta-se perfeitamente a esses objetivos, mas exatamente porque intil para os demais. Da mesma forma esta ideografia inventada para determinados objetivos cientficos e no deve ser condenada por no servir para outros. Se ela de alguma forma atender a esses objetivos, ento a falta de novas verdades em meu trabalho pode ser relevada. Consola-me a conscincia de que um progresso no mtodo tambm avana a cincia. De fato, Bacon acredita ser mais vantajoso descobrir um mtodo pelo qual tudo possa ser facilmente encontrado, do que a descoberta de algo isolado e, realmente, todos os grandes avanos cientficos de nossa poca devem sua origem a uma melhoria do mtodo. [VI] Leibniz tambm reconheceu as vantagens de uma notao adequada, talvez at superestimado. Sua idia de uma caracterstica geral, de um calculus philosophicus ou ratiocinator, era muito grandiosa, para que a tentativa de execut-la pudesse avanar alm dos simples preliminares. O entusiasmo que tomou conta de seu criador, ao considerar o imenso aumento na capacidade mental da humanidade que surgiria de uma notao adequada s prprias coisas, levou-o a subestimar as dificuldades que tal empresa iria encontrar. Mas mesmo que este grande objetivo no possa ser alcanado de uma nica vez, no se deve duvidar de uma aproximao lenta e gradual. Se um problema em sua ampla generalidade parece insolvel, deve-se ento restringi-lo provisoriamente; ento, talvez, ele possa ser vencido por meio de ampliaes graduais. Podem-se considerar os sinais da aritmtica, geometria e qumica como realizaes da idia de Leibniz em campos particulares. A ideografia aqui proposta acrescenta a eles um novo, colocado exatamente no centro, adjacente a todos os demais. Partindo dela pode-se, com grande esperana de sucesso, preencher as lacunas das linguagens por frmulas existentes, reunir as regies at

Confira sobre esse assunto: Trendelenburg, Historische Beitrge zur Philosophie. Vol. 3.

132

RBHM, Vol. 8, no 16, p. 123-141, 2008

Prefcio ao Begriffsschrift (1879) de Gottlob Frege...

ento separadas em um nico domnio e estend-lo aos campos nos quais at ento tem faltado tal linguagem. [VII] Eu tenho plena convico que minha ideografia pode ser aplicada com sucesso onde se exija preciso na validade de uma prova, como na fundamentao do clculo diferencial e integral. Mais fcil ainda me parece estender o domnio dessa linguagem por frmulas geometria. Necessitaria apenas de acrescentar alguns smbolos para as relaes intuitivas j existentes. Obter-se-ia dessa maneira uma espcie de analysis situs. A transio para a teoria pura do movimento e da para a mecnica e a fsica poderia partir desse ponto. Estas ltimas reas, nas quais a necessidade natural se coloca por si mesma junto a necessidade racional, so as primeiras para as quais se pode prever um desenvolvimento ulterior da notao medida que o conhecimento progride. Contudo, no h razo para esperar at que seja descartada a possibilidade de tais transformaes. [VIII] Se uma tarefa da filosofia quebrar o poder da palavra sobre o esprito humano, ao desvelar os enganos que surgem freqente e inevitavelmente atravs do uso da linguagem na expresso das relaes entre os conceitos, ao libertar o pensamento daquilo que o prende unicamente natureza dos meios de expresso lingsticos, ento a minha ideografia ampliada para esses objetivos pode tornar-se uma ferramenta til para os filsofos. evidente que ela no pode reproduzir o pensamento em sua forma pura, o que no poderia ser diferente para um meio de representao externo; mas, por um lado, essas discrepncias podem ser limitadas ao inevitvel e ao inofensivo, e, pelo outro, o fato de que elas serem de uma espcie bem diferente daquelas tpicas da linguagem, j fornece uma proteo contra a possvel influncia unilateral de um determinado meio de expresso. [IX] A prpria inveno desta ideografia, me parece, faz avanar a lgica. Acredito que os lgicos, se eles no se retrarem com a primeira impresso de no familiaridade, no recusaro sua aprovao s novidades que fui levado por uma necessidade inerente a prpria matria. Esses desvios do tradicional encontram sua justificao no fato de que a lgica at agora ter sempre se aproximado bastante da linguagem e da gramtica. Em particular, acredito que a substituio dos conceitos sujeito e predicado por argumento e funo vai perdurar ao longo do tempo. fcil ver como a concepo de contedo como funo de um argumento opera na formao de conceito. Possa ainda merecer a ateno a prova das relaes entre os significados das palavras: se, e, no, ou, existe, todo, etc. [X] Em particular sejam ainda considerados os seguintes pontos. A restrio, no 6, a um nico modo de inferncia justificada pelo fato de que na apresentao dos fundamentos de tal ideografia os elementos primitivos devem ser tomados to simples quanto possvel, se clareza e ordem devem ser almejados. Isto no exclui que, depois, as passagens de vrios juzos para um novo, que so possveis com este nico modo de inferncia apenas de forma indireta, sejam convertidas em outras diretas para fins de abreviao. De fato, isto pode ser recomendvel em futuras aplicaes. Desta forma ento surgiriam outros modos de inferncia. Observei posteriormente que as frmulas (31) e (41) poderiam ser reunidas em uma nica

(
RBHM, Vol. 8, no 16, p. 123-141, 2008

a b)
133

Fernando Raul Neto

que torna possvel mais algumas simplificaes. Como observei no incio, a aritmtica foi o ponto de partida dos pensamentos que me conduziram a minha ideografia. Por isto intenciono primeiro aplic-la a esta cincia, procurando analisar detalhadamente seus conceitos e fundamentar de forma mais segura suas proposies. Na terceira parte apresento provisoriamente alguns dos resultados obtidos nessa direo. O prosseguimento ao longo da trajetria indicada, a elucidao do conceito de nmero, grandeza, etc., formaro o objeto de futuras investigaes, s quais me dedicarei aps este trabalho. Jena, 18 de dezembro de 1878. CONTEDO I. Explicao dos smbolos 1 Letras e outros sinais 2 3 4 5 6 7 8 9 10 O juzo Judicabilidade de um contedo. Barra de contedo, barra de juzo. Sujeito e predicado. Contedo conceitual. Juzos universais, particulares; negativos; categricos, hipotticos, disjuntivos; apodticos, assertricos, problemticos. A condicionalidade Se. Barra de condicional A inferncia. Os modos de inferncia aristotlicos. A negao Barra de negao. Ou, ou___ ou, e, mas, e no, nem___ nem A identidade de contedo Necessidade de um sinal para a identidade de contedo, introduo de tal sinal A funo Explicao das palavras "funo" e "argumento". Funes de vrios argumentos. Lugares dos argumentos. Sujeito, objeto Utilizao das letras como sinais de funes. "A tem a propriedade ". "B est na relao com A". "B o resultado de uma aplicao do procedimento ao objeto A". O sinal de funo como argumento A generalidade Letras gticas. A concavidade da barra de contedo. Substituio das letras gticas. Se domnio. Letras latinas. Existe coisas que no___. No existe nenhum___. Existem alguns___. Cada. Todos. Conexes causais. Nenhum. Alguns no. Alguns. possvel que___. Quadro das oposies lgicas.

11 12

II. Representao e deduo de alguns juzos do pensamento puro 13 Utilidade do modo dedutivo de apresentao 14 As primeiras duas leis fundamentais da condicionalidade 15 Algumas de suas conseqncias 16 A terceira lei fundamental da condicionalidade, conseqncias
134 RBHM, Vol. 8, no 16, p. 123-141, 2008

Prefcio ao Begriffsschrift (1879) de Gottlob Frege...

17 18 19 20 21 22

A primeira lei fundamental da negao, conseqncias A segunda lei fundamental da negao, conseqncias A terceira lei fundamental da negao, conseqncias A primeira lei fundamental da identidade de contedo, conseqncias A segunda lei fundamental da identidade de contedo, conseqncias A lei fundamental da generalidade, conseqncias

III. Alguns elementos de uma teoria geral das seqncias 23 Observaes introdutrias 24 Hereditariedade. Duplicao da barra de juzo. Letras gregas minsculas 25 Conseqncias 26 Sucesso em uma seqncia 27 Conseqncias 28 Outras conseqncias 29 "z pertence a f-seqncia comeando com x." Explicao e conseqncias 30 Outras conseqncias 31 Unicidade de um procedimento. Explicao e conseqncias Vorwort [I] Das Erkennen einer wissenschaftlichen Wahrheit durchluft in der Regel mehre Stufen der Sicherheit. Zuerst vielleicht aus einer ungengenden Zahl von Einzelfllen errathen, wird der allgemeine Satz nach und nach sicherer befestigt, indem er durch Schlussketten mit andern Wahrheiten Verbindung erhlt, sei es dass aus ihm Folgerungen abgeleitet werden, die auf andere Weise Besttigung finden, sei es dass er umgekehrt als Folge schon feststehender Stze erkannt wird. Es kann daher einerseits nach dem Wege gefragt werden, auf dem ein Satz allmhlich errungen wurde, andrerseits nach der Weise, wie er nun schliesslich am festesten zu begrnden ist. Erstere Frage muss mglicherweise in Bezug auf verschiedene Menschen verschieden beantwortet werden, letztere ist bestimmter, und ihre Beantwortung hngt mit dem innern Wesen des betrachteten Satzes zusammen. Die festeste Beweisfhrung ist offenbar die rein logische, welche, von der besondern Beschaffenheit der Dinge absehend, sich allein auf die Gesetze grndet, auf denen alle Erkenntnis beruht. Wir theilen danach alle Wahrheiten, die einer Begrndung bedrfen, in zwei Arten, indem der Beweis bei den einen rein logisch vorgehen kann, bei den andern sich auf Erfahrungsthatsachen sttzen muss. Es ist aber wohl vereinbar, dass ein Satz zu der ersteren Art gehrt und doch ohne Sinnesthtigkeit nie in einem menschlichen Geiste zum Bewusstsein kommen knnte.) Also nicht die psychologische Entstehungsweise, sondern die vollkommenste Art der Beweisfhrung liegt der Eintheilung zu Grunde. [II] Indem ich mir nun die Frage vorlegte, zu welcher dieser beiden Arten die arithmetischen Urtheile gehrten, musste ich zunchst versuchen, wie weit man in der Arithmetik durch Schlsse
)

Da ohne Sinneswahrnehmung keine geistige Entwickelung bei den uns bekannten Wesen mglich ist, so gilt das Letztere von allem Urtheilen.

RBHM, Vol. 8, no 16, p. 123-141, 2008

135

Fernando Raul Neto

allein gelangen knnte, nur gesttzt auf die Gesetze des Denkens, die ber allen Besonderheiten erhaben sind. Der Gang war hierbei dieser, dass ich zuerst den Begriff der Anordnung in einer Reihe auf die logische Folge zurckzufhren suchte, um von hier aus zum Zahlbegriff fortzuschreiten. Damit sich hierbei nicht unbemerkt etwas Anschauliches eindrngen knnte, musste Alles auf die Lckenlosigkeit der Schlusskette ankommen. [III] Indem ich diese Forderung auf das strengste zu erfllen trachtete, fand ich ein Hindernis in der Unzulnglichkeit der Sprache, die bei aller entstehenden Schwerflligkeit des Ausdruckes doch, je verwickelter die Beziehungen wurden, desto weniger die Genauigkeit erreichen liess, welche mein Zweck verlangte. Aus diesem Bedrfnisse ging der Gedanke der vorliegenden Begriffsschrift hervor. Sie soll also zunchst dazu dienen, die Bndigkeit einer Schlusskette auf die sicherste Weise zu prfen und jede Voraussetzung, die sich unbemerkt einschleichen will, anzuzeigen, damit letztere auf ihren Ursprung untersucht werden knne. Deshalb ist auf den Ausdruck alles dessen verzichtet worden, was fr die Schlussfolge ohne Bedeutung ist. Ich habe das, worauf allein es mir ankam, in 3 als begrifflichen Inhalt bezeichnet. Diese Erklrung muss daher immer im Sinne behalten werden, wenn man das Wesen meiner Formelsprache richtig auffassen will. [IV] Hieraus ergab sich auch der Name Begriffsschrift. Da ich mich frs erste auf den Ausdruck solcher Beziehungen beschrnkt habe, die von der besonderen Beschaffenheit der Dinge unabhngig sind, so konnte ich auch den Ausdruck Formelsprache des reinen Denkens gebrauchen. Die Nachbildung der arithmetischen Formelsprache, die ich auf dem Titel angedeutet habe, bezieht sich mehr auf die Grundgedanken als die Einzelgestaltung. Jene Bestrebungen, durch Auffassung des Begriffs als Summe seiner Merkmale eine knstliche Aehnlichkeit herzustellen, haben mir dabei durchaus fern gelegen. Am unmittelbarsten berhrt sich meine Formelsprache mit der arithmetischen in der Verwendungsweise der Buchstaben. [V] Das Verhltnis meiner Begriffsschrift zu der Sprache des Lebens glaube ich am deutlichsten machen zu knnen, wenn ich es mit dem des Mikroskops zum Auge vergleiche. Das Letztere hat durch den Umfang seiner Anwendbarkeit, durch die Beweglichkeit, mit der es sich den verschiedensten Umstnden anzuschmiegen weiss, eine grosse Ueberlegenheit vor dem Mikroskop. Als optischer Apparat betrachtet, zeigt es freilich viele Unvollkommenheiten, die nur in Folge seiner innigen Verbindung mit dem geistigen Leben gewhnlich unbeachtet bleiben. Sobald aber wissenschaftliche Zwecke grosse Anforderungen an die Schrfe der Unterscheidung stellen, zeigt sich das Auge als ungengend. Das Mikroskop hingegen ist gerade solchen Zwecken auf das vollkommenste angepasst, aber eben dadurch fr alle andern unbrauchbar. So ist diese Begriffsschrift ein fr bestimmte wissenschaftliche Zwecke ersonnenes Hilfsmittel, das man nicht deshalb verurtheilen darf, weil es fr andere nichts taugt. Wenn sie diesen Zwecken einigermassen entspricht, so mge man immerhin neue Wahrheiten in meiner Schrift vermissen. Ich wrde mich darber mit dem Bewusstsein trsten, dass auch eine Weiterbildung der Methode die Wissenschaft frdert. Hlt es doch Baco fr vorzglicher ein Mittel zu erfinden, durch welches Alles leicht gefunden werden kann, als Einzelnes zu entdecken, und haben doch alle grossen wissenschaftlichen Fortschritte der neueren Zeit ihren Ursprung in einer Verbesserung der Methode gehabt.

136

RBHM, Vol. 8, no 16, p. 123-141, 2008

Prefcio ao Begriffsschrift (1879) de Gottlob Frege...

[VI] Auch Leibniz hat die Vortheile einer angemessenen Bezeichnungsweise erkannt, vielleicht berschtzt. Sein Gedanke einer allgemeinen Charakteristik, eines calculus philosophicus oder ratiocinator) war zu riesenhaft, als dass der Versuch ihn zu verwirklichen ber die blossen Vorbereitungen htte hinausgelangen knnen. Die Begeisterung, welche seinen Urheber bei der Erwgung ergriff, welch unermessliche Vermehrung der geistigen Kraft der Menschheit aus einer die Sachen selbst treffenden Bezeichnungsweise entspringen wrde, liess ihn die Schwierigkeiten zu gering schtzen, die einem solchen Unternehmen entgegenstehen. Wenn aber auch dies hohe Ziel mit Einem Anlaufe nicht erreicht werden kann, so braucht man doch an einer langsamen, schrittweisen Annherung nicht zu verzweifeln. Wenn eine Aufgabe in ihrer vollen Allgemeinheit unlsbar scheint, so beschrnke man sie vorlufig; dann wird vielleicht durch allmhliche Erweiterung ihre Bewltigung gelingen. Man kann in den arithmetischen, geometrischen, chemischen Zeichen Verwirklichungen des Leibnizischen Gedankens fr einzelne Gebiete sehen. Die hier vorgeschlagene Begriffsschrift fgt diesen ein neues hinzu und zwar das in der Mitte gelegene, welches allen andern benachbart ist. Von hier aus lsst sich daher mit der grssten Aussicht auf Erfolg eine Ausfllung der Lcken der bestehenden Formelsprachen, eine Verbindung ihrer bisher getrennten Gebiete zu dem Bereiche einer einzigen und eine Ausdehnung auf Gebiete ins Werk setzen, die bisher einer solchen ermangelten. [VII] Ich verspreche mir berall da eine erfolgreiche Anwendung meiner Begriffsschrift, wo ein besonderer Werth auf die Bndigkeit der Beweisfhrung gelegt werden muss, wie bei der Grundlegung der Differential und Integralrechnung. Noch leichter scheint es mir zu sein, das Gebiet dieser Formelsprache auf Geometrie auszudehnen. Es mssten nur fr die hier vorkommenden anschaulichen Verhltnisse noch einige Zeichen hinzugefgt werden. Auf diese Weise wrde man eine Art von analysis situs erhalten. Der Uebergang zu der reinen Bewegunslehre und weiter zur Mechanik und Physik mchte sich hier anschliessen. In den letzteren Gebieten, wo neben der Denknothwendigkeit die Naturnothwendigkeit sich geltend macht, ist am ehesten eine Weiterentwickelung der Bezeichnungsweise mit dem Fortschreiten der Erkenntnis vorauszusehen. Deshalb braucht man aber nicht zu warten, bis die Mglichkeit solcher Umformungen ausgeschlossen erscheint. [VIII] Wenn es eine Aufgabe der Philosophie ist, die Herrschaft des Wortes ber den menschlichen Geist zu brechen, indem sie die Tuschungen aufdeckt, die durch den Sprachgebrauch ber die Beziehungen der Begriffe oft fast unvermeidlich entstehen, indem sie den Gedanken von demjenigen befreit, womit ihn allein die Beschaffenheit des sprachlichen Ausdrucksmittels behaftet, so wird meine Begriffsschrift, fr diese Zwecke weiter ausgebildet, den Philosophen ein brauchbares Werkzeug werden knnen. Freilich giebt auch sie, wie es bei einem ussern Darstellungsmittel wohl nicht anders mglich ist, den Gedanken nicht rein wieder; aber einerseits kann man diese Abweichungen auf das Unvermeidliche und Unschdliche beschrnken, andrerseits ist schon dadurch, dass sie

Siehe hierber: Trendelenburg, Historische Beitrge zur Philosophie 3. Band.

RBHM, Vol. 8, no 16, p. 123-141, 2008

137

Fernando Raul Neto

ganz andrer Art sind als die der Sprache eigenthmlichen, ein Schutz gegen eine einseitige Beeinflussung durch eines dieser Ausdrucksmittel gegeben. [IX] Schon das Erfinden dieser Begriffsschrift hat die Logik, wie mir scheint, gefrdert. Ich hoffe, dass die Logiker, wenn sie sich durch den ersten Eindruck des Fremdartigen nicht zurckschrecken lassen, den Neuerungen, zu denen ich durch eine der Sache selbst innewohnende Nothwendigkeit getrieben wurde, ihre Zustimmung nicht verweigern werden. Diese Abweichungen vom Hergebrachten finden ihre Rechtfertigung darin, dass die Logik sich bisher immer noch zu eng an Sprache und Grammatik angeschlossen hat. Insbesondere glaube ich, dass die Ersetzung der Begriffe Subject und Praedicat durch Argument und Function sich auf die Dauer bewhren wird. Man erkennt leicht, wie die Auffassung eines Inhalts als Function eines Argumentes begriffbildend wirkt. Es mchte ferner der Nachweis des Zusammenhanges zwischen den Bedeutungen der Wrter: wenn, und, nicht, oder, es giebt, einige, alle u.s.w. Beachtung verdienen. [X] Im Besondern sei nur noch Folgendes erwhnt. Die in 6 ausgesprochene Beschrnkung auf eine einzige Schlussweise wird dadurch gerechtfertigt, dass bei der Grundlegung einer solchen Begriffsschrift die Urbestandtheile so einfach wie mglich genommen werden mssen, wenn Uebersichtlichkeit und Ordnung geschaffen werden sollen. Dies schliesst nicht aus, dass spter Uebergnge von mehren Urtheilen zu einem neuen, die bei dieser einzigen Schlussweise nur in mittelbarer Weise mglich sind, der Abkrzung wegen in unmittelbare verwandelt werden. In der That mchte sich dies bei einer sptern Anwendung empfehlen. Dadurch wrden dann weitere Schlussweisen entstehen. Nachtrglich habe ich bemerkt, dass die Formeln (31) und (41) in die einzige zusammengezogen werden knnen, wodurch noch einige Vereinfachungen mglich

a a)

werden. Die Arithmetik, wie ich im Anfange bemerkt habe, ist der Ausgangspunkt des Gedankenganges gewesen, der mich zu meiner Begriffsschrift geleitet hat. Auf diese Wissenschaft denke ich sie daher auch zuerst anzuwenden, indem ich ihre Begriffe weiter zu zergliedern und ihre Stze tiefer zu begrnden suche. Vorlufig habe ich im dritten Abschnitte einiges von dem mitgetheilt, was sich in dieser Richtung bewegt. Die weitere Verfolgung des angedeuteten Weges, die Beleuchtung der Begriffe der Zahl, der Grsse u.s.w. sollen den Gegenstand fernerer Untersuchungen bilden, mit denen ich unmittelbar nach dieser Schrift hervortreten werde. Jena, den 18. December 1878.

138

RBHM, Vol. 8, no 16, p. 123-141, 2008

Prefcio ao Begriffsschrift (1879) de Gottlob Frege...

Inhalt. I. Erklrung der Bezeichnungen. 1. Buchstaben und andere Zeichen 2. 3. 4. Das Urtheil. Beurtheilbarkeit eines Inhalts. Inhaltsstrich, Urtheilsstrich Subject und Prdicat. Begrifflicher Inhalt Allgemeine, besondere; verneinende; kategorische, hypothetische, disjunctive; apodiktische, assertorische, problematische Urtheile Die Bedingtheit. 5. Wenn. Bedingungsstrich 6. Der Schluss. Die Aristotelischen Schlussweisen Die Verneinung. 7. Verneinungsstrich. Oder, entweder___ oder, und, aber, und nicht, weder___ noch Die Inhaltsgleichheit. 8. Nothwendigkeit eines Zeichens fr die Inhaltsgleichheit, Einfhrung eines solchen Die Function. 9. Erklrung der Wrter "Function" und "Argument". Functionen mehrer Argumente. Argumentsstellen. Subject, Object. 10. Gebrauch der Buchstaben als Functionszeichen. "A hat die Eigenschaft ." "B steht in der -Beziehung zu A." "B ist Ergebnis einer Anwendung des Verfahrens auf den Gegenstand A." Das Functionszeichen als Argument Die Allgemeinheit. 11. Deutsche Buchstaben. Die Hhlung des Inhaltsstriches. Ersetzbarkeit der deutschen Buchstaben. Gebiet derselben. Lateinische Buchstaben 12 Es giebt einige Dinge, die nicht___. Es gibt kein___. Es giebt einige___. Jedes. Alle. Urschliche Zusammenhnge. Kein. Einige nicht. Einige. Es ist mglich, dass___. Tafel der logischen Gegenstze II. Darstellung und Ableitung einiger Urtheile des reinen Denkens. 13. Nutzen der ableitenden Darstellungsweise 14. Die ersten beiden Grundgesetze der Bedingtheit 15. Folgerungen aus ihnen 16. Das dritte Grundgesetz der Bedingtheit und Folgerungen 17. Das erste Grundgesetz der Verneinung und Folgerungen 18. Das zweite Grundgesetz der Verneinung und Folgerungen 19. Das dritte Grundgesetz der Verneinung und Folgerungen 20. Das erste Grundgesetz der Inhaltsgleichheit und Folgerung 21. Das zweite Grundgesetz der Inhaltsgleichheit und Folgerungen 22. Das Grundgesetz der Allgemeinheit und Folgerungen III. Einiges aus einer allgemeinen Reihenlehre. 23. Einleitende Bemerkungen 24. Die Vererbung. Verdoppelung des Urtheilsstriches. Kleine griechische Buchstaben
RBHM, Vol. 8, no 16, p. 123-141, 2008 139

Fernando Raul Neto

25. 26. 27. 28. 29. 30. 31.

Folgerungen Das Aufeinanderfolgen in einer Reihe Folgerungen Weitere Folgerungen ,,z gehrt der mit x anfangenden f-Reihe an." Erklrung und Folgerungen Weitere Folgerungen Eindeutigkeit eines Verfahrens. Erklrung und Folgerungen.

Bibliografia Bochnski, Joseph Maria: A History of Formal Logic. Traduzido e editado por Ivo Thomas, New York: Chelsea Publishing Company, New York, 1970. Carl, Wolfgang: Frege's Theory of Sense and Reference. Its Origin and Scope. Cambridge University Press, 1994. Clark, J. T.: Conventional Logic and Modern Logic. a prelude to transition. Woodstock, Maryland: Woodstock College Press, 1952. Dieudonn, Jean: The Tragedy of Grassmann, Linear and Multilinear Algebra 8 (1) (1979/80), 1-14. Dummett, Michael: Frege: Philosophy of Language. Duckworth, 1973. Frege, Gottlob: Begriffsschrift und andere Aufstze. 5a reimpresso da 2a edio (1964). Com as observaes de E. Husserl e H. Scholz. Editado por Ignacio Angelelli. Georg Olms Verlag, Hildesheim, 1998. Frege, Gottlob: Funktion, Begriff, Bedeutung. Fnf logische Studien. Editado e introduzido por Gnther Patzig. Vandenhoeck & Ruprecht, Gttingen, 1986. Frege, Gottlob: Kleine Schriften. Editado por Ignacio AngeIelli. Wissenschaftliche Buchgesellschaft, Darmstadt, 1967 e G. Olms, Hildesheim, 1967. Frege, Gottlob: Lgica e Filosofia da Linguagem, com uma introduo de Paulo Alcoforado Cultrix/Edusp, So Paulo, 1978. Frege, Gottlob: Logische Untersuchungen. Editado e introduzido por Gnther Patzig. Vandenhoeck & Ruprecht, Gttingen, 1966. Frege, Gottlob: Nachgelassene Schriften. Unter Mitwirkung von Gottfried Gabriel und Walburga Rdding bearbeitet, eingeleitet und mit Anmerkungen versehen von Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach. Felix Meiner Verlag, Hamburg, 1969. Frege, Gottlob: Os fundamentos da aritmtica, com uma introduo de Luiz Henrique Lopes dos Santos in Peirce-Frege: Coleo Os Pensadores, Abril Cultural, So Paulo, 1980a.

140

RBHM, Vol. 8, no 16, p. 123-141, 2008

Prefcio ao Begriffsschrift (1879) de Gottlob Frege...

Frege, Gottlob: Sobre a justificao cientfica de uma conceitografia, traduo e introduo de Luiz Henrique Lopes dos Santos in Peirce-Frege: Coleo Os Pensadores, Abril Cultural, So Paulo, 1980b. Frege, Gottlob: Ueber die wissenschaftliche Berechtigung einer Begriffsschrift. Zeitschrift fr Philosophie und philosophische Kritik, LXXXI (1882), 48-56. Gasser, James (Ed.): A Boole Anthology. Recent and Classical Studies in the Logic of George Boole. Dordrecht: Kluwer, 2000. Grassman, Hermann: Die Ausdehnungslehre von 1844. Leipzig, Verlag von Otto Wigand. 1844. Heijenoort, Jean van (Ed.): From Frege to Gdel. A Source Book in Mathematical Logic, 1879-1931. ToExcel, 1967. Reimpresso 2000. Jourdain, Philip E. B.: The Development of the Theories of Mathematical Logic and the Principles of Mathematics, The Quarterly Journal of Pure and Applied Mathematics, Vol. XLIII, 1912, P. 219-314. Kneale, William; Kneale, Marta: O desenvolvimento da lgica. Trad. de M. S. Loureno. 3. ed. Lisboa: Fundao Calouste Gulbenkian, 1991. Kutschera, Franz von: Gottlob Frege, Eine Einfhrung in sein Werk. Walter de Gruyter, Berlin, New York, 1989. Neto, Fernando Raul: O Begriffsschrift de Frege. Studium Revista de Filosofia, Recife Pe., v. Ano 3, n.5-6, p.195-217, 2000. Peacock, George: A Treatise on Algebra, Vol. I, Arythmetical Algebra (1842). Vol. II, On Symbolical Algebra, and its Applications to the Geometry of Position. (1845) Reprint 1940, New York: Scripta Mathematica.

Fernando Raul Neto Universidade Federal de Pernambuco Departamento de Filosofia E-mail: feraneto@uol.com.br

RBHM, Vol. 8, no 16, p. 123-141, 2008

141