Escolar Documentos
Profissional Documentos
Cultura Documentos
Bezerra
1. Introduo
posio possuem exatamente a mesma forma abstrata. Essas relaes so mostradas na figura
1.
Figura 1.
4. Modelos representacionais
A concepo instancial dos modelos uma concepo bem definida e de considervel valor,
particularmente no estudo da lgica formal e dos fundamentos da matemtica. No obstante,
a despeito das afirmaes de Suppes, no penso que ela seja a melhor concepo de modelo
disponvel para se entender os modelos tais como eles so usados na prtica pelas cincias
empricas. No irei criticar diretamente a concepo instancial dos modelos enquanto meio
para se entender a prtica cientfica. Em vez disso, irei simplesmente indicar as dificuldades
que vejo a partir da minha prpria perspectiva alternativa. Irei chamar a minha viso dos
modelos, em contraste, de viso representacional, pois ela toma os modelos no como
proporcionando primordialmente uma maneira de interpretar os sistemas formais, mas sim
como ferramentas para representar o mundo. Esta no a sua nica funo, porm penso que
a principal funo dos modelos utilizados na cincia emprica. Por ora, vamos ento
esquecer a lgica e nos concentrar na prtica cientfica na verdade, na prtica de uma
cincia considerada menor, a cartografia.
Figura 2.1
Este mapa de Pavia no exatamente o mesmo que consta do artigo, devido a dificulades na obteno da
imagem original. (N. do T.)
2
A referncia feita por Giere ao livro de Borges Historia universal de la infamia, de 1954, porm no ali
que se encontra tal parbola, e sim em um pequeno texto intitulado Del rigor en la ciencia, que faz parte do
dependent]. Em qualquer contexto particular, pode-se especificar o que se diz ser similar ao
qu, de que maneiras, e em que graus. claro que no existe uma especificao nica. H
muitas especificaes possveis, dependendo dos interesses particulares de que faz a
modelagem.
Esses pontos podem ser reforados considerando-se um tipo um pouco mais abstrato
de mapa, um mapa do metr, tal como apresentado na Figura 3. Aqui, as localizaes
espaciais so indicadas apenas de modo muito esquemtico. A informao importante de
carter topolgico. Obtm-se a ordem das estaes nas linhas individuais, bem como
indicaes sobre onde duas linhas se encontram e, portanto, onde so possveis as
transferncias de uma linha para outra. Assim, as similaridades importantes so aquelas entre
essas caractersticas topolgicas do mapa e do sistema de metr como um todo.
Figura 3.3
Figura adaptada ao caso local sem perda de generalidade , em virtude de dificuldades na obteno da
figura original. (N. do T.)
Neste diagrama, as posies espaciais dos fios no so importantes. No precisa haver uma
similaridade estrita entre as posies relativas dos fios no diagrama e no circuito fsico. O que
importa apenas o que est conectado a qu. Assim, o que est sendo modelado so as
conexes, no as posies espaciais. As conexes so mais abstratas do que as posies. As
posies das linhas representando fios no diagrama devem ser organizadas de tal forma a
tornar fcil para o olho e o crebro humanos perceber as conexes. A maneira pela qual a
fiao entre os componentes efetivamente feita uma questo de convenincia ou de
eficincia no processo fsico de fiao.
Modelos em escala. Existem muitos tipos de modelos em escala, desde maquetes de casas at
modelos do sistema solar.Um exemplo cannico no sculo XX o modelo tridimensional em
escala que Jim Watson construiu durante o processo de descoberta da estrutura de dupla
hlice das molculas de DNA. Esse modelo em escala era um modelo representacional das
molculas de DNA. Era representacional em virtude das similaridades espaciais e estruturais
entre o modelo em escala e as molculas reais de DNA. O que se afirmava era que os pares
de bases do DNA estavam dispostos em uma estrutura em hlice similar aos pedaos de
arame e papelo do modelo em escala de Watson. Temos aqui, novamente, um objeto fsico
sendo usado para representar outros objetos fsicos.
6. Modelos abstratos
Considere uma relao linear simples entre duas variveis x e y, expressa pela equao:
y = ax + b.
(1)
Esta equao um objeto lingstico, mas tambm um objeto fsico marcas sobre o papel.
Porm a relao descrita algum tipo de objeto abstrato, mais abstrato do que qualquer
equao escrita, e que poderia utilizar letras diferentes ou ser escrita de outra forma, tal
como:
y ax b = 0.
(2)
Para os propsitos da presente exposio, irei tomar a existncia de tais objetos abstratos
como sendo no-problemtica. Poderamos cham-los de modelos matemticos puros, para
distingui-los daqueles que so, mais comumente, chamados de modelos matemticos, os
quais eu denominaria modelos matemticos aplicados. Terei mais a dizer sobre eles em
breve.
Essa relao tambm pode ser apresentada graficamente, como na Figura 5. O que
dizer a respeito desse grfico? Eu diria que ele uma contraparte fsica do modelo abstrato da
mesma relao linear, isto , um modelo fsico de uma relao linear. claro que, como
todos os modelos fsicos, ele imperfeito, e assim, na melhor das hipteses, apenas
semelhante ao modelo abstrato.
Figura 5.
(3)
Pode-se dizer que, no modelo, essa equao verdadeira. O que no se pode dizer que a
equao verdadeira com respeito posio de um automvel real. Nenhum automvel real
consegue manter uma velocidade perfeitamente constante em uma linha perfeitamente reta. A
questo, como sempre, o quo similar a situao real em relao ao modelo da situao.
Neste ponto algum poderia objetar que estou criando modelos alm do necessrio.
Deve-se julgar esta objeo luz da maneira tradicional de lidar com o fato inegvel de que
nenhum objeto real satisfaz, de forma exata, qualquer relao matemtica simples. A maneira
tradicional introduzir margens de erro na equao. Assim, a equao (3) se torna:
(d dd) = (v vv) (t tt) + (d0 dd0),
(4)
10
e esta equao bem pode ser verdadeira em relao ao automvel real. Desta maneira
consegue-se preservar a idia de que a representao na cincia deve ser compreendida
unicamente em termos da verdade dos enunciados.
Conquanto seja tecnicamente correta, esta no necessariamente a melhor maneira de
interpretar o uso efetivo dos modelos matemticos nas cincias. As margens de erro
raramente aparecem nas descries ou nos clculos antes de se chegar ao ponto de comparar
as previses tericas com as medies efetivamente levadas a cabo. Tal prtica empresta
forte apoio se para se interpretar as equaes originais, sem as margens de erro explcitas,
como referindo-se no s coisas reais, mas sim aos modelos abstratos, em relao aos quais
elas so verdadeiras por definio. Quando chega o momento de comparar o modelo abstrato
com a realidade, os deltas podem ser entendidos como especificando o grau de similaridade
(esperado ou efetivo) entre o modelo abstrato e o sistema real.
Sob esse ponto de vista, a modelagem matemtica trata de construir um modelo
abstrato e idealizado que pode ento ser comparado, em termos de seu grau de similiaridade,
com o sistema real. A tendncia a identificar o modelo com as equaes usadas pera defini-lo
vista, ento, como um resqucio de uma viso excessivamente positivista de cincia que
procurava evitar as entidades abstratas e identificava as estruturas subjacentes com as suas
manifestaes observveis, como, por exemplo: mente com comportamento, probabilidade
com freqncia relativa, e teorias com suas formulaes lingsticas.
[As sees 7 Hypotheses, 8 Theoretical models, 9 Mathematical
modeling, e 10 Models and theories,4 ainda sero traduzidas.]
11. Modelos e dados5
Dois anos depois de publicar seu artigo sobre o significado dos modelos na cincia emprica,
Suppes publicou um artigo igualmente influente intitulado Modelos de dados (1962). Uma
mensagem central desse artigo era que os modelos de nvel mais alto no so comparados
diretamente com os dados, mas sim com modelos de dados que esto mais abaixo na
hierarquia de modelos. Um ponto semelhante foi destacado recentemente por James
Woodward (1989), que insiste que aquilo que as teorias explicam, aquilo que usado para
testar as teorias, no so os dados, mas sim os fenmenos. E os fenmenos so construdos a
partir dos dados. As tcnicas estatsticas, por exemplo, esto entre os meios bsicos para se
construir modelos de dados a partir dos dados.
Sob esse ponto de vista, quando se testa o ajuste de um modelo com o mundo, no se
compara aquele modelo com os dados, mas sim com outro modelo, um modelo dos dados.
Assim, a cadeia de raciocnio vai de um modelo de alto nvel, no para as predies acerca
dos dados, mas sim para as predies acerca de um modelo de dados possveis. Os dados
reais so processados de vrias formas, de modo a se ajustar a um modelo dos dados. este
modelo (e no os prprios dados) que usado para se julgar a similaridade entre o modelo de
nvel mais alto e o mundo. No meio, como Suppes sempre insistiu, deve haver um modelo do
4
5
11
12
SUPPES, P. [1962]. Models of data. In: NAGEL, E., SUPPES, P. & TARSKI, A. (eds.).
Logic, Methodology and Philosophy of Science: Proceedings of the 1960
International Congress, pp. 252-261. Stanford, CA: Stanford University Press.10
WOODWARD, J. [1989]. Data and phenomena. Synthese, v. 79, pp. 393-472.
10
13