We outline the logic of current approaches to the so-called “frame problem” (that is, the problem of predicting change in the physical world by using logical inference), and we show that these approaches are not completely extensional since none of them is closed under uniform substitution. The underlying difficulty is something known, in the philosophical community, as Goodman’s “new riddle of...

Motivated by some examples from functional programming, we propose a generalisation of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that, in a Freyd category, these notions are equivalent, generalising a well-known theorem of Hasegawa and Hyland.

In their recent article, Kirsch and Hyland questioned the relation between psychological and associated neurophysiological phenomena in the introduction of complementarity into psychology. Mishkin's work on the neurophysiological basis of memory and perception provides an example of the extension of complementarity that I have proposed and that can serve as the basis for empirical testing of th...

Quality of Life and Neurocognitive Functioning in Children with Sickle Cell Disease: Investigating the Feasibility of a Computerized Cognitive Training Program by Taryn Margaret Allen Department of Psychology and Neuroscience Duke University Date:_______________________ Approved: ___________________________ Melanie J. Bonner, Supervisor ___________________________ John Curry ___________________...

This paper is about a categorical approach to model a very simple Semantically Linear λcalculus, namedSlλ-calculus. This is a core calculus underlying the programming language SlPCF. In particular, in this work, we introduce the notion of Slλ-Category, which is able to describe a very large class of sound models of Slλ-calculus. Slλ-Category extends in the natural way Benton, Bierman, Hyland an...

Investigators from diverse behavioral fields have long recognized the strong attachment of the neonatal and infantile animal to its mother. Although this affectional behavior has been commonly observed, there is, outside the field of ethology, scant experimental evidence permitting identification of the factors critical to the formation of this bond. Lorenz (1) and others have stressed the impo...

Organochlorine contaminants, includng polychlorinated biphenyls (PCBs), chlorinated bornanes (CHBs), dichloro-diphenyl-trichloroethanes (DDTs), chlordanes (CHLORs), hexachlorocyclohexanes (HCHs) and, chlorobenzenes (CBZs) were quantified in 188 harbour porpoises (Phocoenaphocoena) killed in commercial fisheries in the coastal waters of the Avalon Peninsula, Newfoundland (n = 29), the Gaspe Peni...