Logical operators for ontological modeling
In Pawel Garbacz & Oliver Kutz (eds.), Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, {FOIS} 2014, September, 22-25, 2014, Rio de Janeiro, Brazil}. pp. 23--36 (2014)
Abstract
We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, and even simplify their logical formulation.Author's Profile
My notes
Similar books and articles
A Logical Choice: The Role of Modal Logics in the Modal Ontological Argument.Tracy Lupher - 2012 - Southwest Philosophy Review 28 (1):237-246.
Logic for Alethic, Logical, and Ontological Pluralists.Andy Yu - 2018 - In Jeremy Wyatt, Nikolaj J. L. L. Pedersen & Nathan Kellen (eds.), Pluralisms in Truth and Logic. London, UK: pp. 407-427.
A Logical Choice: The Role of Modal Logics in the Modal Ontological Argument.Tracy Lupher - 2012 - Southwest Philosophy Review 28 (1):237-246.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Constructing formal semantics from an ontological perspective. The case of second-order logics.Thibaut Giraud - 2014 - Synthese 191 (10):2115-2145.
A resource-sensitive logic of agency.Daniele Porello & Nicolas Troquard - 2014 - In Ios Press (ed.), Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic. 2014. pp. 723-728.
Logics for modelling collective attitudes.Daniele Porello - 2018 - Fundamenta Informaticae 158 (1-3):239-27.
Temporal Equilibrium Logic with past operators.Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez & Concepción Vidal - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):161-177.
The logical way of being true: Truth values and the ontological foundation of logic.Yaroslav Shramko - 2014 - Logic and Logical Philosophy 23 (2):119-131.
Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
Analytics
Added to PP
2019-09-28
Downloads
117 (#108,330)
6 months
16 (#64,326)
2019-09-28
Downloads
117 (#108,330)
6 months
16 (#64,326)
Historical graph of downloads
Author's Profile
Citations of this work
Non-normal modalities in variants of linear logic.D. Porello & N. Troquard - 2015 - Journal of Applied Non-Classical Logics 25 (3):229-255.
Time is ripe to embrace the scientific approach in Applied Ontology.Stefano Borgo, Pascal Hitzler & Cogan Shimizu - 2020 - Applied ontology 15 (3):245-249.
