We analyze naturally occurring datasets from student use of educational technologies to explore a long-standing question of the scope of transfer of learning. We contrast a faculty theory of broad transfer with a component theory of more constrained transfer. To test these theories, we develop statistical models of them. These models use latent variables to represent mental functions that are changed while learning to cause a reduction in error rates for new tasks. Strong versions of these models provide a (...) common explanation for the variance in task difficulty and transfer. Weak versions decouple difficulty and transfer explanations by describing task difficulty with parameters for each unique task. We evaluate these models in terms of both their prediction accuracy on held-out data and their power in explaining task difficulty and learning transfer. In comparisons across eight datasets, we find that the component models provide both better predictions and better explanations than the faculty models. Weak model variations tend to improve generalization across students, but hurt generalization across items and make a sacrifice to explanatory power. More generally, the approach could be used to identify malleable components of cognitive functions, such as spatial reasoning or executive functions. (shrink)

According to the pragmatic hypothesis testing theory, how much evidence we require before we believe something varies depending on the expected costs of falsely believing and disbelieving it. This theory has been used in the self-deception debate to explain our tendencies towards self-deceptive belief formation. This article argues that the application of this theory in the self-deception debate has overlooked the distinction between belief and acceptance, and that the theory in all likelihood models acceptance rather than belief, in which (...) case it is probably not relevant to the explanation of self-deception. It is suggested, however, that doxastic error costs might be relevant to explaining some types of self-deception, though they feature in an evolutionary explanation of it rather than a psychological one. (shrink)

The only test theory used by workers in the field of testing special relativity to analyze the significance of their experiments is the proof by H. P. Robertson [Rev. Mod. Phys. 21, 378 (1949)] of the Lorentz transformations from the results of the experimental evidence. Some researchers would argue that the proof contains an unwarranted assumption disguised as a convention about synchronization procedures. Others would say that alternative conventions are possible. In the present paper, no convention is used, but (...) the Lorentz transformations are still obtained using only the results of the experiments in Robertson's proof, namely the Michelson-Morley, Kennedy-Thorndike, and Ives-Stilwell experiments. Thus the revised proof is a valid test theory which is independent of any conventions, since one appeals only to the experimental evidence. The analysis of that evidence shows the directions in which efforts to test special relativity should go. Finally it is shown how the resulting test theory still has to be improved for consistency in the analysis of experiments with complicated experimental setups, how it can be simplified for expediency as to what should be tested, and how it should be completed for a missing step not considered by Robertson. (shrink)

This paper presents the leading idea of my doctoral dissertation and thus has been shaped by the reactions of all the members of my thesis committee: Charles Chastain, Walter Edelberg, W. Kent Wilson, Dorothy Grover, and Charles Marks. I am especially grateful for the help of Professors Chastain, Edelberg, and Wilson; each worked closely with me at one stage or another in the development of the ideas contained in the present work. Shorter versions of this paper were presented at the (...) 47th Annual Northwest Conference on Philosophy (1995), the 1996 Mid-South Philosophy Conference, the 1997 meeting of the Central Division of the American Philosophical Association, and at the University of Washington, Seattle; thanks to all audiences for their insightful comments and questions and also to my conference commentators, Eric Gampel, Jonathan Cohen, and Bruce Glymour, respectively, each of whom offered a thoughtful critique. Lastly, I extend my gratitude to anonymous referees, including two from Mind and Language, whose remarks led to significant improvements in the paper. Address for correspondence: 13416, 4th Ave. S., Seattle, WA 98168, USA E-mail: [email protected].. (shrink)

The revised Robertson's test theory of special relativity (SR) has been constructed upon a family of sets of passive coordinate transformations in flat space-time [J. G. Vargas and D. G. Torr,Found. Phys., 16, 1089 (1986)]. In the same paper, it has also been shown that the boosts depend in general on the velocities of the two frames involved and not only on their relative velocity. The only exception to this is SR, if one has previously used an appropriate constraint to (...) remove the other relativities—like Galilean relativity—from the family.In this paper we look at these coordinate transformations in the only way there is to do so, namely as transformations in a seven-dimensional “Cartan Space” (Cartan first considered this in his dealings with Newtonian kinematics). In this space, the boosts only depend on the relative velocity of the frames. The passive coordinate transformations in each set are shown to have a nonlinear group structure isomorphic to that of the Poincaré group.The existence of a preferred frame, except in SR, makes the active transformations inequivalent to the passive ones. It is shown that the composite active-passive transformations act on a ten-dimensional space and that each member set of the family also has a group structure. As a result, one ends up with a family of mutually isomorphic 9-parameter (homogeneous) supergroups and a family of mutually isomorphic (9 + 4)-parameter (inhomogeneous) supergroups. The presence of extra parameters could be looked upon as “internal” degrees of freedom, which are, however, an offshoot of the Robertson space-time. (shrink)

The experimental testing of the Lorentz transformations is based on a family of sets of coordinate transformations that do not comply in general with the principle of equivalence of the inertial frames. The Lorentz and Galilean sets of transformations are the only member sets of the family that satisfy this principle. In the neighborhood of regular points of space-time, all members in the family are assumed to comply with local homogeneity of space-time and isotropy of space in at least (...) one free-falling elevator, to be denoted as Robertson'sab initio rest frame [H. P. Robertson,Rev. Mod. Phys. 21, 378 (1949)].Without any further assumptions, it is shown that Robertson's rest frame becomes a preferred frame for all member sets of the Robertson family except for, again, Galilean and Einstein's relativities. If one now assumes the validity of Maxwell-Lorentz electrodynamics in the preferred frame, a different electrodynamics spontaneously emerges for each set of transformations. The flat space-time of relativity retains its relevance, which permits an obvious generalization, in a Robertson context, of Dirac's theory of the electron and Einstein's gravitation. The family of theories thus obtained constitutes a covering theory of relativistic physics.A technique is developed to move back and forth between Einstein's relativity and the different members of the family of theories. It permits great simplifications in the analysis of relativistic experiments with relevant “Robertson's subfamilies.” It is shown how to adapt the Clifford algebra version of standard physics for use with the covering theory and, in particular, with the covering Dirac theory. (shrink)

The kinematic aspects of the rocket-borne clock experiment by Vessot and Levine are analyzed with the revised Robertson's test theory of special relativity (Found. Phys. 14, 625 (1984)). Besides the expected time-dilation, it is found that the intermediate steps of this experiment yield in principle Michelson-Morley type information (a relation between longitudinal and transverse length contractions) in the third order of the velocities involved, but no relativity-of-simultaneity related effects.The flat space-time test theory induces a family of “spherically symmetric” line elements (...) that become the Schwarzschild line element in the relativistic case and also in theabinito rest frame of the theory. These line elements represent the same space-time manifold, but pertain in a one-to-one correspondence to the different flat space-time coordinate transformations of the test theory. The conserved energy is related to the family of local energies in the tangent plane. No deviations from the orthodoxy appear at the pertinent levels of approximation. Hence the unexplained residuals of the Vessot-Levine experiment are not due in obvious ways to kinematic and gravitational frequency shifts caused by deviations of the “real” coordinate transformations from the Lorentz transformations. (shrink)

Can the theory that reality is a simulation be tested? We investigate this question based on the assumption that if the system performing the simulation is nite (i.e. has limited resources), then to achieve low computational complexity, such a system would, as in a video game, render content (reality) only at the moment that information becomes available for observation by a player and not at the moment of detection by a machine (that would be part of the simulation and whose (...) detection would also be part of the internal computation performed by the Virtual Reality server before rendering content to the player). Guided by this principle we describe conceptual wave/particle duality experiments aimed at testing the simulation theory. (shrink)

Attempts by 20th century philosophers of science to define inductive concepts and methods concerning the support provided to scientific theories by empirical data have been unsuccessful. Although 20th century philosophers of science largely ignored statistical methods for testing theories, when they did address them they argued against rather than for their use. In contrast, this study demonstrates that traditional statistical methods used for validating computer simulation models provide tests of the scientific theories that those models may (...) embody. This study shows that these statistical methods are applicable regardless of whether the scientific theory or model is deterministic, stochastic, or chaos-based in nature. Traditional statistical methods, such as hypothesis testing, test theories by providing measures of their goodness-of-fit with the portion of the world the theories describe. Nothing more is needed to portray the agreement between theory and the world. Furthermore, the statistical measures of goodness-of-fit are not ampliative inductive measures. Therefore, the ultimate value and direction of the 20 th century ampliative inductive program within philosophy of science is thrown into question. This study also suggests that advanced statistical, visualization, and hybrid quantitative qualitative methods hold promise for offering scientists additional methods for testing scientific theories through validating their computer model representations. As a prerequisite to the above discussions, this study proves that scientific theories, when applied to concrete physical systems, can indeed be represented by computer models. (shrink)

Two first-order logic theories are definitionally equivalent if and only if there is a bijection between their model classes that preserves isomorphisms and ultraproducts (Theorem 2). This is a variant of a prior theorem of van Benthem and Pearce. In Example 2, uncountably many pairs of definitionally inequivalent theories are given such that their model categories are concretely isomorphic via bijections that preserve ultraproducts in the model categories up to isomorphism. Based on these results, we settle several conjectures (...) of Barrett, Glymour and Halvorson. (shrink)

John Worrall and Nancy Cartwright have both argued that randomized controlled trials are “testing the wrong theory.” They claim that RCTs are designed to test inferences about the causal relationships in the study population, but this does not guarantee a justified inference about the causal relationships in the more diverse population in clinical practice. In this article I argue that the epistemology of theory testing in trials is more complicated than either Worrall’s or Cartwright’s accounts suggest. I illustrate (...) this more complex theoretical structure with case studies in medical theory testing from Alzheimer’s research and anticancer drugs in personalized medicine. (shrink)

Historians of biology have argued that much of the dynamics of experimental disciplines such as genetics or molecular biology can be understood from studying experimental systems and model organisms alone . Such accounts contrast sharply with more traditional philosophies of science which viewed scientific research essentially as a process of inventing and testing theories. I present a case from the history of biochemistry which can be viewed from both the experimental systems perspective and from the methodology of theory (...) testing. I argue that not only are the two perspectives fully compatible, but they are both necessary for a complete account of the research process. (shrink)

The contributions to Testing Scientific Theories are unified by an in-terest in responding to criticisms directed by Glymour against existing models of confirmation—chiefly H-D and Bayesian schemas—and in assessing and correcting the "bootstrap" model of confirmation that he proposed as an alternative in Theory and Evidence (1980). As such, they provide a representative sample of objections to Glymour's model and of the wide range of new initiatives in thinking about scientific confirmation that it has influenced. The effect is (...) a sense of engagement and focus, and of significant advance at least in articulation of the problems that require solution; as Earman observes, "it is . . . heartening to report that the various opposing camps learned from each other" (p. vi).' In what follows I am concerned to assess what has been learned both critically, about Glymour's model, and constructively about the resources of the alternatives he challenges. My thesis is that while the theories emerging in this debate do deal with a wider range of scientific practice than before, their remaining limitations raise important questions about the ambitions and criteria of adequacy that have traditionally governed philosophical inquiry in this area. (shrink)

The article is devoted to identifying the potential of using the results of the study of non-discursive social practices to understand the behavioral basis for the possible practical use of social theories. The example of the field of education focuses on the distinction between cognitive, affective and psychomotor dimensions of social communication. Assumptions have been made about the underestimation of the affective, and especially the psychomotor realm, to identify the resource and limits of discursive practices. Classical studies in educational (...) psychology, primarily the works of Benjamin Bloom, David Krathwohl, Anita Harrow and their followers, are involved in philosophical analysis as its object. Educational practices are bodily practices no less than discursive ones. However, it is impossible to reduce these practices to the entering either to the self-sufficient universe of the text or into the self-sufficient universe of the body. The realm of the emotional serves as a link between the bodily and the cognitive, and applying to the emotional experience of values can be the best way to consolidate both bodily and cognitive practices. One of the important conclusions is the recognition not only of the relative autonomy of the cognitive, affective and psychomotor realms in the theoretical aspect, but also the identification of their practical interdependence. The sphere of education appears as a model for observing how a person masters the levels and, parallel and mutually determined, dimensions of the pyramids of the development of personal abilities. Achieving perfection by a person in one dimension is impossible without the simultaneous development of his abilities in the other two. Discourse appears for the person as a situation in which he/she experiences the integral result of the development of his/her abilities in all three dimensions — cognitive, affective and psychomotor. (shrink)

In general, dreams are a novel but realistic simulation of waking social life, with a mixture of characters, motivations, scenarios, and positive and negative emotions. We propose that the sharing of dreams has an empathic effect on the dreamer and on significant others who hear and engage with the telling of the dream. Study 1 tests three correlations that are predicted by the theory of dream sharing and empathy: that trait empathy will be correlated with frequency of telling dreams to (...) others, with frequency of listening to others’ dreams, and with trait attitude towards dreams (for which higher scores indicate positive attitude). 160 participants completed online the Toronto Empathy Questionnaire and the Mannheim Dream Questionnaire. Pearson partial correlations were conducted, with age and sex partialled out. Trait empathy was found to be significantly associated with the frequency of listening to the dreams of others, frequency of telling one’s own dreams to others, and attitude towards dreams. Study 2 tests the effects of discussing dreams on state empathy, using an adapted version of the Shen (2010) state empathy scale, for 27 pairs of dream sharers and discussers. Dream discussion followed the stages of the Ullman (1996) dream appreciation technique. State empathy of the dream discusser towards the dream sharer was found to increase significantly as a result of the dream discussion, with a medium effect size, whereas the dream sharer had a small decrease in empathy towards the discusser. A proposed mechanism for these associations and effects is taken from the robust findings in the literature that engagement with literary fiction can induce empathy towards others. We suggest that the dream acts as a piece of fiction that can be explored by the dreamer together with other people, and can thus induce empathy about the life circumstances of the dreamer. We discuss the speculation that the story-like characteristics of adult human dreams may have been selected for in human evolution, including in sexual selection, as part of the selection for emotional intelligence, empathy, and social bonding. (shrink)

Because physical theories typically predict numerical values, an improvement in experimental precision reduces the tolerance range and hence increases corroborability. In most psychological research, improved power of a statistical design leads to a prior probability approaching 1/2 of finding a significant difference in the theoretically predicted direction. Hence the corroboration yielded by "success" is very weak, and becomes weaker with increased precision. "Statistical significance" plays a logical role in psychology precisely the reverse of its role in physics. This problem (...) is worsened by certain unhealthy tendencies prevalent among psychologists, such as a premium placed on experimental "cuteness" and a free reliance upon ad hoc explanations to avoid refutation. (shrink)

Demonstrating the limitations of the one-at-a-time approach, crowd initiatives reveal the surprisingly powerful role of analytic and design choices in shaping scientific results. At the same time, cross-cultural variability in effects is far below the levels initially expected. This highlights the value of “medium” science, leveraging diverse stimulus sets and extensive robustness checks to achieve integrative tests of competing theories.

In this work a calculation of the cluster decomposable formalism for relativistic scattering as developed by Lindesay, Markevich, Noyes, and Pastrana (LMNP) is made for an ultra-light quantum model. After highlighting areas of the theory vital for calculation, a description is made of the process to go from the general theory to an eigen-integral equation for bound state problems, and calculability is demonstrated. An ultra-light quantum exchange model is then developed to examine calculability.

TEST is a novel taxonomy of knowledge representations based on three distinct hierarchically organized representational features: Tropism, Embodiment, and Situatedness. Tropic representational features reflect constraints of the physical world on the agent's ability to form, reactivate, and enrich embodied (i.e., resulting from the agent's bodily constraints) conceptual representations embedded in situated contexts. The proposed hierarchy entails that representations can, in principle, have tropic features without necessarily having situated and/or embodied features. On the other hand, representations that are situated and/or embodied (...) are likely to be simultaneously tropic. Hence, although we propose tropism as the most general term, the hierarchical relationship between embodiment and situatedness is more on a par, such that the dominance of one component over the other relies on the distinction between offline storage versus online generation as well as on representation-specific properties. (shrink)

The multiple detections of gravitational waves by LIGO (the Laser Interferometer Gravitational-Wave Observatory), operated by Caltech and MIT, have been acclaimed as confirming Einstein's prediction, a century ago, that gravitational waves propagating as ripples in spacetime would be detected. Yunes and Pretorius (2009) investigate whether LIGO's template-based searches encode fundamental assumptions, especially the assumption that the background theory of general relativity is an accurate description of the phenomena detected in the search. They construct the parametrized post-Einsteinian (ppE) framework in response, (...) which broadens those assumptions and allows for wider testing under more flexible assumptions. Their methods are consistent with work on confirmation and testing found in Carnap (1936), Hempel (1969), and Stein (1992, 1994), with the following principles in common: that confirmation is distinct from testing, and that, counterintuitively, revising a theory's formal basis can make it more broadly empirically testable. These views encourage a method according to which theories can be made abstract, to define families of general structures for the purpose of testing. With the development of the ppE framework and related approaches, multi-messenger astronomy is a catalyst for deep reasoning about the limits and potential of the theoretical framework of general relativity. (shrink)

Starting from the ‘Dewey Lectures’, Rawls presents his conception of justice within a contextualist framework, as an elaboration of the basic ideas embedded in the political culture of liberal-democratic societies. But how are these basic ideas to be justified? In this article, I reconstruct and criticize Rawls’s strategy to answer this question. I explore an alternative strategy, consisting of a genealogical argument of a pragmatic kind – the kind of argument provided by authors like Bernard Williams, Edward Craig and Miranda (...) Fricker. I outline this genealogical argument drawing on Rawls’s reconstruction of the origins of liberalism. Then, I clarify the conditions under which this kind of argument maintains vindicatory power. I claim that the argument satisfies these conditions and that pragmatic genealogy can thus partially vindicate the basic ideas of liberal-democratic societies. (shrink)

The development of physical theory is one of our greatest intellectual achievements. Its products--the currently prevailing theories of physics, astronomy, and cosmology--have proved themselves to possess intrinsic beauty and to have enormous explanatory and predictive power. This anthology of primary readings chronicles the birth and maturation of five such theories (the heliocentric theory, the electromagnetic field theory, special and general relativity, quantum theory, and the big bang theory) in the words of the scientists who brought them to life. (...) It is the first historical account that captures the rich substance of these theories, each of which represents a fascinating story of the interplay of evidence and insight--and of dialogue among great minds. Readers sit in with Copernicus, Kepler, and Galileo as they overturn the geocentric universe; observe the genius of Faraday and Maxwell as they "discover" the electromagnetic field; look over Einstein's shoulder as he works out the details of relativity; listen in as Einstein and Bohr argue for the soul of quantum mechanics in the Completeness Debate; and watch as Hubble and others reveal the history of the universe. The editors' approach highlights the moments of discovery that rise from scientific creativity, and the presentation humanizes the scientific process, revealing the extent to which great scientists were the first to consider the philosophical implications of their work. But, most significantly, the editors offer this as their central thesis: although each was ushered in by a revolution, and each contains counterintuitive elements that delayed its acceptance, these five theories exhibit a continuous rational development that has led them to a permanent place in the worldview of science. Accessible to the general reader yet sufficiently substantive that working scientists will find value in it, The Tests of Time offers an intimate look into how physical theory has been developed, by the brilliant people who have developed it. (shrink)

In this paper, I investigate two potential ways to experimentally test the thesis that observation is theory-laden. One is a proposal due to Schurz (J Gen Philos Sci 46:139–153, 2015) and the other my own. The two are compared and found to have some features in common. One such feature is that both proposals seek to create conditions that compel test subjects with diverse theoretical backgrounds to resort to bare (or at least as bare as possible) observational judgments. Thus, if (...) judgments made under those conditions are convergent across test subjects, the said convergence would lend credibility to the view that theory-neutral observations are feasible. This still leaves the question of why any such convergence exists unanswered. Towards the end of the paper, it is argued that the best explanation for observational judgment convergence is the veridicality of those judgments. (shrink)

Newell proposed that cognitive theories be developed in an effort to satisfy multiple criteria and to avoid theoretical myopia. He provided two overlapping lists of 13 criteria that the human cognitive architecture would have to satisfy in order to be functional. We have distilled these into 12 criteria: flexible behavior, real-time performance, adaptive behavior, vast knowledge base, dynamic behavior, knowledge integration, natural language, learning, development, evolution, and brain realization. There would be greater theoretical progress if we evaluated theories (...) by a broad set of criteria such as these and attended to the weaknesses such evaluations revealed. To illustrate how theories can be evaluated we apply these criteria to both classical connectionism and the ACT-R theory. The strengths of classical connectionism on this test derive from its intense effort in addressing empirical phenomena in such domains as language and cognitive development. Its weaknesses derive from its failure to acknowledge a symbolic level to thought. In contrast, ACT-R includes both symbolic and subsymbolic components. The strengths of the ACT-R theory derive from its tight integration of the symbolic component with the subsymbolic component. Its weaknesses largely derive from its failure, as yet, to adequately engage in intensive analyses of issues related to certain criteria on Newell's list. Key Words: cognitive architecture; connectionism; hybrid systems; language; learning; symbolic systems. (shrink)

Rich with historical and cultural value, these works are published unaltered from the original University of Minnesota Press editions.