NAO-REFLEXIVIDADE INDISTINGUIBILIDADE E AGREGADOS DE WEYL

LOGICAS NAO-REFLEXIVAS SAO DEFINIDAS COMO SENDO SISTEMAS LOGICOS QUE INCORPORAM ALGUM TIPO DE """"DESVIO"""" EM RELACAO A CONCEPCAO """"TRADICIONAL"""" DA IDENTIDADE , DADA PELA LOGICA E PELA MATEMATICA TRADICIONAIS. UMA D E TAIS LOGICAS, DITA LOGICA DE SCHRODINGER DE ORDEM W E APRESENTADA, ONDE OS CONCEITOS DE IDENTIDADE E DE INDISTINGUIBILIDADE SAO TRATADOS COMO NAO EQUIVALENTES; O PRINCIPIO DA IDENTIDADE DOS INDISCERNIVEIS NAO E VALIDO EM GERAL. UMA SEMANTICA """"CLASSICA"""" E FUNDAMENTADA E UM TEOREMA DE COMPLETUDE """"FRACA"""" (HENKIN) E DEMONSTRADO. DESENVOLVE-SE TAMBEM UMA TEORIA DE """"QUASE-CONJUNTOS""""; UM QUASE-CONJUNTO E UMA COLECAO DE OB ENAR OU CONTAR CERTOS ELEMENTOS, PODE-SE SABER SUA QUANTIDADE. OS """"AGREGADOS EFETIVOS"""" NO SENTIDO DE H.WEYL PODEM SER OBTIDOS. A TEORIA CONTEM ZFU - ZERMELO-FRAENKEL COM URELEMENTE E OS """"MULTICONJUNTOS"""" SAO MOS TRADOS (INFORMALMENTE) SEREM QUASE-CONJUNTOS PARTICULARES. UM APENDICE CONTENDO INFORMACOES ACERCA DO TRATAMENTO MATEMATICO DA MECANICA QUANTICA E INCORPORADO E PROBLEMAS E QUESTOES EM ABERTO SAO APRESENTADOS.