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.

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.

Originally published in 1990. Each of the 12 chapters in this book build upon an approach to the analysis of spoken and written texts that is centred upon the recipient rather than the producer, for the abilities of listeners and readers deserve much attention. This book should be of interest to students and lecturers of linguistics, literary studies, English, education, communication studies and psychology.

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)

Through this book, we offer a map for navigating relationships and analytical tools that provide theoretical and practical contexts for getting to the heart or root of positive relationship building in school environments and beyond.

We consider the symbol grounding problem, and apply to it philosophical arguments against Cartesianism developed by Sellars and McDowell: the problematic issue is the dichotomy between inside and outside which the definition of a physical symbol system presupposes. Surprisingly, one can question this dichotomy and still do symbolic computation: a detailed examination of the hardware and software of serial ports shows this.