Comments on “the measurement of factorial indeterminacy”

Guttman's index of indeterminacy (2² – 1) measures the potential amount of uncertainty in picking the right alternative interpretation for a factor. When alternative solutions for a factor are equally likely to be correct, then the squared multiple correlation ² for predicting the factor from the observed variables is the average correlation _AB between independently selected alternative solutionsA andB, while var ( _AB )=(1 – ²)²/s, wheres is the dimensionality of the space in which unpredicted components of alternative solutions are to be found. When alternative solutions for the factor are not equally likely to be chosen, ² is the lower bound for E( _AB ); however, E( _AB ) need not be a modal value in the distribution of _AB . Guttman's index and E( _AB ) measure different aspects of the same indeterminacy problem.     

New lower and upper bounds for communality in factor analysis

We derive several relationships between communalities and the eigenvalues for ap ×p correlation matrix under the usual factor analysis model. For suitable choices ofj, _j (), where _j () is thej-th largest eigenvalue of , provides either a lower or an upper bound to the communalities for some of the variables. We show that for at least one variable, 1 - _p () improves on the use of squared mulitiple correlation coefficient as a lower bound.This research was done while the second author was at Tokyo Institute of Technology.     

On a new property of partially balanced association schemes useful in psychometric structural analysis

In an earlier paper [Psychometrika,31, 1966, p. 147], Srivastava obtained a test for the HypothesisH ₀ : = ₀₀ + ... + _ll, where i are known matrices,i are unknown constants and is the unknown (p ×p) covariance matrix of a random variablex (withp components) having ap-variate normal distribution. The test therein was obtained under (p ×p) covariance matrix of a random variablex (withp components) the condition that ₀, ₁, ..., l form a commutative linear associative algebra and a certain vector, dependent on these, has non-negative elements. In this paper it is shown that this last condition is always satisfied in the special situation (of importance in structural analysis in psychometrics) where ₀, ₁, ..., l are the association matrices of a partially balanced association scheme.This research was partially supported by the U. S. Air Force under Grant No. AF33(615)-3231, monitored by the Aero Space Research Labs.Now at Colorado State University.     

The percentage bend correlation coefficient

A well-known result is that the usual correlation coefficient,, is highly nonrobust: very slight changes in only one of the marginal distributions can alter by a substantial amount. There are a variety of methods for correcting this problem. This paper identifies one particular method which is useful in psychometrics and provides a simple test for independence. It is not recommended that the new test replace the usual test ofH ₀: = 0, but the new test has important advantages over the usual test in terms of both Type I errors and power.     

Natural deduction rules for English

A system of natural deduction rules is proposed for an idealized form of English. The rules presuppose a sharp distinction between proper names and such expressions as the c, a (an) c, some c, any c, and every c, where c represents a common noun. These latter expressions are called quantifiers, and other expressions of the form that c or that c itself, are called quantified terms. Introduction and elimination rules are presented for any, every, some, a (an), and the, and also for any which, every which, and so on, as well as rules for some other concepts. One outcome of these rules is that Every man loves some woman is implied by, but does not imply, Some woman is loved by every man, since the latter is taken to mean the same as Some woman is loved by all men. Also, Jack knows which woman came is implied by Some woman is known by Jack to have come, but not by Jack knows that some woman came.     

On the relation provable equivalence and on partitions in effectively inseparable sets

We generalize a well-knownSmullyan's result, by showing that any two sets of the kindC _a = {x/ xa} andC _b = {x/ xb} are effectively inseparable (if I b). Then we investigate logical and recursive consequences of this fact (see Introduction).     

Analysis of variance for correlated observations

Two different linear models are presented for the four-dimensional classification system in which correlations exist between certain pairs of observations. Except for the assumption of correlated observations, classical assumptions associated with classification systems are made. The models considered are modifications of those which underlie the split-plot design and the split-split-plot design. In the first model the correlations between observations of the levels of one dimension are all set equal to. In the second model the observations of the levels of one dimension are assumed correlated to degree ₁, whereas the observations of a second dimension are correlated to degree ₂. Analyses for the two models and tests of hypotheses for various parameters are indicated.     

Third Men: The Logic of the Sophisms at Arist. SE 22, 178b36–170a10

This article aims at elucidating the logic of Arist. SE 22, 178b36–179a10 and, in particular, of the sophism labelled "Third Man" discussed in it. I suggest that neither the sophistic Walking Man argument, proposed by ancient commentators, nor the Aristotelian Third Man of the , suggested by modern interpreters, can be identified with the fallacious argument Aristotle presents and solves in the passage. I propose an alternative reconstruction of the Third Man sophism and argue that an explanation of the lines regarding the identity of Coriscus and Coriscus the musician (178b39–179a3) is indispensable for its correct understanding, since they hint at another sophism in some important aspects analogous. Finally, I show that two contradictions concerning spotted by scholars in the passage are only apparent and can be dissolved once the assumption that the anti-Platonic Third Man argument is at stake here is discarded, and once the passage is read in the light of its agonistic context.     

A new proof for monotone likelihood ratio for the sum of independent bernoulli random variables

By use of an inequality of Marcus and Lopes for elementary symmetric functions, a new proof is presented for the following result by Ghurye and Wallace: Given that the independent random variablesX _j are Bernoulli with success probabilityp _j () strictly between 0 and 1 and nondecreasing in, the sum X _j has monotone likelihood ratio.     

A semantical investigation into Leśniewski's axiom of his ontology

A structure A for the language L, which is the first-order language (without equality) whose only nonlogical symbol is the binary predicate symbol , is called a quasi -struoture iff (a) the universe A of A consists of sets and (b) a b is true in A ([p) a = {p } & p b] for every a and b in A, where a(b) is the name of a (b). A quasi -structure A is called an -structure iff (c) {p } A whenever p a A. Then a closed formula in L is derivable from Leniewski's axiom x, y[x y u (u x) u; v(u, v x u v) u(u x u y)] (from the axiom x, y(x y x x) x, y, z(x y z y x z)) iff is true in every -structure (in every quasi -structure).     

On a certain class ofm-address machines

Conclusion It follows from the proved theorems that ifM =Q, (whereQ={0,q ₁,q ₂,...,q }) is a machine of the classM _F then there exist machinesM _i such thatM _i(1,c)=M (q _i,c) andQ _i={0, 1, 2, ..., +1} (i=1, 2, ..., ).And thus, if the way in which to an initial function of content of memorycC a machine assigns a final onecC is regarded as the only essential property of the machine then we can deal with the machines of the formM ={0, 1, 2, ..., }, and processes (t) (wheret=1,c,cC) only.Such approach can simplify the problem of defining particular machines of the classM _F , composing and simplifying them.Allatum est die 19 Januarii 1970     

A modification of kendall's tau for measuring association in contingency tables

A coefficient of association is described for a contingency table containing data classified into two sets of ordered categories. Within each of the two sets the number of categories or the number of cases in each category need not be the same.=+1 for perfect positive association and has an expectation of 0 for chance association. In many cases also has –1 as a lower limit. The limitations of Kendall's _a and _b and Stuart's _c are discussed, as is the identity of these coefficients to' under certain conditions. Computational procedure for is given.     

Model theoretic results for infinitely deep languages

We define a subhierarchy of the infinitely deep languagesN described by Jaakko Hintikka and Veikko Rantala. We shall show that some model theoretic results well-known in the model theory of the ordinary infinitary languages can be generalized for these new languages. Among these are the downward Löwenheim-Skolem and o's theorems as well as some compactness properties.     

An extension of the partial credit model with an application to the measurement of change

The partial credit model is considered under the assumption of a certain linear decomposition of the item × category parameters _ih into basic parameters _j. This model is referred to as the linear partial credit model. A conditional maximum likelihood algorithm for estimation of the j is presented, based on (a) recurrences for the combinatorial functions involved, and (b) using a quasi-Newton approach, the so-called Broyden-Fletcher-Goldfarb-Shanno (BFGS) method; (a) guarantees numerically stable results, (b) avoids the direct computation of the Hesse matrix, yet produces a sequence of certain positive definite matricesB _k ,k=1, 2, ..., converging to the asymptotic variance-covariance matrix of the . The practicality of these numerical methods is demonstrated both by means of simulations and of an empirical application to the measurement of treatment effects in patients with psychosomatic disorders.The authors thank one anonymous reviewer for his constructive comments. Moreover, they thankfully acknowledge financial support by the Österreichische Nationalbank (Austrian National Bank) under Grant No. 3720.     

Parameter estimation in latent trait models

Latent trait models for binary responses to a set of test items are considered from the point of view of estimating latent trait parameters=( ₁, , _n ) and item parameters=( ₁, , _k ), where _j may be vector valued. With considered a random sample from a prior distribution with parameter, the estimation of (, ) is studied under the theory of the EM algorithm. An example and computational details are presented for the Rasch model.This work was supported by Contract No. N00014-81-K-0265, Modification No. P00002, from Personnel and Training Research Programs, Psychological Sciences Division, Office of Naval Research. The authors wish to thank an anonymous reviewer for several valuable suggestions.     

Paraconsistent logic and model theory

The object of this paper is to show how one is able to construct a paraconsistent theory of models that reflects much of the classical one. In other words the aim is to demonstrate that there is a very smooth and natural transition from the model theory of classical logic to that of certain categories of paraconsistent logic. To this end we take an extension of da Costa'sC ₁ ⁼ (obtained by adding the axiom A A) and prove for it results which correspond to many major classical model theories, taken from Shoenfield [5]. In particular we prove counterparts of the theorems of o-Tarski and Chang-o-Suszko, Craig-Robinson and the Beth definability theorem.     

Foundations of a new system of probability theory

The aim of my book is to explain the content of the different notions of probability.Based on a concept of logical probability, which is modified as compared with Carnap, we succeed by means of the mathematical results of de Finetti in defining the concept of statistical probability.The starting point is the fundamental concept that certain phenomena are of the same kind, that certain occurrences can be repeated, that certain experiments are identical. We introduce for this idea the notion: concept K of similarity. From concept K of similarity we derive logically some probability-theoretic conclusions:If the events E() are similar —of the same kind - on the basis of such a concept K, it holds good that intersections of n of these events are equiprobable on the basis of K; in formulae: E(₁)...E( _{n K} E('₁)...E(' _n , _{i j} ,' _j ' _j for ij On the basis of some further axioms a partial comparative probability structure results from K, which forms the starting point of our further investigations and which we call logical probability on the basis of K.We investigate a metrisation of this partial comparative structure, i.e. normed -additive functions m _K, which are compatible with this structure; we call these functions m _K measure-functions in relation to K.The measure-functions may be interpreted as subjective probabilities of individuals, who accept the concept K.Now it holds good: For each measure-function there exists with measure one the limit of relative frequencies in a sequence of the E().In such an event, where all measure-functions coincide, we speak of a quantitative logical probability, which is the common measure of this event. In formulae we have: l _K (h _n lim h _n )=1 in words: There is the quantitative logical probability one that the limit of the relative frequencies exists. Another way of saying this is that the event ^* (h_n lim h _n) is a maximal element in the comparative structure resulting from K.Therefore we are entitled to introduce this limit and call it statistical probability P.With the aid of the measure-functions it is possible to calculate the velocity of this convergence. The analog of the Bernoulli inequation holds true: m _K (¦h _n –P¦)1–1/4n².It is further possible in the work to obtain relationships for the concept of statistical independence which are expressed in terms of the comparative probability.The theory has a special significance for quantum mechanics: The similarity of the phenomena in the domain of quantum mechanics explains the statistical behaviour of the phenomena.The usual mathematical statistics are explained in my book. But it seems more expedient on the basis of this new theory to use besides the notion of statistical probability also the notion of logical probability; the notion of subjective probability has only a heuristic function in my system.The following dualism is to be noted: The statistical behaviour of similar phenomena may be described on the one hand according to the model of the classical probability theory by means of a figure called statistical probability, on the other hand we may express all formulae by means of a function, called statistical probability function. This function is defined as the limit of the relative frequencies depending on the respective state of the universe. The statistical probability function is the primary notion, the notion of statistical probability is derived from it; it is defined as the value of the statistical probability function for the true unknown state of the universe.As far as the Hume problem, the problem of inductive inference, is concerned, the book seems to give an example of how to solve it.The developed notions such as concept, measure-function, logical probability, etc. seem to be important beyond the concept of similarity.The present work represents a summary of my book Grundzüge zu einem neuen Aufbau der Wahrscheinlich-keitstheorie [5], For this reason, I have frequently dispensed with providing proof and in this connection refer the interested reader to my book.     

Distributive justice in Aristotle's ethics and politics

Conclusion The symbolism introduced earlier provides a convenient vehicle for examining the status and consistency of Aristotle's three diverse justifications and for explaining how he means to avoid Protagorean relativism without embracing Platonic absolutism.When the variables x and y are allowed to range over the groups of free men in a given polis as well as over individual free men, the formula for the Aristotelian conception of justice expresses the major premiss of Aristotle's three justifications: (1) (_x)(_y) (P(x)·W(x)/P(y)·W(y)=V(T(x))/V(T(y)))Democracy is justified by adding a minor premiss to the effect that as a group the many (m) are superior (>) in virtue and wealth to the few best men (f): ⁸⁵ (2_d) (P(m) · W(m)) > (P(f) · W(f)) (3_d) V(T(m))>V(T(f))Absolute kingship is justified when a godlike man (g) appears in a polis who is incommensurably superior () in virtue and wealth to all the remaining free men (r): (2_k) (P(g) · W(g)) (P(r) · W(r)) (3_k) V(T(g)) V(T(r))True aristocracy requires a more complex justification, which was symbolized in Section 4.These justifications are compatible with each other since they apply to different situations. The polises where democracy and true aristocracy are justified contain no godlike men, and the polis in which democracy is justified differs from that in which true aristocracy is justified in containing a large group of free men who individually have little virtue (Pol. III.11.1281b23-25, 1282a25-26).Each of the justifications is a valid deductive argument. Aristotle affirms the major premiss they share on the basis of a twofold appeal to nature. The principle of distributive justice, the concept as distinguished from the various conceptions of distributive justice, is itself according to nature (Pol. VII.3.1325b7-10) and so too is one particular standard of worth, the standard of the best polis. Consequently, the question of the status of these three justifications, whether they are purely hypothetical or not, is a question about the minor premiss or premisses of each.In the case of the democratic premiss Aristotle's answer is straightforward: it is sometimes but not always true (Pol. III.11.1281bl5-21). Hence the justification of democracy is not purely hypothetical. Nor is the justification of absolute kingship. The man who is like a god among men (Pol. III.13.1284a10-11) would be a man of heroic virtue (see VII.14.1332bl6-27); and such a man, Aristotle says, is rare (ávo) (not nonexistent) (E.N. VII.1.1145a27-28).The minor premisses of the aristocratic argument describe a situation where all of the free men in a given polis have sufficient wealth for the exercise of the moral and intellectual virtues and where all of the older free men of the polis are men of practical wisdom. In the Politics Aristotle makes only the modest claim that such a situation is possible: It is not possible for the best constitution to come into being without appropriate equipment [that is, the appropriate quality and quantity of territory and of citizens and noncitizens]. Hence one must presuppose many things as one would wish them to be, though none of them must be impossible (Pol. VII.4.1325b37-38; see also II.6.1265al7-18). But Aristotle appears to subscribe to the principle that every possibility is realized at some moment of time (Top. 11.11.115bl7-18, Met. .4.1047b3-6, N.2.1088b23-25). This principle together with the claim that the situation described is possible entails that the situation sometimes occurs. Thus even Aristotle's justification of true aristocracy is not purely hypothetical.The final question is Aristotle's way of avoiding Protagorean relativism without embracing Platonic absolutism. The relativist, along with everyone else (E.N. V.3.1131a13-14, Pol. III.12.1282bl8), can accept the principle of distributive justice: Q(x)/Q(y) = V(T(x))/V(T(y)) And he can concede that particular instances of this principle, particular conceptions of justice, accurately describe the modes of distributing political authority that appear just to particular polises and to particular philosophers. What he denies is that there is any basis for ranking these various conceptions of justice or for singling one out as the best (Plato, Theaet. 172A-B). Aristotle, following in Plato's track (Laws X.888D7-890D8), maintains against the relativist that nature provides such a basis. But he departs from Plato in his conception of nature. For Plato the just by nature (ó o}) (Rep. VI.501B2) is the Form of justice, an incorporeal entity (Phdo. 65D4-5, Soph. 246B8) that exists beyond time and space (Tim. 37C6-38C3, 51E6-52B2), whereas for Aristotle the sensible world is the realm of nature (Met. A.1.1069a30-b2). Thus in appealing to nature Aristotle does not appeal to a transcendent standard. Nor does he appeal to his main criterion of the natural, namely, happening always or for the most part. Aristotle's theory of justice is anchored to nature by means of the polis described in Politics VII and VIII, and he regards this polis as natural because it fosters the true end of human life and because its social and political structure reflects the natural hierarchy of human beings and the natural stages of life. Thus the nature that Aristotle's theory of justice is ultimately founded on is human nature.     

Verisimilitude by means of short theorems

Conclusion This paper began with the simple object of finding an account that allowed us to compare incompatible false theories. This we achieved with . But that relation is language — or interest — dependent. ' is free from this limitation; though thus liberated it is perhaps rather unconcerned about what is true, and further fails to deliver certain intuitive comparisons. Whether is to be preferred to ' or vice versa, seems to me a largely fruitless question: In fact it might be that as we seek to free the idea of verisimilitude from any dependence on language, interests or problems, so we gradually collapse it to nothing more than logical power.     

A note on syntactical and semantical functions

We say that a semantical function is correlated with a syntactical function F iff for any structure A and any sentence we have A F A .It is proved that for a syntactical function F there is a semantical function correlated with F iff F preserves propositional connectives up to logical equivalence. For a semantical function there is a syntactical function F correlated with iff for any finitely axiomatizable class X the class ^–1X is also finitely axiomatizable (i.e. iff is continuous in model class topology).