Você está na página 1de 22

SOFISMAS MATEMTICOS: A EXATIDO POSTA EM DVIDA

DIEGO DE SOUSA MARQUES


Graduando do 5 perodo do curso de Licenciatura em
Filosofia da Faculdade de Filosofia, Cincias e Letras
de Cajazeiras.

RESUMO
Este trabalho expor uma reflexo sobre a evidencia nas certezas ou axiomas
da cincia matemtica, apresentando desde logo os primeiros estudos sobre as
excees as suas regras. Pois, em alguns casos, devido linguagem com que
exposto um problema matemtico, este exigir uma resposta que com ela
concorde, caso contrrio, poderamos at encontrar uma resposta que fosse
vlida, mas, que nunca ser verdadeira ou justa, ou tambm proposies
totalmente contraditrias. evidente que estas so caractersticas da lgica, no
entanto, passaremos a analisar casos matemticos em que a lgica levar-nosia a concluses diferentes, justas e verdadeiras frente s concluses
matemticas, posto que pela construo defeituosa do problema, este se torna
ambguo, mas diante da exatido da matemtica, no se admite ambiguidades,
ou seja, uma das solues valida e verdadeira, enquanto que as demais
podem at serem vlidas, mas nunca verdadeiras. So os sofismas
matemticos, concernente a dvida perante a exatido dessa cincia.
PALAVRAS-CHAVE: Matemtica; Lgica; Sofismas.

INTRODUO
A lgica, de forma geral, fundamenta-se em regras. Evidentemente, no
se pode determinar algo, com certeza, sem submet-lo a ditames ou
pressupostos bsicos de verdade e validade. Isso porque, no suficiente
que, um dado pressuposto seja, simplesmente, verdadeiro para um
determinado caso, cabe a lgica evidenciar tambm sua validade para que
esta, possa, naturalmente, ser aplicada ou tomada como referencia para os
demais casos. Esse tipo de situao tipicamente comum das cincias em
geral, e principalmente, da matemtica, fsica ou qumica, ou seja, das
chamadas cincias exatas, que estabelecem limites, axiomas, pressupostos ou
regras, em tese, inalterveis, que jamais admitiria qualquer exceo. Diz-se em
tese porque, correntes ousadas de estudos lgicos, vm ao longo do tempo
demonstrando que no existem regras sem excees. E baseada, exatamente,
nessas linhas de pesquisas que desenvolveremos nosso trabalho.
Dessa forma, no podemos falar de lgica sem nos referirmos a ideia de
regras lgicas, mas o nosso estudo neste trabalho baseia-se, no nas regras,

mas nas excees, especificamente as excees as regras da evidencia


matemtica.
Ao nos referirmos a ideia de regras, no podemos deixar de evidenciar a
maior demonstrao de que uma regra no pode ser considerada absoluta, e
se assim o for, cabe a lgica demonstrar que a exceo que possa admitir, no
uma ideia de contradio, mas uma reafirmao da regra. Assim, temos a
mxima de que: Toda regra tem exceo. E se, uma regra no tiver uma
exceo, essa uma exceo de regra. Observamos que, inicialmente, com
uma regra, posta, tnhamos a certeza, no entanto, a partir do momento em que
se cogitou uma exceo, passou-se a existir a dvida quanto a sua certeza, e
logicamente, torna-se obscura a evidencia que at ento tnhamos. Isso
poderia aniquilar a certeza do pressuposto, uma vez que a exceo
representaria um pressuposto totalmente contraditrio. Mas, a lgica possui
caractersticas que as vezes, devido a disposio dos elementos, leva-nos a
uma concluso totalmente contrria a que se imaginava, a primeira vista,
chegar. o que ocorre, quando temos a certeza de que o termo no, gera a
ideia de negao, e que em qualquer caso que utilizarmos o no em dado
contexto, negaremos a orao. No entanto, atributos lgicos, leva-nos a
entender que, se utilizamos o termo no, em uma dada orao, mas
posteriormente, nesse mesmo contexto, utilizarmos outro no, estaramos
negando a negao, ou seja, estaramos afirmando. Por isso, que a prpria
exceo encontrada para uma dada regra, pode no subtender sua
contradio, mas uma afirmao da regra, uma vez que engloba at mesmo a
nica exceo a que se possa admitir.
Mas, e quando nos referimos a pressupostos de uma cincia exata,
como a matemtica? Nesses casos s nos resta a seguinte pergunta: foram
estabelecidos todos os pressupostos lgicos dessa cincia, ou seja, foram
exploradas todas as possibilidades imaginveis de refutabilidade desses
pressupostos? Saber isto fundamental, para chegarmos a concluso de que
algum pressuposto uma regra ou no, e se essa regra no admite realmente
exceo. Isso s seria possvel porque, inicialmente essas cincias tidas como
exatas utilizam-se, exatamente, de regras anteriormente positivadas, ou seja,
como ocorrem com os jogos, todos exigem suas prprias regras.
No desenvolvimento da cincia matemtica, a parte mais interessante
a que indica a forma de raciocnio que nos conduz verdade! Uma coleo de
fatos to longe est de ser uma cincia, como um monte de pedras de ser uma
casa. Posso afirmar, igualmente, que as combinaes sbias de fatos inexatos
ou de fatos que no foram verificados, ao menos em suas consequncias, se
acham to longe de formar uma cincia quanto a miragem de substituir, no
deserto, a presena real do osis. Deve a cincia observar fatos para deles
deduzir leis; com auxlio dessas leis, prever outros fatos e melhorar as
condies materiais da vida. Como, porm, deduzir a verdade? Apresenta-se,
pois, a seguinte dvida: possvel, em matemtica, tirar-se uma regra falsa de
uma propriedade verdadeira?

Nesse sentido, ao tratar da lgica da linguagem, o filsofo austraco


Ludwig Wittgenstein1 defende que a linguagem no seria um todo homogneo,
mas, sim, um aglomerado de "linguagens". Para esclarecer esse ponto,
Wittgenstein traa uma analogia entre a noo de linguagem e a noo de
jogo. Onde argumenta que h diversos tipos de jogos: jogos de tabuleiro, jogos
de cartas, competies esportivas, etc. Mas no h uma essncia dos jogos.
Um jogo de cartas apresenta semelhanas com os jogos de tabuleiros, mas
tambm muitas diferenas; se compararmos esses ltimos com os jogos de
bola, surgiro outras semelhanas e outras se perdero.
No Tractatus, todas as proposies necessariamente verdadeiras aquelas que no precisam ser confrontadas com a realidade para que se saiba
se so verdadeiras - so tautologias, isto , so combinaes de proposies
elementares cujo valor de verdade depende apenas das possveis
combinaes de valores de verdade dessas mesmas proposies
elementares2.
importante destacar aqui, o fato de que, um silogismo, da mesma
forma que uma estrutura operacional matemtica, podem ser formulados
exatamente com o objetivo de confundir o raciocnio do indivduo, para tanto,
basta que utilize-se o que denominamos de falsa induo matemtica. Ou seja,
a simples pr-disposio de nmeros podem levar o indivduo a chegar a uma
concluso, tal que apesar de esperada, no verdadeira e nem tampouco
vlida. Isso ocorre, porque alguns mecanismos da nossa mente, no so
aguados ao ponto de encontrar, principalmente, em estruturas muitos simples,
falhas ou erros grotescos. Em certos casos, mesmo no apresentando erro,
levam-nos a concluirmos com um resultado totalmente adverso.
1 Ludwig Joseph Johann Wittgenstein (1889 1951), filsofo austraco,
naturalizado britnico, foi um dos principais atores da virada lingustica na filosofia do
sculo XX. Suas principais contribuies foram feitas nos campos da lgica, filosofia
da linguagem, filosofia da matemtica e filosofia da mente. Muitos o consideram o
filsofo mais importante do sculo passado. O nico livro de filosofia que publicou em
vida, o Tractatus Logico-Philosophicus, de 1922, exerceu profunda influncia no
desenvolvimento do positivismo lgico. Mais tarde, as idias por ele formuladas a
partir de 1930 e difundidas em Cambridge e Oxford impulsionaram ainda outro
movimento filosfico, a chamada "filosofia da linguagem comum".
2 Assim, por exemplo, a proposio disjuntiva "p ou no-p" sempre ser verdadeira,
uma vez que para ser falsa necessrio que as duas proposies sejam falsas, mas quando p
falsa, no-p necessariamente verdadeira, e vice-versa. Essa proposio, assim como o
caso de todas as tautologias, construda de tal forma que independentemente dos valores
assumidos pelas proposies elementares a proposio complexa sempre ser verdadeira.
Contudo, o custo da necessidade lgica a vacuidade descritiva, ou seja, uma proposio
necessariamente verdadeira no diz nada sobre a realidade.No quadro geral desenhado pelo
Tractatus, temos, portanto, as seguintes proposies:
1) As proposies factuais: proposies contingentes que figuram os fatos; seus
valores de verdade (verdadeiro ou falso) dependem de uma confrontao com a realidade;
2) As tautologias: proposies complexas, necessariamente verdadeiras, mas
destitudas de contedo descritivo;
3) As contradies: proposies complexas, necessariamente falsas, e tambm
destitudas de qualquer contedo descritivo.

Portanto, nosso estudo apreciar algumas formulaes da matematica


lgica, em especial as que configuram dvidas s evidencias dessa cincia.
Mas, no estamos tentando demonstrar que a matemtica seja uma cincia
inexata, nem que seja, tampouco, uma cincia que levanos a falsas certezas.
Estaremos tentando dispor argumentos que provem ser manipulaves as
sentenas matematicos no s devido a certeza da sua cincia, mas tambem
devido ao agrupamento lgico de pressupostos capazes de confundir qualquer
concluso que deles se adquiram, inclusive matemticas, denominados de
sofismas ou falcias.
A FALSA INDUO MATEMTICA
Essa sem dvida uma das mais interessantes possibilidades de se
manipular um resultado ou uma concluso de um dado raciocnio matemtico.
No pelo fato de se chegar a confirmao do nosso raciocnio, que diga-se
de passagem, desejamos induzir, que estaremos diante da no exatido da
matemtica.
Aqui, nesse primeiro momento, apenas vamos exercitar o seu raciocnio
lgico matemtico, com uma simples operao de soma. Para tanto,
necessrio que se tenha total concentrao, mas apenas mentalmente, se
efetue a soma dos seguintes valores, em voz alta, para que se possa ouvir seu
prprio raciocnio:
1000
+40
+1000
+30
+1000
+20
+1000
+10
---------total X3
Naturalmente, o raciocnio lhes levou a um falso resultado. Isso
perfeitamente, normal, pois nos utilizamos de estruturas bsicas de matemtica
que induzem o raciocnio a este resultado. Isso pode ocorrer em muitas
situaes, devido a simplicidade da construo lgica.
De igual forma, ocorreria se, por exemplo, admitssemos que um
algebrista curioso desejasse determinar a raiz quadrada de um nmero de
quatro algarismos. Sabemos que a raiz quadrada de um nmero outro
nmero que, multiplicado por si mesmo, d um produto igual ao nmero dado.
Vamos supor, ainda, que o algebrista, tomando, livremente, trs nmeros
a seu gosto, destacasse os seguintes nmeros: 2025, 3025 e 9801: Iniciemos a
3 Muito provavelmente seu raciocnio lgico levou-o a concluir com um valor total
igual a 5000, no entanto, infelizmente, gostaramos de evidenciar que to simples
operao de soma, dever resultar exatamente em um valor total de 4100. Para
confirmar o resultado, indica-se que se faa o uso de um equipamento de calcular.

resoluo do problema pelo nmero 2025 Feitos os clculos para esse nmero,
o pesquisador acharia a raiz quadrada igual a 45. Com efeito: 45 vezes 45
igual a 2025. Ora, como se pode verificar, 45 obtido pela soma 20 + 25, que
so partes do nmero 2025 quando decomposto ao meio por um ponto, 20.25.
A mesma coisa o algebrista verificaria em relao ao nmero 3025, cuja
raiz quadrada 552. Convm notar que 55 a soma de 30 + 25, parte do
nmero 30.25. Idntica propriedade ainda verificada relativamente ao terceiro
nmero, 9 801, cuja raiz quadrada 99, isto , 98 + 01. Diante desses trs
casos, o desprevenido algebrista seria levado a enunciar a seguinte regra:
Para calcular-se a raiz quadrada de um nmero de quatro algarismos, dividese esse nmero, por um ponto, em duas classes, com dois algarismos cada
uma, somando-se as classes assim formadas. A soma obtida ser a raiz
quadrada do nmero dado4.
Essa regra, visivelmente errada, foi tirada de trs exemplos verdadeiros.
possvel, em matemtica, chegar-se verdade pela simples observao,
fazendo-se mister, entretanto, cuidados essenciais para evitar a falsa induo.
Logo, em se tratando de uma cincia exata como a matemtica, no
podemos, jamais concluir com segurana absoluta, por meio de uma lgica
indutiva, isso porque, apesar de um nmero suficiente de possibilidades serem
testadas para determinados casos, existir sempre a iminncia de haver uma
tal que possa exceder a regra posta. Uma vez acontecendo isso, a falha estar
estabelecida, a regra estar quebrada ou, simplesmente, reafirmada. Mas,
mister se faz que tambm essa exceo dever passar pelo mesmo crivo da
regra, para que no sejamos vitima do mesmo erro duas vezes, o da induo.

DOUTRINA DOS SOFISMAS OU FALCIAS

Aristteles foi um dos primeiros filsofos a tratar sobre os sofismas, o


NON CAUSA PRO CAUSA, por exemplo, um dos sofismas enunciados por
Ele5, que consistia em assumir como causa, ou seja, como premissa, aquilo
que no o , donde resultam uma consequncia impossvel e a aparente
refutao do adversrio. Segundo ele, sofistica, era a sabedoria aparente, mas
no real, que utilizam-se de argumentos capciosos ou enganosos. Mas, o
sofisma o mesmo que falcia. uma espcie de raciocnio caviloso, muito
bem formulado, que tem como finalidade levar a concluses paradoxais ou
desagradveis.
A sofistica, em sentido histrico, a corrente filosfica preconizada pelos
sofistas, mestres de retrica e cultura geral que exerceram forte influncia
sobre o clima intelectual grego entre os sculos V e IV a.C. A Sofistica no
uma escola filosfica, mas uma orientao genrica que os sofistas acataram
devido s exigncias de sua profisso.
4 Malba Tahan. O homem que Calculava. Ed. Integral.
5 El. sof., 5, 167 b 21 Niccola Abagnanno.

Aristteles dividira os raciocnios sofsticos em duas grandes classes: os


atinentes ao modo de expressar-se, ou, como dizem os escolsticos,
indictione, e os independentes do modo de expressar-se, ou extra dictionem.
Os primeiros so seis, a saber: equivocao, anfibologia, composio, diviso,
acentuao e figura dictonis. Os outros so sete: acidente6, secundum quid7,
ignorantia elenchit8, petio de princpio9, non causa pro causa, conseqente e
interrogao mltipla10. A doutrina dos sofismas foi uma das partes mais
cultivadas da lgica medieval, mas perdeu quase toda importncia na lgica
moderna. Cerca de metade das Summulae logicales (sc. XIII) de Pedro
Hispano dedicada refutao dos sofismas. Mas j na Lgica de Port-Royal
a ela dedicado um nico captulo (o XIX da parte III), que constitui cerca da
vigsima parte do tratado. Na lgica contempornea esse assunto
desapareceu de todo, j que no podem ser reduzidas a sofismas as
antinomias de que ela trata.

O SOFISMAS MATEMTICOS11

6 A falcia (v.) j identificada por Aristteles (El. sof, 5, 166 b) como derivada da
identificao de uma coisa com um seu acidente ou atributo acidental ("Se Corisco
diferente de Scrates, e Scrates homem, Corisco diferente de um homem"). Cf.
PEDRO HISPANO, Summ. log., 7, 40 ss. G. P - Niccola Abagnanno.
7 J identificada por Aristteles (El. sof., 5, 167 a), a falcia (v.) que consiste em
passar de uma premissa, em que certo termo tomado em sentido relativo, para uma
concluso em que o mesmo termo tomado em sentido absoluto ("Se o no-ser
objeto de opinio, o no-ser "). (Cf. PEDRO HISPANO, Sn mm. log., 7. 46 ss.
Niccola Abagnanno)
8 Uma das falcias extra dictionem enumeradas por Aristteles (El. sof, 6, 168 a 18), mais
precisamente a que consiste na ignorncia daquilo que se deve provar contra o adversrio (cf.
tambm PEDRO HISPANO, Summ. log., 7. 54; e ARNAULD, Log., III, 19, D. Niccola

Abagnanno).
9 a conhecidssima falcia, analisada por Aristteles ( Top., VIII, 13, 162 b; El.so/., 5,
167 b; An. pr.. II, 16, 64 b), que consiste em pressupor, na demonstrao, um
equivalente ou sinnimo do que se quer demonstrar (cf. PEDRO HISPANO, Smnm.
log., 7x3 Niccola Abagnanno)
10 El. sof., 4. Uma das falcias extra dictionem enumeradas por Aristteles, mais
precisamente a que consiste na reduo de vrias perguntas a uma s, apostando
assim na unicidade da resposta que o adversrio tentado a dar (ARISTTELES, El.
Sof, 30, 181 a 30; PEDRO HISPANO, Summ. log., 7. 62-7. 64;JUNGIUS, Lgica
hamburgenss, VI, 12, 16; GENOVESI, Ars logico-critica, V, 11, 12; etc. Niccola
Abagnanno)

comum na lgica12, a construo de sofismas, a Anfeboiia13, de


Aristteles14, mais precisamente a falcia, gerada do fato de uma frase
possibilitar o entendimento ambguo, devido a construo gramatical
defeituosa, mas e quando a construo do silogismo 15 matemtico?
A lgica simblica16, inspirada na linguagem matemtica, baseava-se no fato de
que como a lgebra possui smbolos prprios, inconfundveis, universais para
todos os matemticos, assim tambm a logica deveria ser uma linguagem
perfeita, totalmente purificada das ambiguidades e contra-sensos da linguagem
cotidiana, nem para que o contedo das afirmaes no comprometesse a
validade dos raciocnios. Para tanto, Leibniz props uma linguagem simblica
artificial, isto , construda especialmente para garantir ao pensamento plena
clareza nas demonstraes e nas provas.
A lgica tornou-se cada vez mais uma cincia formal da linguagem, mas de
uma linguagem muito especial, que nada tem a ver com a linguagem cotidiana,
pois trata-se de uma linguagem inteiramente construda por ela mesma, com
base no modelo da matemtica.
11 Cf: ABBAGNANO, Nicola. Histria da filosofia. 2ed. vol. XIII, Lisboa: Editorial
Presena, 1979.
12 O objeto da lgica a proposio, que exprime, por meio da linguagem, os
juzos formulados pelo pensamento. A proposio a atribuio de um predicado a
um sujeito: S P. O encadeamento dos juzos constitui o raciocnio e este se exprime
logicamente por meio da conexo de proposies; essa conexo chama-se
silogismo. A lgica estuda os elementos que constituem uma proposio, os tipos de
proposies e de silogismos e os princpios necessrios a que toda proposio e todo
silogismo devem obedecer para serem verdadeiros. Ver: elementos da lgica, Captulo
2, da Unidade 4: A lgica, de: Marilena Chau. Convite Filosofia. 13 ed. So Paulo:
tica, 2003
13 gr. (lat. Amphibolia,in. Amphiboly, fr. Amphibolie, ai. Amphibolie, it. Anfibolia). Em
Aristteles (El. sof, 4, 166 a), um dos sofismas in dictione, genericamente, o termo
foi entendido como uma palavra que significa duas ou mais coisas (SEXTO
EMPRICO, Pirr. hyp., II, 256)
14 Para Aristteles, lgica no era uma cincia teortica, nem prtica nem produtiva,
mas um instrumento para as cincias. Eis por que o conjunto das obras lgicas
aristotlicas recebeu o nome de rganon, palavra grega que significa instrumento.
15 O Sol negro, de 1978, gravura de Heloisa Pires Ferreira que serve como exemplo
visual de silogismo: o quadrado externo seria a premissa maior, e o crculo negro, a
premissa menor. No centro, a concluso. Esta a figura que estampa a capa do livro
Convite Filosofia de Marilena Chau:
16 Surgiu no Sculo XVII, particularmente com o filsofo e matemtico alemo,
Leibniz, criador do clculo infinitesimal.

A matemtica considerada uma cincia exata, e para tanto, por que


aplicar um silogismo lgico para avaliar as concluses exatas? No seria uma
tautologia17? Qual a relao entre a matemtica e a lgica?
A matemtica, filosoficamente definida, comportaria por um lado o dever de
expressar orientaes diferentes da investigao filosficas e, por outro, conter
modos diferentes de justificar a validade e a funo da lgica no conjunto das
cincias. Assim, podem ser distinguidas quatro definies fundamentais: 1 a
matemtica como cincia da quantidade; 2a matemtica como cincia das
relaes; 3 a matemtica como cincia do possvel, e; 4 a matemtica como
cincia das construes possveis.
Como cincia da quantidade foi primeira definio filosfica da
matemtica, formulada por Aristteles, mas que j estava implcita nas
consideraes de Plato sobre a aritmtica e a geometria, que tendiam,
sobretudo a evidncia da diferena entre as grandezas percebidas pelos
sentidos e as grandezas ideais. Esse conceito de matemtica persistiu por
muito tempo e s na modernidade comeou a parecer insuficiente para exprimir
todos os aspectos desse campo de estudos. O prprio Kant 18 traduzia-o para a
linguagem de sua filosofia. Para ele, a matemtica distinguia-se da filosofia
porque, enquanto a filosofia procede por meio de conceitos, a matemtica
procede por meio da construo de conceitos. Mas, a construo de conceitos
s possvel na lgica, com base na intuio a priori de espao, que a forma
da quantidade em geral. As longas e fantsticas discusses de Hegel sobre os
conceitos fundamentais da matemtica, na grande Lgica19, baseiam-se nele
Filsofos, mesmo muito mais tarde.
De acordo com a segunda concepo fundamental, a matemtica seria
a cincia das relaes, portanto, estreitamente ligada lgica ou parte desta.
Originalmente fundada por Descartes 20. Mas o conceito de Leibniz sem dvida
pode ser considerado o incio do conceito da matemtica como lgica, mas no
17 A tautologia no tem condio de verdade porque incondicionalmente verdadeira, e a
contradio nenhuma condio verdadeira, aquela que esgota todas as possibilidades, ou
seja, um reforo desnecessrio, j que se repete o que j se sabe com certeza e exatido)

18 Kant diz: "Quem pensou distinguir a filosofia da matemtica, dizendo que esta tem
como objeto apenas a quantidade tomou o efeito pela causa. A forma do conhecimento
da matemtica a causa de ela poder referir-se unicamente a quantidades. Na
verdade, s o conceito de quantidade pode ser construdo, ou seja, exposto a priori na
intuio do espao" (Crtica da Razo Pura: Dout. do mt., cap. I, se. 1).
19 Hegel: "As matemticas fornecem conceitos abstratos que possibilitam o juzo
numrico; constrem os instrumentos para contar e calcular e para realizar aquela
espcie de falsa sntese a priori, que a numerao dos objetos individuais" (LIMA
VAZ, H.C. de. Da Cincia da Lgica Filosofia da Natureza: estrutura do sistema hegeliano,
Kriterion , n.95, Belo Horizonte: FAFICH/UFMG,1997, pp.33-48. (artigo) .

20 Descartes j afirmava: "Embora as cincias comumente chamadas de matemticas


tenham objetos diferentes, esto de acordo quanto a considerarem apenas as diversas
relaes ou propores neles encontradas" (Discours, II).

impedia que o prprio Leibniz aderisse ainda ao conceito tradicional de


matemtica como arte da quantidade. Obviamente, a estreita conexo da
matemtica com a lgica comeou a evidenciasse como caracterstica da
matemtica s quando a lgica assumiu a forma de clculo matemtico. Ora as
ltimas leis da lgica tm forma matemtica, por isso a apresentao da lgica
em forma de clculo no arbitrria, mas representa algo que decorre das
prprias leis do pensamento. No entanto, quem mais contribuiu para inscrever
a matemtica no domnio da lgica foi Frege e sua polmica contra o
psicologismo. Em um ensaio de 1884, Frege mostrava a importncia do
conceito de relao para a definio do nmero natural, dizia:
O conceito de relao pertence tanto quanto
o conceito simples ao campo da lgica pura. Aqui
no interessa o contedo especial da relao, mas
exclusivamente sua forma lgica. Se algo pode ser
afirmado sobre ela, a verdade desse algo analtica e
reconhecida a priori.21

A partir da. pode-se considerar consolidada a conexo da matemtica


com a lgica atravs da teoria das relaes; essa conexo foi constantemente
pressuposta nas definies de matemtica. Todavia mesmo as definies que
tm esse fundamento em comum foram formuladas de modos diferentes. A
formulao mais bvia de uma definio deste tipo a que considera a
matemtica como "teoria das relaes". Esse conceito foi adotado por Russell,
que via a coincidncia entre matemtica e lgica justamente no mbito da
teoria das relaes e julgava que o tema comum das duas cincias era a forma
dos enunciados, definida como "aquilo que permanece invarivel quando todos
os componentes do enunciado so substitudos por outros", ou seja, quando o
enunciado se transforma em pura relao.
Contrariamente, Peirce, mesmo admitindo a conexo entre matemtica e
lgica, procurara distinguir ambas, afirmando que, enquanto a matemtica a
cincia que infere concluses necessrias, a lgica a cincia do modo de
inferir concluses necessrias. Dizia:
O lgico no est muito preocupado com esta
ou aquela hiptese ou com suas conseqncias exceto
quando isso pode lanar luzes sobre a natureza do
raciocnio. O matemtico interessa-se muito pelos
mtodos eficientes de raciocinar, visando sua
possvel extenso para novos problemas, mas,
enquanto matemtico, no se preocupa em analisar as
partes de seu mtodo cuja correo dada como bvia
(Coll. Pap., 4.239).

Essa distino, porm, baseava-se na noo de lgica como cincia


categrica e normativa, o que no fez carreira na lgica contempornea, cujo
carter convencional se acentuou cada vez mais 22, at mesmo porque, tem se
21 Cf: Hine logis mathematische lintersuchung berden Begriff der Zabl, 1884, 70,
trad. it., em Aritmtica e lgica, p. 139. Nicola Abagnano
22 cf: Convencionalismo: lgica

tornado muito comum, relativizar regras lgicas, exatamente, pela capacidade


do raciocnio humano de manipular axiomas, estruturando qualquer silogismo,
inclusive de modo falacioso ou sofistico.
Portanto, a melhor definio de matemtica, desse ponto de vista,
dada por Wittgenstein:
A matemtica um mtodo lgico. As
proposies da matemtica so equaes, portanto
pseudoproposies. A proposio matemtica no
exprime pensamento algum. De fato, nunca precisamos
de proposies matemticas na vida, mas as
empregamos apenas com o fim de, a partir de
proposies que no pertencem matemtica tirar
concluses que se expressam em proposies que
tampouco
lhe
pertencem
(Tractatus
lgicusphilosophicus, 1922. 6.2; 6.21; 6.211).

Ou seja, as equaes da matemtica correspondem s tautologias da


lgica e, por isso, nada dizem. Ponto de vista anlogo foi expresso por Camap:
"Os clculos constituem um gnero particular de clculos lgicos, distinguindose deles pela maior complexidade. Os clculos geomtricos so um gnero
particular de clculos fsicos"23. Esta a melhor formulao da tese do
logicismo. Segundo esse ponto de vista, em primeiro lugar deve-se construir
uma lgica exata, para em seguida dela extrair a matemtica, do seguinte
modo: definindo todos os conceitos da matemtica 24 em termos de conceitos
de lgica; deduzindo todos os teoremas da matemtica a partir dessas
definies e por meio dos princpios da prpria lgica 25.
A terceira concepo fundamental de matemtica pertence corrente
formalista e pode ser assim expressa: a matemtica "a cincia do possvel",
onde por possvel se entende aquilo que no implica contradio. Desse ponto
de vista, a matemtica no parte da lgica e no a pressupe 26. Onde a
matemtica pode ser construda como simples clculo, sem exigir interpretao
alguma. Torna-se, ento, um sistema axiomtico, no qual:
todos os conceitos bsicos e todas as relaes bsicas devem
ser completamente enumerados, integrando-se neles, por meio
de definio, quaisquer conceitos ulteriores;
os axiomas devem ser completamente enumerados e destes
deduzidos todos os outros enunciados em conformidade com as
relaes bsicas.
23 Foundatioris of Logic and Mathematics, 1939, 13
24 Vale dizer, da aritmtica, da lgebra e da anlise.
25 Inclusive os axiomas de infinidade e de escolha. cf. C. G. HEMPEL, "On the
Nature of Mathematical Truth", 1925, em Readngs in the Phlosophy of Science, 1953,
p. 59.
26 Do modo como foi concebida por Hilbert e Bernays (Grundlagen der Matbematik,
I, 1934; II, 1939).

Nesse sistema, a demonstrao matemtica um procedimento


puramente mecnico inferncia de frmulas, mas ao mesmo tempo
acrescenta-se matemtica formal uma matemtica constituda por raciocnios
no formais em torno da matemtica "Desse modo". A matemtica constitui,
ento, um sistema perfeitamente autnomo, ou seja, no pressupe um limite
ou um guia fora de si mesma e desenvolve-se em todas as direes possveis,
entendendo-se por direes possveis as que no levem a contradies.
Portanto, essencial para esse conceito da matemtica a possibilidade
e determinar a no-contradio dos sistemas axiomticos. Mas foi justamente
essa possibilidade que o teorema descoberto por Gdel em 1931 ps em
dvida: segundo ele, no possvel demonstrar a no-contradio de um
sistema S com os meios (axiomas, definies, regras de deduo, etc.)
pertencentes ao mesmo sistema S. Para efetuar tal demonstrao,
necessrio recorrer a um sistema maior, mais rico em meios lgicos. Esse
teorema de Gdel teve grande importncia na matemtica moderna. At agora
foi possvel demonstrar a no-contradio de algumas partes da matemtica,
como por exemplo, da aritmtica, mas no se avanou muito nessa direo.
Por isso, a "cincia do possvel" hoje acredita que sua misso mais difcil
mostrar a "possibilidade" de suas partes. Quanto possibilidade da matemtica
como sistema nico e total, obviamente foi excluda pela formulao do
teorema de Gdel, que tambm mostrou os limites da axiomtica ao
demonstrar que nenhum sistema axiomtico contm "todos" os axiomas
possveis e que, portanto, novos princpios de prova podem ser continuamente
descobertos. Outra consequncia do teorema de Gdel uma limitao das
capacidades das mquinas calculadoras, cuja construo foi enormemente
facilitada pelo conceito formalista da matemtica. De fato, pode-se construir
uma mquina para resolver determinado problema, mas no uma mquina que
seja capaz de resolver todos os problemas.
J a quarta concepo fundamental, demonstra que a matemtica a
cincia que tem por objeto a possibilidade de construo. Trata-se, como se
ver da noo kantiana da matemtica como "construo de conceitos". Por
isso, essa corrente comumente chamada de intuicionismo27.
Segundo Brouwer, que um dos principais representantes do
intuicionismo, a matemtica identifica-se com a parte exata do pensamento
humano e por isso no pressupe cincia alguma, nem a lgica, mas exige
uma intuio que permita apreender a evidncia dos conceitos e das
concluses.
No se deve chegar s concluses a partir de regras fixas contidas num
sistema formalizado, mas cada concluso deve ser diretamente verificada com
base em sua prpria evidncia. Desse ponto de vista, o procedimento de
demonstrao matemtica no tem em vista a deduo lgica, mas a
construo de um sistema matemtico. Brouwer insiste no fato de que, mesmo
no caso de uma demonstrao de impossibilidade atravs da evidncia de uma
contradio, o erro do princpio de contradio apenas aparente: na
realidade, trata-se da afirmao de que uma construo matemtica, que
27 O intuicionismo, apesar de definir a matemtica como a cincia das construes
possveis, no recorre, como Kant, intuio a priori do espao, nem a forma alguma
de intuio emprica ou mstica. A construo de que o intuicionismo fala conceitual e
no se refere a fatos empricos.

deveria satisfazer a certas condies, no foi realizada. Assim que a distino


entre formalismo e intuicionismo28 no to radical quanto poderia parecer.
Portanto, em primeiro lugar, a construo que os intuicionistas veem que
objeto do procedimento matemtico formal e sua possibilidade determinada
por regras formais. Por outro lado, os limites do formalismo evidenciados pelo
teorema de Gdel ressaltam o valor de algumas exigncias apresentadas pelo
conceito intuicionista da matemtica. E j que difcil ignorar a importncia do
aspecto lingustico da lgica, que serviu de base para o logicismo, o
pensamento matemtico contemporneo dominado por diversas correntes,
vlidas.

DEMONSTRAO DA FALSEABILIDADE MATEMTICA


A matemtica, apesar de exata, pode ser manipulada de forma que
possamos demonstrar que ela pode, em determinados casos, demonstrar-se
verdadeira, mas no vlida, ou nem verdadeira e nem vlida. Desta forma,
podemos encontrar alguns absurdos da matemtica que nos prova tal teoria, a
demonstrao de que a validade da matemtica no poder ser considerada,
como a de nenhuma outra cincia, absoluta.
OS SOFISMAS DA IGUALDADE APARENTE
o caso por exemplo do critrio de igualdade matemtica, onde teremos
que so iguais os valores cujas partes dividam-se em tantas quantos possveis
de forma que proporcional at que se chegue ao quociente comum de resto
igual a zero. Mas, vejamos alguns exemplos 29 para saber se tal afirmao se
confirma ou no:
Ex. 1:
3 igual a 4?
Comeamos com a seguinte igualdade:
0 = 0
Podemos escrever a igualdade da seguinte maneira:
3-3 = 4-4
Colocamos o 3 e o 4 em evidncia:
3 (1-1) = 4 (1-1)
Cortamos os termos comuns entre parnteses e chegamos igualdade:

28 Entre a terceira e a quarta concepo da matemtica.


29 Para a construo desses silogismos utilizaremos algumas propriedades
matemticas, que no so bsicas evidentemente, mas que so de fcil compreenso.

3=4
Ex. 2:
4 igual a 6?
Comeamos com a seguinte igualdade:
-24 = -24
Escrevemos o nmero -24 em duas formas diferentes:
16 - 40 = 36 - 60
Os nmeros 16, 40 , 36 e 60 podem ser escritos da seguinte forma:
4x4 - 2x4x5 = 6x6 - 2x6x5
Podemos somar 25 nos dois lados da equao sem a alterar:
4x4 - 2x4x5 + 5x5 = 6x6 - 2x6x5 + 5x5
Agora vemos que tanto no lado esquerdo como no lado direito temos um
binmio ao quadrado (o primeiro termo ao quadrado, menos duas vezes o
produto
dos
dois
termos
mais
o
quadrado
do
segundo)
(4 - 5)2 = (6 - 5)2
Eliminando o quadrado nos dois lados da equao temos:
4-5=6-5
Finalmente, somando 5 nos dois lados, obtemos o resultado:
4=6
Ex. 3:
2 igual a 1?
Vamos verificar:
Sejam a e b pertencentes ao reais, sendo a e b diferentes de zero.
Suponhamos que a=b.
Ento, se a=b, multiplicando os dois lados da igualdade por a temos:
a2=ab
Subtraindo b2 dos dois lados da igualdade temos:
a2-b2=ab-b2
Sabemos (fatorao), que a2-b2=(a+b)(a-b). Logo:
(a+b)(a-b)=ab-b2
Colocando b em evidncia do lado direito temos:
(a+b)(a-b)=b(a-b)
Dividindo ambos os lados por (a-b) temos:

a+b=b
Como no incio dissemos que a=b, ento no lugar de a eu posso colocar b:
b+b=b
Portanto 2b=b. Dividindo ambos os lados por b finalmente chegamos a
concluso:
2=1

lgico que essas, e muitas outras possveis igualdades desse tipo no


podem, em nenhum dos casos estarem corretas, mas no podemos, tambm,
defender a teoria de que esse erro seja evidente, pois a primeira vista, fica a
impresso de que so todos muito bem elaborados e que esto corretos, mas
isso destruiria todos os axiomas de igualdade da matemtica clssica. Ento,
sem uma analise pormenorizada da disposio dessa estruturas matemticas
facilmente, somos conduzidos a concluso de que essas igualdades so
verdadeiras.

OS SOFISMAS DA IGUALDADE APARENTE RESULTANTE DE UMA SOMA

Retirar de uma operao matemtica, mesmo sendo ela a mais simples


possvel, uma concluso ou resultado totalmente inesperado, gera no s
desconfiana, mas, principalmente, dvida quanto as certezas dessa cincia
tida como exata. Afinal a soma de dois nmeros iguais, no deveriam,
necessariamente, resultar em um numero tal qual sua diviso por em partes
iguais coincidissem com os nmeros que lhe deram origem? Pois vejamos
algumas demonstraes lgicas:
Ex. 1:
2+2 igual a 5?
Vamos verificar:
Comeamos com a seguinte igualdade, que verdadeira:
16-36 = 25-45

Somamos (81/4) nos dois lados, o que no altera a igualdade:


16-36+(81/4) = 25-45+(81/4)
Isso pode ser escrito da seguinte forma: (trinmio quadrado perfeito)
(4-(9/2))2 = (5-(9/2))2
Tirando a raiz quadrada em ambos os lados temos:
4-(9/2) = 5-(9/2)
Somando (9/2) nos dois lados da igualdade temos:
4=5
Como 4=2+2 chegamos a seguinte concluso:
2+2=5

SOFISMAS CONTRA A CERTEZA OU A EXATIDO DA MATEMTICA


Seguindo esse mesmo raciocnio chegou-se a cogitar a possibilidade da
manipulao das certezas matemticas, em prol da construo de argumentos
lgicos capazes de colocarem em dvida todo o absolutismo da exatido da
cincia matemtica.
importante destacar que essas estruturas so criadas exatamente com
o intuito de confundir. De modo que no estamos evidenciando as verdades ou
falsidades da matemtica, mas demonstrando que ela pode, em certos casos,
tornassem muito obscuras e confusas, levando-nos a tirarmos concluses nada
coerentes, porem totalmente lgicas.
Nesse sentido, podemos, at mesmo duvidar da exatido da
matemtica, para tanto basta-nos dispor de argumentos estruturados de forma
muito lgica que no demonstre qualquer erro evidente, e que possibilitem uma
fcil conduo ao resultado desejado, o que pode ser ou no um valor
verdadeiro para problema, mas que pode tambm, em outros casos ser, no
entanto, nunca sero vlidos. Pois, vejamos:
EX. 130:
Suponhamos que 3 (trs) irmos recebessem como herana 35
camelos. Segundo a vontade expressa de seu pai, o mais velho dos filhos deva
receber a metade, o seu irmo mais prximo uma tera parte, e, ao mais moo,
deva tocar apenas a nona parte. No evidente, porm, como se deve dividir
30 Todos os exemplos apresentados nesse tpico baseiam-se em E. Fourrey,
Rcrations mathmatiques, Paris, 1949, pg. 159. Gaston Boucheny, Curiosits et
recreations mathmatiques. Paris, 1939, pg. 148. Problemas famosos e curiosos da
matemtica cf: TAHAN, Malba.

dessa forma 35 camelos, pois, a cada partilha proposta por um segue-se a


recusa dos outros dois, uma vez que, a metade de 35 17 e meio. Como fazer
a partilha se a tera e a nona parte de 35 tambm no so exatas?
E isto seria muito simples de se fazer, no s com justia essa diviso,
mas com vantagens para ambos respeitando toda a vontade do seu pai e ainda
restaria ao fim da diviso 1 (um) camelo, para tanto basta que se junte aos 35
camelos um outro, emprestado apenas para facilitar a diviso, formando um
total de 36 camelos.
Para se fazer a diviso justa e exata dos camelos que so agora, como
vem em nmero de 36, procedamos assim:
O mais velho dos 3 (trs) filhos deverias receber, a metade de 35, isto ,
17 e meio, no entanto, recebers a metade de 36, portanto, 18. Nada tens a
reclamar, pois claro que saste lucrando com esta diviso.
O segundo herdeiro, por sua vez, deverias receber um tero de 35, isto
11 e pouco, mas vais receber um tero de 36, isto 12. No poders protestar,
pois tambm saste com visvel lucro na transao.
E por fim o mais moo, que segundo a vontade do seu pai, deverias
receber uma nona parte de 35, isto 3 e tanto. Vais receber, portanto, uma
nona parte de 36, isto , 4,sendo o seu lucro igualmente notvel. Ou seja,
todos s tens a agradecer pelo resultado da vantajosa diviso feita entre os
irmos, partilha em que todos trs saram lucrando, onde couberam 18
camelos ao primeiro, 12 ao segundo e 4 ao terceiro, o que d um resultado
(18+12+4) de 34 camelos. Dos 36 camelos, sobram, portanto, dois. Um que
havia sido emprestado para a diviso e outro restou de sobra. Mas, como seria
possvel, numa diviso que se efetuada exata as partes receberiam valores
abaixo do alcanado, e que, no entanto, mesmo com visvel lucro das partes
ainda sorou um camelo ao final da diviso. Dai resta-nos a pergunta: a
matemtica no seria exata?
Ex. 2:
Suponhamos que 3(trs) rapazes tenham ido a um restaurante para
almoar. Ao fim da refeio, chamado o garom para trazer-lhes a conta, esse
apresenta-lhes um total de 30,00 reais.
Se a conta resultou em um valor de 30,00 reais, podemos dividir este em
partes iguais para os trs rapazes, alcanando um total de 10,00 reais para
cada um deles. E assim procederam, cada rapaz pagou 10,00 reais.
O garom, ao chegar no caixa, foi informado de que, na verdade os
rapazes teriam um desconto de 5,00 reais, ou seja, a conta deles seria apenas
25,00 reais e no mais 30,00 reais. Dessa forma, o garom preocupado em
como poderia dar o troco igualmente para os trs rapazes, pediu que o caixa
lhe entregasse 5 moedas de 1,00 real, para o troco.
No caminho, pensando bem em como dar o troco aos rapazes, o
garom, imediatamente, escondeu em seu bolso 2 (duas) moedas de 1,00 real
das 5(cinco) que o caixa tinha lhe entregue, devolvendo aos rapazes apenas
uma moeda de 1,00 real para cada um, ou seja, 3(trs) moedas de 1,00 real.
Dessa forma, se cada rapaz tinha dado, inicialmente, um total de 10,00,
resultando em uma soma de 30,00 reais, mas receberam 1,00 real de troco
cada um, ento conclui-se que cada um contribuiu com apenas 9,00
reais(10,00-1,00=9,00). Logo, temos que 9,00 reais que cada um contribuiu
vezes 3 (trs) que o numero de rapazes, resultamos num total pago de 27,00

reais (9,00 X 3= 27,00), mais os 2,00 reais que o garom havia pego para si,
teremos um valor final de 29,00 reais (27,00 + 2,00 = 29,00).
Ora, mas o primeiro valor com que os 3 (trs) rapazes haviam
contribudo, era de 30,00 reais, ento como pode essa conta resultar num valor
final de 29,00 reais? Ento, onde est o outro real? Estaria aqui faltando um
real, realmente? Como seria possvel, se a matemtica uma cincia exata?
Ex. 3:
Suponhamos que irmos encarregaram-se de vender no mercado duas
cargas de meles. O mais velho dos irmos entregou ao empregado 30
meles, para que este os vendesse razo de 3 meles por 1,00 real; O mais
novo, por sua vez, entregou ao mesmo empregado, tambm, 30 meles para
os quais estipulou preo mais caro, isto , razo de 2 meles por 1,00 reais.
Era lgico que, efetuada a venda, o mais velho devia receber 10,00 reais
e seu irmo 15,00 reais. O total de venda seria, portanto de 25,00 reais.
Ao chegar, porm, feira, uma dvida surgiu no esprito do empregado,
bom vendedor que era: Se ele comeasse a venda pelos meles mais caros,
pensou, perderei a freguesia; se iniciasse o negcio pelos meles mais
baratos, encontraria, depois, dificuldade em vender os outros trinta. Ento, o
melhor que encontrou a fazer (a nica soluo para o caso) foi vender as duas
cargas ao mesmo tempo.
Tendo chegado a essa concluso reuniu os 60 meles e comeou a
vend-los aos grupos de 5 meles por 2 reais. O negcio era justificado por um
raciocnio lgico muito simples: Se ele devia vender 3 meles por 1,00 real e
depois 2 meles tambm por 1 real, seria mais simples vender logo 5 meles
por 2 reais.
Vendidos os 60 meles, em 12 lotes de cinco cada um, conseguiu 24
reais ao todo (60/5 = 12, que esses 12X2,00=24,00).
Mas, e agora, como pagar aos dois irmos, se o primeiro devia receber
10,00 e o segundo 15,00 reais?
Havia uma diferena de 1,00 real, mas como explicar? Pois, o negcio
foi feito, como disse, com o mximo cuidado. Vender 3 meles por 1,00 real, e,
depois, vender 2 por 1,00 real no a mesma coisa que vender logo 5 por 2
reais? Ento, porque faltou exatamente 1,00 real a essa conta? A exatido da
cincia matemtica no poderia admitir essa falha.
No deixam de ser interessantes esses problemas, apresentados sob
forma de histria. J sendo muito comum, visto muitas vezes exatamente o
contrrio, simples histrias mascaradas sob o disfarce de verdadeiros
problemas de lgica ou de matemtica!
A MATEMTICA, A LGICA E OS SISTEMAS HIPOTTICO-DEDUTIVOS
No final do sculo XIX e incio do sculo XX, a matemtica clssica foi
revolucionada por novas descobertas que romperam com certos paradigmas,
axiomas, estabelecidos at ento.
Os axiomas devem ser coerentes, sob pena de o sistema que deles
depende tornar-se contraditrio. Sistema contraditrio o que permite a

deduo de qualquer coisa e a demonstrao de qualquer proposio, bem


como a sua negao. Como a prova da no-contradio no poder ser obtida
dentro de um sistema, costume lanar mo do sistema da reduo a uma
teoria anterior, cuja coerncia parea bem confirmada, como, p. ex., a
aritmtica clssica ou a geometria euclidiana31.
Mas, na segunda metade do sculo XIX, quando, com a descoberta das
geometrias no-euclidianas32, o carter de verdade evidente dos axiomas
geomtricos foi negado. Diz Poincar:
31

A Geometria euclidiana a geometria sobre planos ou objetos em trs dimenses


baseados nos postulados de Euclides de Alexandria. O texto de Os Elementos foi a
primeira discusso sistemtica sobre a geometria e o primeiro texto a falar sobre teoria
dos nmeros. Foi tambm um dos livros mais influentes na histria, tanto pelo seu
mtodo quanto pelo seu contedo matemtico. O mtodo consiste em assumir um
pequeno conjunto de axiomas intuitivos, e ento provar vrias outras proposies
(teoremas) a partir desses axiomas. Muitos dos resultados de Euclides j haviam sido
afirmados por matemticos gregos anteriores, porm ele foi o primeiro a demonstrar
como essas proposies poderiam ser reunidas juntas em um abrangente sistema
dedutivo. Em matemtica, linhas retas ou planos que permanecem sempre a uma
distncia fixa uns dos outros independentemente do seu comprimento. Este um
princpio da geometria euclidiana. Os postulados de Euclides so:1.Dados dois pontos
distintos, h um nico segmento de reta que os une;

2.Um segmento de reta pode ser prolongado indefinidamente para construir uma reta;

3. Dados um ponto qualquer e uma distncia qualquer pode-se construir uma


circunferncia de centro naquele ponto e com raio igual distncia dada;

4. Todos os ngulos retos so iguais;

Em especial, o quinto e sexto postulado de Euclides:

5. Postulado de Euclides "Se uma linha reta cai em duas linhas retas de forma a que os
dois ngulos internos de um mesmo lado sejam (em conjunto, ou soma) menores que
dois ngulos retos, ento as duas linhas retas, se forem prolongadas indefinidamente,
encontram-se num ponto no mesmo lado em que os dois ngulos so menores que
dois ngulos retos."

6. Soma das amplitudes dos ngulos internos de um tringulo: "Existe um tringulo em


que a soma das medidas dos ngulos igual a dois ngulos retos(2 x 90 graus)." a + b
+ d = 2 retos (a + b + d = 180)).

32 Geometria no euclidiana uma geometria baseada num sistema axiomtico


distinto da geometria euclidiana. Modificando o axioma das paralelas, que postula que
por um ponto exterior a uma reta passa exactamente uma reta paralela inicial,
obtm-se as geometrias elptica e hiperblica. Na geometria elptica no h nenhuma
reta paralela inicial, enquanto que na geometria hiperblica existe uma inifinidade de
rectas paralelas inicial que passam no mesmo ponto.

Os axiomas geomtricos no so juzos sintticos apriori nem


fatos experimentais; so convenes. Nossa escolha entre
todas as convenes possveis guiada por fatos
experimentais, mas continua livre e limitada apenas pela
necessidade de evitar a contradio (POINCAR, H. Apud
REALE e ANTISERI. Histria da Filosofia, p. 414.)

Contudo , o desenvolvimento posterior da matemtica permitiu estender o


ponto de vista de Poincar a toda essa cincia. A obra de Hilbert 33 induzia a ver
na matemtica sistemas hipottico-dedutivos nos quais se deduzem
consequncias implcitas em certas proposies originarias ou axiomas,
segundo regras que os prprios axiomas definem, implcita ou explicitamente.
Matemtica: as geometrias no-euclidianas
No campo da matemtica, surgiram novas concepes de geometria,
desenvolvidas inicialmente pelo matemtico russo Nicolai Lobatchevski (1792 1856) e pelo hngaro Jnos Bolyai (1802- 1860), destacando-se foram estudos
independentes e sem qualquer conhecimento mtuo entre ambos, por volta de
1826 e, posteriormente, pelo matemtico alemo Bernhard Riemann (1826 1866).
Essas novas geometrias, denominadas geometrias no-euclidianas,
abalaram a certeza matemtica, pois rejeitavam alguns axiomas da geometria
clssica euclidiana, colocando em dvida algumas verdades at ento
consideradas evidentes e modificando as ideias sobre o espao geomtrico.
A partir do golpe desferido por essas novas concepes, os axiomas da
geometria clssica passaram a ser entendidos no mais como princpios
irrefutveis, mas como simples pontos de partida. O matemtico francs Henri
Poincar (1854 - 1912) reconheceu que, diferentemente da pretenso de
irrefutabilidade que caracterizava a geometria euclidiana at ento, uma
geometria no pode ser mais verdadeira que outra: ela pode ser apenas mais
cmoda34.

33 David Hilbert (1862 1943) foi um matemtico alemo, considerado um dos


mais notveis matemticos, e os tpicos de suas pesquisas so fundamentais em
diversos ramos da matemtica atual. Hilbert freqentemente considerado como um
dos maiores matemticos do sculo XX, no mesmo nvel de Henri Poincar. Devemos
a ele principalmente a lista de 23 problemas, alguns dos quais no foram resolvidos
at hoje, apresentada em 1900 no Congresso Internacional de Matemticos em Paris.
34 POINCAR, H. Apud REALE e ANTISERI. Histria da Filosofia, p. 414.

O ESTUDO SOBRE A MATEMTICA PODE SER CONSIDERADO UM


ESTUDO FILOSFICO?
Do ponto de vista daqueles defensores mais ferrenhos da tese de que a
filosofia no serve a nenhuma outra, e que na verdade ela nem mesmo pode
ser considerada uma cincia, poderamos dizer que a filosofia independente,
autnoma e soberana. De forma que as demais cincias no s se utilizam
dela, como necessariamente s existem graas a Filosofia.
A partir das transformaes no campo cientifico ocorridas na passagem
do sculo XIX ao sculo XX, muitas certezas foram abaladas, fazendo surgir
novos questionamentos e reavaliaes dos critrios de verdade e da validade
dos mtodos e teorias cientficas.
A filosofia da cincia se debruou sobre essas questes. interessante
observar que, entre os nomes mais significativos da filosofia da cincia, esto
muitos cientistas de vrios ramos, que produziram reflexes sobre sua prpria
prtica, ou seja, nesse momento que se tornam filsofos e seus estudos
tornam-se interessantes para a filosofia como um todo.
CONCLUSO

Com todas as mudanas que ocorreram na lgica at os filsofos


contemporneos, os principais efeitos que elas representaram foram
basicamente, ao manter a proximidade e a relao com a matemtica, a lgica
passou a ser entendida como avaliadora da verdade ou falsidade do
pensamento, concebido como uma construo intelectual. A lgica adotou para
si o modelo de um discurso ou de uma linguagem que lida com puras formas
sem contedo e tais formas so smbolos de tipo matemtico, em forma de
algoritimos. E ainda, distinguindo-se da psicologia e da teoria do conhecimento,
a lgica passou a dedicar-se menos ao pensamento e muito mais linguagem,
seja como discurso independente do pensamento. Seu objeto passou a ser o
estudo de um tipo determinado de discurso: a proposio e as relaes entre
proposies. Sua finalidade tornou-se o projeto de oferecer normas e critrios
para uma linguagem perfeita, capaz de avaliar as demais linguagens.
A lgica matemtica ainda enfrentar muitos impactos com as
tendncias cientfico-tecnolgicas, o que anteriormente era inimaginvel, hoje
no s especulvel como tambm exige-se que seja praticvel, ou seja, a
lgica matemtica exige empiricidade. Nesse sentido, destaca-se o papel
desempenhado pelo Crculo de Viena, que desenvolveram o chamado
neopositivismo ou positivismo lgico ou ainda empirismo lgico. Eles
enfatizavam as exigncias de clareza e preciso e proporam o chamado critrio
de verificabilidade para validar uma teoria cientifica.
Por outro lado, mais importante e mais enfatizante do nosso
entendimento, o filsofo da cincia, matemtico e fsico austraco Karl Popper
(19021994) criticou o critrio de verificabilidade e props como nica
possibilidade para o saber cientifico o critrio da refutabilidade ou da

falseabilidade. Para ele a lgica de qualquer cincia a mesma lgica de


conjecturas audazes e engenhosas seguidas de tentativas rigorosas para
refut-las.
Assim, baseada na teoria da falseabilidade de Popper, as teorias
matemticas s se mantm como verdadeira at que seja refutada, isto , a
teoria permanece como verdadeira at que seja demonstrada sua falsidade,
suas brechas, seus limites, e isso a gente demonstrou que existem na
matemtica. Mas, vale lembrar que, nenhuma teoria matemtica pode ser
verificada empiricamente pelo mtodo indutivo. Isso porque, do ponto de vista
lgico, no se pode ser bvio ou lgico, que se justifique inferir assertivas
universais a partir de assertivas singulares, por mais numerosas que estas
sejam. Pois, se assim se procede, qualquer concluso tirada utilizando esse
procedimento, sempre poder se revelar falsa, ou seja, sempre estaro sujeitas
a serem destrudas, ou admitirem excees.
Portanto, a matemtica, apesar de exata, pode apresentar-se no muito
evidente ou clara em alguns casos, o que indica uma condio de
transitoriedade quanto a sua validade. Ou seja, seus axiomas so verdadeiros
e vlidos, mas somente at o momento em que possam ser refutados, o que,
no necessariamente, os levaro a evidenciar sua falsidade, pois somente a
falsidade de uma teoria pode ser provada, nunca a sua veracidade absoluta.
Mas, simplesmente a possibilidade de se admitir uma exceo que tanto
poder negar a teoria como reafirm-la. Em ambos os casos essa exceo
exigir tambm uma verificao rigorosa de falseabilidade, pois podero estar
representando apenas um sofisma lgico ou uma falcia, convincente.
REFERNCIAS
ABBAGNANO, Nicola. Histria da filosofia. 2ed. vol. XIII, Lisboa: Editorial
Presena, 1979.
ARISTTELES. Tpicos. So Paulo: Nova Cultural, 1987.
CHAU, Marilena. Convite Filosofia So Paulo: tica, 2000.
COTRIM, Gilberto. Fundamentos da Filosofia. So Paulo: Editora Saraiva.
1996.
DESCARTES, Ren. Discurso do mtodo. So Paulo: Martin Claret, 2002.
KANT, Immanuel. Crtica da razo pura. So Paulo: Martin Claret, 2002.
LIMA VAZ, H.C. de. Da Cincia da Lgica Filosofia da Natureza: estrutura do
sistema hegeliano, Kriterion n.95, Belo Horizonte: FAFICH/UFMG,1997, pp.3348. (artigo)
MONDIN, Battista. Curso de filosofia. 8 ed. So Paulo: Paulus, 2002.

HEMPEL, C. G. (1981). Filosofia da cincia natural (3 ed.). Rio de Janeiro:


Zahar.
REALE, Giovanni & ANTISERI, Dario. Histria da Filosofia. So Paulo: Paulus,
1990.
________, POINCAR, H. Apud REALE e ANTISERI. Histria da Filosofia, p.
414.
________, ARISTTELES, H. Apud REALE e ANTISERI. Histria da Filosofia,
El. sof., 5, 167 b 21
TAHAN,
Malba.
O
homem
que
calculava.
Disponvel
em:
<http://www.tse.gov.br/hotSites/biblioteca/corujita/arquivos/O_homem_que_calc
ulava.pdf>. Acessado em 2012-04-11