Abstract.Since the gene splicing debates of the 1980s, the public has been exposed to an ongoing sequence of genetic and reproductive technologies. Many issue areas have outcomes that lose track of people's inner values or engender opposing religious viewpoints defying final resolution. This essay relocates the discussion of what is an acceptable application from the individual to the societal level, examining technologies that stand to address large numbers of people and thus call for policy resolution, rather than individual fiat, in (...) their application. A major source of guidance is the “Genetic Frontiers” series of professional dialogues and conferences held by the National Conference for Community and Justice from 2002 to 2004. Genetic testing, human gene therapy, genetic engineering of plants and animals, and stem cell technology are examined. While differences in perspective on the beginning of life persist, a stepwise approach to the examination of genetic testing reveals areas of general agreement. Stewardship of life, human co‐creativity with the divine, and social justice help define the bounds of application of genetic engineering and therapy; compassionate care plays a major role in establishing stem cell policy. Active, sustained dialogue is a useful resource for enabling sharing of religious values and crystallization of policies. (shrink)

In this paper, we study the radial neural network algorithm for low-carbon circular economy in forest area, design a coupled development evaluation model, study its algorithmic ideas operation mode and the update formula obtained by standard algorithm, and finally optimize the RBF neural network by particle swarm algorithm. After an in-depth analysis of the particle swarm algorithm, an improved particle swarm algorithm is proposed to improve the search accuracy and capability of the algorithm by nonlinearly adjusting the inertia (...) weights and introducing the average extreme value factor, in response to the problems of premature convergence and poor search capability that appear in the particle swarm algorithm. Through the analysis and evaluation of the interaction between industrial ecosystem and carbon emission, the main influencing factors of carbon emission are identified, and the size and magnitude of the influence of economic growth, industrial structure, energy intensity, and energy structure on carbon emission are determined; the current situation of the industrial ecological structure is evaluated, and the direction of optimization and adjustment of industrial economic structure, energy structure, and ecological structure is clarified. We construct a multidimensional multiconstraint multimodel industrial ecological structure optimization prediction model, set the development scenarios of economy and society, and optimize the prediction of low-carbon industrial ecological structure in forest areas; based on the simulation analysis of the prediction results, we propose the direction of industrial ecological structure adjustment and the path of industrial ecological system construction. (shrink)

Research on natural and artificial brains is proceeding at a rapid pace. However, the understanding of the essence of consciousness has changed slightly over the millennia, and only the last decade has brought some progress to the area. Scientific ideas emerged that the soul could be a product of the material body and that calculating machines could imitate brain processes. However, the authors of this book reject the previously common dualism—the view that the material and spiritual-psychic processes are separate (...) and require a completely different substance as their foundation. -/- Reductive Model of the Conscious Mind is a forward-thinking book wherein the authors identify processes that are the essence of conscious thinking and place them in the imagined, simplified structure of cells able to memorize and transmit information in the form of impulses, which they call neurons. The purpose of the study is to explain the essence of consciousness to the degree of development of natural sciences, because only the latter can find a way to embed the concept of the conscious mind in material brains. The book is divided into three parts. Part 1 works to convince readers that the emergence of consciousness does not require detailed knowledge of the structure and morphology of the brain, with the exception of some specific properties of the neural network structure that the authors attempt to point out. Part 2 proves that the biological structure of many natural brains fulfills the necessary conditions for consciousness and intelligent thinking. Similarly, Part 3 shows the ways in which artificial creatures imitating natural brains can meet these conditions, which gives great hopes for building artificially intelligent beings endowed with consciousness. Covering topics that include cognitive architecture, the embodied mind, and machine learning, this book is ideal for cognitive scientists, philosophers of mind, neuroscientists, psychologists, researchers, academicians, and advanced-level students. The book can also help to focus the research of linguists, neurologists, and biophysicists on the biophysical basis of postulated information processing into knowledge structures. (shrink)

Much of our understanding of human thinking is based on probabilistic models. This innovative book by Jerome R. Busemeyer and Peter D. Bruza argues that, actually, the underlying mathematical structures from quantum theory provide a much better account of human thinking than traditional models. They introduce the foundations for modelling probabilistic-dynamic systems using two aspects of quantum theory. The first, 'contextuality', is a way to understand interference effects found with inferences and decisions under conditions of uncertainty. The second, 'quantum entanglement', (...) allows cognitive phenomena to be modeled in non-reductionist ways. Employing these principles drawn from quantum theory allows us to view human cognition and decision in a totally new light. Introducing the basic principles in an easy-to-follow way, this book does not assume a physics background or a quantum brain and comes complete with a tutorial and fully worked-out applications in important areas of cognition and decision. (shrink)

An algebraization of the notion of topology has been proposed more than 70 years ago in a classical paper by McKinsey and Tarski, leading to an area of research still active today, with connections to algebra, geometry, logic and many applications, in particular, to modal logics. In McKinsey and Tarski’s setting the model theoretical notion of homomorphism does not correspond to the notion of continuity. We notice that the two notions correspond if instead we consider a preorder relation (...) \( \sqsubseteq \) defined by \(a \sqsubseteq b\) if _a_ is contained in the topological closure of _b_, for _a_, _b_ subsets of some topological space. A _specialization poset_ is a partially ordered set endowed with a further coarser preorder relation \( \sqsubseteq \). We show that every specialization poset can be embedded in the specialization poset naturally associated to some topological space, where the order relation corresponds to set-theoretical inclusion. Specialization semilattices are defined in an analogous way and the corresponding embedding theorem is proved. Specialization semilattices have the amalgamation property. Some basic topological facts and notions are recovered in this apparently very weak setting. The interest of these structures arises from the fact that they also occur in many rather disparate contexts, even far removed from topology. (shrink)

In this special section, Ekman and Cordaro (2011); Izard (2011); Levenson (2011); and Panksepp and Watt (2011) have each outlined the latest instantiation of each lead author’s theoretical model of basic emotions. We identify four themes emerging from these models, and discuss areas of agreement and disagreement. We then briefly evaluate the models’ usefulness by examining how they would account for an emotion that has received considerable empirical attention but does not fit clearly within or outside of the basic (...) emotion category: pride. Finally, we compare the central themes covered by the four models with themes emerging from current emotion research, to conclude that, for the most part, the models are comprehensive; they largely converge with the current state of affective science research. (shrink)

One of the most debated questions in psychology and cognitive science is the nature and the functioning of the mental processes involved in deductive reasoning. However, all existing theories refer to a specific deductive domain, like syllogistic, propositional or relational reasoning.Our goal is to unify the main types of deductive reasoning into a single set of basic procedures. In particular, we bring together the microtheories developed from a mental models perspective in a single theory, for which we provide a formal (...) foundation. We validate the theory through a computational model (UNICORE) which allows fine‐grained predictions of subjects' performance in different reasoning domains.The performance of the model is tested against the performance of experimental subjects—as reported in the relevant literature—in the three areas of syllogistic, relational and propositional reasoning. The computational model proves to be a satisfactory artificial subject, reproducing both correct and erroneous performance of the human subjects. Moreover, we introduce a developmental trend in the program, in order to simulate the performance of subjects of different ages, ranging from children (3–6) to adolescents (8–12) to adults (>21). The simulation model performs similarly to the subjects of different ages.Our conclusion is that the validity of the mental model approach is confirmed for the deductive reasoning domain, and that it is possible to devise a unique mechanism able to deal with the specific subareas. The proposed computational model (UNICORE) represents such a unifying structure. (shrink)

There are several key ingredients common to the various forms of model-based reasoning considered in this book. The term ‘model’ comprises both internal and external representations. The models are intended as interpretations of target physical systems, processes, phenomena, or situations and are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain. The book’s contributors are researchers active in the area of creative reasoning in science and technology.

Saul Kripke has made fundamental contributions to a variety of areas of logic, and his name is attached to a corresponding variety of objects and results. 1 For philosophers, by far the most important examples are ‘Kripke models’, which have been adopted as the standard type of models for modal and related non-classical logics. What follows is an elementary introduction to Kripke’s contributions in this area, intended to prepare the reader to tackle more formal treatments elsewhere.2 2. WHAT IS (...) A MODEL THEORY? Traditionally, a statement is regarded as logically valid if it is an instance of a logically valid form, where a form is regarded as logically valid if every instance is true. In modern logic, forms are represented by formulas involving letters and special symbols, and logicians seek therefore to define a notion of model and a notion of a formula’s truth in a model in such a way that every instance of a form will be true if and only if a formula representing that form is true in every model. Thus the unsurveyably vast range of instances can be replaced for purposes of logical evaluation by the range of models, which may be more tractable theoretically and perhaps practically. Consideration of the familiar case of classical sentential logic should make these ideas clear. Here a formula, say (p & q) ∨ ¬p ∨ ¬q, will be valid if for all statements P.. (shrink)

Mouse models of human genetic disorders provide a valuable resource for investigating the pathogenesis of genetic disease and for testing potential therapies. The high degree of resolution of linkage mapping in the mouse allows mutant phenotypes to be mapped precisely which, combined with the accurate definition of areas of homology between the mouse and human genomes, greatly facilitates the identification of mouse models. We describe here mouse models of human single gene disorders dividing them into three categories depending on the (...) information available; phenotypic similarities, comparative mapping and identification of the underlying genetic lesion. (shrink)

A case study of the development of quantum field theory and of S-matrix theory, from their inceptions to the present, is presented. The descriptions of science given by Kuhn and by Lakatos are compared and contrasted as they apply to this case study. The episodes of the developments of these theories are then considered as candidates for competing research programs in Lakatos' methodology of scientific research programs. Lakatos' scheme provides a reasonable overall description and a plausible assessment of the relative (...) value of these two programs in terms of progressive and degenerating problem shifts. Also discussed are the roles of various types of models as they have been used in these areas of theoretical high-energy physics. (shrink)

A formal model of metaphor is introduced. It models metaphor, first, as an interaction of “frames” according to the frame semantics, and then, as a wave function in Hilbert space. The practical way for a probability distribution and a corresponding wave function to be assigned to a given metaphor in a given language is considered. A series of formal definitions is deduced from this for: “representation”, “reality”, “language”, “ontology”, etc. All are based on Hilbert space. A few statements about (...) a quantum computer are implied: The sodefined reality is inherent and internal to it. It can report a result only “metaphorically”. It will demolish transmitting the result “literally”, i.e. absolutely exactly. A new and different formal definition of metaphor is introduced as a few entangled wave functions corresponding to different “signs” in different language formally defined as above. The change of frames as the change from the one to the other formal definition of metaphor is interpreted as a formal definition of thought. Four areas of cognition are unified as different but isomorphic interpretations of the mathematical model based on Hilbert space. These are: quantum mechanics, frame semantics, formal semantics by means of quantum computer, and the theory of metaphor in linguistics. (shrink)

The study of moral decision-making presents to us two approaches for understanding such choices. The cognitive and the neurocognitive approaches postulate that reason and reasoning determines moral judgments. On the other hand, the intuitionist approaches postulate that automated intuitions mostly dominate moral judgments. There is a growing concern that neither of these approaches by itself captures all the key aspects of moral judgments. This paper draws on models from neurocognitive research and social-intuitionist research areas to propose an integrative cognitive–intuitive (...) class='Hi'>model of moral decision-making. The model suggests that moral decision-making includes five interdependent, yet functionally distinct steps, issue framing, pre-processing, moral judgment, moral reflection, and moral intent. The model proposes a cognitive–intuitive view of moral judgment and it describes how emotion regulation, perceived moral intensity, and perceived ethical climate constructs impact the formation of moral intent. The paper discusses the theories that link emotions to moral judgment and implications of the model for future research and its implication for managers. (shrink)

Philosophy and model theory frequently meet one another. Philosophy and Model Theory aims to understand their interactions -/- Model theory is used in every ‘theoretical’ branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics. But these wide-ranging appeals to model theory have created a highly fragmented literature. On the one hand, many philosophically significant mathematical results are found only in mathematics textbooks: these are (...) aimed squarely at mathematicians; they typically presuppose that the reader has a significant background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are then scattered across disconnected pockets of papers, separated by decades or more. -/- The first aim of Philosophy and Model Theory, then, is to consider the philosophical uses of model theory. On a technical level, we try to show how philosophically significant results connect to one another, and also to state the best version of a result for philosophical purposes. On a philosophical level, we show how similar dialectical situations arise repeatedly, across fragmented debates in varied philosophical areas. -/- The second aim of Philosophy and Model Theory, though, is to consider the philosophy of model theory. Model theory itself is rarely taken as the subject matter of philosophising (contrast this, say, with the philosophy of biology, or the philosophy of set theory). But model theory is a beautiful part of pure mathematics, and worthy of philosophical study in its own right. (shrink)

This paper addresses the question of what constitutes an apt interpreted model for the purpose of analyzing causation. I first collect universally adopted aptness principles into a basic account, flagging open questions and choice points along the way. I then explore various additional aptness principles that have been proposed in the literature but have not been widely adopted, the motivations behind their proposals, and the concerns with each that stand in the way of universal adoption. I conclude that the (...) remaining work of articulating aptness for a SEM analysis of causation is tied up with issue to do with modality, ontology, and mereology. Continuing this work is therefore likely to shed light on the relationship between these areas and causation more generally. (shrink)

The development of new theory is often spurred by novel techniques that provide better answers to existing questions, or that allow asking new ones. In the field of strategy and organization science, models of complex adaptive systems have renewed theoretical work on a fundamental question: how organizations can adapt effectively to their environments. This article has three objectives: to highlight some areas where models of organizations as complex adaptive systems have made substantial contributions: the search for solutions to sets of (...) interdependent choices, the challenge of balancing processes of exploration and exploitation, and the organization of imperfect decision makers; to point to several challenges and tradeoffs which can limit the explanatory power and eventual impact of the modeling enterprise; and to sketch out possible future directions of research that would do further justice to the notion of organizations as complex adaptive systems. (shrink)

The papers collected in this volume were written over a period of some eight or nine years, with some still earlier material incorporated in one of them. Publishing them under the same cover does not make a con tinuous book of them. The papers are thematically connected with each other, however, in a way which has led me to think that they can naturally be grouped together. In any list of philosophically important concepts, those falling within the range of application (...) of modal logic will rank high in interest. They include necessity, possibility, obligation, permission, knowledge, belief, perception, memory, hoping, and striving, to mention just a few of the more obvious ones. When a satisfactory semantics (in the sense of Tarski and Carnap) was first developed for modal logic, a fascinating new set of methods and ideas was thus made available for philosophical studies. The pioneers of this model theory of modality include prominently Stig Kanger and Saul Kripke. Several others were working in the same area independently and more or less concurrently. Some of the older papers in this collection, especially 'Quantification and Modality' and 'Modes of Modality', serve to clarify some of the main possibilities in the semantics of modal logics in general. (shrink)

In this topical section, we highlight the next step of research on modeling aiming to contribute to the emerging literature that radically refrains from approaching modeling as a scientific endeavor. Modeling surpasses “doing science” because it is frequently incorporated into decision-making processes in politics and management, i.e., areas which are not solely epistemically oriented. We do not refer to the production of models in academia for abstract or imaginary applications in practical fields, but instead highlight the real entwinement of science (...) and policy and the real erosion of their boundaries. Models in decision making – due to their strong entwinement with policy and management – are utilized differently than models in science; they are employed for different purposes and with different constraints. We claim that “being a part of decision-making” implies that models are elements of a very particular situation, in which knowledge about the present and the future is limited but dependence of decisions on the future is distinct. Emphasis on the future indicates that decisions are made about actions that have severe and lasting consequences. In these specific situations, models enable not only the acquisition of knowledge (the primary goal of science) but also enable deciding upon actions that change the course of events. As a result, there are specific ways to construct effective models and justify their results. Although some studies have explored this topic, our understanding of how models contribute to decision making outside of science remains fragmentary. This topical section aims to fill this gap in research and formulate an agenda for additional and more systematic investigations in the field. (shrink)

In Making Sense of Life , Keller emphasizes several differences between biology and physics. Her analysis focuses on significant ways in which modelling practices in some areas of biology, especially developmental biology, differ from those of the physical sciences. She suggests that natural models and modelling by homology play a central role in the former but not the latter. In this paper, I focus instead on those practices that are importantly similar, from the point of view of epistemology and cognitive (...) science. I argue that concrete and abstract models are significant in both disciplines, that there are shared selection criteria for models in physics and biology, e.g. familiarity, and that modelling often occurs in a similar fashion. (shrink)

Logical models of argument formalize commonsense reasoning while taking process and computation seriously. This survey discusses the main ideas which characterize di erent logical models of argument. It presents the formal features of a few main approaches to the modeling of argumentation. We trace the evolution of argumentationfrom the mid-80's, when argumentsystems emerged as an alternative to nonmonotonic formalisms based on classical logic, to the present, as argument is embedded in di erent complex systems for real-world applications, and allows more (...) formal work to be done in different areas, such as AI & Law, case-based reasoning and negotiation among intelligent agents. (shrink)

Model theory is the branch of mathematical logic looking at the relationship between mathematical structures and logic languages. These formal languages are free from the ambiguities of natural languages, and are becoming increasingly important in areas such as computing, philosophy and linguistics. This book provides a clear introduction to the subject for both mathematicians and the non-specialists now needing to learn some model theory.

In order to make an attempt at grouping the various aspects of brain functional imaging (fMRI, MRS, EEG-MEG, ...) within a coherent frame, we implemented a model consisting of a system of differential equations, that includes: (1) sodium membrane transport, (2) Na/K ATPase, (3) neuronal energy metabolism (i.e. glycolysis, buffering effect of phosphocreatine, and mitochondrial respiration), (4) blood-brain barrier exchanges and (5) brain hemodynamics, all the processes which are involved in the activation of brain areas. We assumed that the (...) correlation between brain activation and metabolism could be due to either changes in the concentrations of ATP and ADP following activation of Na/K ATPase that result from the changes in ion concentrations, or the involvement, in different phases of metabolism, of a second messenger such as calcium. In this article, we show how this type of model enables interpretation of MRS and fMRI published data that were obtained during prolonged stimulations. (shrink)

We examine two very different approaches to formalising real computation, commonly referred to as “Computable Analysis” and “the BSS approach”. The main models of computation underlying these approaches—bit computation and BSS, respectively—have also been put forward as appropriate foundations for scientific computing. The two frameworks offer useful computability and complexity results about problems whose underlying domain is an uncountable space. Since typically the problems dealt with in physical sciences, applied mathematics, economics, and engineering are also defined in uncountable domains, it (...) is fitting that we choose between these two approaches a foundational framework for scientific computing. However, the models are incompatible as to their results. What is more, the BSS model is highly idealised and unrealistic; yet, it is the de facto implicit model in various areas of computational mathematics, with virtually no problems for the everyday practice. This paper serves three purposes. First, we attempt to delineate what the goal of developing foundations for scientific computing exactly is. We distinguish between two very different interpretations of that goal, and on the separate basis of each one, we put forward answers about the appropriateness of each framework. Second, we provide an account of the fruitfulness and wide use of BSS, despite its unrealistic assumptions. Third, according to one of our proposed interpretations of the scope of foundations, the target domain of both models is a certain mathematical structure. In a clear sense, then, we are using idealised models to study a purely mathematical structure. The third purpose is to point out and explain this intriguing phenomenon and attempt to make connections with the typical case of idealised models of empirical domains. (shrink)

This study tested four theoretical models of leadership with data from the ethnographic record. The first was a game-theoretical model of leadership in collective actions, in which followers prefer and reward a leader who monitors and sanctions free-riders as group size increases. The second was the dominance model, in which dominant leaders threaten followers with physical or social harm. The third, the prestige model, suggests leaders with valued skills and expertise are chosen by followers who strive to (...) emulate them. The fourth proposes that in small-scale, kin-based societies, men with high neural capital are best able to achieve and maintain positions of social influence (e.g., as headmen) and thereby often become polygynous and have more offspring than other men, which positively selects for greater neural capital. Using multiple search strategies we identified more than 1000 texts relevant to leadership in the Probability Sample of 60 cultures from the Human Relations Area Files (HRAF). We operationalized the model with variables and then coded all retrieved text records on the presence or absence of evidence for each of these 24 variables. We found mixed support for the collective action model, broad support for components of the prestige leadership style and the importance of neural capital and polygyny among leaders, but more limited support for the dominance leadership style. We found little evidence, however, of emulation of, or prestige-biased learning toward, leaders. We found that improving collective actions, having expertise, providing counsel, and being respected, having high neural capital, and being polygynous are common properties of leaders, which warrants a synthesis of the collective action, prestige, and neural capital and reproductive skew models. We sketch one such synthesis involving high-quality decision-making and other computational services. (shrink)

This study in Bangladesh found that inter-cluster variation in the use of modern reversible methods of contraception was significantly attributable to the educational levels of the female family planning workers working in the clusters. Women belonging to clusters served by educated workers had a higher probability of being contraceptive users than those whose workers had only completed primary education. At the household level, important determinants of use were socioeconomic status and religion. At the individual level, the woman being the wife (...) of the household head and having some education were positively related to her being a user. The model also found that inter-household variation was significantly greater than inter-cluster variation. Finally, the study concludes that after controlling for various covariates at all three levels, the clusters do not have significantly different levels of use of modern reversible methods of contraception. There are, however, some special areas where contraceptive use is dramatically low, and these contribute significantly to the observed inter-cluster variation. (shrink)

Formal models of argumentation have been investigated in several areas, from multi-agent systems and artificial intelligence (AI) to decision making, philosophy and law. In artificial intelligence, logic-based models have been the standard for the representation of argumentative reasoning. More recently, the standard logic-based models have been shown equivalent to standard connectionist models. This has created a new line of research where (i) neural networks can be used as a parallel computational model for argumentation and (ii) neural networks can be (...) used to combine argumentation, quantitative reasoning and statistical learning. At the same time, non-standard logic models of argumentation started to emerge. In this paper, we propose a connectionist cognitive model of argumentation that accounts for both standard and non-standard forms of argumentation. The model is shown to be an adequate framework for dealing with standard and non-standard argumentation, including joint-attacks, argument support, ordered attacks, disjunctive attacks, meta-level attacks, self-defeating attacks, argument accrual and uncertainty. We show that the neural cognitive approach offers an adequate way of modelling all of these different aspects of argumentation. We have applied the framework to the modelling of a public prosecution charging decision as part of a real legal decision making case study containing many of the above aspects of argumentation. The results show that the model can be a useful tool in the analysis of legal decision making, including the analysis of what-if questions and the analysis of alternative conclusions. The approach opens up two new perspectives in the short-term: the use of neural networks for computing prevailing arguments efficiently through the propagation in parallel of neuronal activations, and the use of the same networks to evolve the structure of the argumentation network through learning (e.g. to learn the strength of arguments from data). (shrink)

This article presents a novel control approach, hybrid neuro-fuzzy, for the load frequency control of a four-area interconnected power system. The advantage of this controller is that it can handle nonlinearities, and at the same time, it is faster than other existing controllers. The effectiveness of the proposed controller in increasing the damping of local and inter-area modes of oscillation is demonstrated in a four-area interconnected power system. Areas 1 and 2 consist of a thermal reheat power (...) plant, whereas Areas 3 and 4 consist of a hydropower plant. Performance evaluation is carried out by using fuzzy, artificial neural network, adaptive neuro-fuzzy inference system, and conventional proportional and integral control approaches. Four different models with different controllers are developed and simulated, and performance evaluations are carried out with said controllers. The result shows that the intelligent HNF controller has improved dynamic response and is at the same time faster than ANN, fuzzy, and conventional PI controllers. (shrink)

Few studies have been conducted into the use of mobile technologies at community-based organizations. Community sport organizations (CSOs) typically operate within a defined geographic area and rely on the primary support of volunteers. Based on the characteristics of mobile-based information services, this article proposes a model that provides a guide for CSOs to classify mobile applications through four mobile utility factors and three innovation adoption determinants (cost, skill requirements, and compatibility). The model is supported visually by the (...) use of Microsoft Excel generated “radar graphs” to illustrate desired practical and actual performance. The contribution of the theoretical model is one of providing a vehicle for evaluating mobile technology applications by CSOs to identify the potential effectiveness of mobile devices, particularly in a preadoption scenario. (shrink)

In Making Sense of Life, Keller emphasizes several differences between biology and physics. Her analysis focuses on significant ways in which modelling practices in some areas of biology, especially developmental biology, differ from those of the physical sciences. She suggests that natural models and modelling by homology play a central role in the former but not the latter. In this paper, I focus instead on those practices that are importantly similar, from the point of view of epistemology and cognitive science. (...) I argue that concrete and abstract models are significant in both disciplines, that there are shared selection criteria for models in physics and biology, e.g. familiarity, and that modelling often occurs in a similar fashion. (shrink)

Social entrepreneurship activity continues to surge tremendously in market and economic systems around the world. Yet, social entrepreneurship theory and understanding lag far behind its practice. For instance, the nature of the entrepreneurial discovery phenomenon, a critical area of inquiry in general entrepreneurship theory, receives no attention in the specific context of social entrepreneurship. To address the gap, we conceptualize social entrepreneurial discovery based on an extension of corporate social responsibility into social entrepreneurship contexts. We develop a model (...) that emphasizes mobilization and timing as underpinnings of social entrepreneurial discovery and offer distinct conceptual aspects and theoretic propositions instrumental to future social entrepreneurship research. (shrink)

The grammatical paradigm used to be a model for entire areas of cognitive science. Its primary tenet was that theories are axiomatic-like systems. A secondary tenet was that their predictions should be tested quickly and in great detail with introspective judgments. While the grammatical paradigm now often seems passé, we argue that in fact it continues to be as efficient as ever. Formal models are essential because they are explicit, highly predictive, and typically modular. They make numerous critical predictions, (...) which must be tested efficiently; introspective judgments do just this. We further argue that the grammatical paradigm continues to be fruitful. Within linguistics, implicature theory is a recent example, with a combination of formal explicitness, modularity, and interaction with experimental work. Beyond traditional linguistics, the grammatical paradigm has proven fruitful in the study of gestures and emojis; literature (“Free Indirect Discourse”); picture semantics and comics; music and dance cognition; and even reasoning and concepts. We argue, however, that the grammatical paradigm must be adapted to contemporary cognitive science. Computational methods are essential to derive quantitative predictions from formal models (Bayesian pragmatics is an example). And data collection techniques offer an ever richer continuum of options, from introspective judgments to large-scale experiments, which makes it possible to optimize the cost/benefit ratio of the empirical methods that are chosen to test theories. (shrink)

Ozone is one of the pollutants with most negative effects on human health and in general on the biosphere. Many data-acquisition networks collect data about ozone values in both urban and background areas. Usually, these data are incomplete or corrupt and the imputation of the missing values is a priority in order to obtain complete datasets, solving the uncertainty and vagueness of existing problems to manage complexity. In the present paper, multiple-regression techniques and Artificial Neural Network models are applied to (...) approximate the absent ozone values from five explanatory variables containing air-quality information. To compare the different imputation methods, real-life data from six data-acquisition stations from the region of Castilla y León are gathered in different ways and then analyzed. The results obtained in the estimation of the missing values by applying these techniques and models are compared, analyzing the possible causes of the given response. (shrink)

By action model, we understand any logic-based representation of effects and executability preconditions of individual actions within a certain domain. In the context of artificial intelligence, such models are necessary for planning and goal-oriented automated behaviour. Currently, action models are commonly hand-written by domain experts in advance. However, since this process is often difficult, time-consuming, and error-prone, it makes sense to let agents learn the effects and conditions of actions from their own observations. Even though the research in the (...) area of action learning, as a certain kind of inductive reasoning, is relatively young, there already exist several distinctive action learning methods. We will try to identify the collection of the most important properties of these methods, or challenges that they are trying to overcome, and briefly outline their impact on practical applications. (shrink)

Because little is known about the human trait of affiliation, we provide a novel neurobehavioral model of affiliative bonding. Discussion is organized around processes of reward and memory formation that occur during approach and consummatory phases of affiliation. Appetitive and consummatory reward processes are mediated independently by the activity of the ventral tegmental area (VTA) dopamine (DA)–nucleus accumbens shell (NAS) pathway and the central corticolimbic projections of the u-opiate system of the medial basal arcuate nucleus, respectively, although these (...) two projection systems functionally interact across time. We next explicate the manner in which DA and glutamate interact in both the VTA and NAS to form incentive-encoded contextual memory ensembles that are predictive of reward derived from affiliative objects. Affiliative stimuli, in particular, are incorporated within contextual ensembles predictive of affiliative reward via: (a) the binding of affiliative stimuli in the rostral circuit of the medial extended amygdala and subsequent transmission to the NAS shell; (b) affiliative stimulus-induced opiate potentiation of DA processes in the VTA and NAS; and (c) permissive or facilitatory effects of gonadal steroids, oxytocin (in interaction with DA), and vasopressin on (i) sensory, perceptual, and attentional processing of affiliative stimuli and (ii) formation of social memories. Among these various processes, we propose that the capacity to experience affiliative reward via opiate functioning has a disproportionate weight in determining individual differences in affiliation. We delineate sources of these individual differences, and provide the first human data that support an association between opiate functioning and variation in trait affiliation. Key Words: affiliation corticolimbic-striatal networks; appetitive and consummatory reward; dopamine; oxytocin; personality; social bonds; social memory; u-opiates. (shrink)

In recent years, there has much attention given by philosophers to the ubiquitous role of models and modeling in the biological sciences. Philosophical debates has focused on several areas of discussion. First, what are models in the biological sciences? The term ‘model’ is applied to mathematical structures, graphical displays, computer simulations, and even concrete organisms. Is there an account which unifies these disparate structures? Second, scientists routinely distinguish between theories and models; however, this distinction is more difficult to draw (...) in the biological sciences since biologists often only have a variety of models and rarely have something like a fundamental theory. What then is a theory in biology? Third, how are models related to empirical or “target” systems? (shrink)

Psychiatric researchers typically assume that the modelling of psychiatric symptoms is not influenced by psychiatric categories; symptoms are modelled and then grouped into a psychiatric category. I highlight this primarily through analysing research domain criteria. RDoC’s importance makes it worth scrutinizing, and this assessment also serves as a case study with relevance for other areas of psychiatry. RDoC takes inadequacies of existing psychiatric categories as holding back causal investigation. Consequently, RDoC aims to circumnavigate existing psychiatric categories by directly investigating the (...) causal basis of symptoms. The unique methodological approach of RDoC exploits the supposed lack of influence of psychiatric categories on symptom modelling, taking psychiatric symptoms as the same regardless of which psychiatric category is employed or if no psychiatric category is employed. But this supposition is not always true. I will show how psychiatric categories can influence symptom modelling, whereby identical behaviours can be considered as different symptoms based on an individual’s psychiatric diagnosis. If the modelling of symptoms is influenced by psychiatric categories, then psychiatric categories will still play a role, a situation which RDoC researchers explicitly aim to avoid. I discuss four ways RDoC could address this issue. This issue also has important implications for factor analysis, cluster analysis, modifying psychiatric categories, and symptom based approaches. (shrink)

Despite the transformation in biological practice and theory brought about by discoveries in molecular biology, until recently philosophy of biology continued to focus on evolutionary biology. When the Human Genome Project got underway in the late 1980s and early 1990s, philosophers of biology -- unlike historians and social scientists -- had little to add to the debate. In this landmark collection of essays, Sahotra Sarkar broadens the scope of current discussions of the philosophy of biology, viewing molecular biology as a (...) unifying perspective on life that complements that of evolutionary biology. His focus is on molecular biology, but the overriding question behind these papers is what molecular biology contributes to all traditional areas of biological research.Molecular biology -- described with some foresight in a 1938 Rockefeller Foundation report as a branch of science in which "delicate modern techniques are being used to investigate ever more minute details" -- and its modeling strategies apparently argue in favor of physical reductionism. Sarkar's first three chapters explore reductionism -- defending it, but cautioning that reduction to molecular interactions is not necessarily a reduction to genetics. The next sections of the book discuss function, exploring how functional explanations pose a problem for reductionism; the informational interpretation of biology and how it interacts with reductionism; and the tension between the unifying framework of molecular biology and the received framework of evolutionary theory. The concluding chapter is an essay in the emerging field of developmental evolution, exploring what molecular biology may contribute to the transformation of evolutionary theory as evolutionary theory takes into account morphogenetic development. (shrink)

This paper explores the gray area of questionable research practices (QRPs) between responsible conduct of research and severe research misconduct in the form of fabrication, falsification, and plagiarism (Steneck in SEE 12(1): 53–57, 2006). Up until now, we have had very little knowledge of disciplinary similarities and differences in QRPs. The paper is the first systematic account of variances and similarities. It reports on the findings of a comprehensive study comprising 22 focus groups on practices and perceptions of QRPs (...) across main areas of research. The paper supports the relevance of the idea of epistemic cultures (Knorr Cetina in: Epistemic cultures: how the sciences make knowledge, Harvard University Press, Cambridge, 1999), also when it comes to QRPs. It shows which QRPs researchers from different areas of research (humanities, social sciences, medical sciences, natural sciences, and technical sciences) report as the most severe and prevalent within their fields. Furthermore, it shows where in the research process these self-reported QRPs can be found. This is done by using a five-phase analytical model of the research process (idea generation, research design, data collection, data analysis, scientific publication and reporting). The paper shows that QRPs are closely connected to the distinct research practices within the different areas of research. Many QRPs can therefore only be found within one area of research, and QRPs that cut across main areas often cover relatively different practices. In a few cases, QRPs in one area are considered good research practice in another. (shrink)

In the last decade, the UK Government has attempted to implement improved processes and procedures in modelling and analysis in response to the Laidlaw report of 2012 and the Macpherson review of 2013. The Laidlaw report was commissioned after failings during the Intercity West Coast Rail (ICWC) Franchise procurement exercise by the Department for Transport (DfT) that led to a legal challenge of the analytical models used within the exercise. The Macpherson review looked into the quality assurance of Government analytical (...) models in the context of the experience with the Intercity West Coast franchise competition. This paper examines what progress has been made in the 8 years since the Laidlaw report in model building and best practise in government and proposes several recommendations for ways forward. This paper also discusses the Lords Science and Technology Committees of June 2020 that analysed the failings in the modelling of COVID. Despite going on to influence policy, many of the same issues raised within the Laidlaw and Macpherson Reports were also present in the Lords Science and Technology Committee enquiry. We examine the technical and organisational challenges to progress in this area and make recommendations for a way forward. (shrink)

The introductory essay to this collection correctly observes that there are many “challenges for rapprochement” between anthropology and (the rest of) cognitive science. Still, the possibilities of fruitful interchanges provide some hope for the parties getting back together, at least on an intermittent basis. This response offers some views concerning the “incompatibility” of psychology and anthropology, reviews why cognitive anthropology drifted away from cognitive science, and notes two areas of contemporary interest within cognitive anthropology that may lead to a re-engagement.

We examine the consequences of long-range effects on tumour cell migration. Our starting point are previous results of ours where we have shown that the migration patterns of glioma cells are best interpreted if one assumes attractive interactions between cells. Here we complement the cellular automaton model previously introduced by the assumption of the existence of a chemorepellent produced by the main bulk of large spheroids (in the hypoxic/necrotic areas). Visible effects due to the presence of such a substance (...) can be found in the density profiles of cells migrating out of a single spheroid as well as in the angular distribution of cells coming from two close-lying spheroids. These effects depend crucially on the diffusion speed of the chemorepellent. A comparison of the simulation results to experimental data of Werbowetski et al. allows to draw (tentative) conclusions on the existence of a chemorepellent and its properties. (shrink)

Predictive processing (PP) and embodied cognition (EC) have emerged as two influential approaches within cognitive science in recent years. Not only have PP and EC been heralded as “revolutions” and “paradigm shifts” but they have motivated a number of new and interesting areas of research. This has prompted some to wonder how compatible the two views might be. This paper looks to weigh in on the issue of PP-EC compatibility. After outlining two recent proposals, I argue that further clarity can (...) be achieved on the issue by considering a model of scientific progress. Specifically, I suggest that Larry Laudan’s “problem solving model” can provide important insights into a number of outstanding challenges that face existing accounts of PP-EC compatibility. I conclude by outlining additional implications of the problem solving model for PP and EC more generally. (shrink)

Johannine ethics was a problematic topic for a long time and has only been an acceptable and fruitful area of research since 2012. To stimulate and guide future research, this article proposes a model of Johannine ethics that consists of five aspects: Graeco-Roman virtue ethics is the broad ethical context for Johannine ethics; family is the theological context for Johannine ethics; mimesis is central to Johannine ethics; moral reasoning is the cognitive route to ethics; Spirit and community empower (...) ethical living. The argument is that the Johannine writings present ethics as divine family education that has mimesis at its centre and is facilitated by moral reasoning and the Spirit as the moral force. An Appendix contains a list of publications on Johannine ethics between 2012 and 2022. (shrink)

This commentary emphasizes two problem areas mentioned by Burt. First, that within-family designs do not eradicate stratification confounds. Second, that the linear/additive model of genetic causes of form and variation is not supported by recent progress in molecular biology. It concludes with an appeal for a (biologically and psychologically) more realistic model of such causes.

I see model theory as becoming increasingly detached from set theory, and the Tarskian notion of set-theoretic model being no longer central to model theory. In much of modern mathematics, the set-theoretic component is of minor interest, and basic notions are geometric or category-theoretic. In algebraic geometry, schemes or algebraic spaces are the basic notions, with the older “sets of points in affine or projective space” no more than restrictive special cases. The basic notions may be given (...) sheaf-theoretically, or functorially. To understand in depth the historically important affine cases, one does best to work with more general schemes. The resulting relativization and “transfer of structure” is incomparably more flexible and powerful than anything yet known in “set-theoretic model theory”.It seems to me now uncontroversial to see the fine structure of definitions as becoming the central concern of model theory, to the extent that one can easily imagine the subject being called “Definability Theory” in the near future.Tarski's set-theoretic foundational formulations are still favoured by the majority of model-theorists, and evolution towards a more suggestive language has been perplexingly slow. None of the main texts uses in any nontrivial way the language of category theory, far less sheaf theory or topos theory. Given that the most notable interactions of model theory with geometry are in areas of geometry where the language of sheaves is almost indispensable, this is a curious situation, and I find it hard to imagine that it will not change soon, and rapidly. (shrink)