Vous êtes sur la page 1sur 25

Estruturas conceituais e estratgias

de investigao: modelos representacionais e


instanciais, analogias e correspondncia
Valter Alnis Bezerra
resumo
So discutidas, neste artigo, determinadas estratgias de investigao cientfica que tm em comum as
caractersticas de estar fundadas sobre as noes de modelo e de depender de um contraponto entre duas
ou mais estruturas. So focalizadas trs dessas estratgias cientficas. Analisa-se, primeiramente, a mo-
delagem, tal como entendida usualmente na cincia. Para isso, distinguem-se duas noes de modelo: a
noo lgica ou instancial e a noo prototerica ou representacional. Ao mesmo tempo em que so assi-
naladas as diferenas entre as duas acepes do termo, procura-se tambm compreender de que manei-
ra elas esto relacionadas. Em particular, para investigar a relao (entre estruturas e realidade) de mo-
delagem representacional preciso invocar a relao (entre estruturas e estruturas) de modelagem lgi-
ca. A anlise dos modelos tambm contribui para elucidar a relao de adequao emprica entre as teo-
rias cientficas e os dados, por meio da noo de subestrutura emprica ou modelo de dados. So consi-
deradas, em segundo lugar, as analogias. O seu funcionamento aqui analisado em termos de modelos e
isomorfismos parciais, o que permite capturar a ideia de uma traduo dos problemas e de suas solues
em domnios de investigao diferentes. Destaca-se o papel importante desempenhado pelas analogias
no pensamento cientfico de Maxwell (que tambm atribua lugar de destaque aos modelos). Em terceiro
lugar, discute-se o princpio de correspondncia, que historicamente desempenhou um papel notvel
na primeira fase da teoria quntica. So identificadas duas formas, de teor diferente, que o princpio
assumiu na teoria quntica, sendo ambas elucidadas em termos de modelos. Para contextualizar a dis-
cusso sobre o princpio de correspondncia, e tambm para exemplificar as caractersticas dos mode-
los representacionais, dedica-se aqui uma ateno especial ao modelo atmico de Bohr-Sommerfeld.
Palavras-chave

Modelo. Analogia. Estrutura. Prototeoria. Modelos de dados.


Princpio de correspondncia.
Introduo
Neste texto, nosso interesse est principalmente centrado em determinadas estrat-
gias cognitivas racionais de investigao cientfica que tm em comum duas caracte-
rsticas principais:
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
585
586
Valter Alnis Bezerra
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
(i) esto fundadas sobre alguma noo de modelo;
(ii) dependem, para sua aplicao, e mesmo para a sua definio, de um
contraponto entre duas ou mais estruturas.
So focalizadas, em particular, trs estratgias cognitivas: os modelos representacionais
ou prototeorias, as analogias e o princpio de correspondncia. Inicialmente, so con-
sideradas e distinguidas as duas grandes concepes de modelo; por um lado, a concep-
o lgica, dita instancial (aqui tambm denominada modelo tipo ii), e, por outro, a
concepo dita representacional (modelo tipo i), de modelo como uma prototeoria, que
envolve idealizaes, aproximaes e simplificaes, bem como uma maior tolerncia
para com a presena de inconsistncias. Ao mesmo tempo em que so assinaladas as
diferenas entre as duas noes de modelo, procura-se tambm compreender de que
maneira elas esto relacionadas entre si. Em particular, para a compreenso da relao
de modelagem tipo i necessrio invocar a relao de modelagem tipo ii. Os modelos
lgicos so indispensveis tambm para pensar a adequao emprica de teorias, quan-
do entram em cena os modelos de dados e a relao de isomorfismo parcial. Toda essa
anlise realizada sob a perspectiva da metateoria estruturalista (que se vincula fa-
mlia dos chamados enfoques semnticos).
As concepes de modelo tipo i e tipo ii so ento aplicadas tarefa de elucidar o
funcionamento de outra importante estratgia de soluo de problemas na cincia: as
analogias, caracterizadas por uma traduo ou transferncia de informao entre do-
mnios de investigao distintos. Alguns casos exemplares de pensamento analgico,
encontrados na histria da cincia moderna, so apresentados (especialmente as ana-
logias utilizadas por Maxwell durante a elaborao da teoria do campo eletromagnti-
co, episdio inserido dentro do perodo de declnio da imagem mecanicista de nature-
za). O funcionamento das analogias elucidado em termos de isomorfismo parcial entre
modelos, que permite dar conta das noes de analogia positiva, negativa e neutra.
Um caso, que ilustra de forma expressiva vrias caractersticas dos modelos re-
presentacionais e, ao mesmo tempo, permite contemplar outro tipo de estratgia de
investigao, o modelo atmico de Bohr-Sommerfeld (B-S). Em particular, volta-
mos a ateno para um dispositivo que caracteriza o desenvolvimento do modelo B-S e
de parte significativa da teoria quntica (tanto a antiga quanto a nova): o chamado prin-
cpio de correspondncia, que estabelece como critrio para o desenvolvimento da teoria
quntica a existncia de certas relaes com as teorias clssicas. Identificam-se duas
formas principais do princpio de correspondncia: uma verso numrica-assinttica
e uma estrutural-formal. O teor e os modos de aplicao do princpio de correspon-
dncia so analisados luz das consideraes feitas sobre os modelos e as analogias.
O princpio de correspondncia, na forma numrica, pode ser entendido como uma
587
Estruturas conceituais e estratgias de investigao...
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
relao entre os modelos de dados relevantes para diferentes teorias e, na sua forma
estrutural, como uma relao que se estabelece diretamente entre os modelos lgicos
das teorias envolvidas.
1 Modelos instanciais e modelos representacionais
Em primeiro lugar, cabe distinguir e confrontar, de um lado, a noo de modelo mais
corrente na cincia (dita representacional) e, de outro, o conceito de modelo em sua
acepo usada na lgica e metamatemtica (dito instancial). A explorao e o desen-
volvimento da distino entre os diferentes tipos de modelos tm uma histria longa,
que remonta pelo menos ao famoso texto de Patrick Suppes, Uma comparao dos
significados e dos usos do termo modelo na matemtica e nas cincias empricas (cf.
Suppes, 1960).
Um modelo no sentido i (o tipo mais comumente aludido na cincia) melhor
entendido como uma teoria aproximada ou simplificada ou que se vale de idealizaes
ou, ainda, uma estrutura preditiva/descritiva na qual a condio de consistncia inter-
na relaxada, vale dizer, onde se atribui ao valor cognitivo da consistncia um peso
menor. Em outras palavras, podemos dizer que se trata de uma prototeoria, aproveitan-
do o termo proposto por Batista (cf. 2004).
1
Faremos referncia aos modelos dessa
espcie como modelos representacionais.
Pode-se distinguir vrios tipos de modelos representacionais, tais como: (a) os
modelos concretos ou fsicos, que procuram reproduzir em um suporte material algo
da configurao geomtrica e das propores do objeto original (por exemplo, uma
esfera armilar, um planetrio, um prottipo em escala para ensaios em tnel de vento,
uma maquete arquitetnica); (b) modelos icnicos ou simblicos (por exemplo, um
mapa de linhas de metr, um fluxograma de processo); (c) modelos estruturais (por
exemplo, modelo de hibridao de orbitais, modelo nuclear de camadas, modelo de
dupla hlice do DNA); (d) modelos de mecanismo (por exemplo, modelo de Ising para
transies de fase, modelos de percepo visual e de viso computacional); (e) mode-
los numricos (por exemplo, modelo de predador-presa, modelos numricos de pre-
viso do tempo, modelos epidemiolgicos, modelo de circulao global da atmosfera
[GCM]); (f) modelos conceituais/formais, que estipulam um sistema de relaes entre
um pequeno nmero de conceitos fundamentais, passvel de ser formulado por meio
de um conjunto de postulados de carter geral. Dentro deste ltimo tipo, podemos ci-
1 Nos modelos, a funo explicativa e o importe ontolgico so substancialmente menores do que nas teorias cien-
tficas tpicas.
588
Valter Alnis Bezerra
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
tar por exemplo, o modelo cosmolgico Lambda-CDM (cold dark matter), os modelos
de estrutura e evoluo estelar (incluindo o modelo esfericamente simtrico quase-
esttico, ou modelo solar padro), os modelos simblicos de cognio, o modelo
biopsicossocial de doena (de Engel-Millon), os modelos de bandas eletrnicas em
fsica da matria condensada (como o modelo de Hubbard), e uma vasta variedade de
modelos em macro e microeconomia. Um outro exemplo clebre de modelo conceitual/
formal o chamado modelo padro na fsica das partculas elementares, que curi-
osamente formado pela superposio, no inteiramente consistente, de trs teorias
qunticas do campo: a eletrodinmica quntica, baseada no grupo de simetria U(1), a
teoria eletrofraca de Weinberg-Salam, baseada no grupo U(1) X SU(2), e a cromodin-
mica quntica, baseada no grupo SU(3).
Cada tipo de modelo seleciona e salienta usualmente uma determinada classe de
aspectos do sistema modelado, ao mesmo tempo em que conscientemente ignora ou-
tros.
2
Por exemplo, no modelo em escala, tem-se uma preocupao prioritria com o
formato exterior do objeto e suas propriedades aerodinmicas ou estticas; no mapa
de linhas do metr, o interesse est nas relaes topolgicas de conectividade entre as
estaes e as linhas, no nas distncias exatas entre elas. No presente texto, iremos
considerar apenas os modelos representacionais dos tipos (c), (d), (e) e (f), que admi-
tem formulao em alguma linguagem codificada tal como a matemtica.
3
Por outro lado, um modelo no sentido ii (metamatemtico ou lgico) uma in-
terpretao verdadeira de um conjunto de enunciados. Ou seja, trata-se de uma estrutura
que confere significado s sentenas e tambm satisfaz as sentenas. Essa noo de
modelo a usual em lgica, e pode ser expressa em termos formais, permitindo elucidar
as relaes entre a linguagem, por um lado, e os objetos ou construtos, por outro (cf.
2 importante ressaltar que os tipos de modelos no so excludentes: possvel que um mesmo modelo apresente
caractersticas de mais de um tipo. Por exemplo, o modelo mecnico do ter com clulas vorticais de Maxwell (cf.
2003b [1862]) pode ser considerado um modelo estrutural, na medida em que prope uma estrutura celular para o
meio etreo eletromagntico, mas tambm um modelo de mecanismo, na medida em que prope um mecanismo
para explicar as aes eletromagnticas envolvendo cargas, correntes, foras eletromotivas e o estado eletrotnico;
e ainda um modelo conceitual, na medida em que auxiliou Maxwell a determinar a forma das equaes matemticas
fundamentais que regem o eletromagnetismo. O modelo atmico de Bohr-Sommerfeld (sobre o qual falaremos
mais adiante) pode ser considerado um modelo estrutural, na medida em que prope uma estrutura para o tomo, e
um modelo mecanista, na medida em que prope um mecanismo fsico para a emisso e absoro de radiao, mas
tambm um modelo conceitual, pois coloca em posio central o postulado da quantizao do momento angular e,
posteriormente, a condio geral de quantizao para os sistemas peridicos. Os modernos pacotes de software de
qumica quntica (considerando a estrutura eletrnica) e de modelagem molecular (que consideram o tomo todo
como a menor unidade estrutural) constituem modelos estruturais, na medida em que determinam estruturas geom-
tricas para as molculas, e tambm modelos numricos, na medida em que obtm tais estruturas calculando solu-
es aproximadas para as equaes relevantes (as quais, por sua vez, valem-se de diversos tipos de aproximaes).
3 Falaremos adiante sobre um outro tipo de modelo, os chamados modelos analgicos.
589
Estruturas conceituais e estratgias de investigao...
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
Santanna, 2003; Van Dalen, 2004; Hodges, 1997); para nossos propsitos atuais, bas-
tar aqui falar em termos informais. Dado que a ideia presente na noo lgica de mo-
delo precisamente a de ser um exemplo, um caso ou uma instncia de uma estrutura
abstrata geral, essa noo de modelo pode tambm ser chamada de instancial.
Um exemplo da noo de modelo instancial proporcionado pelo conjunto dos
nmeros naturais usuais, que um modelo do sistema de axiomas denominado arit-
mtica de Peano. Outro exemplo dado pelos inmeros grupos estudados em matem-
tica, em fsica, na cincia cognitiva etc., que so modelos do sistema de axiomas que
define o que um grupo, isto , dado um conjunto no-vazio dotado de uma operao
binria, devem ser obedecidos trs axiomas: o da associatividade, o da existncia do
elemento neutro e o da existncia do elemento inverso de cada elemento. Ainda outro
exemplo seria proporcionado pelo seguinte sistema de axiomas: (A1) para quaisquer
duas retas, h no mximo um ponto pertencente s duas; (A2) para quaisquer dois pon-
tos, h exatamente uma reta que os contm; (A3) em cada reta, h pelo menos dois
pontos. Embora simples, o sistema admite entre seus modelos tanto um conjunto de
retas ordinrias da geometria euclidiana quanto a famosa geometria dos trs pontos,
que parece primeira vista bem menos intuitiva (cf. Van Fraassen, 2007, cap. 3).
As duas acepes do termo modelo diferem entre si no seguinte sentido: na
primeira acepo, a mais comum, dizer que X um modelo de Y significa que X a
representao (simblica, terica, abstrata) de uma classe de objetos Y (fenmenos,
objetos ou processos fsicos). J na segunda acepo, dizer que X um modelo de Y
significa que os modelos X so objetos (formais) que tm em comum o fato de serem
instncias ou realizaes de um mesmo sistema axiomtico Y. A distino entre os
modelos de tipo i (representacional) e os modelos de tipo ii (metamatemtico) afir-
ma, em outras palavras, que os modelos no sentido i (representacional) falam sobre
aquilo que acontece no mundo.
4
Ou seja, no mundo cumpre-se (ou, pelo menos, deveria
cumprir-se) aquilo que diz o modelo X (supondo que seja um modelo adequado). Por
outro lado, os modelos X no sentido ii (metamatemtico) so as estruturas nas quais se
cumpre o que diz a teoria Y. Outra maneira de destacar a diferena entre as duas acepes
pensar que, na acepo cientfica, o modelo est em uma relao um-muitos com
os fenmenos, ao passo que, na acepo metamatemtica, os modelos esto em uma
relao muitos-um com o sistema de axiomas. Essas relaes esto ilustradas na Fi-
gura 1 a seguir:
4 A expresso falar sobre o que acontece no mundo pode ser interpretada de maneira minimal, como adequao
emprica (o que bastaria para um anti-realista) ou de maneira mais forte (como desejaria um realista). No tomare-
mos aqui partido na controvrsia realismo/anti-realismo.
590
Valter Alnis Bezerra
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
Figura 1. Unidade e multiplicidade nos modelos de tipo I e de tipo II.
Normalmente, uma srie de perguntas de carter metodolgico coloca-se dian-
te de qualquer construtor de modelos representacionais: (a) quando optar por um mo-
delo e quando optar por uma teoria? (b) quais idealizaes lcito empregar? (c) que
aproximaes e simplificaes se deve utilizar? (d) sob que condies pode ocorrer (se
que pode) uma migrao de um modelo para uma teoria? (e) sob que condies se
pode tolerar racionalmente (se que se pode) a presena de inconsistncias internas
em um sistema terico? (f) sob que condies se pode tolerar racionalmente o uso
concomitante de modelos diferentes? Pode-se conjecturar sobre se o trabalho com os
modelos requer um leque de atitudes cognitivas diferentes das atitudes proposicionais
tradicionais que se pode tomar em relao s crenas (aceitar, crer, rejeitar, justificar
etc.) e com relao s teorias (aceitar, endossar, adotar, refutar etc.). O registro cognitivo
em que se d o trabalho com os modelos est mais prximo do contexto prospectivo
(context of pursuit) proposto por Laudan (cf. 1977) do que do contexto da aceitao
(context of acceptance). A desenvoltura com que os cientistas costumam transitar entre
modelos diferentes, incompatveis entre si e formulados com muito maior rapidez do
que as teorias, um dos fatores que impressionaram um autor como Ronald Giere (cf.
1999a), levando-o a propor uma viso evolucionria da cincia, que dispensa a noo
de leis da natureza e coloca em destaque o papel das estruturas cognitivas humanas
na construo do conhecimento cientfico. O resultado uma imagem da cincia mui-
to menos theory-centric e muito mais model-based.
As distines traadas j nos colocam em condio de esboar uma viso do pa-
pel que desempenhado pelos modelos de tipo ii no encontro entre a teoria ou a
prototeoria e a realidade. O encontro no ocorre diretamente, como se poderia su-
por, entre as hipteses ou leis, de um lado, e os fenmenos, de outro; situao que, de
591
Estruturas conceituais e estratgias de investigao...
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
resto, nos colocaria diante de problemas epistemolgicos extremamente difceis acerca
da constituio da base emprica.
5
Trata-se, na realidade, de um encontro entre estrutu-
ras, mais precisamente, entre modelos: um modelo da estrutura terica e um modelo
de dados (cf. Suppes, 1962; Giere 1999b; French 2009).
Um modelo de dados uma estruturao dos dados, dentre as muitas possveis;
uma dentre muitas possveis realizaes dos dados, na expresso de Suppes. Um
modelo de dados no sentido suppesiano um modelo de tipo instancial (tipo ii), onde
o que instanciado o sistema de enunciados que expressam os dados, bem como os
parmetros que definem os contextos experimentais nos quais eles foram obtidos (por
exemplo, calibrao dos instrumentos, sensibilidade, resoluo, rudo no sinal etc.).
Exemplos de modelos de dados seriam: um banco de dados relacional, uma tabela, um
grfico bidimensional (eventualmente com uma curva ajustada a eles), um grfico
tridimensional (eventualmente com uma superfcie ajustada), um histograma etc. Cada
uma dessas realizaes dos dados pressupe certos processos de seleo (como a ex-
cluso dos famosos pontos fora da curva, com base em critrios de significncia),
filtragem de rudos, eliminao de sinais esprios, teoria do tratamento estatstico,
teoria da montagem experimental etc. Algumas dessas formas sero mais adequadas
que outras para determinados fins. A noo de modelo de dados visa capturar a ideia de
que, na cincia, as teorias no so confrontadas com dados experimentais ou obser-
vacionais puros: os dados so apresentados sempre concatenados, correlacionados,
selecionados.
6
Isso faz justia afirmao, j fartamente reiterada por numerosos au-
tores na filosofia contempornea da cincia, de que o fato cientfico uma construo,
sempre impregnada de pressuposies tericas.
7
O encadeamento entre as vrias estruturas, no confronto entre teoria/realidade,
se d basicamente tal como esquematizado no diagrama da Figura 2 a seguir.
5 Como mostra o debate Neurath-Schlick-Carnap-Popper sobre a base emprica nos anos 1930.
6 A relao entre a realidade e os modelos de dados poderia eventualmente ser pensada como mais complexa, com-
portando diferentes nveis que medeiam entre esses dois extremos, formando uma verdadeira hierarquia de mode-
los (cf., para um esboo, Suppes, 1962; para detalhes, Woodward, 1989). Porm, para os nossos propsitos presen-
tes, a colocao dos modelos tericos e modelos de dados j suficiente.
7 Um exemplo extremo dessa situao proporcionado pela fsica de altas energias no final do sculo xx e incio do
xxi, onde cada dia de operao de um grande detector instalado em um acelerador de partculas de grande porte gera
uma quantidade imensa de dados (da ordem de petabyte), que passam por um processo computacional macio de
reduo, at serem resumidos a apenas algumas centenas de eventos considerados relevantes, que sero ento
analisados detidamente.
592
Valter Alnis Bezerra
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
Na verdade, os modelos da teoria T
que se confrontam com os modelos de
dados so modelos sem termos teri-
cos (usamos este nome por enquanto
entre aspas, at darmos uma formulao
precisa para a noo). por uma razo
simples: na estrutura da teoria T muito
provavelmente haver termos que no
possuem nenhum correlato observvel.
Alm disso, a teoria provavelmente se
valer de construtos como funes con-
tnuas, limites infinitos e sequncias
infinitas, ao passo que nos dados obser-
vacionais encontraremos, respectiva-
mente, funes discretas, valores mui-
to grandes e muito pequenos (o que ser
em parte determinado pelo hardware
computacional de aquisio de dados de que se dispe), e sequncias finitas. A apli-
cao pretendida de T precisar ento ser uma subestrutura emprica de T (um submodelo
emprico). De um ponto de vista lgico-epistemolgico, essa filtragem dos termos
tericos dos modelos pode ser obtida por meio do chamado funtor de Ramsey, cuja utili-
zao pressupe, por sua vez, o critrio de teoricidade de Sneed, que constitui um dos ele-
mentos centrais do enfoque metacientfico conhecido como metateoria estruturalista.
8
Ser que a restrio aos termos ditos no-tericos nos obriga a dizer que a
subestrutura emprica (modelo de dados) s deve conter termos observacionais?
No. Consideramos a noo de observabilidade por demais problemtica, do ponto
de vista epistemolgico, para ser til aqui.
9
No nos precisamos envolver com os pro-
blemas da observabilidade. As dicotomias terico/no-terico e observacional/no-
observacional devem ser encaradas como duas dicotomias independentes. E, para
formular uma relao que seja aceitvel como teste emprico de T, basta considerar os
8 No entraremos em maiores detalhes, aqui, sobre o funcionamento do funtor de Ramsey, que ocupa um lugar
central na chamada metateoria estruturalista, na qual as teorias cientficas so encaradas como redes de ncleos
tericos constitudos por determinadas classes de modelos (de tipo ii), em um certo sentido preciso. A metateoria
estruturalista possibilita uma descrio muito mais poderosa e rica da estrutura e dinmica da cincia do que as
concepes tradicionais (cf. Balzer, Moulines & Sneed, 1987; Sneed, 1971; Stegmller, 1976; Balzer & Moulines,
1996; Dez & Lorenzano, 2002).
9 Vale lembrar as crticas observabilidade e dicotomia terico/observacional feitas por Putnam (1991), Hanson
(1975) e outros, que no entanto no haveria tempo de revisar aqui.
Figura 2. O encontro entre teoria e realidade em ter-
mos de modelos.
593
Estruturas conceituais e estratgias de investigao...
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
termos no-tericos. Alm disso, a grande vantagem desse enfoque que podemos
pensar que os termos so tericos e no-tericos em relao a T. A teoricidade
sempre relativa a uma dada teoria. Um termo pode ser terico em relao a uma teoria T
(T-terico) e no ser terico em relao a outra teoria T (isto , ser T-no-terico).
A questo passa, assim, por um deslocamento importante: a teoricidade passa a ser
vista como uma propriedade metodolgica e estrutural, no mais como uma proprieda-
de epistemolgica.
10
A formulao precisa do critrio de teoricidade devida a Sneed, e pressupe a
noo de procedimento de determinao de um conceito, que vem a ser um modo de de-
terminar se um conceito aplica-se ou no a um dado objeto e, caso se trate de um con-
ceito quantitativo (uma grandeza), determinar o valor daquela grandeza. Informalmen-
te, a ideia bsica do critrio de teoricidade que um conceito terico em relao a T, se
todos os procedimentos de determinao conhecidos para esse conceito pressupem a
aplicabilidade e validade de T, e no-terico em relao a T, se existem procedimentos
de determinao independentes de T, isto , que no pressupem a validade de T. Em
outras palavras, um conceito terico em relao a T, se prprio do arsenal conceitual
dessa teoria, se introduzido por ela, em outras palavras, se um conceito novo; e
no-terico em relao a T, se o conceito est disponvel previamente a T, foi introduzido
por outra teoria ou, em outras palavras, se um conceito antigo. Note-se que no h
nenhuma conexo intrnseca entre ser T-no-terico e ser observacional.
Figura 3. Exemplo de termos T-tericos e T-no-tericos na mecnica.
10 Por sua vez, a distino observacional/no-observacional pode continuar a ser pensada, seja como uma ques-
to epistemolgica (cf. Carman & Fernndez, 2004) ou, como sugere Van Fraassen, como uma questo emprica,
que nem mesmo pertence ao escopo da filosofia (Van Fraassen, 2007 [1980], Cap. 3, 7).
594
Valter Alnis Bezerra
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
Figura 4. A relao de modelagem tipo I em termos
da relao de modelagem tipo II.
Elaborando um pouco mais o dia-
grama apresentado anteriormente na fi-
gura 2, podemos compreender melhor de
que maneira os modelos tipo i (represen-
tacionais) requerem o concurso de mode-
los tipo ii (lgicos). A relao de modela-
gem de tipo i pressupe, define-se em
termos da noo de modelo de tipo ii.
No diagrama da Figura 4 a seguir, M pode
ser uma teoria ou uma prototeoria.
Na realidade, se levarmos em conta
tanto a pluralidade de modelos que podem
estar associados estrutura terica quan-
to, por outro lado, a multiplicidade de
modelos de dados que esto associados a
cada um dentre os vrios experimentos
relevantes para uma dada teoria, a inter-
face teoria-experimento (ou modelo re-
presentacional-experimento), represen-
tada na figura 4, teria uma estrutura fina
mais complexa, tal como a que se acha
esquematizada na figura 5:
Figura 5. Estrutura fina do encontro entre modelos da teoria e modelos de dados.
595
Estruturas conceituais e estratgias de investigao...
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
Quando o encontro entre a teoria (ou o modelo representacional) e a realidade
bem sucedido? Nas perspectivas de racionalidade cientfica usuais, entende-se que
um modelo de tipo i (prototeoria) ou uma teoria precisa exibir em certa medida um
valor cognitivo que a adequao emprica (embora esse no deva ser o nico valor que a
teoria ou prototeoria precisa instanciar; muitos outros valores cognitivos podem estar
em jogo simultaneamente). luz das relaes consideradas acima, podemos imaginar
que a relao fundamental na adequao emprica das teorias cientficas seja a existncia
de isomorfismo entre o modelo terico e o modelo de dados (cf. Van Fraassen, 2007
[1980], p. 91, 122). Notemos que o isomorfismo pode ser uma relao forte demais
para ser exigida das estruturas, no caso da adequao emprica. Uma relao conve-
nientemente mais fraca a de isomorfismo parcial, definida como um isomorfismo en-
tre as chamadas estruturas parciais (cf. Bueno, 1999; Bueno, French & Ladyman, 2002).
Esta noo logra capturar de maneira precisa a ideia informal de que apenas uma parte
de uma estrutura deve ser tomada como relevante em determinadas relaes entre
estruturas. A relao de adequao emprica pode ser formulada, ento, nos seguin-
tes termos:
AE: Uma subestrutura emprica de T isomorfa (ou parcialmente isomorfa)
a um modelo de dados relevante para T.
Vale salientar que, para dar conta dos casos em que os modelos da teoria e os modelos de
dados possuem cardinalidade diferente, pode-se invocar, em vez da noo de isomor-
fismo parcial, a noo de homomorfismo parcial (cf. Bueno, French & Ladyman, 2002).
11
2 As analogias na cincia
As analogias constituem uma estratgia de investigao sumamente importante den-
tro do conjunto de ferramentas usuais da pesquisa cientfica. Veremos que o funciona-
mento das analogias pode ser consideravelmente esclarecido utilizando a noo de
modelo. Um exemplo elementar, que coloca, entretanto, em relevo os aspectos cen-
11 A hierarquia de estruturas mencionada anteriormente na nota 8 admite uma formulao natural em termos de
estruturas parciais (cf. Bueno, 1999, p. 66-7). Nessa hierarquia, cada nvel possuiria mais estrutura, por assim
dizer, do que o nvel imediatamente inferior e, assim, veicularia mais informao sobre os objetos do domnio.
Porm, penso que se deve exercer uma certa cautela filosfica diante da mera possibilidade lgica de postular um
sem-nmero de nveis intermedirios. Que sentido epistemolgico ou metodolgico teria falarmos, digamos, em
dez nveis de modelos intermedirios? Trata-se de impedir que essa hierarquia seja subdividida e complicada ex-
cessivamente ou, pior, recaia em um regresso infinito, tema que j preocupou os pensadores da base emprica nos
anos 1930.
596
Valter Alnis Bezerra
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
trais da analogia na cincia, proporcionado pela relao que se pode estabelecer en-
tre duas instncias do oscilador harmnico: um circuito oscilante LC e um sistema
massa-mola, como representado no diagrama a seguir.
Figura 6. O sistema 1 um oscilador mecnico massa-mola.
A analogia que se estabelece entre o sistema 1 e o sistema 2, que um circuito oscilante LC.
Os dois sistemas, embora possuam constituies fsicas totalmente diferentes, apre-
sentam uma similaridade formal no que diz respeito s equaes que descrevem os
seus comportamentos, como ilustrado na figura 7, a seguir. Ambas as equaes possu-
em solues que apresentam comportamento oscilatrio.
Figura 7. Similaridade formal entre as equaes do sistema 1 e do sistema 2.
O processo da analogia fundamentalmente o seguinte. A analogia cientfica vale-se
de um trnsito de ida e volta entre dois domnios de investigao diferentes. A soluo
ao problema cientfico original sendo indisponvel ou insatisfatria uma soluo por
primeiros princpios buscada em uma soluo que j seja conhecida para um
problema correspondente em um mbito de investigao diferente. Ocorre, assim, uma
transferncia de informao de um domnio para outro. O processo encontra-se ilus-
trado no diagrama a seguir, no qual os dois domnios so indicados como A e B.
597
Estruturas conceituais e estratgias de investigao...
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
O sistema B nos ajuda a encontrar uma
soluo para um problema colocado no
sistema A, mas tambm existem aspec-
tos do sistema B que no pretendemos ou
no desejamos transportar de volta para
A. Os termos analogia positiva e analogia
negativa procuram expressar a ideia in-
formal que h aspectos em que a analo-
gia funciona ou se aplica e aspectos
em que isso no ocorre ou, em outras pa-
lavras, propriedades que so comparti-
lhadas pelas descries dos dois domni-
os e propriedades que no o so. O termo
analogia neutra expressa a ideia de que h aspectos acerca dos quais simplesmente no
se sabe, at o momento, se eles so ou no compartilhados pelos dois sistemas (cf.
Hesse, 2001).
Vejamos o que disse Maxwell um entusiasta da estratgia das analogias fsi-
cas na cincia de forma sucinta em uma conferncia de 1870:
Ora, uma ilustrao verdadeiramente cientfica um mtodo para capacitar a men-
te a apreender alguma concepo ou lei em um ramo da cincia, colocando diante
dela uma concepo ou lei de um ramo diferente da cincia, e direcionando a men-
te para apropriar-se da forma matemtica comum s ideias correspondentes nas
duas cincias, deixando de fora dessa descrio, por enquanto, a diferena entre
as naturezas fsicas dos fenmenos reais (Maxwell apud Turner, 1955, p. 227).
E de novo Maxwell, em 1856, no primeiro de seus trs grandes artigos em que
formula a teoria do eletromagnetismo moderno:
Devemos, portanto, descobrir algum mtodo de investigao que permita mente,
a cada passo, dispor de uma concepo fsica clara, sem comprometer-se com
nenhuma teoria fundada na cincia fsica da qual aquela concepo tomada de
emprstimo, de modo que ela no seja nem afastada do assunto na busca de suti-
lezas analticas, nem levada para alm da verdade por uma hiptese predileta.
Para obter ideias fsicas sem adotar uma teoria fsica, devemos familiarizar-
nos com a existncia de analogias fsicas. Por analogia fsica quero dizer aquela
semelhana parcial entre as leis de uma cincia e as de outra, que faz com que
cada uma delas ilumine a outra (Maxwell, 2003a [1856], p. 156).
Figura 8. O processo da analogia.
598
Valter Alnis Bezerra
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
Na introduo do mesmo artigo, Maxwell exemplifica com a analogia entre a for-
a de atrao segundo o inverso do quadrado da distncia e a conduo de calor:
As leis da conduo de calor nos meios uniformes parecem, primeira vista, es-
tar entre as mais diferentes que h daquelas relativas atrao, no que diz res-
peito a suas relaes fsicas. As quantidades que nelas ocorrem so temperatura,
fluxo de calor, condutividade. A palavra fora estranha ao tema. E, contudo, cons-
tatamos que as leis matemticas do movimento uniforme do calor nos meios ho-
mogneos so idnticas, na forma, quelas das atraes que variam inversamen-
te com o quadrado da distncia. Temos apenas que usar fonte de calor em vez de
centro de atrao, fluxo de calor em vez de efeito acelerador da atrao em um ponto
qualquer, e temperatura em vez de potencial, e a soluo para um problema sobre a
atrao v-se transformada em uma soluo a um problema sobre o calor.
Ora, supe-se que a conduo de calor ocorra atravs de uma ao entre as par-
tes contguas de um meio, ao passo que a fora de atrao uma relao entre
corpos distantes; e, contudo, se ns nada soubssemos alm daquilo que se acha
expresso nas frmulas matemticas, no haveria nada a distinguir um conjunto
de fenmenos do outro (Maxwell, 2003a [1856], p. 157).
Para investigar os fenmenos eltricos e magnticos, Maxwell adota a noo f-
sica de linhas de fora de Faraday, e prope uma analogia hidrodinmica:
Usualmente, tem-se comeado a investigao das leis dessas foras supondo, logo
de sada, que os fenmenos so devidos s foras atrativas ou repulsivas atuando
entre determinados pontos. No entanto, podemos obter uma viso diferente do
assunto, que seja mais adequada s nossas investigaes mais difceis, adotando,
por definio, que as foras aqui tratadas podem ser representadas em magnitu-
de e direo pelo movimento uniforme de um fluido incompressvel.
Proponho, ento, em primeiro lugar, descrever um mtodo pelo qual o movi-
mento de tal fluido possa ser claramente concebido; em segundo lugar, seguir as
consequncias da pressuposio de certas condies de movimento, e indicar a
aplicao do mtodo a alguns dos fenmenos menos complicados da eletricida-
de, do magnetismo e do galvanismo; e, finalmente, mostrar de que maneira, atra-
vs de uma extenso desses mtodos, e com a introduo de uma outra ideia de-
vida a Faraday, as leis das atraes e aes indutivas dos ms e correntes podem
ser claramente concebidas, sem fazer quaisquer suposies com respeito natu-
reza fsica da eletricidade, nem tampouco acrescentar qualquer coisa quilo que
j foi provado pelo experimento (Maxwell, 2003a [1856], p. 159).
599
Estruturas conceituais e estratgias de investigao...
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
Porm, de notar que Maxwell demonstra tomar grande cuidado no sentido de
no atribuir analogia um maior importe ontolgico:
No se deve supor que a substncia de que aqui se trata possua nenhuma das pro-
priedades dos fluidos ordinrios, exceto as de liberdade de movimento e resis-
tncia compresso. No nem mesmo um fluido hipottico que est sendo in-
troduzido para explicar os fenmenos reais. Trata-se meramente de uma coleo
de propriedades imaginrias, que pode ser utilizada a fim de estabelecer certos
teoremas na matemtica pura, de uma maneira mais inteligvel a muitas mentes,
e mais aplicvel aos problemas fsicos, do que aquela em que se utilizam apenas
os smbolos algbricos (Maxwell, 2003a [1856], p. 160).
E, mais adiante, Maxwell faz referncia a sua expectativa de implementar uma
noo de algo como uma embodied mathematics (matemtica corporificada ou reifi-
cada ou materializada):
Neste esboo das teorias eltricas de Faraday, tal como elas se apresentam de um
ponto de vista matemtico, no posso fazer mais do que simplesmente enunciar
os mtodos matemticos pelos quais creio que os fenmenos eltricos podem
ser melhor compreendidos e reduzidos a clculos; e meu objetivo foi apresentar
mente as ideias matemticas sob uma forma reificada [embodied], como siste-
mas de linhas ou superfcies, e no como meros smbolos, que nem transmitem
as mesmas ideias, nem se adaptam facilmente aos fenmenos a serem explicados
(Maxwell, 2003a [1856], p. 187.).
Vemos que, para Maxwell, as analogias so encaradas principalmente como uma
estratgia de inveno (evitamos aqui usar o termo descoberta). justo supor que a
analogia em Maxwell uma etapa do caminho, no o destino em si. O objetivo final de
Maxwell, virtuose da fsica matemtica que era, consistia em chegar, ao fim e ao cabo, a
uma formulao matematizada das leis referentes quele domnio de investigao.
De posse da distino entre modelos representacionais e instanciais traada na
seo 1, podemos agora mapear a relao de analogia na cincia em termos das noes
de modelo tipo i e tipo ii. A ideia de similaridade formal entre as equaes de um
domnio de investigao e as de outro capturada com maior preciso pela noo de
isomorfismo entre estruturas, e a soluo de problemas em ambos os domnios pres-
supe que exista um certo grau de adequao emprica em ambos. A relao funda-
mental para a existncia de uma analogia , ento:
600
Valter Alnis Bezerra
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
AN: Existe um isomorfismo (ou isomorfismo parcial) entre os modelos da
teoria cujo domnio A e os modelos da teoria cujo domnio B.
O encadeamento resultante pode ser ilustrado pela figura 9, a seguir.
Figura 9. Estrutura da analogia em termos de modelos.
As noes de analogia positiva, negativa e neutra, acima mencionadas, tambm podem
receber uma formulao precisa utilizando-se o conceito de isomorfismo parcial. Isso
vai ao encontro da pretenso expressada por French & Ladyman (cf. 2003, p. 34) de
capturar tanto as relaes intertericas horizontais, entre as quais inclumos a ana-
logia, quanto as relaes verticais entre a teoria e os modelos de dados, que vimos na
seo anterior.
O termo modelo analgico encontrado com certa frequncia em histria e
filosofia da cincia. Podemos agora acrescentar esse tipo de modelo taxonomia
esboada na seo 1, que j inclua os tipos (a)-(f). luz da anlise aqui apresentada,
pode-se dizer que um modelo analgico ser aquele modelo representacional no qual
a prpria formulao ou construo da estrutura de postulados resulta de um processo
de elaborao que emprega analogias.
601
Estruturas conceituais e estratgias de investigao...
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
3 O princpio de correspondncia
O modelo de Bohr-Sommerfeld, pea principal do programa de pesquisa da antiga te-
oria quntica, foi proposto inicialmente por Bohr na grande trilogia de artigos intitulada
Sobre a constituio dos tomos e molculas (Bohr,1979 [1914]). No modelo de Bohr,
os sistemas atmicos so vistos como anlogos a sistemas planetrios, como os eltrons
negativamente carregados descrevendo rbitas circulares ao redor do ncleo com car-
ga positiva, sujeitos a um potencial coulombiano.
12
Um aspecto crucial a notar que,
no modelo de Bohr, existem inconsistncias entre: (i) a mecnica clssica, (ii) a
eletrodinmica clssica, (iii) o postulado de quantizao e (iv) o postulado da estabili-
dade. Pois, de acordo com o modelo, o eltron, apesar de sujeito a uma fora atrativa de
tipo coulombiano, e apesar de submetido a uma acelerao enquanto descreve sua r-
bita circular em redor do ncleo, no emite radiao nem perde energia o que causa-
ria o seu colapso em direo ao ncleo (conforme prev a eletrodinmica clssica) ,
mas, ao contrrio, irradia apenas durante as transies entre estados. De outro lado,
ao passo que os estados estveis so supostos como regidos pelas leis da mecnica cls-
sica, o modelo postula que apenas um subconjunto enumervel das rbitas permiti-
do (a saber, aquelas cujo momento angular um mltiplo inteiro de h/2p), diferente-
mente do que seria previsto pela mecnica clssica, onde todos os raios orbitais seriam
permitidos. Alm disso, o modelo no pressupe que as transies entre estados se-
jam necessariamente regidas pela mecnica clssica. Ademais, o modelo no prov
nenhuma explicao causal para a ocorrncia das transies, nem se pronuncia sobre
as probabilidades de transio; algo que s comearia a ser trabalhado por Einstein
(cf. 1968 [1917]). Portanto, o modelo de Bohr, de tipo representacional, possui o perfil
tpico de uma prototeoria, tal como discutida na seo 1.
No obstante, com base nos postulados do modelo, acrescido das hipteses
auxiliares e das condies iniciais, possvel derivar a frmula geral para a frequncia
da radiao emitida durante uma transio entre dois nveis quaisquer (onde m, e
so, respectivamente, a massa e a carga em mdulo do eltron, h a constante de
Planck, n a frequncia da radiao e ni e nf so, respectivamente, os nveis inicial e
final da transio):
= (2m e
4
/ h
3
) (1/n
f
1/n
i
),
12 Os postulados originais de Bohr, em nmero de cinco, so apresentados conjunta e explicitamente apenas no
final da ltima parte da trilogia (Bohr, 1979 [1913]).
602
Valter Alnis Bezerra
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
frmula esta que engloba todas as sries espectrais do Hidrognio. Tambm possvel
encontrar expresses para o raio da rbita e a energia do eltron em funo de n, bem
como o valor da energia no estado fundamental (E = -13,6 eV).
Em meados da dcada de 1910, Arnold Sommerfeld entra em cena como um dos
principais (seno o principal) desenvolvedor do programa de Bohr. Em 1918 mesmo
ano em que Bohr publica a sua segunda trilogia, Sobre a teoria quntica das linhas
espectrais , Sommerfeld publica a primeira edio de Estrutura atmica e linhas
espectrais (Atombau und Spektrallinen).
13
Sommerfeld ir introduzir a condio de
quantizao geral, da qual o postulado de quantizao de Bohr um caso particular, que
ser uma precursora dos comutadores na moderna teoria quntica. Sommerfeld tam-
bm prope as rbitas elpticas, em vez de circulares, e introduz as correes relativs-
ticas requeridas pela elevada velocidade dos eltrons, o que lhe permite modelar, pela
primeira vez, a estrutura fina dos espectros.
Apesar da inconsistncia nos fundamentos, o programa da antiga teoria quntica
logrou apresentar inmeros e esplndidos xitos preditivos, como: (a) duas sries es-
pectrais j conhecidas em 1913 (Balmer, Paschen); (b) trs sries espectrais que s
seriam descobertas depois (Lyman, Brackett e Pfund); (c) a srie de Pickering-Fowler,
originada pelo Hlio;
14
(d) extenso a outros ons monoeletrnicos como o He
+
e o
Li
++
; (e) configurao eletrnica dos tomos mais pesados, at Z=24 (Cromo); (f) a ex-
plicao das periodicidades 8 e 18 na tabela peridica (cf. Bohr, 1979 [1913]); (g) des-
coberta do elemento Hfnio (Z=72) em 1922; (h) o resultado do experimento de Franck-
Hertz em 1914; (i) tentativas de explicao dos efeitos Stark e Zeeman; (j) a estrutura
fina dos espectros.
Foi com base no modelo de Bohr-Sommerfeld e com base no princpio de cor-
respondncia, parte da heurstica positiva do programa, que se lanou a teoria da radia-
o de Bohr, Kramers e Slater, referida como teoria BKS (cf. 1968 [1924]), que, por sua
vez, daria origem teoria de Kramers da disperso. A teoria BKS da radiao pode ser
considerada o elo perdido entre a antiga teoria quntica e a nova mecnica quntica
de Born, Heisenberg, Jordan, Dirac e Pauli (cf. Bezerra, 2003). O desenvolvimento da
teoria BKS e as aplicaes do modelo de Bohr-Sommerfeld pressupuseram o princpio
de correspondncia (aqui, correspondncia com a teoria clssica da radiao). para
esse princpio que nos voltamos agora.
13 Tive acesso a duas edies posteriores, bastante diferentes entre si, na medida em que retratam momentos bem
distintos dentro do desenvolvimento da teoria quntica: a segunda a edio inglesa baseada na terceira edio
alem (cf. Sommerfeld, 1928) e a terceira a edio inglesa baseada na quinta edio alem (cf. Sommerfeld, 1934).
14 Explicada por Bohr em uma nota publicada em 1913, utilizando a massa reduzida.
603
Estruturas conceituais e estratgias de investigao...
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
Pode-se distinguir duas grandes fases, de carter marcadamente diferente, no
uso do princpio de correspondncia no contexto da teoria quntica. Na fase i, corres-
pondente formulao empregada na antiga teoria quntica, o princpio de corres-
pondncia interpretado em termos do comportamento no limite de nmeros qunticos
grandes. Nos textos introdutrios usuais, o princpio de correspondncia apresenta-
do como um mero limite assinttico clssico, de tipo formal, obtido quando a transi-
o acontece entre nveis muito altos, n , ou mais precisamente:
O limite onde n
f
e n 0 (ou seja, n/n<<1)
e tambm h 0
Nesse limite, a frequncia n da radiao emitida tende frequncia clssica, que a
frequncia orbital do eltron. Certamente, fazer a constante de Planck (h) tender a
zero um expediente puramente formal, sem interpretao fsica plausvel.
15
De todo
modo, importante apreciar que esta leitura no fiel ao desenvolvimento histrico.
No desenvolvimento histrico da teoria quntica, o princpio de correspondn-
cia cedo passou a ser considerado um importante princpio heurstico; o que fica patente
na segunda trilogia de Bohr (cf. 2005 [1918]). Nas trilogias de Bohr de 1913 e 1918 e em
outros artigos pertencentes era da antiga teoria quntica, o princpio de correspon-
dncia no encarado como um mero limite formal que seria imposto s equaes depois
que elas j estivessem formuladas, para aferir se elas so bem comportadas. Ele tem
uma funo muito mais construtiva do que isso. Nas palavras de James Cushing (cf. 1982,
p. 13) e de Van der Waerden (cf. 1968, p. 8), fundamentalmente o princpio de cor-
respondncia que permite produzir sistematicamente expresses qunticas (a expres-
so s vezes usada em ingls guess, que poderamos traduzir por dar um palpite ou
simplesmente chutar), atravs de um processo de generalizar as expresses cls-
sicas para as intensidades das linhas espectrais, as frequncias e polarizaes da ra-
diao. ainda interessante notar que, em Sobre a constituio dos tomos e mol-
culas, durante a derivao original da frmula para as sries espectrais, Bohr no utiliza a
condio de quantizao do momento angular L = mvr = nh/2 (que afirma que o produto
da massa do eltron pela velocidade e pelo raio da rbita deve ser igual a um mltiplo
inteiro de h/2), como se faz nos livros-texto atuais. No curso daquela demonstrao,
ele se vale de uma forma do princpio de correspondncia (cf. Bezerra, 2003, apndice).
Na terminologia da seo 1 deste artigo, podemos descrever o funcionamento do
princpio de correspondncia na primeira fase dizendo que a relao de correspon-
15 Tal como acontece tambm com outro limite, frequentemente apresentado em livros-texto, onde se faz a veloci-
dade da luz c tender a infinito, para recuperar as transformaes de Galileu a partir das transformaes de Lorentz.
604
Valter Alnis Bezerra
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
dncia ocorre entre os modelos de dados da antiga teoria quntica e os modelos de dados
da eletrodinmica clssica. No se trata ainda de uma relao entre os modelos tericos.
Trata-se de uma relao entre as subestruturas empricas. Poderamos dizer, acompa-
nhando Honner (1987, p. 61), que o princpio de correspondncia, na fase i, relacio-
na os clculos clssicos e os clculos qunticos atravs de um casamento forado entre
teorias incompatveis. O que no impede, como vimos, que o princpio desempenhe
uma funo heurstica.
Na fase ii da histria do princpio de correspondncia, que coincide com a for-
mulao adotada na nova mecnica quntica, ele acabou por transformar-se em um
princpio metodolgico geral e de importncia central, recebendo uma reformulao
abstrata, em consonncia com o enfoque abstrato que predomina na mecnica quntica
moderna a partir de Dirac e Von Neumann. Nessa fase, o princpio visa agora possibi-
litar a traduo das equaes clssicas (com vetores, escalares e funes reais) em equa-
es de tipo quntico (com operadores hermitianos e funes complexas), por meio
de um dicionrio de correspondncias tais como:
q (varivel cannica) q (operador),
p (varivel) p = ih (operador),
Brackets de Poisson {x, y} comutadores ih[x, y]
Nas expresses acima, os smbolos em negrito denotam operadores. Novamente, o
objetivo gerar expresses qunticas a partir das expresses clssicas, porm o cami-
nho adotado agora inteiramente outro. A relao de correspondncia estabelecida
entre os modelos da mecnica quntica e os modelos da mecnica clssica. Trata-se de
uma relao entre estruturas, no apenas entre valores numricos, somada a uma
reinterpretao dos construtos dentro de um novo sistema conceitual (ao qual se associa
uma nova estrutura). Os pais da mecnica quntica tinham bastante presente essa pro-
posta de uma relao profunda entre a teoria clssica e a teoria quntica. Bohr costu-
mava referir-se teoria quntica como sendo uma generalizao racional da teoria
clssica (cf. Honner, 1987, seo 2.8; Bokulich & Bokulich, 2005), sendo esta ltima
referncia rica em citaes e referncias aos textos de Bohr. O prprio ttulo do artigo
fundador de Heisenberg deixa clara essa vinculao: Reinterpretao quntica das re-
laes cinemticas e mecnicas (ber quantentheoretische Umdeutung kinematischer und
mechanischer Beziehungen; Heisenberg, 1968 [1925]).
Finalmente, pode-se conjecturar acerca do seguinte aspecto. Pode-se indagar
em que medida o apego de Bohr ao princpio de correspondncia que estabelece, de
uma forma ou de outra, uma conexo entre o quntico e o clssico tem relao com
sua postura epistemolgica, j sobejamente discutida na literatura. De acordo com a
605
Estruturas conceituais e estratgias de investigao...
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
viso de Bohr, o domnio clssico ocupa um lugar inalienvel e desempenha um papel
indispensvel at mesmo para uma compreenso quntica da realidade. A linguagem
ordinria e os conceitos clssicos (para Bohr estes ltimos seriam um refinamento
dos primeiros) seriam inescapveis, na medida em que indispensveis para comuni-
car as descries dos fenmenos e para expressar os resultados dos experimentos.
Na interpretao bohriana, toda cadeia de instrumentos de medio dos fenmenos
atmicos e subatmicos possui, como ltimo elo, um sistema de carter clssico, de
natureza causal. As descries dos ponteiros, medidores, instrumentos, registros de
eventos etc. seriam, em ltima anlise, efetuadas no modo clssico de descrio, con-
texto no qual o papel do quantum de ao pode ser negligenciado, e onde faz sentido
falar em posies, momentos e trajetrias bem definidas. Da a importncia do prin-
cpio de correspondncia para estabelecer uma espcie de ponte entre os domnios
clssico e quntico. Porm, no haveria espao aqui para fazer mais do que meramente
mencionar tal possibilidade (cf., por exemplo, Honner, 1987, seo 2.8; Bokulich &
Bokulich, 2005). Explorar os desdobramentos de tal conjectura interpretativa tarefa
que deve ficar para outro momento.
Concluso
Os modelos de tipo i (representacional) que utilizam simplificaes, idealizaes e
aproximaes, e nos quais a condio de coerncia enfraquecida e as analogias
que se valem da transposio entre domnios de aplicao incluem-se entre as es-
tratgias de investigao mais teis da cincia. Vimos que os modelos de tipo ii (lgi-
co ou instancial) so indispensveis para entender o funcionamento dos modelos re-
presentacionais e, alm disso, permitem compreender com maior preciso como se
d o encontro entre o sistema terico (seja ele modelo ou teoria) e a realidade. Mode-
los e analogias podem ser vistos, segundo J. T. Cushing (cf. 1982), como fazendo parte
do contexto da descoberta, e poderamos supor que tambm pertencem ao chamado
contexto prospectivo de Laudan. O compromisso ontolgico mitigado no registro
de prospeco do domnio de investigao, haja vista a desenvoltura com que os
cientistas, semelhantes a oportunistas inescrupulosos, no dizer clebre de Einstein
(cf. 1949, p. 684), utilizam livremente modelos e analogias de provenincias diferen-
tes, mesmo naquelas situaes em que ainda no se acham em condies de explicitar
de maneira coerente a estrutura e/ou aceitar a ontologia de uma teoria especfica.
As anlises aqui feitas sobre a atuao dos modelos representacionais, o funcio-
namento das analogias, a anatomia da relao teoria-realidade e a operao do princ-
pio de correspondncia vinculam-se ao enfoque da metateoria estruturalista, e suge-
606
Valter Alnis Bezerra
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
rem que esta proporciona um caminho frtil para a abordagem de questes como es-
sas. Em vista da anlise aqui apresentada, penso que no se sustentam duas crticas
levantadas por Mary Hesse (uma importante estudiosa dos modelos e analogias, bem
como uma importante historiadora da fsica) concepo semntica ou modelo-te-
rica em filosofia da cincia. A primeira crtica no sentido de que a concepo se-
mntica de teorias pouco acrescenta de interesse filosfico ao tpico dos modelos em
si, e nada s questes epistemolgicas levantadas, e a segunda, de que uma fraqueza
ainda maior da concepo semntica est na sua aceitao tcita da distino feita no
hipottico-dedutivismo entre termos tericos e observacionais (Hesse 2001, p. 302).
Quanto primeira, esperamos ter mostrado que, ao contrrio, o enfoque semntico/
estruturalista pode contribuir significativamente para elucidar o funcionamento dos
modelos prototericos em termos de modelos lgicos. Com relao segunda, vimos
que a metateoria estruturalista opera uma completa reformulao e recolocao do pro-
blema, alm de dar uma nova interpretao sua soluo.
Os princpios de correspondncia, como o da antiga teoria quntica e da mo-
derna mecnica quntica que operam baseados nos modelos de tipo ii: modelos de
dados no primeiro caso e modelos tericos no segundo , tambm fazem parte do ar-
senal de estratgias cognitivas disposio dos cientistas. Os princpios de corres-
pondncia, entendidos em termos de estruturas, no precisam necessariamente im-
plicar uma forma de realismo convergente na cincia, uma vez que o comprometimento
ontolgico pode ser mitigado, eles podem ser utilizados em um plano heurstico e pros-
pectivo. A questo da escolha por alguma das teses disponveis sobre o estatuto cognitivo
da cincia (realismo estrutural, instrumentalismo etc.) no poderia ser abordada nos
limites deste trabalho. A principal lio de carter geral que podemos tirar do estudo
panormico das estratgias de investigao cientfica talvez seja a de que os modelos,
as analogias e a correspondncia fazem parte da rica biodiversidade do sistema do
conhecimento cientfico, que ultrapassa, em muito, a imagem de uma cincia
estruturada apenas em leis e teorias. E tais estratgias aumentam indubitavelmente a
flexibilidade e o alcance da racionalidade cientfica, dando-lhe a capacidade de explo-
rar uma ampla gama de possibilidades de elaborao do conhecimento.
Agradecimentos. Partes de verses anteriores deste trabalho foram apresentadas no IX Colquio de Epistemologia
da Universidade So Judas Tadeu (So Paulo, SP), em Junho de 2010, e no IV Seminrio de Histria e Filosofia da
Cincia, na Universidade Estadual de Santa Cruz (Ilhus, BA), em Setembro de 2010. No primeiro caso, agradeo
Profa. Snia Dion pelo convite e ao pblico do Colquio pelas discusses. No segundo caso, agradeo Profa. Marisa
Donatelli pelo convite e pelo apoio, bem como aos Profs. Osvaldo Pessoa Jr. e Eduardo Barra pelos comentrios, que
muito me ajudaram a aperfeioar o texto.
607
Estruturas conceituais e estratgias de investigao...
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
Valter Alnis Bezerra
Professor Doutor do Centro de Cincias Naturais e Humanas,
Universidade Federal do ABC, Brasil.
valter.bezerra@ufabc.edu.br
abstract
In the present article some strategies of scientific inquiry are discussed which have a pair of features in
common: first, they are based on the notions of model, and second, they depend on a counterpoint be-
tween two or more structures. Three strategies of this kind are considered. First, I consider modeling in
the usual scientific sense. In order to do this, one distinguishes between two notions of model: the logical
or instantial one, and the proto-theoretical or representational one. While the differences between both
senses of the term are highlighted, an attempt is also made to understand the sense in which the two are
related to one another. In particular, in order to investigate the structure-reality relationship of repre-
sentational modeling, one needs to invoke the structure-structure relationship of logical modeling. The
analysis of models contributes also to clarify the relational nature of empirical adequacy between scien-
tific theories and data, through the notion of empirical substructure or model of data. Second, analogies
are considered. Their operation is analyzed here in terms of models and partial isomorphisms, which
allows one to grasp the idea of a translation of problems (and their solutions) across distinct domains of
inquiry. The important role played by analogies in the thought of Maxwell (who also notably valued mod-
els) is highlighted. Third, I discuss the principle of correspondence, which historically played a remark-
able role in the first period of quantum theory. The principle acquired two distinct forms, different in
meaning, both of which can be clarified through the use of models. The Bohr-Sommerfeld model of the
atom receives special attention, both in order to provide a context for discussing the principle of corre-
spondence, and to exemplify the features of representational models as well.
Keywords

Model. Analogy. Structure. Proto-theory. Models of data. Correspondence principle.


referncias bibliogrficas
Balzer, W. & Moulines, C. U. (Ed.). Structuralist theory of science: focal issues, new results. Berlim: Walter
de Gruyter, 1996.
Balzer, W; Moulines, C. U. & Sneed, J. D. An architectonic for science: the structuralist program. Dordrecht:
D. Reidel, 1987.
Batista, I. L. O ensino de teorias fsicas mediante uma estrutura histrico-filosfica. Cincia & Educa-
o, 10, 3, p. 461-76, 2004.
Bezerra, V. A. Schola quantorum: progresso, racionalidade e inconsistncia na antiga teoria atmica. Parte
I: desenvolvimento histrico, 1913-1925. Scientiae Studia, 1, 4, p. 463-517, 2003.
Bohr, N. Sobre a constituio de tomos e molculas. Lisboa: Calouste Gulbenkian, 1979 [1913].
_____. On the quantum theory of line-spectra. Mineola/New York: Dover, 2005 [1918].
Bohr, N.; Kramers, H. A. & Slater, J. C. The quantum theory of radiation. In: Van der Waerden, B. L.
(Ed.). Sources of quantum mechanics. New York: Dover, 1968. p. 159-76.
608
Valter Alnis Bezerra
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
Bokulich, P. & Bokulich, A. Niels Bohrs generalization of classical mechanics. Foundations of Physics,
35, 3, p. 347-71, 2005.
Bueno, O. What is structural empiricism? Scientific change in an empiricist setting. Erkenntnis, 50, p.
59-85, 1999.
Bueno, O.; French, S. & Ladyman, J. On representing the relationship between the mathematical and the
empirical. Philosophy of Science, 69, p. 497-518, 2002.
Carman, C. C. & Fernndez, M. P. Gen: terico y observacional? Trminos T-tericos y trminos T-
observacionales. In: Martins, R. A. et al. (Ed.). Filosofia e histria da cincia no cone sul: 3o. Encontro.
Campinas: AFHIC, 2004. p. 102-9.
Carrilho, M. M. (Ed.). Epistemologia: posies e crticas. Lisboa: Gulbenkian, 1991.
Cushing, J. T. Models and methodologies in current theoretical high-energy physics. Synthese, 50, p. 5-
101, 1982.
Dez, J. A. & Lorenzano, P. (Ed.). Desarrollos actuales de la metateora estructuralista: problemas y discusiones.
Bernal: Universidad Nacional de Quilmes, 2002.
Einstein, A. On the quantum theory of radiation. In: Van der Waerden, B. L. (Ed.). Sources of quantum
mechanics. New York: Dover, 1968 [1917]. p. 63-77.
_____. Remarks concerning the essays brought together in this co-operative volume. In: Schilpp, P. A.
(Ed.). Albert Einstein: philosopher-scientist. Evanston/Illinois: The Library of Living Philosophers, 1949.
p. 665-88.
French, S. Cincia. Porto Alegre: Artmed, 2009.
French, S. & Ladyman, J. Remodelling structural realism: quantum physics and the metaphysics of struc-
ture. Synthese, 136, p. 31-56, 2003.
Giere, R. N. Science without laws. Chicago/London: University of Chicago Press, 1999a.
_____. Using models to represent reality. In: Magnani, L. et al. (Ed.). Model-based reasoning in scientific
discovery. New York: Kluwer/Plenum, 1999b. p. 41-57.
Hanson, N. R. Observao e interpretao. In: Morgenbesser, S. (Ed.). Filosofia da cincia. So Paulo:
Cultrix/EDUSP, 1975. p. 125-38.
Heisenberg, W. Quantum-theoretical reinterpretation of kinematic and mechanical relations. In: Van
der Waerden, B. L. (Ed.). Sources of quantum mechanics. New York: Dover, 1968 [1925]. p. 261-76.
Hesse, M. B. Models and analogies. In: Newton-Smith, W. H. (Ed.). A companion to the philosophy of science.
Oxford: Blackwell, 2001. p. 299-307.
Hodges, W. A shorter model theory. Cambridge: Cambridge University Press, 1997.
Honner, J. The description of nature: Niels Bohr and the philosophy of quantum physics. Oxford: Clarendon
Press, 1987.
Laudan, L. Progress and problems: towards a theory of scientific growth. Berkeley: University of California
Press, 1977.
Magnani, L. et al. (Ed.). Model-based reasoning in scientific discovery. New York: Kluwer/Plenum, 1999.
Martins, R. A. et al. (Ed.). Filosofia e histria da cincia no cone sul: 3o. Encontro. Campinas: AFHIC, 2004.
Maxwell, J. C. On Faradays lines of force. In: _____ The scientific papers of James Clerk Maxwell. Mineola/
New York: Dover, 2003a [1856]. v. 2, p. 155-229.
_____. On physical lines of force. In: _____. The scientific papers of James Clerk Maxwell. Mineola/New York:
Dover, 2003b [1862]. v. 2, p. 451-513.
Morgenbesser, S. (Ed.). Filosofia da cincia. So Paulo: Cultrix/EDUSP, 1975.
Nagel, E.; Suppes, P. & Tarski, A. (Ed.). Logic, methodology and philosophy of science. Stanford: Stanford
University Press, 1962.
Newton-Smith, W. H. (Ed.). A companion to the philosophy of science. Oxford: Blackwell, 2001.
609
Estruturas conceituais e estratgias de investigao...
scienti zudia, So Paulo, v. 9, n. 3, p. 585-609, 2011
Putnam, H. O que as teorias no so. In: Carrilho, M. M. (Ed.). Epistemologia: posies e crticas. Lisboa:
Gulbenkian, 1991. p. 299-326.
Santanna, A. S. O que um axioma. Barueri: Manole, 2003.
Schilpp, P. A. (Ed.). Albert Einstein: philosopher-scientist. Evanston/Illinois: The Library of Living Philo-
sophers, 1949.
Sneed, J. D. The logical structure of mathematical physics. Dordrecht: D. Reidel, 1971.
Sommerfeld, A. Atomic structure and spectral lines. 2 ed. London: Methuen, 1928.
_____. Atomic structure and spectral lines. 3 ed. New York: E. P. Dutton, 1934. v. 1.
Stegmller, W. The structure and dynamics of theories. New York: Springer, 1976.
Suppes, P. A comparison of the meaning and uses of models in mathematics and the empirical sciences.
Synthese, 12, p. 287-301, 1960.
_____. Models of data. In: Nagel, E.; Suppes, P. & Tarski, A. (Ed.). Logic, methodology and philosophy of
science. Stanford: Stanford University Press, 1962. p. 252-61.
Turner, J. Maxwell on the method of physical analogy. British Journal for the Philosophy of Science, 6, 23,
p. 226-38, 1955.
Van Dalen, D. Logic and structure. 4. ed. Berlin: Springer, 2004.
Van der Waerden, B. L. (Ed.). Sources of quantum mechanics. New York: Dover, 1968.
Van Fraassen, B. C. A imagem cientfica. So Paulo: Editora da Unesp/Discurso Editorial, 2007 [1980].
Woodward, J. Data and phenomena. Synthese, 79, 3, p. 393-472, 1989.