This paper describes an application of linear logic programming to the frame problem. This treatment has both practical and conceptual advantages over standard treatments: it is computationally efficient, and this efficiency arises because linear logic respects the identity, or otherwise, of situations.

This paper is concerned. with the contrast between simulation- and deduction-based approaches to reasoning about physical objects. We show that linear logic can give a unified account of both simulation and deduction concerning physical objects; it also allows us to draw a principled distinction between simulation and deduction, since simulations correspond to cut-free proofs, whereas deductions correspond to proofs in general.

An examination of verbal hallucinations and thought insertion as examples of "alienated self-consciousness.".

This paper critically examines several game theoretic interpretations of Hobbes' state of nature, including Prisoner's Dilemma and Assurance Game, and argues instead that the best matrix is that of a combination of the two, an Assurance Dilemma. This move is motivated by the fact that Hobbes explicitly notes two distinct personality types, with different preference structures, in the state of nature: dominators and moderates. The former play as if in a Prisoner's Dilemma, the latter play as if in an Assurance (...) Game. But when meeting one another, the Assurance Dilemma represents their differing strategies, and can explain various other features of Hobbes' state of nature, as well as a key informational role played the Sovereign. (shrink)