Results 181 to 190 of about 65,341 (232)

Modal Logic and Modal Metaphysics: An Avicennian Division of Labour

Theoria, EarlyView.
ABSTRACT This paper argues that Avicenna was both a necessitarian and a realist about contingency. The two aspects of his modal metaphysics are reconciled by arguing that Avicenna's modal metaphysics is founded on realism about essences: strictly speaking, an individual has no contingent properties, but a modal distinction can be made between the ...
Jari Kaukua
wiley   +1 more source

Rendering knowledge graphs from aerospace dentistry processes for clinical decision support systems. [PDF]

Acta Astronaut
Amith MT, Vu J, Hou S, Sista V, Gong Y, Shah R, Neumann AC.   +6 more
europepmc   +1 more source

Kripke's Reduction of Löb's Theorem to the Second Incompleteness Theorem

Theoria, EarlyView.
ABSTRACT In this paper, we discuss Kripke's reduction of Löb's Principle to the Second Incompleteness Theorem. We have a closer look at the non‐constructive character of the reduction. We reflect on what the argument has to tell us. In the Appendix, We give a strengthening of Löb's Principle suggested by Kripke's reduction.
Albert Visser
wiley   +1 more source

(Co‐)Reference All the Way Down: A Unified Theory of (Pro) Nominals in Ordinary English

Theoria, EarlyView.
ABSTRACT This essay joins two themes, both arising from Kripke's inspiring ideas in the theory of reference. The first theme concerns reference in general. The second examines the notion of co‐reference and the role it plays in a unified theory of pronouns for natural language.
Jessica Pepp, Joseph Almog
wiley   +1 more source

ROSA: a knowledge-based solution for robot self-adaptation. [PDF]

Front Robot AI
Rezende Silva G, Päßler J, Tapia Tarifa SL, Johnsen EB, Hernández Corbato C.   +4 more
europepmc   +1 more source

Geopower, Geos and the Colonisation of Palestine

Transactions of the Institute of British Geographers, EarlyView.
ABSTRACT While the majority of geographical work on colonialism in Palestine centres on territory and land, this article foregrounds geopower and geos in the making of spatial relations. Three arguments are made over three corresponding sections. The first draws on recent writing on geopower and geos (primarily that by Elizabeth Grosz, Elizabeth ...
Mark Griffiths
wiley   +1 more source

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology. [PDF]

Sci Data
Prudhomme T, De Colle G, Liebers A, Sculley A, Xie PK, Cohen S, Beverley J.   +6 more
europepmc   +1 more source

Visualising the Urban Imaginary: Failure and Irresolution in an Urban Digital Twin

Transactions of the Institute of British Geographers, EarlyView.
Short Abstract The article analyses the visualisation encountered in an urban digital twin to argue that recognising the visualisation as a representation of the city is dependent upon habituation to perceptual and computational practices. Through speculative engagement with moments of visual irresolution, the article highlights the importance of ...
Emma McRae
wiley   +1 more source

The CLEAR Principle: organizing data and metadata into semantically meaningful types of FAIR Digital Objects to increase their human explorability and cognitive interoperability. [PDF]

J Biomed Semantics
Vogt L.
europepmc   +1 more source