Reexamining Nonlinear Structural Equation Modeling Procedures: The Effect of Parallel and Congeneric Measures

The current study examines the performance of the extended unconstrained approach (EXUC) and the latent moderated structural equation modeling procedure (LMS) in situations where quadratic and interaction terms are tested simultaneously and investigates their limitations with regard to the employment of parallel and congeneric measures, relatively low indicator reliabilities, and relatively large numbers of indicators. By means of a Monte Carlo study, we found LMS to be the best option for testing multiple nonlinear effects given sufficient sample size (n ≥ 500) and normally distributed exogenous variables. Its advantages became more prominent when indicator reliabilities were heterogeneous and small. The EXUC was a viable option for estimating the model when indicators were parallel and exhibited large indicator reliabilities. An empirical example of the results is provided, and the relevance of measurement model characteristics to assess nonlinear relationships is discussed.     

Constructive Logic with Strong Negation is a Substructural Logic. I

The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL _ew of the substructural logic FL _ew . In this paper, it is shown that the equivalent variety semantics of N (namely, the variety of Nelson algebras) and the equivalent variety semantics of NFL _ew (namely, a certain variety of FL _ew -algebras) are term equivalent. This answers a longstanding question of Nelson [30]. Extensive use is made of the automated theorem-prover Prover9 in order to establish the result. The main result of this paper is exploited in Part II of this series [40] to show that the deductive systems N and NFL _ew are definitionally equivalent, and hence that constructive logic with strong negation is a substructural logic over FL _ew . Presented by Heinrich Wansing     

SIMONE WEIL'S SPIRITUAL CRITIQUE OF MODERN SCIENCE: AN HISTORICAL‐CRITICAL ASSESSMENT

Simone Weil is widely recognized today as one of the profound religious thinkers of the twentieth century. Yet while her interpretation of natural science is critical to Weil's overall understanding of religious faith, her writings on science have received little attention compared with her more overtly theological writings. The present essay, which builds on Vance Morgan's Weaving the World: Simone Weil on Science, Necessity, and Love (2005), critically examines Weil's interpretation of the history of science. Weil believed that mathematical science, for the ancient Pythagoreans a mystical expression of the love of God, had in the modern period degenerated into a kind of reification of method that confuses the means of representing nature with nature itself. Beginning with classical (Newtonian) science's representation of nature as a machine, and even more so with the subsequent assimilation of symbolic algebra as the principal language of mathematical physics, modern science according to Weil trades genuine insight into the order of the world for symbolic manipulation yielding mere predictive success and technological domination of nature. I show that Weil's expressed desire to revive a Pythagorean scientific approach, inspired by the “mysterious complicity” in nature between brute necessity and love, must be recast in view of the intrinsically symbolic character of modern mathematical science. I argue further that a genuinely mystical attitude toward nature is nascent within symbolic mathematical science itself.     

Congruences on Dynamic Algebras

The lattice Cong of all dynamic congruences on a given dynamic algebra is presented. Whenever is separable with zero we define dynamic ideal on , given rise to the lattice Ide. The notions of kernel of a dynamic congruence andthe congruence generated by a dynamic ideal are introduced todescribe a Galois connection between Cong and Ide. We study conditions under which a dynamic congruence is determined byits kernel.     

代数应用题项目生成的结构分析方法

自动化项目生成是近年来兴起的测量领域, 是一种以项目认知加工理论为基础的原则性项目设计(principled item design)模式。其中, 如何在项目认知模型基础上, 通过任务结构分析的方式系统全面的鉴别和提取任务特征是一个关键环节。基于已有文献中代数应用题的命题分析法、网络语言分析法、关系-函数分析法、任务分析地图等四种结构分析方法, 研究探索了能够服务于自动化项目生成的代数应用题任务结构分析方法。该分析表明, 前三种方法分别对应于个体解题过程需要形成的三种中介表征, 即问题陈述背后的命题表征、事件时空关系的情境模型、以及变量间数量关系的问题模型, 第四种方法从过程角度分析了问题解决的认知需求。然而, 要实现项目生成的特征提取需求, 尚需对现有四种方法所揭示问题特征的心理现实性、特征提取的系统性和完备性、任务领域的适用范围、以及不同方法的整合等问题开展进一步研究。     

Analytical methods in the theory of psychophysical discrimination II: The Near-miss to Weber's Law, Falmagne's Law, the Psychophysical Power Law and the Law of Similarity

We examine the possibility of accounting for an empirical phenomenon in auditory psychophysics called the “Near-Miss to Weber's Law” [Jesteadt, W., Weir, C., & Green, D. (1977). Intensity discrimination as a function of frequency and sensation level. Journal of the Acoustical Society of America, A, 61, 169-177], within the framework of Fechner's Psychophysics. To this end, we introduce a pair of Psychophysical Laws governing the behavior of Weber sensitivities. One of these, the Power Law, embodies ideas that Jesteadt et al. introduced in their original discussion of the near-miss phenomenon. Falmagne's Law captures ideas of Falmagne and colleagues [Falmagne, J.-Cl. (1985). Elements of psychophysical theory. New York: Oxford University Press; Doble, C., Falmagne, J.-Cl., & Berg, B.G. (2003). Theoretical note: Recasting (the near-miss to) Weber's Law. Psychological Review, 110, 365-375]. These two laws, which account for the near-miss phenomenon in quite different ways, are shown to be special cases of a more general Psychophysical Law of Similarity. We find all (smooth) solutions of this Law of Similarity that are compatible with Fechnerian psychophysics. Of the 11 solutions, four are relevant to the near-miss phenomenon; two of these solutions reproduce the models of Jesteadt et al. and Doble et al. and the other two solutions each provide a new accounting of the near-miss phenomenon. We discuss the possibility of distinguishing among these four models in empirical data.     

Martin's Axiom,Omitting Types,and Complete Representations in Algebraic Logic

We give a new characterization of the class of completely representable cylindric algebras of dimension 2 #lt; n w via special neat embeddings. We prove an independence result connecting cylindric algebra to Martin's axiom. Finally we apply our results to finite-variable first order logic showing that Henkin and Orey's omitting types theorem fails for L _n, the first order logic restricted to the first n variables when 2 #lt; n#lt;w. L _n has been recently (and quite extensively) studied as a many-dimensional modal logic.     

Varieties of Pseudo-Interior Algebras

The notion of a pseudo-interior algebra was introduced by Blok and Pigozzi in [BPIV]. We continue here our studies begun in [BK]. As a consequence of the representation theorem for pseudo-interior algebras given in [BK] we prove that the variety of all pseudo-interior algebras is generated by its finite members. This result together with Jónsson's Theorem for congruence distributive varieties provides a useful technique in the study of the lattice of varieties of pseudo-interior algebras.