The requirements of truth and of justification of premisses

Summary The article attempts to give an answer to the question: why for the acceptance of a statementz ₂ implied by another,z ₁, it is required not only thatz ₁ be true but also justified? The application in a given case of the rule allowing to accept a statement implied by another true one is not possible without establishing in an appropriate manner that the statement is true. Practically, therefore, we have to rely in the conditions for the acceptance of a statementz ₂ implied by anotherz ₁ on the manner of acceptance ofz ₁. If we require that this manner of acceptance should guarantee the truth ofz ₁, no special requirement of the truth ofz ₁ is necessary. If the acceptance ofz ₂ implied byz ₁ depends onz ₁ being accepted in a manner which does not ensure the truth ofz ₁ (e. g. by induction), then we have to give up the requirement of the truth ofz ₁. At most, we may prohibit the acceptance ofz ₂ implied byz ₁, inductively justified, if the evidence for the negation ofz ₁ is better than the inductive one forz ₁.     

On the maximum number of folds of a piece of paper

We argue that a piece of paper, of thickness T and width W, can be folded a maximum number N?=?0.962 ln(f W/T) times, where f is a factor of order unity, determined by mechanical constraints. N typically takes a value of around six.     

Goodness of fit of trend curves and significance of trend differences

Experimental studies of the successive changes (frequently represented by curves describing laws of learning and other similar functional relationships) in a criterion variable accompanying experimental variations in a given treatment, and experimental comparisons of such changes for different populations or for different treatments, constitute a large and important class of psychological experiments. In most such experiments, no attempt has been made to analyze or to make allowance for errors of sampling or of observation. In many others, the techniques of error analysis that have been employed have been inefficient, inexact, or inappropriate. This paper suggests tests, using the methods of analysis of variance, of certain hypotheses concerning trends and trend differences in sample means obtained in experiments of this general type. For means of successive independent samples, tests are provided of the hypotheses: (H ₁) that there is no trend, or that the trend is a horizontal straight line, (H ₃) that there is a linear trend, (H ₅) that the trend is as described by a line not derived from the observed means, and (H ₇) that the trend is as described by a line fitted to the observed means. Tests are also provided of similar hypotheses (H ₂,H ₄,H ₆, andH ₈, respectively) for means of successive measurements of the same sample. Finally, tests are provided of the null hypotheses that there is no difference in trend in two series of means: (H ₉) when each mean in each series is based on an independent sample, (H ₁₀) when each pair of corresponding means is based on an independent sample, (H ₁₁) when each series of means is based on an independent sample, and (H ₁₂) when both series are based on a single sample.     

Efficiency of multiple-choice tests as a function of spread of item difficulties

The validity of a univocal multiple-choice test is determined for varying distributions of item difficulty and varying degrees of item precision. Validity is a function of _d ² + _v ² , where _d measures item unreliability and _v measures the spread of item difficulties. When this variance is very small, validity is high for one optimum cutting score, but the test gives relatively little valid information for other cutting scores. As this variance increases, eta increases up to a certain point, and then begins to decrease. Screening validity at the optimum cutting score declines as this variance increases, but the test becomes much more flexible, maintaining the same validity for a wide range of cutting scores. For items of the type ordinarily used in psychological tests, the test with uniform item difficulty gives greater over-all validity, and superior validity for most cutting scores, compared to a test with a range of item difficulties. When a multiple-choice test is intended to reject the poorestF per cent of the men tested, items should on the average be located at or above the threshold for men whose true ability is at theFth percentile.This research was performed under contract Nop 536 with the Bureau of Naval Personnel, and received additional support from the Bureau of Research and Service, College of Education, University of Illinois.     

The degrees of maximality of the intuitionistic propositional logic and of some of its fragments

Professor Ryszard Wójcicki once asked whether the degree of maximality of the consequence operationC determined by the theorems of the intuitionistic propositional logic and the detachment rule for the implication connective is equal to \(2^{2^\aleph 0} \) ? The aim of the present paper is to give the affirmative answer to the question. More exactly, it is proved here that the degree of maximality ofC _Ψ — theΨ — fragment ofC, is equal to \(2^{2^\aleph 0} \) , for every such that → εΨ.     

A re-analysis of a test of the theory of two factors

The study of William Brown and William Stephenson, A Test of the Theory of Two Factors, is re-analyzed by means of the Thurstone multiple factor methods. No tests or correlations are left out of the original table of correlations as is done in the original analysis in an attempt to validate the two-factor theory. Space, verbal, and perceptual speed factors similar to those found by Thurstone, Wright, and Garrett are identified. A common factor of Maturation is postulated to account for the remaining communality of the tests. A fifth factor is considered to have no significance due to the small amount of variance which it contributes to the total.Master's Thesis, University of Chicago, Department of Psychology, 1939.     

Negative Equivalence of Extensions of Minimal Logic

Two logics L₁ and L₂ are negatively equivalent if for any set of formulas X and any negated formula ¬, ¬ can be deduced from the set of hypotheses X in L₁ if and only if it can be done in L₂. This article is devoted to the investigation of negative equivalence relation in the class of extensions of minimal logic.The author acknowledges support by the Alexander von Humboldt-StiftungPresented by Jacek Malinowski     

Excitation of a chain of neurones

When the first of a uniform chain of neurones is excited with a stimulus intensityS ₁, it is found that, according to the nature of the chain,either the excitation is always transmitted with decreasing intensity,or else the intensity for succeeding neurones of the chain approaches a fixed finite value, characteristic of the chain and independent ofS ₁, wheneverS ₁ exceeds a certain threshold value.     

Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras

There is a constructive method to define a structure of simple k-cyclic Post algebra of order p, L _p,k , on a given finite field F(p ^k ), and conversely. There exists an interpretation ??₁ of the variety ${\mathcal{V}(L_{p,k})}$ generated by L _p,k into the variety ${\mathcal{V}(F(p^k))}$ generated by F(p ^k ) and an interpretation ??₂ of ${\mathcal{V}(F(p^k))}$ into ${\mathcal{V}(L_{p,k})}$ such that ??₂??₁(B) =  B for every ${B \in \mathcal{V}(L_{p,k})}$ and ??₁??₂(R) =  R for every ${R \in \mathcal{V}(F(p^k))}$ . In this paper we show how we can solve an algebraic system of equations over an arbitrary cyclic Post algebra of order p, p prime, using the above interpretation, Gröbner bases and algorithms programmed in Maple.     

Maximization of sums of quotients of quadratic forms and some generalizations

Monotonically convergent algorithms are described for maximizing six (constrained) functions of vectors x, or matricesX with columns x₁, ..., x _r . These functions are h₁(x)= _k (xA _kx)(xC _kx)^–1, H₁(X)= _k tr (XA _k X)(XC _k X)^–1, h₁(X)= _{k l} (x _l A _kx _l ) (x _l C _kx _l )^–1 withX constrained to be columnwise orthonormal, h₂(x)= _k (xA _kx)²(xC _kx)^–1 subject to xx=1, H₂(X)= _k tr(XA _kX)(XA_kX)(XC_kX)^–1 subject toXX=I, and h₂(X)= _{k l} (x _l A _kx _l )² (x _l C _kX _l )^–1 subject toXX=I. In these functions the matricesC _k are assumed to be positive definite. The matricesA _k can be arbitrary square matrices. The general formulation of the functions and the algorithms allows for application of the algorithms in various problems that arise in multivariate analysis. Several applications of the general algorithms are given. Specifically, algorithms are given for reciprocal principal components analysis, binormamin rotation, generalized discriminant analysis, variants of generalized principal components analysis, simple structure rotation for one of the latter variants, and set component analysis. For most of these methods the algorithms appear to be new, for the others the existing algorithms turn out to be special cases of the newly derived general algorithms.This research has been made possible by a fellowship from the Royal Netherlands Academy of Arts and Sciences to the author. The author is obliged to Jos ten Berge for stimulating this research and for helpful comments on an earlier version of this paper.     

《恒先》义释——思想史视野下的一种解读

Hengxian, one of the bamboo books of the Chu State during the Warring States Period that is kept in the Shanghai Museum, was collected by the museum in 1994, and is an important piece of literature that discusses cosmic issues prior to Huainanzi. Based on Li Ling’s work on the text, as well as hermeneutic work by some other scholars, this essay represents another attempt to determine the words and meanings of the Hengxian, with a focus on its cosmological commentary. Translated by Huang Deyuan from Xi’an Jianzhu Keji Daxue Xuebao 西安建筑科技大学学报 (Journal of Xi’an University of Arch & Tech), 2007, (1): 1–8     

Products of Classes of Residuated Structures

The central result of this paper provides a simple equational basis for the join, IRLLG, of the variety LG of lattice-ordered groups (-groups) and the variety IRL of integral residuated lattices. It follows from known facts in universal algebra that IRLLG=IRL×LG. In the process of deriving our result, we will obtain simple axiomatic bases for other products of classes of residuated structures, including the class IRL×_s LG, consisting of all semi-direct products of members of IRL by members of LG. We conclude the paper by presenting a general method for constructing such semi-direct products, including wreath products.     

Minor Studies of Aggression: V. Strength of Frustration-Reaction as a Function of Strength of Drive

The purpose of this study was to investigate the relative effectiveness of two methods of presenting visualized instruction to Ss and to determine the effectiveness of different types of visuals in facilitating S achievement of different educational objectives. Five hundred twenty Ss participated in the study; each received a pretest, participated in his respective instructional presentation, and received four criterial tests. Analysis indicated that (a) the method of presenting visualized instruction determines the type of visualization most effective in facilitating S achievement of different educational objectives; (b) for facilitating S achievement of certain objectives, color in visuals is an important instructional variable; and (c) not all visuals are equally effective in facilitating S achievement of different educational objectives.     

The Class of Extensions of Nelson's Paraconsistent Logic

The article is devoted to the systematic study of the lattice εN4_⊥ consisting of logics extending N4_⊥. The logic N4_⊥ is obtained from paraconsistent Nelson logic N4 by adding the new constant ⊥ and axioms ⊥ → p, p → ∼ ⊥. We study interrelations between εN4_⊥ and the lattice of superintuitionistic logics. Distinguish in εN4_⊥ basic subclasses of explosive logics, normal logics, logics of general form and study how they are relate. The author acknowledges support by the Alexander von Humboldt-Stiftung and by Counsil for Grants under RF President, project NSh - 2112.2003.1.     

Prediction of postural risk of fall initiation based on a two-variable description of body dynamics: Position and velocity of center of mass

This research addresses the question: what is the risk of fall initiation at a certain human posture? There are postures from which no one is able to keep their balance and a fall will surely initiate (risk = 1), and others from which everyone may regain their stability (risk = 0). In other postures, only a portion of people can control their stability. One may interpret risk to chance of a fall to be initiated, and based on the portion of fallers assign a risk value to a given human posture (postural risk). Human posture can be mapped to a point in a 2-dimensional space: the x − v plane, the axes of which are horizontal components of the position and velocity of the center of mass of the body. For every pair of (x, v), the outcome of the balance recovery problem defines whether a person with a given strength level is able to regain their stability when released from a posture corresponding to that point. Using strength distribution data, we estimated the portion of the population who will initiate a fall if starting at a certain posture. A fast calculation approach is also introduced to replace the time-consuming method of solving the recovery problem many times. Postural risk of fall initiation for situations expressed by (x, v) pairs for the entire x − v plane is calculated and shown in a color-map.     

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.     

Initial validation of a self-report measure of perceptions of interpersonal attraction

We examine psychometric properties and validity of the Perceptions of Attraction scale (POA). Responses of undergraduate students (N = 510) indicate that the POA has high reliability and a coherent factor structure comprising two dimensions of feelings of attraction toward others and perceptions of attraction from others that explain 67% of response variance. POA scores are correlated with social skills and extraversion, but not related to other personality dimensions. POA scores are predictive of outcomes in current romantic relationships (n = 160).     

A 2-categorial Generalization of the Concept of Institution

After defining, for each many-sorted signature Σ = (S, Σ), the category Ter(Σ), of generalized terms for Σ (which is the dual of the Kleisli category for \mathbb T_S{\mathbb {T}_{\bf \Sigma}}, the monad in Set ^S determined by the adjunction T_S \dashv G_S{{\bf T}_{\bf \Sigma} \dashv {\rm G}_{\bf \Sigma}} from Set ^S to Alg(Σ), the category of Σ-algebras), we assign, to a signature morphism d from Σ to Λ, the functor d_à{{\bf d}_\diamond} from Ter(Σ) to Ter(Λ). Once defined the mappings that assign, respectively, to a many-sorted signature the corresponding category of generalized terms and to a signature morphism the functor between the associated categories of generalized terms, we state that both mappings are actually the components of a pseudo-functor Ter from Sig to the 2-category Cat. Next we prove that there is a functor Tr^Σ, of realization of generalized terms as term operations, from Alg(Σ) × Ter(Σ) to Set, that simultaneously formalizes the procedure of realization of generalized terms and its naturalness (by taking into account the variation of the algebras through the homomorphisms between them). We remark that from this fact we will get the invariance of the relation of satisfaction under signature change. Moreover, we prove that, for each signature morphism d from Σ to Λ, there exists a natural isomorphism θ ^d from the functor Tr^L °(Id ×d_à){{{\rm Tr}^{\bf {\bf \Lambda}} \circ ({\rm Id} \times {\bf d}_\diamond)}} to the functor Tr^S °(d^* ×Id){{\rm Tr}^{\bf \Sigma} \circ ({\bf d}^* \times {\rm Id})}, both from the category Alg(Λ) × Ter(Σ) to the category Set, where d* is the value at d of the arrow mapping of a contravariant functor Alg from Sig to Cat, that shows the invariant character of the procedure of realization of generalized terms under signature change. Finally, we construct the many-sorted term institution by combining adequately the above components (and, in a derived way, the many-sorted specification institution), but for a strict generalization of the standard notion of institution.