‘<Emphasis Type="Italic">if p then q</Emphasis>’ . . . and all that: Logical Elements in Reasoning and Discourse

In this paper we explore differences in use of the so-called ‘logical’ elements of language such as quantifiers and conditionals, and use this to explain differences in performance in reasoning tasks across subject groups with different educational backgrounds. It is argued that quantified sentences are difficult natural bases for reasoning, and hence more prone to elicit variation in reasoning behaviour, because they are chiefly used with a pre-determined domain in everyday speech. By contrast, it is argued that conditional sentences form natural premises because of the function they serve in everyday speech. Implications of this for the role of logic in modelling human reasoning behaviour are briefly considered.     

A Review of:“Safety in Manual Materials Handling.” By COLIN G. DRURY. (Cincinnati: US Dept. of Health,Education & Welfare, 1978.) [Pp. viii+ 209.]

The extension force against resistance was recorded in 23 postures for 12 subjects to find explanations for the decrease in back strength in asymmetric postures. A reduction in muscle force in asymmetric postures was found up to 40%, but was strongly dependent on the plane in which asymmetry occurred, and on the posture to which it referred. A quantitative relationship between the forces exerted in different asymmetric postures is discussed, as a basis for formulating universal ergonomic guidelines for optimal working postures. The reduction in force in different asymmetric postures can be explained by length of the muscle, the activation of the muscle, and the moment angle of the muscle.     

Soundness and Completeness of Kung s Reasoning Procedure

Kung's reasoning procedure is characterized by high parallelism in the sense that an unlimited numberof CPUs can be used to carry out the computation in parallel.This paper presents a proof of the soundness andcompleteness of the reasoning procedure based on Herbrand's theorem.     

A review of: “Ways of the Hand. The Organisation of Improvised Conduct”. By D. SUDNOW. (London: Routledge & Kegan Paul, 1978.) [Pp. xiv + 155.] £6·50.

Traffic systems are undergoing enormous change with the advent of Intelligent Transport Systems (ITS). Although productivity and quality of mobility are emerging interests, safety remains the predominant preoccupation of ITS human factors. It should be evident that while intelligent technologies may have the potential to improve traffic safety, they also have the potential to adversely affect it. Ultimately, the effect on safety depends on the specific technologies that are invoked and the manner in which they are incorporated within the vehicle as well as within the larger road transportation system. Current automotive developments can be characterized as technology-centred solutions rather than usercentred solutions. Greater effort must be directed at understanding and accommodating the human element in the road transportation system in order that future transportation objectives can be achieved. There is a need to expand the scope of traditional human factors to include macro-level effects as well as to place greater emphasis on understanding human interactions with other elements of the system. There is also increasing recognition of the urgent need for systematic procedures and criteria for testing the safety of ITS prior to large-scale market penetration.