TOWARDS ONTOLOGICAL HETEROGENEITY: SPLICING LOGIC AND ONTOLOGY

LÓGICA E ONTOLOGIA SÃO ÁREAS DA FILOSOFIA UNIDAS COMO GÊMEAS EM TERMOS DE SUAS ORIGENS, MAS SEPARADAS POR SUAS MOTIVAÇÕES E ABORDAGENS. A ONTOLOGIA APLICADA É UM RAMO DA ONTOLOGIA QUE DESCENDE DA PRÁTICA ANALÍTICA INICIADA POR FREGE E RUSSELL E QUE SE PROPÕE A FORNECER MÉTODOS, FERRAMENTAS E CONCEITOS PARA SE PRATICAR ONTOLOGIA DE MODO PRAGMÁTICO, COM UM VIÉS COMPUTACIONAL E QUE MUITO SE RELACIONA COM LÓGICA. ESTA DISSERTAÇÃO TEM COMO OBJETIVOS CLARIFICAR A RELAÇÃO ENTRE ONTOLOGIA E LÓGICA, AO EXPOR QUAIS SÃO E COMO SÃO REPRESENTADOS OS OBJETOS DE ESTUDO DA ONTOLOGIA APLICADA; E TRATAR DE POSSÍVEIS ABORDAGENS PARA OBTER O QUE É CHAMADO DE HETEROGENEIDADE ONTOLÓGICA. A HETEROGENEIDADE ONTOLÓGICA ESTÁ RELACIONADA A UM PROBLEMA METATEÓRICO FUNDAMENTAL: O QUE É UMA ONTOLOGIA “CORRETA” E QUANTAS EXISTEM? AO ASSUMIR UMA RESPOSTA PLURALISTA PARA ESSA PERGUNTA, É NECESSÁRIO PROPOR MÉTODOS E TÉCNICAS QUE PERMITAM PROCESSOS DE REFINAMENTO, INTEGRAÇÃO, CONEXÃO E DECOMPOSIÇÃO DE ONTOLOGIAS — ESSE CONJUNTO DE PROCESSOS É O QUE CONSTITUI, DE FATO, A HETEROGENEIDADE ONTOLÓGICA. INSPIRANDO-SE NA PROPOSTA DE HETEROGENEIDADE ONTOLÓGICA DE MOSSAKOWSKI ET. AL, CHAMADA CARNAPIANA-GOGUENISTA, A DISSERTAÇÃO PROPÕE UMA NOVA ABORDAGEM CHAMADA DE DA COSTA-TARSKIANA — EMBASADA NA VISÃO DE PLURALISMO LÓGICO DEFENDIDA POR DA COSTA E EM OPERADORES DE CONSEQUÊNCIA DE TARSKI. POR FIM, A DISSERTAÇÃO TRATA DE UMA CLASSE DE LÓGICAS COMUMENTE UTILIZADA PARA DESCREVER ONTOLOGIAS, AS CHAMADAS LÓGICAS DE DESCRIÇÃO, E ALGUNS DE SEUS PROBLEMAS EM ABERTO E IMPLICAÇÕES METODOLÓGICAS QUE PODEM SER FORMALIZADAS E TRATADAS NA ABORDAGEM DA COSTA-TARSKIANA