Towards ontological heterogeneity : splicing logic and ontology
Gabriel Rodrigues Rocha
DISSERTAÇÃO
Inglês
T/UNICAMP R582t
[Em direção à heterogeneidade ontológica]
Campinas, SP : [s.n.], 2024.
1 recurso online (170 p.) : il., digital, arquivo PDF.
Orientador: Walter Alexandre Carnielli
Dissertação (mestrado) - Universidade Estadual de Campinas (UNICAMP), Instituto de Filosofia e Ciências Humanas
Resumo: 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...
Ver mais
Resumo: 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
Ver menos
Abstract: Logic and Ontology are regarded as twins in Philosophy due to their origins, yet separated by their motivations and approaches. Applied Ontology is a branch of Ontology which descends from the analytical view as touted by Frege and Russel, and whose goal is to provide methods, tools and...
Ver mais
Abstract: Logic and Ontology are regarded as twins in Philosophy due to their origins, yet separated by their motivations and approaches. Applied Ontology is a branch of Ontology which descends from the analytical view as touted by Frege and Russel, and whose goal is to provide methods, tools and concepts to practice Ontology in a pragmatic manner, with a computational bias linked to Logic. This dissertation aims to clarify the relationship between Ontology and Logic, by exposing what are the objects of Applied Ontology and how they are represented; and also to present possible ways to achieve what is termed ontological heterogeneity. Ontological heterogeneity is closely linked to a fundamental metatheoretical problem: what is a ''correct'' ontology and how many are there? By assuming a pluralist answer to this question, it is necessary to propose methods and tools to refine, integrate, connect and decompose ontologies --- indeed, this set of processes constitutes what is constitutes ontological htereogeneity. Drawing from the heterogeneous proposal due to Mossakowski et. al, termed Carnapian-Goguenism, this dissertation proposes a novel approach termed da Costian-Tarskianism, based on da Costa's view on logical pluralism and Tarski's consequence operators. Lastly, this dissertation discusses a class of logics which is widely used to represent ontologies, so-called description logics, and some of their open problems and methodological implications that may be formalized and handled by the da Costian-Tarskianist approach
Ver menos
Requisitos do sistema: Software para leitura de arquivo em PDF
Aberto
Towards ontological heterogeneity : splicing logic and ontology
Gabriel Rodrigues Rocha
Towards ontological heterogeneity : splicing logic and ontology
Gabriel Rodrigues Rocha