Introduction. This survey is intended to introduce to logicians some notions, methods and theorems in set theory which arose—largely through the work of Saharon Shelah—out of attempts to solve problems in abelian group theory, principally the Whitehead problem and the closely related problem of the existence of almost free abelian groups. While Shelah's first independence result regarding the Whitehead problem used established set-theoretical methods, his later work required new ideas; it is on these that we focus. We emphasize (...) the nature of the new ideas and the historical context in which they arose, and we do not attempt to give precise technical definitions in all cases, nor to include a comprehensive survey of the algebraic results.In fact, very little algebraic background is needed beyond the definitions of group and group homomorphism. Unless otherwise specified, we will use the word “group” to refer to an abelian group, that is, the group operation is commutative. The group operation will be denoted by +, the identity element by 0, and the inverse of a by −a. We shall use na as an abbreviation for a + a + … + a [n times] if n is positive, and na = if n is negative. (shrink)

Adjoin, to a countable standard model M of Zermelo-Fraenkel set theory (ZF), a countable set A of independent Cohen generic reals. If one attempts to construct the model generated over M by these reals (not necessarily containing A as an element) as the intersection of all standard models that include M ∪ A, the resulting model fails to satisfy the power set axiom, although it does satisfy all the other ZF axioms. Thus, there is no smallest ZF model including (...) M ∪ A, but there are minimal such models. These are classified by their sets of reals, and there is one minimal model whose set of reals is the smallest possible. We give several characterizations of this model, we determine which weak axioms of choice it satisfies, and we show that some better known models are forcing extensions of it. (shrink)

Exploratory factor analysis is a statistical method widely used in quantitative psychology for the construction of scales and measurement instruments. It aims to reduce the complexity of a data set and explain the common and unique variance using latent variables. In introductory textbooks, exploratory factor analysis is generally presented in contrast to confirmatory factor analysis as a theory- or a hypothesis-generating process that does not require prior background, theory or hypothesis to be performed. The aim of the present (...) paper is to analyze this claim and clarify in which sense exploratory factor analysis is theory-laden. We provide a careful examination of the concepts it involves and thereby establish a clear limitation of the epistemic scope of exploratory factor analysis. (shrink)

Investigation of the use of intervention data in estimating parameters in a Bayesian network.

This chapter examines the convention concerning the theories of generation and form in the field of natural philosophy in Great Britain during the seventeenth century. It explains that natural philosophers treated the questions of biological generation interchangeably with those coming from chemistry, mineralogy, and meteorology, and considers Antoine Goudin's argument that there are both efficient and final causes at work in the earth's production of rocks that resemble animals or parts of animals. The chapter also suggests that the (...) ‘chymists’ were consistently presented as a challenging third party, alongside Aristotelianism and traditional atomism, in the effort to account for the composition of natural bodies. (shrink)

For the last thirty years or so, there has been a search underway for a theory that can accommodate our intuitions in regard to moral duties to future generations. The object of this search has proved surprisingly elusive. The classical moral theories in the literature all have perplexing implications in this area. Classical Utilitarianism, for instance, implies that it could be better to expand a population even if everyone in the resulting population would be much worse off than in (...) the original. The main problem has been to find an adequate population theory, that is, a theory about the moral value of states of affairs where the number of people, the quality of their lives, and their identities may vary. Since, arguably, any reasonable moral theory has to take these aspects of possible states of affairs into account when determining the normative status of actions, the study of population theory is of general import for moral theory. A number of theories have been proposed in the literature that purport to avoid counterintuitive implications such as the one mentioned above. The suggestions are diverse: introducing novel ways of aggregating welfare into a measure of value, revising the notion of a life worth living, questioning the way we can compare and measure welfare, counting people’s welfare differently depending on the temporal location or the modal features of their lives, and challenging the logic of axiological and normative concepts. We investigate the concepts and assumptions involved in these theories as well as their implications for population theory. In our discussion, we propose a number of intuitively appealing and logically weak adequacy conditions for an acceptable population theory. Finally, we consider whether it is possible to find a theory that satisfies all of these conditions. We prove that no such theory exists. (shrink)

Quantum systems have a holistic structure, which implies that they cannot be divided into parts. In order tocreate (sub)objects like individual substances, molecules, nuclei, etc., in a universal whole, the Einstein-Podolsky-Rosen correlations between all the subentities, e.g. all the molecules in a substance, must be suppressed by perceptual and mental processes.Here the particular problems ofGestalt (shape)perception are compared with the attempts toattribute a shape to a quantum mechanical system like a molecule. Gestalt perception and quantum mechanics turn out (on an (...) informal level) to show similar features and problems: holistic aspects, creation of objects, dressing procedures, influence of the observer, classical quantities and structures. The attribute classical of a property or structure means thatholistic correlations to any other quantity do not exist or that these correlations are considered as irrelevant and therefore eliminated (either deliberately and by declaration or in a mental process that is not under rational control). An example of animposed classical structure is the nuclear frame of a molecule. Candidates for classical properties that arenot imposed by the observer could be the charge of a particle or the handedness of a molecule. It is argued here that at least part of a molecule's shape can begenerated automatically by the environment. A molecular shape of this sort arises in addition to Lamb shift-type energy corrections. (shrink)

The contemporary use of the term ‘complexity’ frequently indicates that it is considered a unified concept. This may lead to a neglect of the range of different theories that deal with the implications related to the notion of complexity. This paper, integrating both the English and the Latin traditions of research associated with this notion, suggests a more nuanced use of the term, thereby avoiding simplification of the concept to some of its dominant expressions only. The paper further explores the (...) etymology of ‘complexity’ and offers a chronological presentation of three generations of theories that have shaped its uses; the epistemic and socio‐cultural roots of these theories are also introduced. From an epistemological point of view, this reflection sheds light on the competing interpretations underlying the definition of what is considered as complex. Also, from an anthropological perspective it considers both the emancipatory as well as the alienating dimensions of complexity. Based on the highlighted ambiguities, the paper suggests in conclusion that contributions grounded in contemporary theories related to complexity, as well as critical appraisals of their epistemological and ethical legitimacy, need to follow the recursive feedback loops and dynamics that they constitute. In doing so, researchers and practitioners in education should consider their own practice as a learning process that does not require the reduction of the antagonisms and the complementarities that shape its own complexity. (shrink)

This chapter contains sections titled: Introduction: Complexity versus Complexities Etymological Roots Contemporary Genesis First Generation Second Generation Third Generation Keeping Complexity Complex Towards a New Form of Critique? Notes References.

One question addressed by John Rawls in “A Theory of Justice” (1971) is that of justice between the generations. The question presents Rawls with certain difficulties which stem from the fact that in his theory, Hume’s conditions of justice are spliced together with Kant’s principle of universalisation. The question of future generations strains this construct to breaking point. But even if this problem can be solved, Rawls’s justification approach remains unsatisfactory, since he discusses intergenerational justice only under the (...) aspect of just saving. It will be shown that this approach implies a concept of weak sustainability which is not a sufficient condition for the long-term preservation of vital life-sustaining resources. (shrink)

FD-Diss., Uppsala: University Printers, 2000 (ix+225 pages).

Cognitive neuroscience is the branch of neuroscience that studies the neural mechanisms underpinning cognition and develops theories explaining them. Within cognitive neuroscience, computational neuroscience focuses on modeling behavior, using theories expressed as computer programs. Up to now, computational theories have been formulated by neuroscientists. In this paper, we present a new approach to theory development in neuroscience: the automatic generation and testing of cognitive theories using genetic programming (GP). Our approach evolves from experimental data cognitive theories that explain (...) “the mental program” that subjects use to solve a specific task. As an example, we have focused on a typical neuroscience experiment, the delayed-match-to-sample (DMTS) task. The main goal of our approach is to develop a tool that neuroscientists can use to develop better cognitive theories. (shrink)

In this article I will show how the goal-directed proof procedure for the propositional fragment of the 'inconsistency-adaptive' logic CLuN(r)from Batens (2005, J. Appl. Logic, 3, 221-250) called pCLuN(r) allows for generating sensible abductive explanations from finite inconsistent theories. Before this is shown, I give a more general account on how goal-directed proof procedures contribute to the study of abduction as backward reasoning. Between these two parts, I describe the goal-directed proof procedure for the propositional fragment of the 'inconsistency-adaptive' logic (...) CLuNr from Batens (2005, J. Appl. Logic, 3, 221-250). (shrink)

This volume deals with philosophically grounded theories of animal generation as found in two different traditions: one, deriving primarily from Aristotelian natural philosophy and specifically from his Generation of Animals; and another, deriving from two related medical traditions, the Hippocratic and the Galenic. The book contains a classification and critique of works that touch on the history of embryology and animal generation written before 1980. It also contains translations of key sections of the works on which it (...) is focused. It looks at two different scholarly communities: the physicians and philosophers, that share a set of textual resources and philosophical lineages, as well as a shared problem, but that nevertheless have different concerns and commitments. The book demonstrates how those working in these two traditions not only shared a common philosophical background in the arts curricula of the universities, but were in constant intercourse with each other. This book presents a test case of how scholarly communities differentiate themselves from each other through methods of argument, empirical investigation, and textual interpretations. It is all the more interesting because the two communities under investigation have so much in common and yet, in the end, are distinct in a number of important ways. (shrink)

Generating and Understanding Jokes by Five- And Nine-Year-Olds as an Expression of Theory of Mind The main aim of the presented research is to describe children's ability to generate and understand humorous stories and pictures drawn by their peers and older or younger children. From the perspective of research on children's theories of mind, we assume that in middle childhood we will observe a transition from the basic, copy theory of mind to the interpretative one. We examined 60 (...) five- and nine-year-old children in two phases. During the first phase, the children were asked to draw a funny picture and then justify what made it funny and they had also to present the funny story. Two months later, the children were presented with some pictures chosen after the first phase as the most typical one. They had to justify why these pictures are funny. The obtained results indicate that there is a relation between the age of the subjects and the kind of interpretations of funny pictures which are consistent with the author's intentions. Significantly more nine-year-olds than five-year-olds accurately understood the author's intentions when interpreting his picture. The presented data indicate that changes in the theory of mind take place also in middle childhood and lead to a complex, interpretative theory of mind which can be discovered when researching children's understanding of jokes. (shrink)

A “third generation” of critical theory can no longer be said to be composed of anything as cohesive and unified as a “school.” Critical theory today continues across a much more diverse spectrum of different philosophical approaches, influences, and questions. Its adherents are no longer united by national, geographical, or even linguistic ties, and do not necessarily even share the basic commitment to radical political change that characterized first generation critical theory. How, then, ought one (...) to characterize the spectrum of philosophers, social and political theorists, and literary critics who could be said to make up a “third generation” of the Frankfurt School? (shrink)

As the title of this paper indicates, I’m going to discuss what we ought to do in situations where our actions affect future generations. More specifically, I shall focus on the moral problems raised by cases where our actions affect who’s going to live, their number and their well being. I’ll start, however, with population axiology. Most discussion in population ethics has concentrated on how to evaluate populations in regard to their goodness, that is, how to order populations by the (...) relations “is better than” and “is as good as”. This field has been riddled with “paradoxes” which purport to show that our considered beliefs are inconsistent in cases where the number of people and their welfare varies. Derek Parfit’s Mere Addition Paradox is a case in point. The main question of my paper concerns the implication of such axiological paradoxes for normative theories. Do the axiological paradoxes translate into paradoxes for normative theories or will they, as some believe, disappear if we switch to a normative framework? (shrink)

Recent developments in sociological theorizing about revolution are surveyed, critiqued, and evaluated in terms of an emerging new paradigm. The first section assesses the strengths and weaknesses of 1970s theorizing by Tilly, Paige, and Skocpol. A second section takes up themes of state and crisis from 1980s work deepening this tradition. A third section identifies and discusses recent work in new areas critical of the structuralists, on agency, social structure, and culture. Finally, the shape of a new paradigm based on (...) conjunctural modeling of economic, political, and cultural processes is suggested with a discussion of Walton and of very recent work by Farhi, Foran, and Goldstone. (shrink)

This informal position paper brings together some recent developments in formal semantics and pragmatics to argue that the discipline of Game Theory is well placed to become the theoretical backbone of Natural Language Generation. To demonstrate some of the strengths and weaknesses of the Game-Theoretical approach, we focus on the utility of vague expressions. More specifically, we ask what light Game Theory can shed on the question when an NLG system should generate vague language.

We investigate a notion called uniqueness in power κ that is akin to categoricity in power κ, but is based on the cardinality of the generating sets of models instead of on the cardinality of their universes. The notion is quite useful for formulating categoricity-like questions regarding powers below the cardinality of a theory. We prove, for universal theories T, that if T is κ-unique for one uncountable κ, then it is κ-unique for every uncountable κ; in particular, it (...) is categorical in powers greater than the cardinality of T. (shrink)

Philosophical interpretations of theories generally presuppose that a theory can be presented as a consistent mathematical formulation that is interpreted through models. Algebraic quantum field theory (AQFT) can fit this interpretative model. However, standard Lagrangian quantum field theory (LQFT), as well as quantum electrodynamics and nuclear physics, resists recasting along such formal lines. The difference has a distinct bearing on ontological issues. AQFT does not treat particle interactions or the standard model. This paper develops a framework and (...) methodology for interpreting such informal theories as LQFT and the standard model. We begin by summarizing two minimal epistemological interpretation of non-relativistic quantum mechanics (NRQM): Bohrian semantics, which focuses on communicables; and quantum information theory, which focuses on the algebra of local observables. Schwinger's development of quantum field theory supplies a unique path from NRQM to QFT, where each step is conceptually anchored in local measurements. LQFT and the standard model rely on postulates that go beyond the limits set by AQFT and Schwinger's anabatic methodology. The particle ontology of the standard model is clarified by regarding the standard model as an informal modular theory with a limited range of validity. (shrink)

This book provides answers to both normative and metaethical questions in a way that shows the interconnection of both types of questions, and also shows how a complete theory of reasons can be developed by moving back and forth between the two types of questions. It offers an account of the nature of intimate relationships and of the nature of the reasons that intimacy provides, and then uses that account to defend a traditional intuitionist metaethics. The book thus combines (...) attention to the details of the lived moral life – the context in which many of our most pressing moral questions arise, how we deliberate and make moral decisions, the complexities that plague our attempts to know what we ought to do – with theoretical rigor in offering an account of the nature of reasons, how we come to have moral knowledge, and how we can adjudicate between competing positions. (shrink)

In online communities, such as Twitter, Facebook, or Reddit, millions of pieces of contents are generated by users every day, and these user-generated contents show a great variety of topics discussed that make the online community vivid and attractive. However, the reasons why UGCs show great variety and how a firm can influence this variety was unknown, which had been an obstacle to understanding and managing UGCs’ variety. This study fills these two gaps based on variety-seeking theory and topic (...) modeling, which is a technique in machine learning. We extract, quantitatively, the topic of the UGCs using topic modeling and divide UGCs into two types: single topic and multiple topics. The user’s tendency to choose the type of UGC is used to measure variety-seeking behavior. We found that users have an intrinsic preference for variety when producing UGCs; the more single topic UGCs were produced in the past, the higher the probability of producing multiple topics UGC and the lower the probability of producing single topic UGC would be in the next, and vice versa. Furthermore, we discussed the effect of language/linguistic style matching between firm feedbacks and UGCs on users’ variety-seeking tendencies in UGCs’ production. This study makes three contributions: broadening variety-seeking theory to new behavior, that is content production behavior, and the results demonstrated that people would show a variety-seeking behavior in producing UGCs. a new feasible method to measure the variety of UGCs by using topic modeling to extract the topics of UGCs and then measure the variety-seeking behavior in producing UGCs by analyzing the choice between single topic and multiple topics. guidance for the firm to alter LSM of feedbacks to influence the variety of UGCs. (shrink)

Lewis's dynamical systems emotion theory continues a tradition including Merleau-Ponty, von Bertallanfy, and Aristotle. Understandably for a young theory, Lewis's new predictions do not follow strictly from the theory; thus their failure would not disconfirm the theory, nor their success confirm it – especially given that other self-organizational approaches to emotion (e.g., those of Ellis and of Newton) may not be inconsistent with these same predictions.

The main international standard-setting agencies for ionizing radiation, the International Atomic Energy Agency (IAEA) and the International Commission on Radiological Protection (ICRP) both subscribe to principles which (they claim) lead to equitable protection for all generations exposed to radioactive pollution. Yet, when one examines the practices both groups support, it is clear that these practices discriminate against future generations with respect to radioactive pollution. After showing (I) that the IAEA and ICRP rhetoric of equity does not match their policies and (...) practices, the essay argues (2) that current people ought to try to treat members of future generations equitably with respect to protection from radioactive pollution. The essay also argues (3) that current policies of permanent disposal of high-level radioactive waste do not meet the second criterion, and therefore (4) that society ought to investigate whether another strategy for managing the waste would provide better equal protection among all generations. (shrink)

Aristotle’s theory of spontaneous generation offers many puzzles to those who wish to understand his theory both within the context of his biology and within the context of his more general philosophy of nature. In this paper, I approach the difficult and vague elements of Aristotle’s account of spontaneous generation not as weaknesses, but as opportunities for an interesting glimpse into the thought of an early scientist struggling to reconcile evidence and theory. The paper has (...) two goals: to give as charitable and full an account as possible of what Aristotle’s theory of spontaneous generation was, and to examine some of its consequences; and to reflect on Aristotle as a scientist, and what his comments reveal about how he approached a difficult problem. In particular, I propose that the well-recognized problem of the incompatibility between Aristotle’s concept of spontaneity and his theory of spontaneous generation presents an opportunity for insight into his scientific methodology when approaching ill-understood phenomena. (shrink)

Semantic analysis, – inference on the basis of semantic information and world knowledge – still is largely uncharted territory in dy- (3) namic semantics. It is needed, among other things, for the reconstruction of linguistically unspecified parts of the discourse or for restricting ambiguities introduced by prior analysis processes, i.e.

While aging research and policy aim to promote ‘health’ at all ages, there remains no convincing explanation of what this ‘health’ is. In this paper, I investigate whether we can find, implicit within the sciences of aging, a way to know what health is and how to measure it, i.e. a theory of health. To answer this, I start from scientific descriptions of aging and its modulators and then try to develop some generalizations about ‘health’ implicit within this research. (...) After discussing some of the core aspects of aging and the ways in which certain models describe spatial and temporal features specific to both aging and healthy phenotypes, I then extract, explicate, and evaluate one potential construct of health in these models. This suggests a theory of health based on the landscape of optimized phenotypic trajectories. I conclude by considering why it matters for more candidate theories to be proposed and evaluated by philosophers and scientists alike. (shrink)