A language for the human body: a tentative proposal
DOI:
https://doi.org/10.4454/philinq.v7i1.241Parole chiave:
Human body, modal mereotopology, discrete mereotopology, location.Abstract
To rigorously describe the structure of the human body a rich formal language is needed: this language must be able to describe all the parts of the body and the spatial regions those parts occupy; moreover, it must be able to describe the relations that occur between those parts and those spatial regions; finally, it must be able to distinguish between essential and contingent features of the body and it must do so based on the context that is relevant for the descriptions given. Our aim in this paper is to provide a formal language that can express all those kinds of information. The language we present is inspired by Vakarelov (2008) and is a modally augmented version of the discrete mereotopology due to Galton (2014) with an added relation for location (this latter addition is inspired by Donnelly (2004)): we will call this language modal discrete mereotopology with location. In the paper, we also suggest a neighbourhood semantics for our language: this will make the language context-sensitive, making it fit for different computer graphics applications.##submission.downloads##
Pubblicato
2019-03-03
Fascicolo
Sezione
Focus
Licenza
Authors retain copyright and grant the journal right of first publication, with the work five (5) years after publication licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgment of the work's authorship and initial publication in this journal.
After five years from first publication, Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgment of its initial publication in this journal.
