We introduce a set of biologically and computationally motivated design choices for modeling the learning of language, or of other types of sequential, hierarchically structured experience and behavior, and describe an implemented system that conforms to these choices and is capable of unsupervised learning from raw natural-language corpora. Given a stream of linguistic input, our model incrementally learns a grammar that captures its statistical patterns, which can then be used to parse or generate new data. The grammar constructed in this (...) manner takes the form of a directed weighted graph, whose nodes are recursively (hierarchically) defined patterns over the elements of the input stream. We evaluated the model in seventeen experiments, grouped into five studies, which examined, respectively, (a) the generative ability of grammar learned from a corpus of natural language, (b) the characteristics of the learned representation, (c) sequence segmentation and chunking, (d) artificial grammar learning, and (e) certain types of structure dependence. The model's performance largely vindicates our design choices, suggesting that progress in modeling language acquisition can be made on a broad front—ranging from issues of generativity to the replication of human experimental findings—by bringing biological and computational considerations, as well as lessons from prior efforts, to bear on the modeling approach. (shrink)

We introduce a set of biologically and computationally motivated design choices for modeling the learning of language, or of other types of sequential, hierarchically structured experience and behavior, and describe an implemented system that conforms to these choices and is capable of unsupervised learning from raw natural-language corpora. Given a stream of linguistic input, our model incrementally learns a grammar that captures its statistical patterns, which can then be used to parse or generate new data. The grammar constructed in this (...) manner takes the form of a directed weighted graph, whose nodes are recursively (hierarchically) defined patterns over the elements of the input stream. We evaluated the model in seventeen experiments, grouped into five studies, which examined, respectively, (a) the generative ability of grammar learned from a corpus of natural language, (b) the characteristics of the learned representation, (c) sequence segmentation and chunking, (d) artificial grammar learning, and (e) certain types of structure dependence. The model's performance largely vindicates our design choices, suggesting that progress in modeling language acquisition can be made on a broad front—ranging from issues of generativity to the replication of human experimental findings—by bringing biological and computational considerations, as well as lessons from prior efforts, to bear on the modeling approach. (shrink)

This paper presents a version of neurophenomenology based on generative modelling techniques developed in computational neuroscience and biology. Our approach can be described as _computational phenomenology_ because it applies methods originally developed in computational modelling to provide a formal model of the descriptions of lived experience in the phenomenological tradition of philosophy (e.g., the work of Edmund Husserl, Maurice Merleau-Ponty, etc.). The first section presents a brief review of the overall project to naturalize phenomenology. The second section presents and (...) evaluates philosophical objections to that project and situates our version of computational phenomenology with respect to these projects. The third section reviews the generative modelling framework. The final section presents our approach in detail. We conclude by discussing how our approach differs from previous attempts to use generative modelling to help understand consciousness. In summary, we describe a version of computational phenomenology which uses generative modelling to construct a computational model of the inferential or interpretive processes that best explain this or that kind of lived experience. (shrink)

Cette étude entend établir comment Lambert, dans le Neues Organon, conçoit la mise en forme des apparences sensibles de façon à constituer un savoir mixte conforme au système des vérités rationnelles. Ce savoir, étayé suivant des degrés assignables de probabilité, est susceptible de fonder et de baliser la méthodologie des sciences de la nature. Il s’agit notamment de déterminer comment les apparences sensibles peuvent se prêter à la construction d’hypothèses valides. Dans cette démarche, Lambert accorde un rôle particulier aux modèles (...) dont le savant se sert pour figurer l’ordre de génération des phénomènes et leur rapport à la structure objective du monde. Il s’agit ici d’éclairer la façon dont Lambert se représente l’explication en philosophie expérimentale, les modalités de transposition des concepts empiriques en concepts théoriques, et le caractère provisoire et révisable des inférences théoriques. (shrink)

Spoken communication between social robotic devices, powered by generative AI tools such as ChatGPT, and the senior population offers great potential for researching social interaction and robot identity perceptions as well as exploring the potential opportunities and challenges when implementing this human-machine interactions in real life situations and health care. In this paper we explore people’s perceptions of the social robot Furhat when administering verbal tasks similar to those used in screening for Alzheimer’s disease. We describe the Slovak system (...) mounted on the robot that includes a speech recognizer, the scenarios powered by generative large language model ChatGPT, and a speech synthesizer. We tested the functionality of the proposed approach with two groups of participants: attendees of a large science fair and a scientific conference. The observations from 87 collected questionnaires suggest good potential and applicability of such an approach for the given task and more positive attitudes of older subjects compared to younger ones. (shrink)

The generative entrenchment of an entity is a measure of how much of the generated structure or activity of a complex system depends upon the presence or activity of that entity. It is argued that entities with higher degrees of generative entrenchment are more conservative in evolutionary changes of such systems. A variety of models of complex structures incorporating the effects of generative entrenchment are presented and we demonstrate their relevance in analyzing and explaining a variety (...) of developmental and evolutionary phenomena, both on a macroscopic developmental and evolutionary scale, and using models and strategies pioneered by Kauffman, on the more microscopic scale appropriate to the analysis of the structure and behavior of gene control networks. The resulting picture suggests that generative entrenchment acts as a powerful and constructive developmental constraint on the course of evolutionary processes. Since virtually any system exhibits varying degrees of generative entrenchment among its parts and activities, these studies and results have in addition broad potential application for the analysis of generative structures in other areas. (shrink)

Model organisms became an indispensable part of experimental systems in molecular developmental and cell biology, constructed to investigate physiological and pathological processes. They are thought to play a crucial role for the elucidation of gene function, complementing the sequencing of the genomes of humans and other organisms. Accordingly, historians and philosophers paid considerable attention to various issues concerning this aspect of experimental biology. With respect to the representational features of model organisms, that is, their status as models, the main (...) focus was on generalization of phenomena investigated in such experimental systems. Model organisms have been said to be models for other organisms or a higher taxon. This, however, presupposes a representation of the phenomenon in question. I will argue that prior to generalization, model organisms allow researchers to built generative material models of phenomena – structures, processes or the mechanisms that explain them – through their integration in experimental set-ups that carve out the phenomena from the whole organism and thus represent them. I will use the history of zebrafish biology to show how model organism systems, from around 1970 on, were developed to construct material models of molecular mechanisms explaining developmental or physiological processes. (shrink)

The subject of the research is a modern graphic and communicative design, in the context of changing existing and forming new roles of communicators, transforming the communication model, forming a semiotic communication format. The object of the research is modern graphic and communicative design, as well as their traditional, digital and generative subdirections. Design beginning to have digital, semiotic-interactive and artificially intelligent characteristics. The author examines in detail such aspects of the topic as: dialogical, semiotic-interactive qualities of design solutions; (...) digital, semiotic-interactive design-software expressive means; features of semiotic-deconstructivity (analyticity) and semiotic-synthetics (constructiveness) of design solutions in the context of design activity; the influence of technical and technological features of tools and design-environments (design systems) for the formation of automated and artificially intelligent qualities of design solutions. The study of the conceptual model of a semiotic-interactive design is carried out in the context of a semiotic-interactive methodology (a set of principles and strategies of design activity). The main conclusions of the study are the description of the conceptual model of a semiotic-interactive design solution, in the context of a semiotic-interactive methodology implemented in the conceptual-generative subdirection of modern graphic and communicative design. The author's main contribution to the research of the topic is to identify the main components of the conceptual model of a semiotic-interactive design solution and demonstrate their relationship with each other in the form of a holistic model. The novelty of the research lies in the description of the characteristics of the components, the conceptual model of a semiotic-interactive design solution: a dialogical semiotic-interactive format for creating invariant concepts and design solutions; versioning of design solutions based on the semiotic synthesis of design programs; semiotic deconstruction of design solutions at the macro and micro levels; semiotic synthesis of design and artistic design programs; application of design programs as decision tools; use of hyperconnected capabilities of the design environment: the history of actions, integrity and continuous change and development. (shrink)

The authors describe a logic programming approach to the representation of legislative texts. They consider the potential uses of simple systems which incorporate a single, fixed interpretation of a text. These include assisting in the routine administration of complex areas of the law. The authors also consider the possibility of constructing more complex systems which incorporate several, possibly conflicting interpretations. Such systems are needed for dealing with ambiguity and vagueness in the law. Moreover, they are more suitable than single interpretation (...) systems for helping to test proposed legislation and for helping to give citizens advice. (shrink)

The growing capabilities of artificial intelligence (AI) word processing models have demonstrated exceptional potential to impact language related tasks and functions. Their fast pace of adoption and probable effect has also given rise to controversy within certain fields. Models, such as GPT-3, are a particular concern for professionals engaged in writing, particularly as their engagement with these technologies is limited due to lack of ability to control their output. Most efforts to maximize and control output rely on a (...) process known as prompt engineering, the construction and modification of the inputted prompt with expectation for certain outputted or desired text. Consequently, prompt engineering has emerged as an important consideration for research and practice. Previous conceptions of prompt engineering have largely focused on technical and logistic modifications to the back-end processing, remaining inaccessible and, still, limited for most users. In this paper, we look to the technical communication field and its methods of text generation—the rhetorical situation—to conceptualize prompt engineering in a more comprehensible way for its users by considering the context and rhetoric. We introduce a framework, consisting of a formula, to prompt engineering, which demands all components of the rhetorical situation be present in the inputted prompt. We present discussions on the future of AI writing models and their use in both professional and educational settings. Ultimately, this discussion and its findings aim to provide a means of integrating agency and writer-centric methods to AI writing tools to advance a more human-in-the-loop approach. As the use of generative AI and especially NLP-based technologies become common across societal functions, the use of prompt engineering will play a crucial role not just in adoption of the technology, but also its productive and responsible use. (shrink)

Making sense of modeling: beyond representation Content Type Journal Article Category Original paper in Philosophy of Science Pages 335-352 DOI 10.1007/s13194-011-0032-8 Authors Isabelle Peschard, Philosophy Department, San Francisco State University, 1600 Holloway Ave, San Francisco, CA 94132, USA Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912 Journal Volume Volume 1 Journal Issue Volume 1, Number 3.

We shall present two novel ways of deriving simply typed combinatory models. These are of interest in a constructive setting. First we look at extension models, which are certain subalgebras of full function space models. Then we shall show how the space of singletons of a combinatory model can itself be made into one. The two and the algebras in between will have many common features. We use these two constructions in proving: There is a model (...) of constructive set theory in which every closed extensional theory of simple typed combinatory logic is the theory of a full function space model. (shrink)

Ernst Mayr’s classical work on the nature of causation in biology has had a huge influence on biologists as well as philosophers. Although his distinction between proximate and ultimate causation recently came under criticism from those who emphasize the role of development in evolutionary processes, the formal relationship between these two notions remains elusive. Using causal graph theory, this paper offers a unified framework to systematically translate a given “proximate” causal structure into an “ultimate” evolutionary response, and illustrates evolutionary implications (...) of various kinds of causal mechanisms including epigenetic inheritance, maternal effects, and niche construction. These results not only reveal the essential interplay between proximate and ultimate causation in the study of evolution, but also provide a formal method to evaluate or discover non-standard or yet unknown evolutionary phenomena. (shrink)

Generative artificial intelligence (AI) has the potential to transform many aspects of scholarly publishing. Authors, peer reviewers, and editors might use AI in a variety of ways, and those uses might augment their existing work or might instead be intended to replace it. We are editors of bioethics and humanities journals who have been contemplating the implications of this ongoing transformation. We believe that generative AI may pose a threat to the goals that animate our work but could (...) also be valuable for achieving those goals. In the interests of fostering a wider conversation about how generative AI may be used, we have developed a preliminary set of recommendations for its use in scholarly publishing. We hope that the recommendations and rationales set out here will help the scholarly community navigate toward a deeper understanding of the strengths, limits, and challenges of AI for responsible scholarly work. (shrink)

Scientific models are used to predict and understand the target phenomena in the reality. The kind of epistemic relationship between the model and the reality is always regarded by most of the philosophers as a representational one. I argue that, complementary to this representational role, some of the scientific models have a constructive role to play in altering and reconstructing the reality in a physical way. I hold that the idealized model assumptions and elements bestow the (...) class='Hi'>constructive force of a model on the reality. By recognizing the physical constructive force of some scientific models, the merit of these models could be judged by how successful they are in the reality construction, rather than by the traditional criterion of model-world representation. (shrink)

The new generative artificial intelligence (AI) tools, and especially the large language models (LLMs) of which ChatGPT is the most prominent example, have the potential to transform many aspects o...

Cramer et al. articulate a novel perspective on comorbidity. However, their network models must be compared with more parsimonious latent variable models before conclusions can be drawn about network models as plausible accounts of comorbidity. Latent variable models have proven generative in studying psychopathology and its external correlates, and we doubt network models will prove as useful for psychopathology research.

The new generative artificial intelligence (AI) tools, and especially the large language models (LLMs) of which ChatGPT is the most prominent example, have the potential to transform many aspects o...

An ω-model (a model in which all natural numbers are standard) of the predicative fragment of Quine's set theory "New Foundations" (NF) is constructed. Marcel Crabbe has shown that a theory NFI extending predicative NF is consistent, and the model constructed is actually a model of NFI as well. The construction follows the construction of ω-models of NFU (NF with urelements) by R. B. Jensen, and, like the construction of Jensen for NFU, it can be used to construct α- (...) class='Hi'>models for any ordinal α. The construction proceeds via a model of a type theory of a peculiar kind; we first discuss such "tangled type theories" in general, exhibiting a "tangled type theory" (and also an extension of Zermelo set theory with Δ 0 comprehension) which is equiconsistent with NF (for which the consistency problem seems no easier than the corresponding problem for NF (still open)), and pointing out that "tangled type theory with urelements" has a quite natural interpretation, which seems to provide an explanation for the more natural behaviour of NFU relative to the other set theories of this kind, and can be seen anachronistically as underlying Jensen's consistency proof for NFU. (shrink)

Under the background of global cross-border mobile commerce integration, the importance of cross-border payment research is becoming increasingly prominent and urgent. The important value of this study is to empirically research the influence power of key elements in using two different mobile payment platforms in Korea. The extended unified theory of acceptance and use of technology has been widely applied in various studies because of its strong interpretive power. In Korea, there are a few empirical studies on Chinese users. Based (...) on a survey of 908 Chinese participants in Korea, this study is one application extending UTAUT2 by incorporating multi-group and multi-model constructs: UTAUT2, information system success model, and an initial trust model, considering a multi-group analysis with some mediating variables. By comparing the two different payment platforms’ characters, this manuscript provides a set of targeted measures to ensure Chinese WeChat Payment platform decision-makers create effective long-term strategic policies for cross-border m-payments in Korea, and eventually, benefit cross-border m-commerce and economic cooperation in Southeast Asia. (shrink)

Contributors; Preface; Introduction; Part I. Instruments in Experiments: 1. Scientific instruments: models of brass and aids to discovery; 2. Glass works: Newton’s prisms and the uses of experiment; 3. A viol of water or a wedge of glass; Part II. Experiment and Argument: 4. Galileo’s experimental discourse; 5. Fresnel, Poisson and the white spot: the role of successful predictions in the acceptance of scientific theories; 6. The rhetoric of experiment; Part III. Representing and Realising: 7. ’Magnetic curves’ and the (...) magnetic field: experimentation and representation in the history of a theory; 8. Artificial clouds, real particles; 9. Living in the material world; 10. Justification and experimentation; Part IV. The Constituency of Experiment: 11. Extraordinary experiment: electricity and the creation of life in Victorian England; 12. Why did Britain join CERN?; Part V. Hallmarks of Experiment: 13. From Kwajalein to Armageddon? Testing and the social construction of missile accuracy; 14. The epistemology of experiment; Select bibliography; Name index; Subject index. (shrink)

This ambitious book looks 'behind the model' to reveal how economists use formal models to generate insights into the economy. Drawing on recent work in the philosophy of science and economic methodology, the book presents a novel framework for understanding the logic of economic modeling. It also reveals the ways in which economic models can mislead rather than illuminate. Importantly, the book goes beyond purely negative critique, proposing a concrete program of methodological reform to better equip economists to (...) detect potential mismatches between their models and the targets of their inquiry. Ranging across economics, philosophy, and social science methods, and drawing on a variety of examples, including the recent financial crisis, Behind the Model will be of interest to anyone who has wondered how economics works - and why it sometimes fails so spectacularly. (shrink)

The frequently occurring photoreceptor patterns in fish are explained using functional and environmental demands in a geometric model. The shape of the double cone provides a number of constructional properties leading to a limited number of appropriate configurations. The probability of their occurrence is estimated from the degree to which the combination of properties of each configuration meets specific environmental light conditions. A row pattern of merely double cones is especially suitable for vision in a dim homochromatic environment; a triangular (...) pattern is quite appropriate for high resolution and accurate movement detection, whereas the known square pattern has a high adaptive capacity to varying spectral distributions. In this context the transforming capacities of both square and row patterns can be understood. (shrink)

We propose a mathematical model for a class of predator–prey systems more complex than the usual one, involving a commensalism effect consisting in an influence of the predator on the sustainability of the prey. This effect induces interesting new features, including bi-stability. The question of the possibility of reaching a certain attractor starting from initial conditions with a small population of predators, which presents an interest from the vewpoint of the onset of the predator in evolution, is addressed. We propose (...) two possibilities: the classical one involving adapted conditions in the far past and a new one using biodiversity, specifically the presence of another predator which operates as a starter, being displaced in the sequel. (shrink)

Mobile health services have been widely used in medical services and health management through mobile devices and multiple channels, such as smartphones, wearable equipment, healthcare applications, and medical platforms. However, the number of the users who are currently receiving the mHealth services is small. In China, more than 70% of internet users have never used mHealth services. Such imbalanced situation could be attributed to users’ traditional concept of medical treatment, psychological factors and privacy concerns. The purpose of this study is (...) to explore the direct and indirect effects of mHealth users’ self-efficacy and privacy concerns on their intention to adopt mHealth services, providing guidelines for mHealth service providers to enhance users’ intention of adoption. A questionnaire was designed by the research team and 386 valid responses were collected from domestic participants in China. Based on the unified theory of acceptance and use of technology model, a research model integrated self-efficacy and privacy concerns was constructed to investigate their effects on users’ intention to adopt mobile mHealth services. The results show that self-efficacy could facilitate users’ intention to adopt mHealth services, and had a significantly positive effect on perceived ubiquity, effort expectancy, performance expectancy and subjective norm. This study verifies the direct and indirect effects of self-efficacy and privacy concerns on users’ intention to adopt mHealth services, providing a different perspective for studying mHealth adoption behavior. The findings could provide guidelines for mHealth service providers to improve their service quality and enhance users’ intention of adoption. (shrink)

We give a new Esakia-style duality for the category of Sugihara monoids based on the Davey-Werner natural duality for lattices with involution, and use this duality to greatly simplify a construction due to Galatos-Raftery of Sugihara monoids from certain enrichments of their negative cones. Our method of obtaining this simplification is to transport the functors of the Galatos-Raftery construction across our duality, obtaining a vastly more transparent presentation on duals. Because our duality extends Dunn's relational semantics for the logic R-mingle (...) to a categorical equivalence, this also explains the Dunn semantics and its relationship with the more usual Routley-Meyer semantics for relevant logics. (shrink)

Theoretical models are an important tool for many aspects of scientific activity. They are used, i.a., to structure data, to apply theories or even to construct new theories. But what exactly is a model? It turns out that there is no proper definition of the term "model" that covers all these aspects. Thus, I restrict myself here to evaluate the function of models in the research process while using "model" in the loose way physicists do. To this end, (...) I distinguish four kinds of models. These are (1) models as special theories, (2) models as a substitute for a theory, (3) toy models and (4) developmental models. I argue that models of the types (3) and (4) are considerably useful in the process of theory construction. This will be demonstrated in an extended case-study from High-Energy Physics. (shrink)

The Bayesian brain hypothesis, predictive processing, and variational free energy minimisation are typically used to describe perceptual processes based on accurate generative models of the world. However, generative models need not be veridical representations of the environment. We suggest that they can be used to describe sensorimotor relationships relevant for behaviour rather than precise accounts of the world.

Selectional preferences have a long history in both generative and computational linguistics. However, since the publication of Resnik's dissertation in 1993, a new approach has surfaced in the computational linguistics community. This new line of research combines knowledge represented in a pre‐defined semantic class hierarchy with statistical tools including information theory, statistical modeling, and Bayesian inference. These tools are used to learn selectional preferences from examples in a corpus. Instead of simple sets of semantic classes, selectional preferences are viewed (...) as probability distributions over various entities. We survey research that extends Resnik's initial work, discuss the strengths and weaknesses of each approach, and show how they together form a cohesive line of research. (shrink)

Using four examples of models and computer simulations from the history of psychology, I discuss some of the methodological aspects involved in their construction and use, and I illustrate how the existence of a model can demonstrate the viability of a hypothesis that had previously been deemed impossible on a priori grounds. This shows a new way in which scientists can learn from models that extends the analysis of Morgan (1999), who has identified the construction and manipulation of (...) models as those phases in which learning from models takes place. (shrink)

This handbook offers the first comprehensive reference guide to the interdisciplinary field of model-based reasoning. It highlights the role of models as mediators between theory and experimentation, and as educational devices, as well as their relevance in testing hypotheses and explanatory functions. The Springer Handbook merges philosophical, cognitive and epistemological perspectives on models with the more practical needs related to the application of this tool across various disciplines and practices. The result is a unique, reliable source of information (...) that guides readers toward an understanding of different aspects of model-based science, such as the theoretical and cognitive nature of models, as well as their practical and logical aspects. The inferential role of models in hypothetical reasoning, abduction and creativity once they are constructed, adopted, and manipulated for different scientific and technological purposes is also discussed. Written by a group of internationally renowned experts in philosophy, the history of science, general epistemology, mathematics, cognitive and computer science, physics and life sciences, as well as engineering, architecture, and economics, this Handbook uses numerous diagrams, schemes and other visual representations to promote a better understanding of the concepts. This also makes it highly accessible to an audience of scholars and students with different scientific backgrounds. All in all, the Springer Handbook of Model-Based Science represents the definitive application-oriented reference guide to the interdisciplinary field of model-based reasoning. (shrink)

Recent metaphor research has revealed that metaphor comprehension involves both categorization and comparison processes. This finding has triggered the following central question: Which property determines the choice between these two processes for metaphor comprehension? Three competing views have been proposed to answer this question: the conventionality view (Bowdle & Gentner, 2005), aptness view (Glucksberg & Haught, 2006b), and interpretive diversity view (Utsumi, 2007); these views, respectively, argue that vehicle conventionality, metaphor aptness, and interpretive diversity determine the choice between the categorization (...) and comparison processes. This article attempts to answer the question regarding which views are plausible by using cognitive modeling and computer simulation based on a semantic space model. In the simulation experiment, categorization and comparison processes are modeled in a semantic space constructed by latent semantic analysis. These two models receive word vectors for the constituent words of a metaphor and compute a vector for the metaphorical meaning. The resulting vectors can be evaluated according to the degree to which they mimic the human interpretation of the same metaphor; the maximum likelihood estimation determines which of the two models better explains the human interpretation. The result of the model selection is then predicted by three metaphor properties (i.e., vehicle conventionality, aptness, and interpretive diversity) to test the three views. The simulation experiment for Japanese metaphors demonstrates that both interpretive diversity and vehicle conventionality affect the choice between the two processes. On the other hand, it is found that metaphor aptness does not affect this choice. This result can be treated as computational evidence supporting the interpretive diversity and conventionality views. (shrink)

Automated software engineering has attracted a large amount of research efforts. The use of object-oriented methods for software systems development has made it necessary to develop approaches that automate the construction of different Unified Modeling Language models in a semiautomated approach from textual user requirements. UML use case models represent an essential artifact that provides a perspective of the system under analysis or development. The development of such use case models is very crucial in an object-oriented development (...) method. The main principles used in obtaining these models are described. A natural language processing tool is used to parse different statements of the user requirements written in Arabic to obtain lists of nouns, noun phrases, verbs, verb phrases, etc., that aid in finding potential actors and use cases. A set of steps that represent our approach for constructing a use case model are presented. Finally, the proposed approach is validated using an experiment involving a group of graduate students who are familiar with use case modeling. (shrink)

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)

We study notions of genericity in models of, inspired by lines of inquiry initiated by Chatzidakis and Pillay and continued by Dolich, Miller and Steinhorn in general model‐theoretic contexts. These papers studied the theories obtained by adding a “random” predicate to a class of structures. Chatzidakis and Pillay axiomatized the theories obtained in this way. In this article, we look at the subsets of models of which satisfy the axiomatization given by Chatzidakis and Pillay; we refer to these (...) subsets in models of as CP‐generics. We study a more natural property, called strong CP‐genericity, which implies CP‐genericity. We use an arithmetic version of Cohen forcing to construct (strong) CP‐generics with various properties, including ones in which every element of the model is definable in the expansion, and, on the other extreme, ones in which the definable closure relation is unchanged. (shrink)

There is a growing demand for information and computational technology for surgeons help with surgical planning as well as prosthetics design. The two-dimensional images are registered to the three-dimensional (3D) model for high efficiency. To reconstruct the 3D model of knee joint including bone structure and main soft tissue structure, the evaluation and analysis of sports injury and rehabilitation treatment are detailed in this study. Mimics 10.0 was used to reconstruct the bone structure, ligament, and meniscus according to the pulse (...) diffusion-weighted imaging sequence (PDWI) and stir sequences of magnetic resonance imaging (MRI). Excluding congenital malformations and diseases of the skeletal muscle system, MRI scanning was performed on bilateral knee joints. Proton weighted sequence (PDWI sequence) and stir pulse sequence were selected for MRI. The models were imported into Geomagic Studio 11 software for refinement and modification, and 3D registration of bone structure and main soft tissue structure was performed to construct a digital model of knee joint bone structure and accessory cartilage and ligament structure. The 3D knee joint model including bone, meniscus, and collateral ligament was established. Reconstruction and image registration based on mimics and Geomagic Studio can build a 3D model of knee joint with satisfactory morphology, which can meet the requirements of teaching, motion simulation, and biomechanical analysis. (shrink)

Nursing practice occurs in the context of conversations with healthcare users, other healthcare professionals, and healthcare institutions. This discussion paper draws on symbolic interactionism and Fairclough's method of critical discourse analysis to examine language that nurses use to describe the people in their care and their practice. We discuss how nurses’ use of language constructs meaning about healthcare users and their own work. Through language, nurses are articulating what they believe about healthcare users and nursing practice. We argue that the (...) language nurses use can contribute to viewing their practice as tasks on bodies that must be accomplished efficiently and objectively within the biomedical model, rather than relational and person‐centered. Moreover, the language nurses use can perpetuate a sense of powerlessness within healthcare systems yet paradoxically they are in a position of power over healthcare users. Nurses’ compliance with the efficiency and biomedical model results in a lack of emphasis on the full breadth of nursing work, which could be enacted in relational rather than power‐laden practices. We conclude by positing that careful use of language among nurses in all settings is essential, if we are to begin to articulate what nursing is to ourselves and to others. (shrink)

In this paper I discuss the relationship between model, theories, and laws in the practice of experimental scale modeling. The methodology of experimental scale modeling, also known as physical similarity, differs markedly from that of other kinds of models in ways that are important to issues in philosophy of science. Scale models are not discussed in much depth in mainstream philosophy of science. In this paper, I examine how scale models are used in making inferences. The main (...) question I address in this talk is ``How are fundamental laws involved in the construction of, and inferences drawn from, experimental scale models?'' We shall see that there is a refreshing alternative to the mainstream view that models can serve only as intermediaries between theory and experiment. Using the methodology of scale models, one can use observations on one piece of the world to make inferences about another piece of the world, without involving an intermediate abstract model about which one reasons. The philosophical significance of that point to philosophy of science is that the method of physical similarity, which provides the basis for inferences based upon scale models, is a qualitatively different way in which fundamental laws can be used in analogical reasoning that is truly informative. Finally, as this method provides a formal basis for case-based reasoning, it may be helpful in formalizing methods used in some of the so-called ``special sciences''. (shrink)

This article argues that common intuitions regarding (a) the specialness of ‘use-novel’ data for confirmation and (b) that this specialness implies the ‘no-double-counting rule’, which says that data used in ‘constructing’ (calibrating) a model cannot also play a role in confirming the model’s predictions, are too crude. The intuitions in question are pertinent in all the sciences, but we appeal to a climate science case study to illustrate what is at stake. Our strategy is to analyse the intuitive claims in (...) light of prominent accounts of confirmation of model predictions. We show that on the Bayesian account of confirmation, and also on the standard classical hypothesis-testing account, claims (a) and (b) are not generally true; but for some select cases, it is possible to distinguish data used for calibration from use-novel data, where only the latter confirm. The more specialized classical model-selection methods, on the other hand, uphold a nuanced version of claim (a), but this comes apart from (b), which must be rejected in favour of a more refined account of the relationship between calibration and confirmation. Thus, depending on the framework of confirmation, either the scope or the simplicity of the intuitive position must be revised. (shrink)

In the present paper we use the theory of exact completions to study categorical properties of small setoids in Martin-Löf type theory and, more generally, of models of the Constructive Elementary Theory of the Category of Sets, in terms of properties of their subcategories of choice objects. Because of these intended applications, we deal with categories that lack equalisers and just have weak ones, but whose objects can be regarded as collections of global elements. In this context, we (...) study the internal logic of the categories involved, and employ this analysis to give a sufficient condition for the local cartesian closure of an exact completion. Finally, we apply this result to show when an exact completion produces a model of CETCS. (shrink)

This paper aims to highlight the life of computer technologies to understand what kind of ‘technological intentionality’ is present in computers based upon the phenomenological elements constituting the objects in general. Such a study can better explain the effects of new digital technologies on our society and highlight the role of digital technologies by focusing on their activities. Even if Husserlian phenomenology rarely talks about technologies, some of its aspects can be used to address the actions performed by the digital (...) technologies by focusing on the objects’ inner ‘life’ thanks to the analysis of passive synthesis and phenomenological horizons in the objects. These elements can be used in computer technologies to show how digital objects are ‘alive.’ This paper focuses on programs developed through high-order languages like C++ and unsupervised learning techniques like ‘Generative Adversarial Model.’ The phenomenological analysis reveals the computer’s autonomy within the programming stages. At the same time, the conceptual inquiry into the digital system’s learning ability shows the alive and changeable nature of the technological object itself. (shrink)

Packing optimization problems have a wide spectrum of real-word applications. One of the applications of the problems is problem of placement of containers with spent nuclear fuel on the storage platform. The solution of the problem can be reduced to the solution of the problem of finding the optimal placement of a given set of congruent circles into a multiconnected domain taking into account technological restrictions. A mathematical model of the prob-lem is constructed and its peculiarities are considered. Our approach (...) is based on the mathematical modelling of rela-tions between geometric objects by means of phi-function technique. That allowed us to reduce the problem solving to nonlinear programming. Today, an important scientific problem is the problem of creating conditions for safe storage of spent nuclear fuel. In the process of creating any dry spent nuclear fuel storage, the following main stages can be identified: site selection, storage design, construction, operation and decommissioning. A full check for compliance of the repository and its elements with these standards usually begins at the design stage. At the stage of site selection, the inspection for compliance with safety standards is carried out only in terms of the impact of the repository as a whole on the environment. This approach cannot be considered fully appropriate, because, taking into account, for example, all the climatic features of the future storage site, it is possible to adjust the thermal storage regimes of spent nuclear fuel. Similarly, it can be considered necessary to analyze and select the shape of the storage site in order to accommo-date the maximum possible number of spent fuel containers. Such a choice, obviously, should be made taking into ac-count the norms of nuclear, radiation and thermal safety, as well as in compliance with technological limitations. The problem of finding the optimal placement of containers taking into account the given technological limitations can be formulated in the form of the problem of optimization of geometric design. Therefore, the purpose of the study is to build a mathematical model of the problem and study its characteristics to develop effective methods of solution. The proposed approach is based on mathematical modeling of relations between geometric objects using the method of phi-functions. This allowed to reduce the solution of the problem to the problem of nonlinear programming. (shrink)

Falsificationism has dominated 20th century philosophy of science. It seemed to have eclipsed all forms of inductivism. Yet recent debates have revived a specific form of eliminative inductivism, the basic ideas of which go back to F. Bacon and J.S. Mill. These modern endorsements of eliminative inductivism claim to show that progressive problem solving is possible using induction, rather than falsification as a method of justification. But this common ground between falsificationism and eliminative inductivism has not led to a detailed (...) investigation into the relationship, if any, which may exist between these two methodologies. This paper reviews several versions of eliminative inductivism, establishes a natural relation between eliminative inductivism and falsificationism, which derives from the distinction between models and theories, and carries out this investigation against a case study of the construction of atom models. The result of the investigation is that falsificationism is a form of eliminative inductivism in the limit of certain constraints. (shrink)

We call for a new philosophical conception of models in physics. Some standard conceptions take models to be useful approximations to theorems, that are the chief means to test theories. Hence the heuristics of model building is dictated by the requirements and practice of theory-testing. In this paper we argue that a theory-driven view of models can not account for common procedures used by scientists to model phenomena. We illustrate this thesis with a case study: the construction (...) of one of the first comprehensive model of superconductivity by London brothers in 1934. Instead of theory-driven view of models, we suggest a phenomenologically-driven one. (shrink)

Although many philosophers of science have recognized the importance of modeling in contemporary science, relatively little work has been done in developing a general account of models. The most widely accepted account, put forth by advocates of the semantic conception of theories, misleadingly identifies scientific models with the models of mathematical logic. I present an alternative theory of scientific models in which models are defined by their representational relation to a physical system. I explore in (...) some detail a particular sort of model called a ‘mechanical model’ I illustrate the applicability of my approach by applying it to a problem in contemporary speech perception research. The model of models is used to analyze how competing models of the mechanisms of vowel normalization are constructed, tested, and revised. (shrink)

At present, people mainly focus on health education for adolescents. The health education of adolescents is related to future of adolescents. In youth, their emotions are easily influenced. Therefore, this manuscript constructs an interactive health education model for adolescents through affective computing. Researchers in various countries have done a lot of research on human–computer interaction, and affective computing is one of the research hotspots. This manuscript aims to study the use of affective computing to construct an interactive health education model (...) for adolescents. It proposed an interactive emotional algorithm based on emotional computing and focuses on the ICABoost algorithm. The experimental results of this paper show that the surveyed junior high school students are divided into three grades: the first, second, and third grades. Among them, 11, 11, and 13 were mentally healthy, with a total percentage of only 18.5%; 16, 14, and 16 were moderately severe in health education, accounting for 24.3%. The percentage of severe cases was 29.6%. It can be seen that, through the investigation of this manuscript, it can be seen that today’s youth health education should be paid attention to. Only by constructing a corresponding interactive health education model for young people can we promote the comprehensive and healthy development of young people. (shrink)

A probabilistic Chomsky–Schützenberger hierarchy of grammars is introduced and studied, with the aim of understanding the expressive power of generative models. We offer characterizations of the distributions definable at each level of the hierarchy, including probabilistic regular, context-free, (linear) indexed, context-sensitive, and unrestricted grammars, each corresponding to familiar probabilistic machine classes. Special attention is given to distributions on (unary notations for) positive integers. Unlike in the classical case where the "semi-linear" languages all collapse into the regular languages, using (...) analytic tools adapted from the classical setting we show there is no collapse in the probabilistic hierarchy: more distributions become definable at each level. We also address related issues such as closure under probabilistic conditioning. (shrink)