Semantics Matters: A New Light on Ontological Commitments of Logics. Toyoshima, F. & Niki, S. In Proceedings of the 7th Joint Ontology Workshops (JOWO 2021), volume 2969, pages 16, Bolzano, Italie, October, 2021. CEUR Workshop Proceedings. Paper abstract bibtex It is a central foundational theme to specify ontological commitments that are implicitly embedded in formal logic. In this paper, we address a largely unexplored topic of ontological commitments of the semantics of logic. In particular, we focus on the idea of “modal logic without possible worlds” in contradistinction with the widespread usage of the possible-world semantics in formal ontology. More concretely, we present B. Vetter’s potentiality-based theory of possibility and discuss how to develop a modal semantics that would accord with the modal primacy of dispositions in the upper ontology Basic Formal Ontology (BFO).
@inproceedings{toyoshima_semantics_2021,
address = {Bolzano, Italie},
title = {Semantics {Matters}: {A} {New} {Light} on {Ontological} {Commitments} of {Logics}},
volume = {2969},
url = {http://ceur-ws.org/Vol-2969/paper44-FOUST.pdf},
abstract = {It is a central foundational theme to specify ontological commitments that are implicitly embedded in formal logic. In this paper, we address a largely unexplored topic of ontological commitments of the semantics of logic. In particular, we focus on the idea of “modal logic without possible worlds” in contradistinction with the widespread usage of the possible-world semantics in formal ontology. More concretely, we present B. Vetter’s potentiality-based theory of possibility and discuss how to develop a modal semantics that would accord with the modal primacy of dispositions in the upper ontology Basic Formal Ontology (BFO).},
language = {en},
booktitle = {Proceedings of the 7th {Joint} {Ontology} {Workshops} ({JOWO} 2021)},
publisher = {CEUR Workshop Proceedings},
author = {Toyoshima, Fumiaki and Niki, Satoru},
month = oct,
year = {2021},
keywords = {Conference Paper},
pages = {16},
}
Downloads: 0
{"_id":"AwyeYxTBzQS8awY5w","bibbaseid":"toyoshima-niki-semanticsmattersanewlightonontologicalcommitmentsoflogics-2021","author_short":["Toyoshima, F.","Niki, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Bolzano, Italie","title":"Semantics Matters: A New Light on Ontological Commitments of Logics","volume":"2969","url":"http://ceur-ws.org/Vol-2969/paper44-FOUST.pdf","abstract":"It is a central foundational theme to specify ontological commitments that are implicitly embedded in formal logic. In this paper, we address a largely unexplored topic of ontological commitments of the semantics of logic. In particular, we focus on the idea of “modal logic without possible worlds” in contradistinction with the widespread usage of the possible-world semantics in formal ontology. More concretely, we present B. Vetter’s potentiality-based theory of possibility and discuss how to develop a modal semantics that would accord with the modal primacy of dispositions in the upper ontology Basic Formal Ontology (BFO).","language":"en","booktitle":"Proceedings of the 7th Joint Ontology Workshops (JOWO 2021)","publisher":"CEUR Workshop Proceedings","author":[{"propositions":[],"lastnames":["Toyoshima"],"firstnames":["Fumiaki"],"suffixes":[]},{"propositions":[],"lastnames":["Niki"],"firstnames":["Satoru"],"suffixes":[]}],"month":"October","year":"2021","keywords":"Conference Paper","pages":"16","bibtex":"@inproceedings{toyoshima_semantics_2021,\n\taddress = {Bolzano, Italie},\n\ttitle = {Semantics {Matters}: {A} {New} {Light} on {Ontological} {Commitments} of {Logics}},\n\tvolume = {2969},\n\turl = {http://ceur-ws.org/Vol-2969/paper44-FOUST.pdf},\n\tabstract = {It is a central foundational theme to specify ontological commitments that are implicitly embedded in formal logic. In this paper, we address a largely unexplored topic of ontological commitments of the semantics of logic. In particular, we focus on the idea of “modal logic without possible worlds” in contradistinction with the widespread usage of the possible-world semantics in formal ontology. More concretely, we present B. Vetter’s potentiality-based theory of possibility and discuss how to develop a modal semantics that would accord with the modal primacy of dispositions in the upper ontology Basic Formal Ontology (BFO).},\n\tlanguage = {en},\n\tbooktitle = {Proceedings of the 7th {Joint} {Ontology} {Workshops} ({JOWO} 2021)},\n\tpublisher = {CEUR Workshop Proceedings},\n\tauthor = {Toyoshima, Fumiaki and Niki, Satoru},\n\tmonth = oct,\n\tyear = {2021},\n\tkeywords = {Conference Paper},\n\tpages = {16},\n}\n\n","author_short":["Toyoshima, F.","Niki, S."],"key":"toyoshima_semantics_2021","id":"toyoshima_semantics_2021","bibbaseid":"toyoshima-niki-semanticsmattersanewlightonontologicalcommitmentsoflogics-2021","role":"author","urls":{"Paper":"http://ceur-ws.org/Vol-2969/paper44-FOUST.pdf"},"keyword":["Conference Paper"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://api.zotero.org/groups/2298129/items?key=Di2aUrSQXpXlWmYdUvNGDXyv&format=bibtex&limit=100","dataSources":["3byWrivAb63dcxozq"],"keywords":["conference paper"],"search_terms":["semantics","matters","new","light","ontological","commitments","logics","toyoshima","niki"],"title":"Semantics Matters: A New Light on Ontological Commitments of Logics","year":2021}