Metaphysical Nihilism and Cosmological Arguments: Some Tractarian Comments

Abstract: This paper explores the relevance of themes from Wittgenstein's Tractatus Logico‐Philosophicus to the ongoing discussion of metaphysical nihilism. I set out by showing how metaphysical nihilism is of paramount importance for cosmological arguments. Metaphysical nihilism is the position that there might have been nothing. Two conflicting intuitions emerge from a survey of discussions of metaphysical nihilism: Firstly, that metaphysical nihilism is true, and secondly, that formulations of the position are somehow unclear or nonsensical. By considering formalizations of philosophical language, the second intuition is sharpened, while the first intuition is given expression through the Tractarian distinction between what is said and what is shown by our symbolism. I conclude by exploring and rejecting objections to making metaphysical nihilism a scientific, rather than a philosophical question.     

The rigid orthogonal Procrustes rotation problem

The problem of rotating a matrix orthogonally to a best least squares fit with another matrix of the same order has a closed-form solution based on a singular value decomposition. The optimal rotation matrix is not necessarily rigid, but may also involve a reflection. In some applications, only rigid rotations are permitted. Gower (1976) has proposed a method for suppressing reflections in cases where that is necessary. This paper proves that Gower’s solution does indeed give the best least squares fit over rigid rotation when the unconstrained solution is not rigid. Also, special cases that have multiple solutions are discussed. The author is obliged to Henk Kiers and Alwin Stegeman for helpful comments on a previous draft.     

A joint treatment of varimax rotation and the problem of diagonalizing symmetric matrices simultaneously in the least-squares sense

The present paper contains a lemma which implies that varimax rotation can be interpreted as a special case of diagonalizing symmetric matrices as discussed in multidimensional scaling. It is shown that the solution by De Leeuw and Pruzansky is essentially equivalent to the solution by Kaiser. Necessary and sufficient conditions for maxima and minima are derived from first and second order partial derivatives. A counter-example by Gebhardt is reformulated and examined in terms of these conditions. It is concluded that Kaiser's method or, equivalently, the method by De Leeuw and Pruzansky is the most attractive method currently available for the problem at hand.The author is obliged to Dirk Knol for computational assistance and to Dirk Knol, Klaas Nevels and Frits Zegers for critically reviewing an earlier draft of this paper.     

Matrix correlation

A correlational measure for ann byp matrixX and ann byq matrixY assesses their relation without specifying either as a fixed target. This paper discusses a number of useful measures of correlation, with emphasis on measures which are invariant with respect to rotations or changes in singular values of either matrix. The maximization of matrix correlation with respect to transformationsXL andYM is discussed where one or both transformations are constrained to be orthogonal. Special attention is focussed on transformations which causeXL andYM to ben bys, wheres may be any number between 1 and min (p, q). An efficient algorithm is described for maximizing the correlation betweenXL andYM where analytic solutions do not exist. A factor analytic example is presented illustrating the advantages of various coefficients and of varying the number of columns of the transformed matrices.This research was supported by grant APA 0320 from the Natural Sciences and Engineering Research Council of Canada. The authors wish to acknowledge valuable discussion of this problem with Jan de Leeuw, University of Leiden.     

A general solution to Mosier's oblique procrustes problem

Browne provided a method for finding a solution to the normal equations derived by Mosier for rotating a factor matrix to a best least squares fit with a specified structure. Cramer showed that Browne's solution is not always valid, and proposed a modified algorithm. Both Browne and Cramer assumed the factor matrix to be of full rank. In this paper a general solution is derived, which takes care of rank deficient factor matrices as well. A new algorithm is offered.     

Improved bounds for optimal intervals in weakly constrained regression problems

The solution of weakly constrained regression problems typically requires the iterative search, in a given interval, of a point where a certain function has a zero derivative. This note deals with improved bounds for the interval to be searched.     

Some clarifications of the TUCKALS2 algorithm applied to the IDIOSCAL problem

Kroonenberg and de Leeuw have suggested fitting the IDIOSCAL model by the TUCKALS2 algorithm for three-way components analysis. In theory, this is problematic because TUCKALS2 produces two possibly different coordinate matrices, that are useless for IDIOSCAL unless they are equal. Kroonenberg has claimed that, when IDIOSCAL is fitted by TUCKALS2, the resulting coordinate matrices will be identical. In the present paper, this claim is proven valid when the data matrices are semidefinite. However, counterexamples for indefinite matrices are also constructed, by examining the global minimum in the case where the data matrices have the same eigenvectors. Similar counterexamples have been considered by ten Berge and Kiers in the related context of CANDECOMP/PARAFAC to fit the INDSCAL model.     

Uniqueness of three-mode factor models with sparse cores: The 3 × 3 × 3 case

Three-Mode Factor Analysis (3MFA) and PARAFAC are methods to describe three-way data. Both methods employ models with components for the three modes of a three-way array; the 3MFA model also uses a three-way core array for linking all components to each other. The use of the core array makes the 3MFA model more general than the PARAFAC model (thus allowing a better fit), but also more complicated. Moreover, in the 3MFA model the components are not uniquely determined, and it seems hard to choose among all possible solutions. A particularly interesting feature of the PARAFAC model is that it does give unique components. The present paper introduces a class of 3MFA models in between 3MFA and PARAFAC that share the good properties of the 3MFA model and the PARAFAC model: They fit (almost) as well as the 3MFA model, they are relatively simple and they have the same uniqueness properties as the PARAFAC model.This research has been made possible by a fellowship from the Royal Netherlands Academy of Arts and Sciences to the first author. Part of this research has been presented at the first conference on ThRee-way methods In Chemistry (TRIC), a meeting of Psychometrics and Chemometrics, Epe, The Netherlands, August 1993. The authors are obliged to Age Smilde for stimulating this research, and two anonymous reviewers for many helpful suggestions.