Functionplane—A new approach to simple structure rotation

A new criterion for rotation to an oblique simple structure is proposed. The results obtained are similar to that obtained by Cattell and Muerle's maxplane criterion. Since the proposed criterion is smooth it is possible to locate the local maxima using simple gradient techniques. The results of the application of the Functionplane criterion to three sets of data are given. In each case a better fit to the subjective solution was obtained using the functionplane criterion than was reported for by Hakstian for the oblimax, promax, maxplane, or the Harris-Kaiser methods.This paper is contribution No. 66 from the Program in Ecology and Evolution at the State University of New York, Stony Brook, New York. This work was supported in part by a grant (GB-20496) from the National Science Foundation. The computations were performed on an IBM 360/67 computer at the State University of New York at Stony Brook.     

A further comparison of oblique factor transformation methods

Four prominent oblique transformation techniques—promax, the Harris-Kaiser procedure, biquartimin, and direct oblimin—are examined and compared. Additionally, two newly-developed procedures, falling into the category designated as Case III by Harris and Kaiser [1964], are presented and included in the comparisons. The techniques are compared in light of their freedom from bias in the interfactor correlations, and their ability to yield clear simple structures, over many data sets—some constructed and some real—varying widely in terms of number of variables and factors, factorial complexity, and clarity of the hyperplanes. Results are discussed, and implications for practice are noted.     

Real knowledge

Philosophers have sought to characterize a type of knowledge — what I call real knowledge — which is significantly different from the ordinary concept of knowledge. The concept of knowledge as true, justified belief — what I call knowledge simpliciter — failed to depict the sought after real knowledge because the necessary and jointly sufficient conditions of knowledge simpliciter can be felicitously but accidentally fulfilled. Real knowledge is knowledge simpliciter plus a set of requirements which guarantee that the truth, belief and justification conditions are not accidentally conjoined. Two of those requirements have received considerable attention in recent literature by the defeasibility theorists and the causal theorists. I argue that a third requirement is needed to block the merely coincidental cosatisfaction of the belief and justification conditions and to capture our intuitions about the epistemic agent who possesses real knowledge. That condition ascribes a disposition to the real knower to believe all and only justified propositions in virtue of his/her belief that the propositions are justified. Two consequences of that requirement are discussed: (1) if S really knows that p, then S knows simpliciter that S knows simpliciter that p and (2) the iterative feature of real knowledge mentioned in (1) provides a basis for the rejection of a particularly pernicious form of scepticism.     

A model of time-limited group therapy for men: Its use with recovering addicts

An array of men's issues from a newly emerging paradigm is reviewed—problems such as the dysfunctional development of masculine identity, fatherlessness, and gender role strain. The effects of social and psychological pressures on men are documented, and the need for gender-specific treatment is advocated. A brief evaluation of other group approaches to therapy for men is offered. An argument is made in favor of a more directive model of treating men in group for gender issues. The phases, components, and techniques of a new model of therapy for men are described in detail. The model focuses on the treatment of four primary emotions—grief, anger, fear, and shame—the socialization of which have caused great harm to men.     

Standard and non-standard Newcomb Problems

Examples involving common causes — most prominently, examples involving genetically influenced choices — are analytically equivalent not to standard Newcomb Problems — in which the Predictor genuinely predicts the agent's decision — but to non-standard Newcomb Problems — in which the Predictor guarantees the truth of her predictions by interfering with the agent's decision to make the agent choose as it was predicted she would. When properly qualified, causal and epistemic decision theories diverge only on standard — not on non-standard — Newcomb Problems, and thus not on examples involving common causes.     

Boolean negation and all that

Conclusion We have seen that proofs of soundness of (Boolean) DS, EFQ and of ABS — and hence the legitimation of these inferences — can be achieved only be appealing to the very form of reasoning in question. But this by no means implies that we have to fall back on classical reasoning willy-nilly. Many logical theories can provide the relevant boot-strapping. Decision between them has, therefore, to be made on other grounds. The grounds include the many criteria familiar from the philosophy of science: theoretical integrity (e.g., paucity of ad hoc hypotheses), adequacy to the data (explaining the data of inference —all inferences, not just those chosen from consistent domains!) and so on. This paper has not attempted to address these issues in general. All it demonstrates is that the charge that a dialetheist solution to the semantic paradoxes can be maintained only by making some intelligible notion ineffable cannot be made to stick. The dialetheist has a coherent position, endorsing the T-scheme, but rejecting DS, EFQ (even Boolean DS and EFQ) and ABS. And any argument to the effect that the relevant notions are both ineffable and intelligible begs the question. The case against consistent solutions to the semantic paradoxes therefore remains intact.     

A semi-orthogonal dependent factor solution

The paper presents a general framework for the dependent factor method in which judgmental as well as analytic criteria may be employed.The procedure involves a semi-orthogonal transformation of an oblique solution comprising a number of reference factors and a number of experimental factors (composites). It determines analytically the residual factors in the experimental field keeping the reference field constant. The method is shown to be a generalization of the multiple factor procedure [Thurstone, 1947] in so far as it depends on the use of generalized inverse in derivingpartial structure from total pattern. It is also shown to provide an example of the previously empty category (Case III) of the Harris-Kaiser generalization [1964]. A convenient computational procedure is provided. It is based on an extension of Aitken's [1937] method of pivotal condensation of a triple-product matrix to the evaluation of a matrix of the formH — VA ^–1 U' (for a nonsingularA).     

Alternative revision theories of truth

The Revision Theory of Truth (Gupta/Belnap 93) has been challenged in A. M. Yaqb's recent book The Liar Speaks the Truth. Yaqb suggests some non-trivial changes in the original theory — changing the limit rule — to avoid certain artifacts. In this paper it is shown that the proposed changes are not sufficient, i.e., Yaqb's system also produces artifacts. An alternative solution is proposed and the relation between it and Yaqb's solution is explored.     

Do Conditional Hypotheses Target Rare Events?

When testing hypotheses, rare or unexpected observations are normatively more informative than common observations, and recent studies have shown that participants' behavior reflects this principle. Research has also shown that, when asked to test conditional hypotheses (“If X, then Y”) that are abstract or unfamiliar, participants overwhelmingly consider a supporting observation mentioned in the hypothesis (X&Y) to be more informative than a supporting observation not mentioned (XY). These two empirical findings would mesh well if conditional hypotheses tend to be phrased in terms of rare, rather than common, events. Six experiments are reported indicating that people do have a tendency—often a very strong one—to phrase conditional hypotheses in terms of rare events. Thus, observations mentioned in conditional hypotheses might generally be considered highly informative because they usually are highly informative.     

Real intentionality

Intentionality is an essentially mental, essentially occurrent, and essentially experiential (conscious) phenomenon. Any attempt to characterize a notion of intentionality that detaches it from conscious experience faces two insuperable problems. First, it is obliged to concede that almost everything (if not everything) has intentionality—all the way down to subatomic particles. Second, it has the consequence that everything that has intentionality has far too much of it—perhaps an infinite amount. The key to a satisfactory and truly naturalistic theory of intentionality is (1) a realistic conception of naturalism and (2) a properly developed understanding of the phenomenon of cognitive experience.     

Formal systems of dialogue rules

Section 1 contains a survey of options in constructing a formal system of dialogue rules. The distinction between material and formal systems is discussed (section 1.1). It is stressed that the material systems are, in several senses, formal as well. In section 1.2 variants as to language form (choices of logical constants and logical rules) are pointed out. Section 1.3 is concerned with options as to initial positions and the permissibility of attacks on elementary statements. The problem of ending a dialogue, and of infinite dialogues, is treated in section 1.4. Other options, e.g., as to the number of attacks allowed with respect to each statement, are listed in section 1.5. Section 1.6 explains the concept of a chain of arguments.From section 2 onward four types of dialectic systems are picked out for closer study: D, E, Di and Ei. After a preliminary section on dialogue sequents and winning strategies, the equivalence of derivability in intuitionistic logic and the existence of a winning strategy (for the Proponent) on the strength of Ei is shown by simple inductive proofs.Section 3 contains a — relatively quick — proof of the equivalence of the four systems. It follows that each of them yields intuitionistic logic.     

Computer supported mathematics with Ωmega

Classical automated theorem proving of today is based on ingenious search techniques to find a proof for a given theorem in very large search spaces—often in the range of several billion clauses. But in spite of many successful attempts to prove even open mathematical problems automatically, their use in everyday mathematical practice is still limited.The shift from search based methods to more abstract planning techniques however opened up a paradigm for mathematical reasoning on a computer and several systems of that kind now employ a mix of interactive, search based as well as proof planning techniques.The Ωmega system is at the core of several related and well-integrated research projects of the Ωmega research group, whose aim is to develop system support for a working mathematician as well as a software engineer when employing formal methods for quality assurance. In particular, Ωmega supports proof development at a human-oriented abstract level of proof granularity. It is a modular system with a central proof data structure and several supplementary subsystems including automated deduction and computer algebra systems. Ωmega has many characteristics in common with systems like NuPrL, CoQ, Hol, Pvs, and Isabelle. However, it differs from these systems with respect to its focus on proof planning and in that respect it is more similar to the proof planning systems Clam and λClam at Edinburgh.     

Variables Influencing the Perceived Relationship Between Performance and Pay in a Merit Pay Environment

The purpose of the study is to gain a better understanding of the pay-for-performance perception. Such a knowledge may allow for improvement in the effectiveness of incentive compensation plans. Sample comprises 406 employees whose salary changes were conditioned by a merit pay plan. Results suggest that pay-for-performance perception is related to the actual pay-for-performance link, their trust in decision-makers, their procedural justice perception, the size of their outcomes—that is, pay increase and performance rating—and their satisfaction with these outcomes.     

Some approximate tests for repeated measurement designs

Four approximate tests are considered for repeated measurement designs in which observations are multivariate normal with arbitrary covariance matrices. In these tests traditional within-subject mean square ratios are compared with critical values derived fromF distributions with adjusted degrees of freedom. Two of them—the approximate and the improved general approximate (IGA) tests—behave adequately in terms of Type I error. Generally, the IGA test functions better than the approximate test, however the latter involves less computations. In regards to power, the IGA test may compete with one multivariate procedure when the assumptions of the latter are tenable.The author wishes to thank Garrett K. Mandeville for his careful reading of the final version of the paper.     

Correlates of sociometric status in school children in Buenos Aires

Teacher ratings on Spanish translations of the Comprehensive Behavior Rating Scale for Children and peer nominations were obtained for 110 school children (42 boys and 68 girls) in grades 2– 5 at a public elementary school in Buenos Aires. Nominations of likes best were negatively correlated with language processing deficits, attention problems, and sluggish tempo as rated by both teachers and peers, and positively correlated with teacher ratings of social competence, for both boys and girls. The reverse pattern was found for nominations of likes least. Children were assigned to sociometric status groups of popular (n=27), rejected (n=28), neglected (n=7) controversial (n=11), and average (n=37) based on number of LL and LB nominations. Rejected and popular children could be differentiated by teacher and peer ratings of linguistic information processing deficits, inattention, and sluggish tempo. Behavioral characteristics of motor hyperactivity, impulsivity, and aggression were significantly associated with being male but did not differ by sociometric status group.The assistance of Claudia Colon, Educational District of Buenos Aires, and Viviana Smith, Department of the Interior, Argentina, in the translation of measures is gratefully acknowledged. Particular thanks are also extended to the teachers and personnel of Escuela Normal 9 — Domingo F. Sarmiento.     

Decidable and enumerable predicate logics of provability

Predicate modal formulas are considered as schemata of arithmetical formulas, where is interpreted as the standard formula of provability in a fixed sufficiently rich theory T in the language of arithmetic. QL _T(T) and QL _T are the sets of schemata of T-provable and true formulas, correspondingly. Solovay's well-known result — construction an arithmetical counterinterpretation by Kripke countermodel — is generalized on the predicate modal language; axiomatizations of the restrictions of QL _T(T) and QL _T by formulas, which contain no variables different from x, are given by means of decidable prepositional bimodal systems; under the assumption that T is ₁-complete, there is established the enumerability of the restrictions of QL _T(T) and QL _T by: 1) formulas in which the domains of different occurrences of don't intersect and 2) formulas of the form ⁿ A.     

Phenomenology,physical education,and special populations

This paper attempts to show the complementarity between phenomenology and physical education as human sciences, and discusses how a consideration of this relation might inform the questions we ask and the methods we use in our research and teaching. We enter the common ground shared by phenomenology and physical education by way of three sensitizing concepts: lived experience, intersubjectivity, and insiders stories. Using examples from physical education and phenomenology, the paper shows the connections between these two increasingly compatible partners, emphasizes the primary connection — the body — and shows the practical and heuristic applications of phenomenology in the lifeworld of physical education.     

The completeness of S

The subsystem S of Parry's AI [10] (obtained by omitting modus ponens for the material conditional) is axiomatized and shown to be strongly complete for a class of three valued Kripke style models. It is proved that S is weakly complete for the class of consistent models, and therefore that Ackermann's rule is admissible in S. It also happens that S is decidable and contains the Lewis system S4 on translation — though these results are not presented here. S is arguably the most relevant relevant logic known at this time to be decidable.I wish to thank Jill Pipher and Professora Nuel D. Belnap, Jr. and David Kaplan for their helpful comments on an earlier version of this paper.     

The analytics of continuing conflict

Individuals, groups, or nations — if rational and self-interested — will be balancing on the margin between two alternative ways of generating income: (1) peaceful production and exchange, versus (2) appropriative efforts designed to seize resources previously controlled by others (or to defend against such invasions). Both production and appropriation, on the assumption here, are entirely normal lines of activity engaged in to the extent that doing so seems profitable.The general-equilibrium steady-state model involves a resource partition function, a social production function, a combat power function, and an income distribution equation. Solutions were obtained under thesymmetrical Cournot protocol and two alternativeasymmetrical assumptions: the familiar Stackelberg condition and a more novel hierarchical protocol called Threat-and-Promise. The analysis demonstrates that, in contrast with the harmonistic bias of orthodox economic theory, a general-equilibrium model can also encompass the hostile and destructive interactions that characterize real-world social relations.The efforts of men are utilized in two different ways: they are directed to the production or transformation of economic goods, or else to the appropriation of goods produced by others.Vilfredo ParetoI thank the Ford Foundation for assistance in supporting this research.     

Estimation of a correlation coefficient from an uncertainty measure

In this paper graphs are given for estimating a correlation _XY from a double-entry table. 2H _r , twice the statisticH _r , relative uncertainty (the average of the ratios of the conditional uncertainty of each variable to its uncertainty) was computed. Mean 2H _r 's were computed from 100 samples for each of several sample sizes and numbers of categories. Graphs relating mean 2H _r to , the estimated correlation, for 3–17 categories to each variable and 3 sample sizes—50, 100, and 500—were constructed. 2.5 per cent and 97.5 per cent fiducial limits curves were constructed for establishing confidence limits on _XY and .The research reported in this paper was conducted by personnel of the Aerospace Medical Research Laboratories, Aerospace Medical Division, Air Force Systems Command, Wright-Patterson AFB, Ohio. Further reproduction is authorized to satisfy the needs of the U. S. Government. This paper has been identified by the Aerospace Medical Research Laboratories as AMRL-TR-66-54.