Mecânica quântica, quase-conjuntos e estruturas não-rígidas

Detalhes bibliográficos
Ano de defesa: 2014
Autor(a) principal: Schinaider, Jaison
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Filosofia
Teoria dos conjuntos
Mecânica quântica
Link de acesso: https://repositorio.ufsc.br/xmlui/handle/123456789/123185
Resumo: Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2014.
id UFSC_30658b7e2d6bcc6297e4c958662d0715
oai_identifier_str oai:repositorio.ufsc.br:123456789/123185
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str
spelling Mecânica quântica, quase-conjuntos e estruturas não-rígidasFilosofiaTeoria dos conjuntosMecânica quânticaTese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2014.Nesta tese são discutidas questões relacionadas às noções de identidade e individualidade presentes nas teorias formais, mais precisamente atreladas ao conceito de estrutura rígida. Inicia-se o texto discorrendo sobre teorias de identidade do ponto de vista filosófico em geral, para depois explorarmos como este assunto é tratado na lógica, teoria de conjuntos e matemática clássica. Argumentamos que estas últimas teorias, ao assumir uma identidade para seus 'objetos', parecem se comprometerem também com a individualidade dos mesmos. Obviamente, poder-se-ia dizer que por serem formais, tais sistemas não deveriam se comprometer com uma metafísica, mas a ideia é exatamente que construímos tais sistemas para dar conta de alguma parcela da realidade e, assim, acabamos também nos comprometendo com algum tipo de metafísica (no caso, aqui, como defendemos, individualizadora). Em seguida mostramos que tudo leva a crer que na ciência moderna - em particular na mecânica quântica (MQ) - podemos encontrar objetos (as partículas quânticas) que podem ser entendidos como não possuindo identidade, tornando-se então não indivíduos de acordo com uma interpretação bastante plausível. Como argumentamos que as teorias formais usuais dão a impressão de se comprometerem com a identidade e individualidade de seus entes, novos formalismos parecem ser necessários (aqui, em especial relacionado ao uso de uma teoria de conjuntos alternativa) na qual se possa 'manipular' tal não individualidade quântica. Mostramos em seguida uma teoria conjuntista que foi formulada tendo em vista estes requisitos: a chamada teoria de quase-conjuntos (Q), na qual aparecem objetos (os chamados m-átomos) para os quais a lei reflexiva da identidade (x = x) não vale. Tal restrição (pensa-se) capta formalmente a 'perda da identidade' das partículas quânticas. Como argumentamos acima que objetos que têm identidade são indivíduos, a ausência da identidade para os m-átomos os fazem então não-indivíduos em certo sentido. Não obstante, algumas características das teorias clássicas poderiam impugnar mesmo tal teoria conjuntista alternativa: no nosso caso, estaremos preocupados com a noção de estrutura rígida, conceito este erigido em um arcabouço conjuntista. Uma estrutura é rígida quando seu único automorfismo for a função identidade. Em teorias de conjuntos clássicas, tais como a de Zermelo-Fraenkel com o axioma da escolha, um teorema mostra que toda estrutura não-rígida pode ser estendida a uma rígida, de modo que a partir do único automorfismo existente é sempre possível dotar os elementos da estrutura de uma 'identidade'. Deste modo, em um primeiro momento, nos preocupa mostrar (através de uma análise bastante detalhada do teorema da rigidificação clássico) que algumas estruturas alicerçadas na teoria de quase-conjuntos - no caso, aquelas nas quais seus domínios contêm apenas m-átomos - não podem ser rigidificadas e, assim, acreditamos que realmente não podemos dotar os m-átomos de uma possível 'identidade'. Isto é importante, pois se mesmo estruturas fundamentas em Q pudessem ser rigidificadas, o intuito formal da teoria de quase-conjuntos (qual seja, manipular objetos para os quais a identidade não faz sentido) cairia por terra. A partir de tal impossibilidade, como mostraremos, esta teoria aparenta realmente ser um alicerce seguro para se manusear as partículas quânticas. Em seguida, daremos alternativas quase-conjuntistas a estes conceitos. Definiremos uma noção de quase-identidade e de quase-automorfismo, e provamos um teorema que mostra que toda quase-estrutura não quase-rígida pode ser estendida a uma quase-estrutura quase-rígida (resultado, assim, paralelo ao teorema clássico). Não obstante, agora destoante das estruturas clássicas, enfatizamos que mesmo em uma quase-rigidificação não estaremos introduzindo uma noção de identidade 'disfarçada' para os m-átomos, desta feita não se tornando o teorema provado um resultado opositivo aos preceitos básicos da teoria de quase-conjuntos. Em sequência, é discutido o uso das estruturas matemáticas para alicerçarem e fundamentarem as teorias científicas em geral e as vantagens que se pode obter disso. Construímos exemplos de estruturas que parecem servir para alicerçar tanto a MQ bem como a química em particular, e ressaltamos o ganho conceitual que obtemos em se erigir tais estruturas na teoria Q (exatamente pela não rigidificação das mesmas). Por fim, a partir da constatação de que algumas áreas da ciência parecem justificar efetivamente o uso de estruturas quase-conjuntistas, discutimos a possibilidade de irmos na direção de um 'pluralismo estrutural' - além de fortalecermos uma metafísica sem identidade - e defendemos a ideia de que a noção de identidade aparenta não ser tão essencial assim em alguns quadros teóricos bem justificados, tal como o nosso.<br>Abstract : In this, thesis we discuss some questions about the notions of identity and individuality, in special connecting these subjects to the concept of the "rigid strucuture". In the beginning, we talk about the theories of identity in an general philosophical view, to speak later how the identity is handle in logic, set theory and classical mathemathics. We argue that these theories, to assume an identity for its 'objects', seem also to commit to an individuality to these objects. In sequence, we show that we have reasons to believe that in modern science - particularly, in quantum mechanics (QM) - we can found objects (the quantum particles) that can be understood as having no identity, thus becoming not-individuals (according to a very plausible interpretation). As we argue that the classical formal theories give the impression that they commit with identity and individuality for your objects, new formalisms seem to be necessary (here, especially related to the use of an alternative set theory) in which that we can 'manipulate' such quantum non-individuality. We show one set theory that was formulated in view of these requirements: the so-called quasi-set theory, where we have objects (the m-atoms) that do not respect the reflexive law of the identity (x = x). This restriction (it is thought) formally captures the 'loss of identity' of quantum particles. As argued above that objects having identity are individuals, the lack of identity for the m-atoms do make then not-individuals in a sense. Nevertheless, some features of the classical theories could even challenge this ensemblistic alternative theory: in our case, we are concerned with the notion of rigid structure; concept always erected on a set-theoretic framework. A structure is rigid when its only automorphism is the identity function. In classical theories of sets, such as Zermelo-Fraenkel with the axiom of choice, a theorem shows that every non-rigid structure can be extended to a rigid, so that with this only existing automorphism, is always possible to provide an 'identity' to the elements of the structure. Thus, at first, we will concern to show that some structures grounded in the theory of quasi-sets - in this case, those in which your domains have only m-atoms - cannot be rigidificate and, thus, we believe that we really cannot provide a possible identity to these m-atoms. This is important because if we make a possible rigidification to Q structures, the formal ideia of the theory of quasi-sets (manipulate objects for which identity does not make sense) would collapse. From such impossibility, as we will show, this theory appears to be a really good foundation to handle quantum particles. In sequence, we provide alternative quasi-ensemblistic notions to some classical concepts. We define a notion of quasi-identity and quasi- automorphism, and we prove a theorem that shows that all non quasi-rigid structure can be extended to a quasi-rigid structure (thus, a result similar to the classical theorem). Nevertheless, now unlike classical structures, we emphasize that even in a quasi-rigidification we will not can be introducing a notion of identity 'disguise' for m-atoms. In sequence, we discusses the use of mathematics to ground scientific theories with quasi-set structures, and the advantages that one can get it. We construct examples of structures that seem to serve to underpin both the QM and chemistry in particular, and we emphasize the conceptual gain that we get in erecting such structures in the theory Q. Finally, from the fact that some areas of science seem to effectively justify the use of quasi-set structures, we discussed the possibility of going towards to an 'structural pluralism ' -together with an reinforcement to an metaphysical without identity - and defend the idea that the notion of identity does not seem to be essential in some well-justified theoretical frameworks, such as our.Krause, DécioUniversidade Federal de Santa CatarinaSchinaider, Jaison2014-08-06T17:54:53Z2014-08-06T17:54:53Z2014info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf326974https://repositorio.ufsc.br/xmlui/handle/123456789/123185porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2014-08-06T17:54:53Zoai:repositorio.ufsc.br:123456789/123185Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732014-08-06T17:54:53Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Mecânica quântica, quase-conjuntos e estruturas não-rígidas
title Mecânica quântica, quase-conjuntos e estruturas não-rígidas
spellingShingle Mecânica quântica, quase-conjuntos e estruturas não-rígidas
Schinaider, Jaison
Filosofia
Teoria dos conjuntos
Mecânica quântica
title_short Mecânica quântica, quase-conjuntos e estruturas não-rígidas
title_full Mecânica quântica, quase-conjuntos e estruturas não-rígidas
title_fullStr Mecânica quântica, quase-conjuntos e estruturas não-rígidas
title_full_unstemmed Mecânica quântica, quase-conjuntos e estruturas não-rígidas
title_sort Mecânica quântica, quase-conjuntos e estruturas não-rígidas
author Schinaider, Jaison
author_facet Schinaider, Jaison
author_role author
dc.contributor.none.fl_str_mv Krause, Décio
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Schinaider, Jaison
dc.subject.por.fl_str_mv Filosofia
Teoria dos conjuntos
Mecânica quântica
topic Filosofia
Teoria dos conjuntos
Mecânica quântica
description Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2014.
publishDate 2014
dc.date.none.fl_str_mv 2014-08-06T17:54:53Z
2014-08-06T17:54:53Z
2014
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv 326974
https://repositorio.ufsc.br/xmlui/handle/123456789/123185
identifier_str_mv 326974
url https://repositorio.ufsc.br/xmlui/handle/123456789/123185
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1785187737547046912

Registros relacionados