Fuzzy Logic and Arithmetical Hierarchy,II

A very simple many-valued predicate calculus is presented; a completeness theorem is proved and the arithmetical complexity of some notions concerning provability is determined.     

Personality and Job Performance in Financial Services Managers

This article presents research in which the Five Factor Model of personality was tested as a predictor of job performance. 125 financial services managers who had enrolled in a potential evaluation programme were given the NEO-FFI, a questionnaire designed for measuring the Big Five. Job performance was assessed using nine rating scales and they were grouped into two components: job problem-solving ability and job motivation. Also, one single scale for measuring global job performance was used. The results show that Neuroticism and Conscientiousness correlated with the two components and with the global measure of job performance. Extraversion, Openness and Agreeableness are correlated with one facet or with the global rating of job performance. Taken together, the results suggest that the Five Factor Model is a valid predictor of job performance. The implications of the results for practice and future research are discussed.     

BEHAVIORAL CUSPS: A DEVELOPMENTAL AND PRAGMATIC CONCEPT FOR BEHAVIOR ANALYSIS

Most concepts of development explain certain behavior changes as products or markers of the invariable succession of emerging periods, stages, refinements, or achievements that define and order much of an individual's life. A different but comparable concept can be derived from the most basic mechanisms of behavior analysis, which are its environmental contingencies, and from its most basic strategy, which is to study behavior as its subject matter. From a behavior-analytic perspective, the most fundamental developmental questions are (a) whether these contingencies vary in any systematic way across the life span, and thus make behavior change in a correspondingly systematic way; and (b) whether some of these contingencies and their changes have more far-reaching consequences than others, in terms of the importance to the organism and others, of the behavior classes they change. Certain behavior changes open the door to especially broad or especially important further behavior change, leading to the concept of the behavioral cusp. A behavioral cusp, then, is any behavior change that brings the organism's behavior into contact with new contingencies that have even more far-reaching consequences. Of all the environmental contingencies that change or maintain behavior, those that accomplish cusps are developmental. Behavior change remains the fundamental phenomenon of development for a behavior-analytic view; a cusp is a special instance of behavior change, a change crucial to what can come next.     

Axiomatic justifications of the utility principle: A formal investigation

It is argued that existing axiomatic theories of utility do not provide the utility principle or the principle of maximising expected utility with a formal justification. It is also argued that these theories only put mild constraints on a decision-maker in a decision-context. Finally, it is argued that the prospects are not particularly bright for finding formal non-circular arguments for the utility principle that do not rely on the law of large numbers.     

The functional role of attention for spatial coding in the Simon effect

Summary Two experiments investigated relative spatial coding in the Simon effect. It was hypothesized that relative spatial coding is carried out with reference to the position of the focus of visual attention. The spatial code for an imperative stimulus presented exactly at the position of focal attention should be neutral on the horizontal plane, and therefore no Simon effect should be observed. However, when the imperative stimulus is presented to the left or to the right of the current position of focal attention, the spatial code should not be neutral, thus producing a Simon effect. In both experiments, focal attention was manipulated either by a peripherally presented onset precue (Experiment 1) or by a centrally presented symbolic precue (Experiment 2). Results showed that the Simon effect was substantially reduced in both experiments when a valid precue preceded the imperative stimulus just in time to conclude refocusing of attention to the position of the imperative stimulus before it was presented. However, conditions with neutral precues yielded a normally sized Simon effect. In both experiments, the Simon effect decreased as the SOA grew when the precue was valid. At least for the Simon effect, the results can be interpreted as evidence that relative spatial coding is functionally related to the position of the focus of attention.     

Cut-free sequent and tableau systems for propositional Diodorean modal logics

We present sound, (weakly) complete and cut-free tableau systems for the propositional normal modal logicsS4.3, S4.3.1 andS4.14. When the modality is given a temporal interpretation, these logics respectively model time as a linear dense sequence of points; as a linear discrete sequence of points; and as a branching tree where each branch is a linear discrete sequence of points.Although cut-free, the last two systems do not possess the subformula property. But for any given finite set of formulaeX the superformulae involved are always bounded by a finite set of formulaeX* _L depending only onX and the logicL. Thus each system gives a nondeterministic decision procedure for the logic in question. The completeness proofs yield deterministic decision procedures for each logic because each proof is constructive.Each tableau system has a cut-free sequent analogue proving that Gentzen's cut-elimination theorem holds for these latter systems. The techniques are due to Hintikka and Rautenberg.Presented byDov M. Gabbay