Escolar Documentos
Profissional Documentos
Cultura Documentos
Valria Gradinar
Florianpolis
2014
2
3
AGRADECIMENTOS
RESUMO
ABSTRACT
LISTA DE FIGURAS
SUMRIO
1
O termo mecnica quntica em todas as suas menes neste trabalho refere-
se ao formalismo terico padro apresentado via espao de Hilbert na disciplina
da fsica quntica. Alm disso, nesta dissertao trataremos apenas da
interpretao ortodoxa da mecnica quntica no-relativista, ou tambm como
conhecida, a interpretao de Copenhague, mesmo quando mencionarmos
somente mecnica quntica. Ao contrrio da Teoria Quntica de Campos, por
exemplo, a teoria na sua verso no-relativista no considera o tempo relativo
da Relatividade Geral, como tambm no considera a gravidade, ou seja,
considera apenas o tempo clssico em suas teorias e experimentos.
20
2
O termo partcula na acepo que usaremos neste trabalho refere-se a
partcula elementar, como empregada na linguagem usual dos fsicos na
mecnica quntica. A partcula elementar nada tem de elementar, pois refere-
se, genericamente, a todos os componentes do tomo como prtons, nutrons e
eltrons, bem como a suas estruturas indecomponveis como sistema. No
entanto, sabemos e estaremos levando em conta que, dependendo da
interpretao adotada, dentre as vrias possveis, da mecnica quntica, o
emprego da palavra partcula no seria adequado como, por exemplo, na
Teoria Quntica de Campos, QFT [Ver discusses a respeito em (FALKENBURG,
2007, cap. 6); (FRENCH E KRAUSE, 2010, pp. 117-118)]. Mas para os nossos
propsitos, vamos supor o objeto fsico quntico, genericamente, como partcula
elementar no tratamento da individualidade.
21
3
Quando falamos em onda na mecnica quntica, temos que levar em conta
que trata-se de um conceito distinto daquele advindo da fsica clssica e que,
presentemente, h muita discusso sobre o seu estatuto ontolgico [Maiores
detalhes, ver (ALBERT E NEY, 2013)]. A concepo de onda que temos da fsica
clssica, como onda mecnica, ou onda de rdio, servem-nos apenas como
analogias heursticas que podemos formar intuitivamente a respeito do
fenmeno quntico. Uma onda, em mecnica quntica, no algo que pode ser
comparado a uma onda no mar.
22
4
A literatura oferece muitas referncias sobre essa forma genrica de
subdeterminao. Algumas delas podem ser encontradas em: (Stanford, Kyle,
"Underdetermination of Scientific Theory", The Stanford Encyclopedia of
Philosophy (Winter 2009 Edition), Edward N. Zalta (ed.). Disponvel em:
(http://plato.stanford.edu/archives/win2009/entries/scientific-underdetermination/);
(FRENCH, 1998, p. 95); (FRENCH, 2011, p. 206); (FRENCH E KRAUSE, 2006, p.
189); (PESSOA JR., 2005, p. 127).
26
5
A teoria do flogisto data entre os sculos XVII e XVIII e resume-se em um
princpio que, supostamente, seria o responsvel pela combusto dos corpos.
Antes de ser derrubada por Lavoisier, com a descoberta do oxignio no sc.
XVIII, essa teoria cientfica foi largamente reconhecida pela comunidade
cientfica da poca por explicar os fenmenos fsicos e qumicos da combusto
[Para maiores detalhes com referncia a aspectos paradigmticos da cincia, ver
(KUHN, 1992, pp. 82-100); outros aspectos como uma discusso histrica-
filosfica, ver (SOUZA E BRITO, 2008, pp. 52-56). Disponvel em:
<http://www.scielo.oces.mctes.pt/pdf/ctm/v20n3-4/v20n3-4a08.pdf>. Acesso em:
14/06/2012].
6
A escola biomtrica, liderada por Walter Frank Raphael Weldon (1860-1906)
entre outros, afirmava que a evidncia emprica indicava a continuidade das
variaes em muitos organismos atravs de aspectos probabilsticos e
estatsticos, contrariamente explicao mendeliana de uma evoluo por
saltos ou mutaes, dando-se, nessa poca, um debate entre a biologia
experimental e a evoluo [Para maiores detalhes, ver (WEBER, M., 2012.
Experiment in Biology. Disponvel em: <http://plato.stanford.edu/entries/biology-
experiment/>. Acesso em: 14/06/2012)].
29
est alinhada com o argumento de van Fraassen que defende uma forma
positiva de antirrealismo como o empirismo construtivo.
Acreditamos que os tipos de subdeterminao abordados at
agora puderam nos fornecer uma noo geral daqueles que tm sido
discutidos na cincia. No entanto, o tipo de subdeterminao que est
em questo na argumentao do nosso trabalho ser analisado em um
sentido particular da expresso subdeterminao, a subdeterminao
da metafsica pela fsica, assim denominada por French e Krause, ou,
como tambm chamada, a segunda tese da subdeterminao,
significando que h uma tese de que a metafsica de uma teoria fsica
(supondo existir) no determinada pela fsica [(FRENCH, 1998, p.106);
(FRENCH E KRAUSE, 2006, p.189)]. A problemtica em questo destaca
que nesse caso a teoria cientfica no capaz de fornecer uma descrio
terica da natureza metafsica das entidades tratadas por ela, devido
situao de haver duas ontologias compatveis com a mecnica quntica:
uma ontologia de indivduos e uma ontologia de no-indivduos. A
subdeterminao, portanto, deriva do comprometimento assumido pela
mecnica quntica, de modo a sustentar ambas as ontologias
incompatveis no tratamento dos objetos qunticos, sem que ela (a
teoria) estabelea qual ontologia, ou com que tipo de entidades
deveramos nos comprometer.
Na prxima seo, seguiremos com a exposio sobre algumas
questes de relevncia filosfica levantadas pelo problema da
subdeterminao.
9
De forma geral, o Quietismo na filosofia analtica contempornea a viso,
ou postura, que implica evitar a teorizao filosfica do assunto da substncia,
alm de ser geralmente associada a certas formas de ceticismo, pragmatismo e
34
2 INDIVDUOS E NO-INDIVDUOS
10
H uma vasta literatura sobre o assunto, abordando o PII e seus
desdobramentos. Utilizamos, alm das referncias citadas no texto, a referncia
virtual: < http://plato.stanford.edu/entries/identity-indiscernible/ >. Acesso em
15/11/2012.
55
11
Boltzmann foi um fsico do final do sculo XIX, responsvel pela introduo
da noo de probabilidade na mecnica estatstica nos estudos da
termodinmica que influenciaram, posteriormente, o desenvolvimento do
Princpio de Incerteza de Heisenberg na fsica quntica.
12
Claro que, lembrando o que dissemos anteriormente, referimo-nos
interpretao ortodoxa da mecnica quntica por tratar-se de uma interpretao
minimal com respeito carga metafsica assumida, diferentemente da forma
divergente da interpretao de Bohm, por exemplo, na qual a trajetria existe,
pois a partcula guiada pela funo de onda e, para isso, deve-se assumir um
grande nmero de variveis ocultas as quais nunca podem ser mensuradas. Mas
apenas queremos qualificar a nossa abordagem e no desenvolveremos outras
formas interpretativas da mecnica quntica neste trabalho.
61
13
BEC ou Condensado Bose-Einstein considerado um dos estados da matria
e refere-se a um fenmeno no qual bsons que formam uma substncia (gs
bosnico) convergem para o menor estado de energia comum, em um nico
estado quntico. O BEC foi pesquisado por Satyendra Nath Bose que trabalhou
juntamente com Albert Einstein na dcada de 20. Os tomos do BEC, que
obedecem s leis da mecnica quntica, quando so levados a baixssimas
temperaturas, perto do zero absoluto, e so desacelerados medida que a
temperatura cai, formam um comportamento fsico macroscpico que
manifesta-se como um condensado. Dessa forma, suas propriedades podem ser
estudadas. Observa-se um agregado de partculas as quais, alm de
comportarem-se como um todo, tornam-se um todo. Nessas condies, o
entrelaamento em um BEC tal que as partculas qunticas so absolutamente
indiscernveis. Podemos dizer que um BEC consiste em vrias entidades, todas
em um mesmo estado quntico e todas absolutamente indiscernveis (Biblioteca
Virtual FAPESP, Estudo de condensao de Bose-Einstein usando a teoria de
campo mdio. Disponvel em: <http://www.bv.fapesp.br/pt/projetos-
tematicos/1200/estudo-condensacao-bose-einstein-usando/>. Acesso em:
02/12/12).
14
Revista Nature, 8 de fevereiro de 2007, vol. 445, pp. 605-6.
62
15
A razo, a qual Leibniz refere-se, provm da razo suficiente, conceito
metafsico baseado no finalismo aristotlico. Pelo seu Princpio da Razo, uma
coisa s pode existir se, alm de no ser contraditria, houver uma causa que a
faa existir. Nesse caso, uma razo s pode existir baseada em crenas divinas,
ou seja, Deus no teria razo para criar duas coisas completamente iguais
(LEIBNIZ, 2004, p. 8).
64
18
Dissemos anteriormente que alertaramos o leitor se a palavra modelo fosse
empregada no sentido diferente do usual. Esse o caso: nesse contexto
modelo tem um sentido de modelo axiomtico para determinada teoria,
envolvendo consideraes lgicas e semnticas [Para maiores detalhes, ver
(ARENHART E MORAES, 2010, p. 16)].
70
19
A indeterminao de uma medida na fsica quntica no significa uma
deficincia na aparelhagem, ou nas dificuldades epistmicas envolvidas, mas
sim, um atributo ontolgico prprio do comportamento quntico. Murr (2010)
lembra ainda a diferena entre indeterminao e incerteza neste contexto da
fsica quntica. Como ela explica, [] a teoria que prope, em um princpio
fundamental, que a medio de um observvel causa incerteza na medio de
outro observvel, o que no tem relao com a preciso da aparelhagem
experimental. (MURR, 2010, p. 53).
71
20
Como informamos o leitor, nossas consideraes ontolgicas referem-se
interpretao ortodoxa da mecnica quntica, assim no entraremos em detalhes
aqui sobre campos. H na literatura muitas referncias interpretao da Teoria
Quntica de campos (QTF) na qual at mesmo o objeto como entidade
ontolgica bsica discutida. Podemos citar algumas delas em (FRENCH E
KRAUSE, 2006, pp. 354-364), (AUYANG, 1995), (CAO, 1999).
21
Dizemos que duas partculas esto entrelaadas quando seus estados esto em
superposio ou, mais especificamente, quando seus estados esto emaranhados
(entangled).
22
O Gato de Schrdinger refere-se a um famoso experimento mental
idealizado por Erwin Schrdinger no qual, de acordo com as regras da mecnica
quntica, um gato existiria em uma superposio de estado vivo e estado morto
at que fosse observado, assumindo um dos estados s a partir da observao.
Alm da analogia de um gato com uma partcula quntica, tambm pretende-se
indicar nesse experimento uma influncia do observador (fator extrnseco) nos
72
quntica de estados do gato (Cf. KUMAR, 2008, pp. 316-317). Claro que
trata-se de uma imagem intraduzvel para dimenses macroscpicas
prprias de um gato, mas o que deve-se abstrair desse exemplo a
indefinio e a indeterminao da fsica quntica, ao tratar do fenmeno
da superposio de um sistema fsico quntico, porm sob a tica dos
moldes clssicos da fsica. Na verdade, isso no ocorre com gatos reais
devido a um fenmeno que os fsicos denominam decoerncia, que faz
com que os efeitos qunticos no sejam detectados em objetos na escala
macroscpica [Para maiores detalhes, ver (PESSOA, 2006, pp. 308-313)].
Como tambm devemos atentar para o procedimento inverso, ou seja,
pode ser igualmente inoportuno transferir nossas conjecturas clssicas
para situaes do domnio quntico, o que resulta, por vezes, em algo
incompreensvel, como a superposio.
De forma geral, as perguntas e questionamentos direcionados
mecnica quntica vm de pressupostos clssicos, ou seja, a
contextualizao clssica, como o espao-tempo; a definio dos
termos aos quais nos referimos clssica. Visto que a experincia
sempre clssica, fala-se do que no (clssico), e no daquilo que a
mecnica quntica. No caso do gato de Schrdinger, o que o
experimento tenta evidenciar no so as contradies, mas que as
propriedades, como vivo e morto, seriam propriedades contrrias,
como explicado por Arenhart e Krause (2014). A superposio significa
um estado de propriedades que deve ser entendido, matematicamente,
como uma combinao linear de vetores e, quanticamente, como um
sistema composto que no pode ser decomposto em subsistemas
isolados. Qualquer medio de um estado de superposio colapsa em
uma situao que pode ser descrita na fsica clssica. Por exemplo,
pensemos no spin. Neste caso, no se trata da partcula estar com valor
de spin up ou spin down em uma dada direo, porque no sabemos qual
o caso antes de qualquer medida, mas sim, trata-se de que na partcula
encontram-se essas duas propriedades misturadas, up e down. Na
verdade, a mecnica quntica assevera que no podemos assumir que a
partcula tenha todas as suas propriedades com valores bem
determinados, mas apenas desconhecidos. Segundo resultados, como o
j mencionado teorema de Bell, isso no pode ser assumido como
queria, dentre outros, Einstein. O problema a ser discutido seria como
representar, ou definir de modo formal, esse tipo de situao. Vamos, a
23
Basicamente, um corpo negro pode ser representado por uma caixa
completamente fechada a no ser por um pequeno orifcio onde se incide luz. A
capacidade de absoro de luz, ou energia eletromagntica, total e a sua
reflexo nula. Como a energia eletromagntica absorvida, supostamente, no
teria por onde escapar, deveria ser radiada, justificando o equilbrio
termodinmico, ou seja, o equilbrio entre a troca de energia cintica e energia
potencial nesse sistema. Assim, conclua-se que, apesar de no refletir luz, esse
corpo emite radiao. No entanto, conciliar o conceito de corpo negro com a
distribuio de energia pela termodinmica apresentava um problema: os
espectros da radiao obtidos experimentalmente mostravam-se divergentes das
previses tericas. Essa caracterstica configurou-se em um problema
controverso aos cientistas do sculo XIX, pois as teorias fsicas da poca no
eram capazes de explicar um comportamento de alta frequncia (radiao) de
uma emisso de um corpo negro, quando em altas temperaturas, por exemplo.
75
J/s) foi introduzido por Planck para lidar com essas discrepncias na
tentativa de determinar a quantizao da energia, levando esse fato
teoria quntica e ao estudos da mecnica quntica. Alm de tal
dimenso ser inalcanvel empiricamente, a nova viso descontnua (ou
discreta) de representar os objetos qunticos, chamada escala de Planck,
acarretou, dentre outras, uma consequncia matemtica [Para maiores
detalhes sobre esses aspectos histricos, ver (FRENCH E KRAUSE, 2006,
pp. 85-94); (KUMAR, 2008, pp. 9-29)].
A interpretao estatstica da entropia foi introduzida por
Boltzmann e definida como proporcional ao logaritmo neperiano,
tambm conhecida como mtodo probabilstico para medir a entropia de
um determinado nmero de partculas de um gs ideal. Tal interpretao
pode ser expressa pela equao S = k.lnW, onde S a entropia, k a
constante de Boltzmann e W representa o nmero de estados possveis
para o sistema. A interpretao estatstica de Boltzmann associa o
formalismo termodinmico a um tratamento probabilstico, obtendo um
tratamento matemtico-probabilstico para questes fsicas, o que foi
muito debatido na poca. No entanto, foi a partir dessa interpretao de
Boltzmann, que consistia em discretizar a energia em intervalos de
energia ! para determinar W, que Planck assumiu uma derivao da lei
do corpo negro e deduziu uma frmula combinatria. O que Planck fez
foi assumir que as possveis energias de um oscilador pudessem ser
discretizadas e sups que a energia U de N osciladores fosse dada por U
=P! [Cf. (OLIVEIRA, 2005)]. Essa derivao de Planck pode ser descrita
atravs da seguinte frmula, onde P elementos de energia podem ser
distribudos em N modos possveis:
N + P -1 !
N - 1 !P!
Tal equao tambm foi considerada, posteriormente, na dcada
de 20 por Albert Einstein e Satyendra Nath Bose nas distribuies dos
bsons. Mas, antes disso, em 1905, ao analisar o efeito fotoeltrico,
Einstein avanou na teoria de Planck, mostrando que no apenas a
energia dos osciladores era quantizada, mas tambm a prpria radiao.
Vrios fsicos da poca, como Heisenberg, Ehrenfest e Born, por
exemplo, referiram-se hiptese de Planck como conduzindo perda
da identidade, devido ao fato de que a diviso por P! implica a
indiscernibilidade dos elementos de energia (quanta), como percebeu
Ehrenfest (KRAUSE, 2011, p. 151). Segundo Krause, no h nada a ser
perdido (referindo-se identidade das partculas), uma vez que a
identidade no faz sentido para esses objetos. Na verdade, podemos
76
24
Apesar de haver vrias interpretaes sobre as teorias de probabilidades, um
sistema axiomtico tido como clculo de probabilidades padro a
interpretao axiomtica de Kolmogorov, formulada no incio dos anos 30.
Trata-se do primeiro sistema axiomtico para probabilidades. Entende-se, de
modo geral, que, associados aos possveis resultados de um experimento
aleatrio, existe sempre um espao amostral e uma lgebra de eventos. A noo
de probabilidade descrita desse modo est associada ideia de repetio. Se
houver uma repetio, a frequncia aproximada de um resultado a
probabilidade. Naturalmente, o conceito de probabilidade por essa definio
torna-se problemtico, se aplicado na mecnica quntica, principalmente pela
dificuldade que h em caracterizar-se o espao amostral. Mas, no
desenvolveremos este ponto, pois necessita-se de muito mais detalhes que os
aqui fornecidos.
77
25
Encontra-se na literatura referncia s estatsticas fracionrias denominadas
anyons, como partculas indiscernveis [ver WILCZEC, F. (1991), Scientific
American], as quais no se comportam como as estatsticas qunticas, mas
apresentam uma interao diferente, ou mesmo as subpartculas denominadas
antipartculas, destitudas de massa, ou as parapartculas estudadas a partir das
paraestatsticas. De qualquer modo, muitas delas no tm base emprica e ainda
investigam-se suas propriedades como os constituintes de quarks, por exemplo.
Mas, para o objetivo desse trabalho, apenas consideraremos bsons e frmions.
80
!
(3a) (|!!! |!!! + |!!! |!!! ) para bsons
!
!
(3b) (|!!! |!!! - |!!! |!!! ) para frmions
!
Como eltrons so frmions, informalmente diz-se que no
podemos ter mais de um frmion em um dado estado, pois eles
obedecem ao Princpio de Excluso de Pauli, relembrando que frmions
no podem ter todos os mesmos nmeros qunticos. Segundo Krause,
essa caracterstica fundamental para toda a fsica quntica e est na
base da tabela peridica (KRAUSE, 2011, p. 114). Quando os bsons
esto no estado (3a), a funo de onda simtrica, representada pela
adio de seus estados de onda; e, quando os frmions esto no estado
(3b), a funo de onda antissimtrica, ou seja, se houver uma
permutao, a funo troca de sinal.
No entanto, observamos que, dependendo do tipo de superposio
da funo de onda, simtrica ou antissimtrica, assumidas pelas
permutaes das partculas na estatstica da mecnica quntica, podemos
considerar as partculas indivduos em algum sentido, como estados
puros nas possibilidades (1) e (2). Contrariamente, nos estados hbridos
ou mistos, isto nas possibilidades (3a) e (3b), a permutao dos objetos
qunticos no faz nenhuma diferena, uma vez que mesmo a assimetria
ferminica no poderia distinguir as partculas, devido ao fato de que a
probabilidade da funo de onda sempre considerada em mdulo, dada
por ! ! , o que significa que uma mudana de sinal no acarreta
alterao no resultado e, correlatamente, no nos permite atribuir
propriedades que possam distinguir as partculas. Portanto, podemos
dizer que h um estado (3) onde a permutao entre as partculas, sejam
bsons, ou frmions, no produz nenhuma distinguibilidade. A noo
ontolgica dos no-indivduos provm dessa caracterstica especfica na
qual o PII violado e, por conseguinte, o princpio no lhes confere
individualidade, pelo menos, como ns a concebemos classicamente
[(KRAUSE, 2005); (FRENCH E KRAUSE, 2006, p.154)].
Podemos ainda exemplificar do seguinte modo. Vamos imaginar
que desejamos descrever o estado ferminico (3b) do sistema composto
por dois objetos qunticos, por exemplo, dois eltrons do tomo de He
em seu estado fundamental, de menor energia. Sabemos da teoria fsica
que um deles tem spin +1/2 e o outro 1/2. Chamaremos, neste exemplo,
o primeiro eltron de e o segundo eltron de B em seus respectivos
estados !! e !! . Se quisermos dizer que o primeiro (A) est em e o
segundo (B) em , o que, supostamente, distinguiria os eltrons,
devemos utilizar um vetor da forma composta como !!! !!! , porm,
82
estuda o ser enquanto ser; por outro lado, uma viso naturalizada da
metafsica, que por levar em conta pressupostos cientficos e por
entender que a cincia progride, sustenta que qualquer ontologia ligada a
ela teria um sentido provisrio, por princpio, e um carter investigativo
disposto a mudana, procurando informar a metafsica a partir das
nossas teorias cientficas. Por isso, uma ontologia atravs dessa viso
no poderia ser considerada acabada, mas em constante mudana,
juntamente com a cincia na qual se baseia.
A categoria ontolgica da no-individualidade alinha-se
claramente a uma perspectiva naturalizada da metafsica a respeito dos
objetos particulares, sobretudo, por ter na cincia sua origem. Nesse
sentido, torna-se pertinente construir uma base argumentativa,
considerando os elementos cientficos das estatstica qunticas, ou os
fenmenos qunticos da superposio, como j discutimos. No entanto,
isso pode ser considerado uma opo tal como aquela dos defensores de
uma viso tradicional da metafsica. Para os autores que no extraem da
cincia os argumentos ontolgicos, a no-individualidade no est nas
bases da discusso metafsica a respeito da natureza metafsica dos
objetos particulares. Nesse caso, a no-individualidade estaria reduzida
ordem de uma opo ontolgica a ser escolhida. Alis, devemos
lembrar que a no-individualidade pode ser uma opo mesmo para
metafsicos no naturalistas, como de fato ocorre com Lowe (2012) que
classifica as entidades, segundo sua terminologia, em: pseudo-
indivduos, quase-indivduos e sub-indivduos, sendo todos tipos de no-
indivduos, mas diferentes entre si. [Retornaremos a esse argumentos
adiante. Para maiores detalhes, ver (LOWE, 2012, p. 14)].
Em relao esfera de ordem ontolgica, alega-se que, uma vez
assumida a no-individualidade dos objetos qunticos, o clebre
Princpio da Identidade dos Indiscernveis violado. Uma vez que no-
indivduos so entidades indiscernveis, elas supostamente no tm
identidade, mas contam mais de uma. A noo de individualidade, por
esse princpio, somente pode ser efetiva, quando as noes de identidade
e indiscernibilidade estiverem implicadas e, fortemente, comprometidas.
Discute-se muito na literatura como salvar o PII como principio de
individuao, atravs de reformulaes, como tambm outros atributos
que poderiam fornecer individualidade s entidades, como uma
individualidade primitiva, ou mesmo considerar uma metafsica de
estruturas, onde as relaes seriam as entidades metafsicas mais
bsicas, no esquecendo que os no-indivduos tambm entram na
disputa sobre o tratamento que devemos dar aos objetos qunticos. De
qualquer forma, todas essas possibilidades metafsicas tm uma
91
27
Apenas gostaramos de lembrar que em ZF toda estrutura pode ser estendida
para uma estrutura rgida. Discutiremos mais detalhadamente essa caracterstica
de ZF no prximo captulo.
102
entidades. As boas razes para optar por uma ontologia poderia, ento,
basear-se em uma economia metafsica, na simplicidade, no poder
explicativo (ARENHART E KRAUSE, 2012b, p. 4), fazendo com que o
distanciamento das consideraes cientficas seja o menor possvel, j
que seria inevitvel.
Dorato e Morganti ainda defendem que a tese ter um cardinal
maior do que um implica individuao das entidades. No entanto,
quando discutirmos a cardinalidade no captulo quinto, veremos que a
teoria de quase-conjuntos mostra que isso falso. Alis, Krause e
Arenhart (2012b) observam que essa uma questo central a ser
respondida, ou seja, o primeiro passo qualificar o tipo de cardinalidade
da qual estamos falando. Se ao referirmo-nos a um nmero cardinal no
sentido usual (de von Neumann), o qual inicialmente um ordinal, no
h dvida que alguma forma de identidade e, talvez, de
indiscernibilidade sejam necessrias. Mas, se a ideia for a de preservar a
indiscernibilidade quntica, ento outra noo de cardinalidade deveria
ser empregada. Essa noo pode ser conseguida, por exemplo, atravs
de uma viso pela qual a individualidade, a identidade e a cardinalidade
no sejam noes vinculadas to fortemente como tem sido considerado,
abandonando-se a ideia de que os itens so autoidnticos, ou melhor,
abandonando-se a ideia da reflexividade de alguns itens. Mesmo em
casos como esses, podemos formar colees que tm uma cardinalidade
bem-definida a qual pode caminhar junto com a no-individualidade,
rompendo a implicao individualidade-cardinalidade (ARENHART E
KRAUSE, 2012b, p. 5).
Tanto os defensores de uma discernibilidade fraca como aqueles
que defendem uma individualidade primitiva seguem uma metodologia
naturalizada de conceber a metafsica. Entretanto, Dorato e Morganti
defendem, diferentemente de Muller, Saunders e Seevinck, que a
individualidade no pode basear-se em relaes e que uma reformulao
do PII, que somente mantm-se na disputa atravs da considerao das
relaes nas bases da individualidade, parece tornar-se desnecessria.
Portanto, os autores reintroduzem algum tipo de essncia
individualizadora (thisness) ou, como eles chamam, um primitivismo
na discusso metafsica da individualidade, porm ainda sob uma
perspectiva naturalizada.
Para ns, a discusso no est polarizada apenas nessas opes.
Por um lado, a noo de discernibilidade fraca mantm-se mediante
assumir as relaes nas bases da individualidade; por outro, a
individualidade primitiva assume haver uma espcie de propriedade que
seria inerente aos objetos qunticos. Ambas as noes no aceitam os
106
28
Essa afirmao refere-se ao PII formulado na sua forma tradicional, onde as
relaes no so permitidas, diferentemente das consideraes de Muller e
Saunders como vimos.
29
Esse filme acompanha uma matria sobre nanotecnologia, publicada pela
Revista Exame em 06/05/2013 e pode ser acessada em: <
109
http://exame.abril.com.br/tecnologia/noticias/ibm-produz-menor-filme-do-
mundo-com-atomos >.
30
Similarmente, essa a posio de Saunders, como vimos anteriormente, que
considera um espao euclidiano, onde as partculas elementares estariam em
uma categoria relacional.
110
31
Gostaramos de lembrar o leitor que o termo Viso Recebida ainda est
sendo empregado no mesmo sentido que o empregamos no primeiro captulo,
ou seja, como a viso recebida da mecnica quntica.
117
32
Uma das caractersticas da lgica paraconsistente, a qual mudou o paradigma
da lgica, inviabilizar a noo de que a contradio possa derrocar um sistema
lgico, anulando-o. Ao contrrio, a contradio tem um significado e tem lugar
nessa lgica, ganhando sentido e, por isso, impedindo a trivializao do sistema
em determinado universo de aplicao.
120
34
[] formal logic must be developed twice.
130
1. Smbolos primitivos de S:
a) conectivos: , ( , , so introduzidos de maneira
habitual);
b) quantificador universal: (define-se como de costume);
c) parnteses: ) , ( ;
d) variveis de primeira espcie: x1, x2, x3, ... ;
e) variveis de segunda espcie: X1, X2, X3, ... ;
f) constantes (individuais) de primeira espcie: a1, a2, a3, ...;
g) constantes (individuais) de segunda espcie: A1, A2, A3, ...;
h) o smbolo da igualdade: = ;
i) para cada nmero natural n > 0, uma coleo no vazia de
smbolos de predicado de peso n.
A qualquer varivel ou constante denominamos termo. Logo, h
termos de primeira espcie e de segunda espcie. De modo geral, a
definio dos smbolos lgicos acima segue a definio usual em uma
linguagem de primeira ordem. Mas, como observa-se, um ponto
fundamental nessa lgica que h dois tipos de termos, configurando-se
uma lgica bissortida. Os termos de primeira espcie referem-se a
objetos para os quais uma identidade no pode ser aplicada, a exemplo
das partculas elementares, e as constantes dessa espcie poderiam vir a
denotar os no-indivduos. Os termos de segunda espcie correspondem
aos demais objetos onde a identidade faz sentido, como usualmente
concebida na teoria de conjuntos e, da mesma forma, as constantes do
segundo tipo denotariam indivduos. Assim, o PI (princpio da
identidade) formulado da forma ! ! = ! s tem sentido, se x for uma
varivel do segundo tipo (X1, X2, X3, ...).
2. Frmulas de S:
a) se P for um smbolo de predicado de peso n, !! , !! , , !! forem
termos, ento !!! !!!! uma frmula atmica; se t e u forem termos
da segunda espcie, ento t = u tambm uma frmula atmica.
b) a partir das frmulas atmicas, define-se o conceito de frmula
como usualmente definido na linguagem de primeira ordem.
c) Apenas estas so frmulas.
133
3. Postulados de S:
I. Postulados do Clculo Proposicional (A, B e C so frmulas):
I1. A (A B)
I2. (A A) A
I3. (A B) (B A)
I4. (A B) ((C A) (C B))
I5. A, A B / B (Modus Ponens)
II. Postulados da quantificao:
II1. x A(x) A(t),
onde A(x) uma frmula, x uma varivel e t um termo livre
para x em A(x); alm disso, se x for de segunda espcie, t
tambm deve ser de segunda espcie; se x for de primeira
espcie, t tambm dever ser de primeira espcie. Ou seja, o
termo livre para x sempre ser da mesma espcie do prprio x.
II2. C A(x) / C x A(x),
onde C e A(x) so frmulas e a varivel x no figura livre em C.
III. Postulados da igualdade:
III1. =1 X(X = X)
III2. =2 u = v (A(u) A(v)),
As restries dos postulados da igualdade so as comuns, apenas
devendo-se acrescentar que u e v so termos de segunda espcie.
Uma estrutura na qual pode-se interpretar S compe-se de dois
conjuntos no vazios, D1 e D2, representando os domnios de no-
indivduos e indivduos respectivamente, com D2 D1, bem como, para
todo nmero natural n > 0, de predicados n-rios que esto em
correspondncia com os smbolos de predicado de peso n e so
subconjuntos de D!! , e de elementos de D1, que esto em
correspondncia com as estruturas de primeira espcie e de membros de
D2, que correspondem s constantes de segunda espcie. Naturalmente,
ao smbolo de igualdade associa-se a relao de igualdade em D2 .
A seguir, discutiremos algumas dificuldades que apresentam-se
nas lgicas no-reflexivas.
134
35
O U de ZFU vem de Urelemente que significa elementos primitivos (ur-,
prefixo que significa primordial em alemo). um termo para designar em
ZFU, tomos ou indivduos os quais no so um conjunto, mas podem ser
elementos de um conjunto, diferentemente da teoria de conjuntos pura na qual
todos os elementos so conjuntos e no h Urelemente.
140
36
Alis, como vimos no captulo anterior (seo 3.1), a concepo de Lowe
sobre a no-individualidade apresenta uma interpretao que sub-classifica as
entidades qunticas, porm de modo a diferenci-las entre si. Ou seja, para
Lowe os no-indivduos no so concebidos como entidades indiscernveis.
142
5 A TEORIA DE QUASE-CONJUNTOS
[Definies do Grupo 1]
(D1.1) [Q-set]: !(!) (!(!) !(!))
Um quase-conjunto um objeto que no um tomo.
(Q1) [Reflexividade] ! ! !
(Q2) [Simetria] !! ! ! ! !
(Q3) [Transitividade] !!! ! ! ! ! ! !
(Q4) !!(! =! ! ! !, ! ! !, !
No axioma (Q4) segue a mesma restrio sinttica usual, ou seja, A(x,x)
qualquer frmula e A(x,y) surge de A(x,x) pela substituio de algumas
ocorrncias livres de x por y, contanto que y seja livre para x em A(x,x).
[Definies do Grupo 2]
(D2.3) x ! [ !, ! ( ! ! ): ! ! ! !]
Como no caso de [x, y], [x] q-set de todos aqueles elementos
indistinguveis de x, dessa forma, pode-se ter mais de um elemento. O
mesmo pode ser dito para o produto cartesiano de dois q-sets. O
conceito de interseo e diferena de q-sets so definidos na forma
usual, tal que:
! ! ! se, e somente se, ! ! ! !
! ! ! se, e somente se, ! ! ! !.
(Q16) [Infinito] ! !( ! ! ! ! ! ! ! ! ! ).
5.1.3 Quase-cardinais
On
Q
q-sets puros cpias de ZFU cpias de ZF
conjuntos idnticos
!! !=!
[Teorema 8]
(i) ! =! ! =! ! !
(ii) ! !! !(!"#(!, !) !"(!) =! !"(!) ! !
(iii) ! !! !(!(! ! ! !) ! !
(iv) ! ! !" ! =! !" ! ! [!]
[Definio 8]
(i) Seja x um q-set tal que E(x), isto (de acordo com a definio D1.1),
seus elementos so tambm q-sets, ento:
! [! !: !(! ! ! !)]
38
Segundo French e Krause, nessa poca tanto o Problema de Manin era ainda
desconhecido como tambm a teoria de qua-conjuntos de Dalla Chiara e
Toraldo di Francia (FRENCH E KRAUSE, 2006, p. 273).
163
6 CONSIDERAES FINAIS
40
Eu estou convencido agora que a fsica terica a filosofia real. (Trad.
nossa).
168
41
O conceito quase-verdade foi desenvolvido por da Costa, Mikenberg e
Chuaqui inspirados, em parte, na teoria pragmtica da verdade de C. S. Pierce.
A noo de quase-verdade no destri a concepo clssica da verdade na
cincia, que seria a concepo correspondencial entre a teoria e a realidade na
sua totalidade, ao contrrio, procura contribuir para o entendimento das grandes
teorias cientficas que se apresentam conceitualmente incompatveis [Para
maiores detalhes sobre a teoria da quase-verdade, ver (BUENO, 2000); (DA
COSTA E FRENCH, 2003); (KRAUSE, 2009)].
172
REFERNCIAS
77, p. 117-136.
VIDEO A Boy And His Atom: The Worlds Smallest Movie [2013].
Produzido pela IBM. (1:34 min.) Son., Color, Formato: Stop motion.
IBM Almaden, Califrnia. Disponvel em:
<http://exame.abril.com.br/tecnologia/noticias/ibm-produz-menor-filme-
do-mundo-com-atomos >. Acesso em 06 mai. 2013.