Vagueness in Predicates and Objects

Brandon BennettBrandon Bennett, Lucía Gómez ÁlvarezLucía Gómez Álvarez

Brandon Bennett, Lucía Gómez Álvarez
Vagueness in Predicates and Objects
In Nathalie Aussenac-Gilles, Torsten Hahmann, Antony Galton, Maria M. Hedblom, eds., Proceedings of the 13th International Conference on Formal Ontology in Information Systems, FOIS 2023, volume 377 of Frontiers in Artificial Intelligence and Applications, 32-46, 2023. IOS Press

Details
Bibtex

KurzfassungAbstract
Standard first-order logic interprets reference, predication and quantification in terms of fixed denotations with respect to a domain of precise objects. We explore ways to generalise this semantics to account for variability of meaning due to factors such as vagueness, context and diversity of definitions or opinions. We present Variable Reference Logic (VRL), an elaboration of Standpoint Logic, which is a multi-modal logic based on a variety of Supervaluation Semantics. VRL can accommodate several modes of variability in relation to both predicates and objects. Its principal novelty is that its semantics incorporates a domain of indefinite individuals, whose precise properties (such as spatial extension) are not fully determinate. Each indefinite individual is associated with a set of precise entities corresponding to possible precise versions of the individual.
Weitere Informationen unter:Further Information: Link
Projekt:Project: ScaDS.AI
Forschungsgruppe:Research Group: Computational LogicComputational Logic

@inproceedings{B{2023,
  author    = {Brandon Bennett and Luc{\'{\i}}a G{\'{o}}mez {\'{A}}lvarez},
  title     = {Vagueness in Predicates and Objects},
  editor    = {Nathalie Aussenac-Gilles and Torsten Hahmann and Antony Galton
               and Maria M. Hedblom},
  booktitle = {Proceedings of the 13th International Conference on Formal
               Ontology in Information Systems, {FOIS} 2023},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {377},
  publisher = {IOS Press},
  year      = {2023},
  pages     = {32-46},
  doi       = {10.3233/FAIA231116}
}