ja aparecem como sendo 'de-um-certo-tipo', se usamos o criterio de identidade para classificar seus predicados como sortais, encontramos um limite forte para a propria predicacao.Entretanto Krause (2002) mostra uma caracteristicas que chamaremos aqui de nao-ordenamento quantico, a propriedade de as particulas quanticas nao poderem ser classificadas ordinariamente, ou seja, quando falamos que tal atomo tem 3 neutrons, nao estamos nos referindo a um processo de contagem ordinal, nao ha primeiro ou segundo neutron, mas o conjunto de tres entidades ja aparece por inteiro, oferecendo apenas sua cardinalidade. Esta caracteristica e derivada da falta de identidade propria das entidades quanticas, expressa em uma das propriedades da fisica quantica, o Postulado da Indistinguibilidade, valido para particulas de mesma especie. O criterio de contagem para determinacao de predicados sortais ou deve ser descartado ou, como sugere Krause (2002), relativizado. Deste modo, suponhamos dois tipos de entidades, os 'tipos-m' e os 'tipos-M', sendo que os primeiros estao sujeitos as propriedades quanticas de nao-ordenamento, carencia de identidade e outras que tais. Enquanto os tipos-M sujeitam-se apenas as propriedades da mecanica classica.Usando uma logica de conjuntos, Krause (2002) sugere que a partir da teoria de quase-conjuntos, podemos excluir os tipos-M de uma colecao e trabalhar um novo ordenamento logico para propriedades paraconsistentes que estabelecem que nem todas as formulas devem obedecer todos os principios da logica classica(GODOY, 2009).Note-se que podemos distinguir ao menos duas classes de teorias de conjuntos; as puras, escritas a partir de conjuntos vazios, nas quais nao encontramos entes que possam originar-se como tipos de uma certa classe. Ou seja, na logica de conjuntos tradicional, como a utilizada por Stevenson (1975, apud KRAUSE, 2002, P. 6), ha um impedimento para que conjuntos sortais sejam caracterizados, uma vez que os membros dos conjuntos ja nascem como individuos desprovidos de qualidades, as quais sao postuladas a posteriori. Ha tambem aquelas teorias de conjunto feitas a partir de atomos, nas quais o principio de nao-identidade por automorfismo e necessario para a independencia da escolha, em tais teorias trabalhamos com entidades que sao previstas a partir de tais e tais propriedades, em muitos casos construtos matematicos dos quais nao se espera a observacao ou sequer a existencia. Existem varios casos de entidades e propriedades que foram descobertas varios anos apos serem descritas e outras tantas, como as cordas, das quais nao ha esperanca de observacao. Nao obstante, tais entidades sao necessarias para explicarmos o funcionamento do mundo e formam o aparato basico da fisica quantica, nas palavras do autor:.., podemos constatar que ha uma diferenca crucial entre esses objetos e aqueles trabalhados pela fisica classica: as entidades quanticas nascem com a teoria. Nao sao entidades das quais o cientista se acerca, analisa e passa a descrever as propriedades. Seus atributos e tudo o que deles se conhece estao determinados desde o principio; eles sao nomologicos, dados por leis fisicas (Toraldo di Francia 1981, p. 222; 1978). Um eletron, por exemplo, nao pode ter qualquer valor de massa (dentre os valores de um certo intervalo, como um objeto macroscopico), mas tem um valor fixo 9, 1 10-28 g . Se