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.