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,
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.
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)
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) .
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
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
2.Um segmento de reta pode ser prolongado indefinidamente para construir uma reta;
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."