Logical operators for ontological modeling

In Pawel Garbacz & Oliver Kutz, Formal Ontology in Information Systems: Proceedings of the Eighth International Conference. IOS Press. pp. 23--36 (2014)
  Copy   BIBTEX

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.

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Logic for Alethic, Logical, and Ontological Pluralists.Andy Yu - 2018 - In Jeremy Wyatt, Nikolaj Jang Lee Linding Pedersen & Nathan Kellen, Pluralisms in Truth and Logic. Cham, Switzerland and Basingstoke, Hampshire, UK: Palgrave Macmillan. pp. 407-427.
A Logical Choice.Tracy Lupher - 2012 - Southwest Philosophy Review 28 (1):237-246.
Toward a constructive theory of unbounded linear operators.Feng Ye - 2000 - Journal of Symbolic Logic 65 (1):357-370.
Analyzing the core of categorial grammar.Carlos Areces & Raffaella Bernardi - 2004 - Journal of Logic, Language and Information 13 (2):121-137.
Complexity, Ordinality and Logic.Jonathan Michael Gold - 1981 - Dissertation, State University of New York at Stony Brook

Analytics

Added to PP
2019-09-28

Downloads
353 (#83,879)

6 months
69 (#87,999)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

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.

Add more citations

References found in this work

No references found.

Add more references