In this paper, I review some standard approaches to the cases of contingent a priori truths that emerge from Kripke’s (1980) discussion of proper names and Kaplan’s (1989) theory of indexicals. In particular, I discuss Evans’ (1979) distinction between superfi cially and deeply contingent truths. I shall raise doubts about Evans’ strategy in general, and also about the roots and meaningfulness ...

In this paper, I argue for a probabilistic theory of trust, and the plausibility “trustworthy AI” in which we trust (as opposed to mere reliance). show that current theories cannot accommodate pertaining AI, propose an alternative theory, accounts four major types AI-related trust: AI agent’s another agent, human object (including mental complex objects). draw broadly neglected distinction betw...

The paper proposes a Situated Activity Theory view of collaborative knowledge work. Activity Theory is argued to be particularly relevant in the context knowledge work since the body of knowledge is a historically accumulated social construction. Situated Activity Theory makes a distinction between activity, tasks and encounters, the first two following the traditional distinction between activ...

Social cognitive neuroscience examines social phenomena and processes using cognitive neuroscience research tools such as neuroimaging and neuropsychology. This review examines four broad areas of research within social cognitive neuroscience: (a) understanding others, (b) understanding oneself, (c) controlling oneself, and (d) the processes that occur at the interface of self and others. In ad...

How classes of things and properties in general should be represented in conceptual models is a fundamental issue. For example, proponents of object-role modelling argue that no distinction should be made between the two constructs, whereas proponents of entity-relationship modelling argue the distinction is important but provide ambiguous guidelines about how the distinction should be made. In...

The paper argues for a theory of syntactic structure in which there is no distinction between word and phrasal level categories: the same category will be interpreted as a head in some respects and as a phrase in others. The theory takes the mirror principle to be axiomatic, analogous in status to the aspect of the projection principle that ensures that arguments of a head are projected from th...

Although there is consensus that a formal ontology consists of a set of axioms within some logical language, there is little consensus on how a formal ontology differs from an arbitrary theory. There is an intuitive distinction between the formal ontology and the set of domain theories that use the ontology, but there has been no characterization of this distinction in the context of first-orde...