Inverses for Normal Modal Operators

Given a 1-ary sentence operator , we describe L - another 1-ary operator - as as a left inverse of in a given logic if in that logic every formula is provably equivalent to L. Similarly R is a right inverse of if is always provably equivalent to R. We investigate the behaviour of left and right inverses for taken as the operator of various normal modal logics, paying particular attention to the conditions under which these logics are conservatively extended by the addition of such inverses, as well as to the question of when, in such extensions, the inverses behave as normal modal operators in their own right.     

The Question of God in an Age of Science: Constructions of Reality and Ultimate Reality in Theology and Science

Both science and theology have lately faced a crisis of authority. Their shared realization of the extent to which knowledge is underdetermined by the data and socially constructed provides a kind of common ground for reconsideration of their respective methods of inquiry as well as of the status of the claims they have warrant to make. Both fields are now consciously and critically employing a models approach. This article proposes criteria for assessing models and applies the criteria to one model from each field. The model of understanding evolution as a struggle for existence is considered from the field of science, and the traditional model for understanding the God-world relation as that of a king's relation to his kingdom is considered from the field of theology. Each of these models is evaluated with respect to its credibility, religious viability, and moral adequacy. In each case an alternative analogy is proposed and argued for.     

A general linear model for estimating effect size in the presence of publication bias

When the process of publication favors studies with smallp-values, and hence large effect estimates, combined estimates from many studies may be biased. This paper describes a model for estimation of effect size when there is selection based on one-tailedp-values. The model employs the method of maximum likelihood in the context of a mixed (fixed and random) effects general linear model for effect sizes. It offers a test for the presence of publication bias, and corrected estimates of the parameters of the linear model for effect magnitude. The model is illustrated using a well-known data set on the benefits of psychotherapy.Authors' note: The contributions of the authors are considered equal, and the order of authorship was chosen to be reverse-alphabetical.     

Calibration of sensory and cognitive judgments: A single model for both

In a recent issue of this journal, Winman and Juslin (34 , 135–148, 1993) present a model of the calibration of subjective probability judgments for sensory discrimination tasks. They claim that the model predicts a pervasive underconfidence bias observed in such tasks, and present evidence from a training experiment that they interpret as supporting the notion that different models are needed to describe judgment of confidence in sensory and in cognitive tasks. The model is actually part of the more comprehensive decision variable partition model of subjective probability calibration that was originally proposed in Ferrell and McGoey (Organizational Behavior and Human Performance, 26 , 32–53, 1980). The characteristics of the model are described and it is demonstrated that the model does not predict underconfidence, that it is fully compatible with the overconfidence frequently found in calibration studies with cognitive tasks, and that it well represents experimental results from such studies. It is concluded that only a single model is needed for both types of task.     

Multivariate stochastic processes compatible with “aspect” models of similarity and choice

Various recent works have developed feature or aspect models of similarity and preference. These models are more concerned with the fine detail of the judgment process than were prior models, but nevertheless they have not in general developed an underlying stochastic process compatible with the assumed structure. In this paper, we show that a particular class of multivariate stochastic processes, namely those associated with the Marshall-Olkin multivariate exponential distribution, generates several of these models. In particular, such stochastic processes (appropriately interpreted) yield Tversky's elimination by aspects model, Edgell and Geisler's (normal) additive random aspects model, and Shepard and Arabie's additive cluster model.This work was supported by Natural Science and Engineering Research Council of Canada Grant A8124 to A.A.J. Marley.     

Tests for stability in linear structural equation systems

Interpretations regarding the effects of exogenous and endogenous variables on endogenous variables in linear structural equation systems depend upon the convergence of a matrix power series. Convergence depends upon the eigenvalues of the structural coefficient matrix. The test for convergence developed by Jöreskog and Sörbom is shown to be only sufficient, not necessary and sufficient.     

A note on the investigation of local and global identifiability

In general, nonlinear models such as those commonly employed for the analysis of covariance structures, are not globally identifiable. Any investigation of local identifiability must either yield a mapping of identifiability onto the entire parameter space, which will rarely be feasible in any applications of interest, or confine itself to the neighbourhood of such points of special interest as the maximum likelihood point.The author would like to thank J. Jack McArdle and Colin Fraser for their comments on this paper.     

The use of latent class models for assessing prerequisite relations and transference among traits

This paper presents a strategy for pairwise assessment which may be used to evaluate the nature of both prerequisite and transference relations existing among a set of traits. This strategy is appropriate for use both within a confirmatory context, in which an attempt is made to establish the validity of some specified set of relations among traits, as well as within an exploratory context, in which a search is made for unconjectured prerequisite and transference relations existing between pairs of traits. Both uses of this strategy are based on a variety of latent class models which are representative of various possible relational states existing between pairs of traits. Thus, the nature of trait relations may be investigated through the use of statistical assessments of both absolute and relative fit attained by these models. An application is presented to exemplify how this strategy may be used within the exploratory context.The author is obliged to Clifford Clogg, C. Mitchell, Dayton, and William Schafer for helpful comments made regarding a previous draft of this paper as well as to Mary Papageorgiou who provided access to the data which was considered in this study.