UMA EXPLICAÇÃO DO PROCEDIMENTO DE RE-MODELIZAÇÃO DE CONTEÚDO EM FREGE

EM UMA BREVE E DIF´ICIL PASSAGEM DE OS FUNDAMENTOS DA ARITMETICA ´ , FREGE APRESENTA UM NOVO ESTILO DE DEFINIC¸OES BASEADAS NO PROCEDIMENTO DE ˜ RE-MODELIZAC¸AO DO CONTE ˜ UDO ´ , ISTO E, UM PRO- ´ CEDIMENTO QUE ATRIBUI UM CONTEUDO PARA UMA SENTENC¸A POR MEIO DE UMA RE-ORGANIZAC¸ ´ AO INTERNA ˜ DO CONTEUDO EXPRESSADO POR UMA SENTENC¸A DE DIFERENTE ESTRUTURA SINT ´ ATICA. O PRESENTE TRABALHO ´ E INSPIRADO POR ESTA PASSAGEM E TEM O PROP ´ OSITO DE ENTENDER A MET ´ AFORA DA RE-MODELIZAC¸ ´ AO DE ˜ CONTEUDO NO CONTEXTO MAIS MODERNO DA TEORIA DOS MUNDOS POSS ´ ´IVEIS. EM PARTICULAR, O CONTEUDO ´ EXPRESSADO POR UMA SENTENC¸A E APRESENTADO COMO UMA ENTIDADE ESTRUTURADA QUE AL ´ EM DE REP- ´ RESENTAR AS CONDIC¸OES DE VERDADE DA SENTENC¸A, DIZ A RESPEITO DOS OBJETOS DO MUNDO QUE EST ˜ AO˜ ENVOLVIDOS EM TODAS AS FORMAS POSS´IVEIS DE EXPRESSAR ESTAS CONDIC¸OES DE VERDADE. DESENVOLVE- ˜ MOS UM FORMALISMO DE ACORDO COM O QUAL O CONTEUDO ´ E MODELADO COMO UM PAR ORDENADO DE ´ FUNC¸OES, E AS OPERAC¸ ˜ OES DE MODELIZAC¸ ˜ AO E RE-MODELIZAC¸ ˜ AO DO CONTE ˜ UDO S ´ AO DEFINIDAS COMO TIPOS ˜ PARTICULARES DE DECOMPOSIC¸AO FUNCIONAL QUE “RESPEITAM” A ESTRUTURA INTERNA DO CONTE ˜ UDO. A ´ PRINCIPAL APLICAC¸AO DESTA TEORIA ˜ E UM NOVO ENTENDIMENTO DAS PRINCIPAIS QUEST ´ OES RELACIONADAS ˜ COM OS PRINC´IPIOS DE ABSTRAC¸AO E OUTROS CASOS PARADIGM ˜ ATICOS EM QUE SUPOSTAMENTE O MESMO ´ CONTEUDO ´ E EXPRESSADO EM MANEIRAS MUITO DIFERENTES.