We present a new strategy for semantic paramodulation for Horn sets and prove its completeness The strategy requires for each paramoduiation that either both parents be false positive units or that one parent and the paramodulant both be false relative to an interpretation We also discuss some of the issues involved in choosing an interpretation that has a chance of giving better performance th...

Let R be a relation on the domain of a computable structure A. We establish that the existence of an isomorphic copy B ofA such that the image of R (¬R, resp.) is h-simple (h-immune, resp.) relative to B is equivalent to a syntactic condition, termed R is formally h-simple (formally h-immune, resp.) on A.

Judgments about the perceptual appearance of visual objects require the combination of multiple parameters, like location, direction, color, speed, and depth. Our understanding of perceptual judgments has been greatly informed by studies of ambiguous figures, which take on different appearances depending upon the brain state of the observer. Here we probe the neural mechanisms hypothesized as r...

♣ Introduction. Coding theory originated with the advent of computers. Early computers were huge mechanical monsters whose reliability was low compared to the computers of today. Based, as they were, on banks of mechanical relays, if a single relay failed to close the entire calculation was in error. The engineers of the day devised ways to detect faulty relays so that they could be replaced. W...

While much that is written about the unity of consciousness does, as Dainton says, traffic in vague metaphors and exaggerated claims, Dainton’s book is a superb example of sober thinking and meticulous attention to detail. Stream of Consciousness can be roughly divided into three projects, projects that are bound together by co-consciousness. In the present context ‘co-consciousness’ refers to ...

method of explanation and the nature of scientific laws in the human sciences in no way differ from those in the natural sciences. Scientific laws in the human sciences describe generative mechanisms that underlie events. For example, the Freudian Unconscious is a description of a number of generative mechanisms that underlie psychological events. The human sciences differ from the natural scie...