Edited by Foxit Reader Copyright(C) by Foxit Corporation,2005-2010 For Evaluation Only.

INDIVIDUALIDADE E CARDINALIDADE
INDIVIDUALITY AND CARDINALITY

Jonas Rafael Becker Arenhart*

_________________________________________________________________________
RESUMO: Neste trabalho, apresentamos uma definio de contagem alternativa usual. Conforme definida geralmente, contar os elementos de uma coleo de objetos significa estabelecer uma bijeo entre esta coleo e a coleo de predecessores de um numeral n, sendo este n por definio o cardinal da coleo. Em geral, considera-se que um indivduo deve poder pertencer a colees que possam ser contadas, e do mesmo modo, se algo pode pertencer a uma coleo que pode ter seus elementos contados, ento deve ser um indivduo. Nossa definio formulada em uma teoria de quase-conjuntos, que permite que os objetos da coleo sendo contados segundo nosso mtodo no representem indivduos, rompendo assim o vnculo que se costuma estabelecer entre estas duas noes, e permitindo que falemos com sentido do cardinal de colees de objetos que no so indivduos. ABSTRACT: In this paper we present a definition of counting alternative to the usual one. As it is usually defined, to count the members of a collection means to determine a one-to-one function between this collection and the collection of predecessors of a numeral n, which is by definition the cardinal of the collection. Generally, it is considered that individuals must be able to belong to collections that can be counted, and also, if something can be the element of a collection that can be counted, than it must be an individual. Our definition is formulated in a quasi-set theory, which allows that the objects of the collection being counted according to our method represent non-individuals, breaking thus the link which is usually drawn between these notions, and allowing us to make sense of statements involving cardinality of objects that are not individuals. KEY WORDS: Counting. Non-individuals. Quasi-sets.

PALAVRAS-CHAVE: Contagem. indivduos. Quase-conjuntos.

No-

___________________________________________________________________________

Em discusses metafsicas sobre o princpio de individualizao, um dos aspectos que em geral levado em considerao o de que objetos que possam ser chamados apropriadamente de indivduos devam poder ser, pelo menos em princpio, membros de colees que podem ser contadas. Atravs desta contagem, somos capazes de atribuir a estas colees um nmero cardinal, que representa a quantidade de elementos da coleo. De modo geral, o fato de se tratar estas duas noes como intimamente relacionadas, a de contagem e a

Doutorando em Filosofia-UFSC. Contato: jonas.becker2@gmail.com

Intuitio

ISSN 1983-4012

Porto Alegre

V.2 - No.2

Outubro 2009

pp. 68-74

Edited by Foxit Reader Copyright(C) by Foxit Corporation,2005-2010 For Evaluation Only. Jonas Rafael Becker Arenhart Individualidade e Cardinalidade

de cardinal de uma coleo, acaba fazendo com que parea natural derivarmos algumas concluses metafsicas que so baseadas nestas pressuposies. Para tornar mais rigorosa nossa exposio do problema, devemos primeiramente tornar claro o que se costuma tomar como o significado da expresso contagem dos elementos de uma coleo. Na acepo mais conhecida do termo contar, que utilizada geralmente nestas discusses, a contagem do nmero de elementos de uma coleo feita atravs de uma correspondncia um a um entre os elementos da coleo e uma coleo de numerais. Mais precisamente, a contagem envolve um processo no qual atribudo um numeral de modo nico e em ordem crescente a cada elemento da coleo, e o numeral atribudo ao ltimo dos objetos enumerados determina tambm o nmero de elementos na coleo, ou seja, seu cardinal. Neste trabalho, discutiremos alguns dos pressupostos ontolgicos deste particular modo de se atribuir um cardinal a determinada coleo, e indicaremos uma alternativa a ele, que no pressupe que tenhamos que contar os elementos da coleo atravs de um processo de aplicao de rtulos para que possamos atribuir a ela um cardinal. Como dissemos, a contagem, segundo esta definio, pressupe que possamos atribuir um numeral a cada elemento da coleo sendo contada, ou seja, eles devem poder ser rotulados de modo inequvoco com um numeral, e assim, devem ser de tal modo que sempre possamos identific-los e diferenci-los uns dos outros, tanto para atribuir os rtulos quanto aps esta atribuio. A alternativa que vamos propor relevante filosoficamente, pois, segundo argumentam alguns filsofos, faz sentido falarmos da cardinalidade de colees de objetos que no podem ser contados seguindo-se a definio apresentada acima. Em particular, este seria o caso para colees de objetos de uma das mais importantes teorias fsicas atuais, a mecnica quntica no-relativista, que, segundo estes autores, no podem ser identificados e rotulados como necessrio que seja feito para que a definio acima funcione, mas que ainda assim podem ser agregados em colees com um cardinal bem determinado 1. Assim, para sustentar sua posio, estes filsofos devem, de algum modo, dar sentido para afirmaes sobre cardinalidade de colees contendo estes objetos.

Conforme a discusso em FRENCH, S., KRAUSE, D. Identity in Physics: A historical, philosophical and formal analysis. Oxford: Oxford University Press, 2006.

Intuitio

ISSN 1983-4012

Porto Alegre

V.2 - No.2

Outubro 2009

pp. 68-74

Jonas Rafael Becker Arenhart Individualidade e Cardinalidade

O primeiro ponto a ser notado ao avaliarmos criticamente a definio de contagem apresentada que, para que possamos dar sentido a alguns dos termos que fazem parte do seu enunciado, como correspondncia um a um e colees, estamos trabalhando em alguma teoria de conjuntos, mesmo que mantida ao nvel intuitivo, e que esta teoria de conjuntos que permite que formemos colees de objetos e na qual definimos as noes de contagem e de nmero cardinal. Teorias de conjuntos, em geral, no so absolutamente ingnuas de um ponto de vista ontolgico, seus axiomas nos indicam que tipo de colees podem ser consideradas como existindo legitimamente, e em particular, que tipo de colees de objetos podem receber um nmero cardinal. Assim, por mais elementar que possa parecer a contagem do nmero de elementos de uma coleo de objetos, ela envolve, quando examinada rigorosamente, uma aplicao da matemtica2. A matemtica utilizada neste caso uma teoria de conjuntos. No entanto, do fato de que atualmente existem vrias teorias de conjuntos no equivalentes entre si, temos que neste tipo de discusso da maior importncia tornar explcita qual a teoria que estamos utilizando, dado que a teoria utilizada vai determinar precisamente os conceitos envolvidos na noo de contagem, e vai at mesmo determinar se esta definio pode ser aplicada com sentido. Nosso prximo passo, ento, deve ser determinar que tipo de objetos nossos conjuntos podem conter como elementos para que a definio acima possa fazer sentido, ou seja, determinar qual teoria de conjuntos estamos utilizando nestes casos. Isto deve ser feito para que possamos especificar quais so as colees que podem figurar legitimamente como colees em nossa teoria de conjuntos para que a definio usual se aplique com sentido. Como observamos anteriormente, uma das principais condies impostas aos objetos sendo contados, entre outras condies, a de que os elementos da coleo a ser contada possam ser identificados de modo nico. Isso relevante, pois, no momento em que se estabelece a correspondncia um a um entre a coleo de objetos e o conjunto de numerais, devemos poder atribuir de modo nico um numeral a cada elemento da coleo, devemos poder rotular univocamente cada elemento da coleo com um numeral. Conforme mencionamos acima, os objetos sendo contados devem poder ser diferenciados uns dos outros para que possamos fazer a atribuio unvoca dos numerais.

Intuitio

ISSN 1983-4012

Porto Alegre

V.2 - No.2

Outubro 2009

pp. 68-74

Jonas Rafael Becker Arenhart Individualidade e Cardinalidade

Que tipo de objetos podem ser contados deste modo? Nas discusses sobre o tema, objetos que podem ser assim identificados e distinguidos uns dos outros atravs de rtulos, que em particular podem servir como nomes prprios, so ditos objetos que, de certo modo, podem ser considerados como sendo indivduos3, ou seja, uma teoria satisfatria sobre a individualidade deve englob-los como indivduos. As teorias de conjuntos usuais, como Zermelo-Fraenkel (ZF) e von Neumann-Bernays-Gdel (NBG), satisfazem este requisito. Nestas teorias, todos os itens com os quais a teoria trata so individualizveis, cada um deles pode ser distinguido dos demais, e assim, podemos considerar que estas teorias tratam apenas de colees de indivduos4. Note ainda que isto por princpio parece excluir da alada destas teorias colees que, por exemplo, tenham como elementos objetos que possam ser absolutamente indistinguveis mas numericamente distintos. No entanto, existem fortes argumentos para se assumir que certos objetos no podem ser tratados como indivduos, ou seja, que razovel assumir que nossa ontologia deveria, pelo menos em princpio, ser consistente tambm com a existncia de objetos que no so indivduos, na acepo especfica de que afirmaes envolvendo identidade e diferena destes objetos no podem ser feitas com sentido. Um dos campos em que estes argumentos surgem com freqncia na filosofia da mecnica quntica5. Segundo muitos autores, os objetos dos quais trata esta teoria no so indivduos, no podem ser individualizados como os objetos do dia a dia, e como uma conseqncia disso, em particular, no podem figurar como elementos de colees de teorias de conjuntos como as mencionadas acima, nas quais a identidade e diferena se aplicam a todos os objetos considerados. Alm disso, outra caracterstica muito enfatizada destes objetos o fato de poderem ser absolutamente indistinguveis, de possurem todas as propriedades em comum, sendo, no entanto, numericamente distintos. Assumindo que estes argumentos so plausveis, a questo que surge, ento, como podemos atribuir cardinais a colees destes objetos, j que no podemos utilizar as teorias de conjuntos usuais para tratar legitimamente de colees destes objetos. Como vimos, a noo

A contagem como aplicao da matemtica discutida em STEINER, M. Mathematics Application and Applicability, in: SHAPIRO, S., (ed.) The Oxford Handbook of Philosophy of Mathematics and Logic, Oxford Un. Press, 2005, p. 629. 3 LOWE, E. J. The Possibility of Metaphysics: Substance, Identity and Time Oxford: Oxford University Press, 1998, captulos 2 e 3. 4 Este tpico discutido com detalhes em FRENCH, S., KRAUSE, D. Identity in Physics: A historical, philosophical and formal analysis. Oxford: Oxford University Press, 2006, captulos 6 e 7. 5 Alm da j mencionada obra de FRENCH e KRAUSE, ver tambm FRENCH, S. Identity and Individuality in Classical and Quantum Physics Australasian Journal of Philosophy 67 (4), (1989), pp. 433-446.

Intuitio

ISSN 1983-4012

Porto Alegre

V.2 - No.2

Outubro 2009

pp. 68-74

Jonas Rafael Becker Arenhart Individualidade e Cardinalidade

usual de contagem est estritamente vinculada com a identificao dos objetos contados, algo que, segundo os autores mencionados, no pode ser feito com objetos como aqueles que figuram em teorias como a mecnica quntica. Isto significa que no podemos dar sentido rigoroso a afirmaes envolvendo cardinalidade de colees destes objetos? A resposta seria afirmativa caso nos restringssemos apenas s teorias usuais de conjuntos, que tratam apenas de colees de indivduos. No entanto, para contextos em que objetos que no so indivduos esto envolvidos, podemos considerar teorias de conjuntos alternativas. Uma destas teorias, a que consideraremos aqui, a teoria de quase-conjuntos Q6. Nesta teoria, alm das colees usuais que podem ser formadas em teorias como ZFU (Zermelo-Fraenkel com tomos), podemos formar colees de um tipo especial de objetos, chamados m-tomos, que representam na teoria Q objetos que no so indivduos no sentido discutido acima, ou seja, a identidade e a diferena no se aplicam com sentido a eles, mas que podem figurar em uma relao mais fraca de indistinguibilidade. Deste modo, a teoria Q nos permite formar colees de objetos que, alm de no serem indivduos, podem ser ditos indistinguveis, no sentido de partilharem todas as suas propriedades, como se diz ser o caso para as partculas da mecnica quntica. Com isto, o primeiro problema, de no podermos formar colees de objetos que no podem ser identificados e distinguidos est remediado, basta assumir a teoria de conjuntos certa para a ocasio. Assim, a prxima dificuldade passa a ser como podemos determinar o cardinal de colees de m-tomos na teoria Q. Vimos que, nas teorias usuais, onde a identidade sempre se aplica a todos os itens, a definio usual de contagem nos fornece a resposta para o problema, basta determinarmos uma bijeo entre a coleo e um nmero finito. Na teoria Q, onde a identidade no se aplica a todos os objetos considerados pela teoria, outros meios precisam ser empregados. Existem pelo menos dois caminhos que podem ser seguidos: podemos postular que os cardinais para estas colees existem e satisfazem as propriedades que esperamos que cardinais satisfaam, ou podemos tentar apresentar uma definio diferente da usual, que no pressuponha que a identidade faa sentido para os elementos a serem contados7. Certamente a
6

A referncia padro para esta teoria FRENCH, S., KRAUSE, D. Identity in Physics: A historical, philosophical and formal analysis. Oxford: Oxford University Press, 2006, captulo 7. 7 Para expor como isto pode ser feito, estamos seguindo DOMENECH, G., HOLIK, F. A discussion on particle number and quantum indistinguishability Foundations of Physics, vol. 37, no. 6, (2007), pp. 855-878.

Intuitio

ISSN 1983-4012

Porto Alegre

V.2 - No.2

Outubro 2009

pp. 68-74

Jonas Rafael Becker Arenhart Individualidade e Cardinalidade

segunda opo a mais interessante, e aquela que seguiremos aqui. A idia fundamental, neste caso, consiste em utilizarmos um procedimento que nos permita eliminar um a um os elementos da coleo sendo contada, e contarmos o nmero de vezes que repetimos este processo at que a coleo sendo contada esteja vazia. Isto feito de modo que podemos garantir consistentemente, utilizando os recursos da teoria Q, que apenas um elemento retirado em cada etapa do processo, e que podemos contar adequadamente o nmero de passos necessrios para esvaziar a coleo. Este nmero, que pode ser provado ser nico, ser por definio o cardinal da coleo. O que importante neste ltimo caso, mesmo que no especifiquemos todos os detalhes do desenvolvimento formal, que o procedimento de esvaziar uma coleo retirando um elemento por vez da coleo at que fique vazia no pressupe que tenhamos que identificar os elementos da coleo, ou seja, o procedimento se aplica corretamente aos objetos que no so indivduos e que figuram nas colees de Q. Alm disso, pode-se mostrar que, para colees em Q de objetos que so indivduos, a definio alternativa e a usual fornecem o mesmo resultado. A definio proposta por Domenech e Holik, importante mencionar, aplica-se apenas a colees finitas, mas em grande parte das discusses sobre os fundamentos da fsica so apenas estas que nos interessam, de modo que este fato no impe limitaes aos nossos interesses. Filosoficamente, o que relevante que estes desenvolvimentos tornam claro que podemos considerar de modo rigoroso a noo de cardinalidade tambm em casos de colees de objetos que no so indivduos, na acepo indicada acima, e ainda, que podem ser absolutamente indistinguveis, contrariamente ao que sugere a definio usual de contagem que utilizada para determinar o cardinal das colees na maioria das discusses. Com a definio apresentada, possvel dar sentido a afirmaes envolvendo cardinalidade de colees destes objetos, e remover um dos obstculos que se costuma colocar no caminho da posio filosfica que admite que estes tipos de objetos podem figurar em nossa ontologia, pois podemos mostrar que, diferentemente do que se costuma supor, a noo de cardinalidade no necessita pressupor que os itens tratados sejam sempre identificveis e individualizveis. Assim, pelo menos os argumentos que buscam atacar esta posio mostrando que ela incompatvel com as noes de cardinalidade e contagem parecem perder seu efeito.

Intuitio

ISSN 1983-4012

Porto Alegre

V.2 - No.2

Outubro 2009

pp. 68-74

Jonas Rafael Becker Arenhart Individualidade e Cardinalidade

Referncias
DOMENECH, G., HOLIK, F. A discussion on particle number and quantum indistinguishability Foundations of Physics, vol. 37, no. 6, (2007), pp. 855-878. FRENCH, S. Identity and Individuality in Classical and Quantum Physics Australasian Journal of Philosophy 67 (4), (1989), pp. 433-446. FRENCH, S., KRAUSE, D. Identity in Physics: A historical, philosophical and formal analysis. Oxford: Oxford University Press, 2006. LOWE, E. J. The Possibility of Metaphysics: Substance, Identity and Time Oxford: Oxford University Press, 1998. STEINER, M. Mathematics Application and Applicability, in: SHAPIRO, S., (ed.) The Oxford Handbook of Philosophy of Mathematics and Logic, Oxford Un. Press, 2005, pp. 625-650.

Intuitio

ISSN 1983-4012

Porto Alegre

V.2 - No.2

Outubro 2009

pp. 68-74