This article discusses the work of George Udny Yule in relation to the evolutionary synthesis and the biometric-Mendelian debate. It has generally been claimed that (i.) in 1902, Yule put forth the first account showing that the competing biometric and Mendelian programs could be synthesized. Furthermore, (ii.) the scientific figures who should have been most interested in this thesis (the biometricians W. F. Raphael Weldon and Karl Pearson, and the Mendelian William Bateson) were too blinded by personal animosity towards (...) each other to appreciate Yule's proposal. This essay provides a detailed account of (i.), maintaining that Yule's 1902 proposal is better understood as a reduction, not a synthesis of the two programs. The results of this analysis are then used to evaluate (ii.), where I will instead argue that Bateson and the biometricians had good reasons to avoid endorsing Yule's account. (shrink)

One important achievement Rudolf Carnap claimed for his book, The Logical Syntax of Language, was that it effected a synthesis of two seemingly antithetical philosophies of mathematics, logicism and formalism. Reconciling these widely divergent conceptions had been a goal of Carnap’s for several years. But in the years in which Carnap’s synthesis evolved, important intellectual developments influenced the direction of his efforts and, ultimately, the final outcome. These developments were, first of all, the epoch-making theorems proved by Kurt (...) Gödel, which required the abandonment of several theses central to the aims of logicism and formalism. Of far greater significance, in the present context, are the changes in Carnap’s own philosophical outlook, brought about not only by Gödel’s theorems but concurrent discussions within the Vienna Circle as well as his own researches. Consequently, the exact sense in which Carnap attempted the synthesis of logicism and formalism in the Logical Syntax requires careful examination. In what follows below, the evolution of Carnap’s synthesis will be traced, from the first reconciliation he proposed , through the synthesis that appeared with the publication of The Logical Syntax of Language. The aim is to determine which modifications of Carnap’s synthesis were required by Gödel’s theorems, and which were motivated by changes in his own thinking. Although the characteristic theses of both logicism and formalism required profound modifications because of Gödel’s theorems, the philosophical impulses that originally fueled their programs retained much of their former virulence. But the changes in Carnap’s thought that ocurred in the years he was developing his synthesis especially affected his appreciation of the philosophical motivations underwriting the logicist approach, so that much of the philosophical insight that inspired it is lost, and Carnap’s combination of logicism and formalism is a putative synthesis at best. (shrink)

The Extended Evolutionary Synthesis (EES) debate is gaining ground in contemporary evolutionary biology. In parallel, a number of philosophical standpoints have emerged in an attempt to clarify what exactly is represented by the EES. For Massimo Pigliucci, we are in the wake of the newest instantiation of a persisting Kuhnian paradigm; in contrast, Telmo Pievani has contended that the transition to an EES could be best represented as a progressive reformation of a prior Lakatosian scientific research program, with (...) the extension of its Neo-Darwinian core and the addition of a brand-new protective belt of assumptions and auxiliary hypotheses. Here, we argue that those philosophical vantage points are not the only ways to interpret what current proposals to ‘extend’ the Modern Synthesis-derived ‘standard evolutionary theory’ (SET) entail in terms of theoretical change in evolutionary biology. We specifically propose the image of the emergent EES as a vast network of models and interweaved representations that, instantiated in diverse practices, are connected and related in multiple ways. Under that assumption, the EES could be articulated around a paraconsistent network of evolutionary theories (including some elements of the SET), as well as models, practices and representation systems of contemporary evolutionary biology, with edges and nodes that change their position and centrality as a consequence of the co-construction and stabilization of facts and historical discussions revolving around the epistemic goals of this area of the life sciences. We then critically examine the purported structure of the EES—published by Laland and collaborators in 2015—in light of our own network-based proposal. Finally, we consider which epistemic units of Evo-Devo are present or still missing from the EES, in preparation for further analyses of the topic of explanatory integration in this conceptual framework. (shrink)

In the paper, which pretends to be a program manifesto, its authors justify a necessity of the new theoretical approach to culture which they call a “strong program” in sociology of culture. While the existing sociological approaches to culture bear a reductionist character, the “strong program” treats culture in terms of its autonomy. After a general review of the sociological conceptions of culture authors analyze the most significant approaches within the “weak program.” In the core section (...) of the paper they discuss the required steps that will make a “strong program” possible on the grounds of synthesis of structuralism and hermeneutics. (shrink)

The program of the evolution of the base of knowledge in machines' mechanisms on the example of technical systems of arbitrary purpose and structure with the aim of formalization and structurization of knowledge for creation of new techniques of automatized projecting in suggested. The program is declared as the process of transference of the base of knowledge from its initial state into final one, at the permissible restrictions in quality and resources in real time. The program's concept (...) is based on the introduction of N-measured structural space. Discrete coordinates of the multi-measured vector of this space are: flathierarchical sets of languages, objects, problems, estimations, resources, restrictions, types of working areas, etc. The vectors' co-ordinates define the set of the program projects. The possibility of choice of the optimal program strategies' realization is discussed. The concept can be applied to objects of arbitrary purpose. (shrink)

The significance of the study is contingent upon two criteria. All objects in the actual world that can capture a researcher’s attention are inherently complicated. Furthermore, every commodity that an individual manufactures and every work of art that an individual develops are intricate in nature. The entirety of the processes that an individual perceives and instigates are intricate. Although many professions have established techniques for constructing intricate entities, there currently exists no universally applicable concepts or methodologies for comprehensively studying, designing, (...) producing, or generating complicated items.The objective of this work is two-fold: firstly, to develop a comprehensive methodology for analysing complex synthetic processes, and secondly, to propose universal models or synthesis mechanisms that can be used to systematically derive specific process synthesis algorithms for various practical applications. The ability to utilize generalized models and synthesis techniques is highly advantageous when designing realistic computer programming.The authors introduced a comprehensive process model and enumerated its characteristics. Using this concept, techniques for creating and suggesting processes have been formulated and put forward. The concept of a decomposition diagram enables the systematic design of intricate multi-level hierarchical processes. The multitude of processes and the intricacy of their combination give rise to the notion of formulating a synthesis theory. The acquired results can be regarded as the initial stage in the construction of such a theory. The authors’ proposed methods of process synthesis enable the deductive derivation of useful algorithms for application software. Although the concept of the breakdown scheme and synthesis procedures is relatively straightforward, this advancement has been suggested for the first time.In order to further this project, it is necessary to augment the generalized process model with supplementary traits and properties, as well as to further refine the synthesis procedures. A proposal is being made to initiate the development of a theory for synthesizing a comprehensive plan using the decomposition scheme and methods of synthesis and decomposition. (shrink)

The development of the Minimalist Program, Noam Chomsky's most recent generative model of linguistics, has been highly influential over the last twenty years. It has had significant implications not only for the conduct of linguistic analysis itself, but also for our understanding of the status of linguistics as a science. The reflections and analyses in this book contain insights into the strengths and the weaknesses of the MP. Among these are, a clarification of the content of the Strong Minimalist (...) Thesis ; a synthesis of Chomsky's linguistic and interdisciplinary discourses; and an analysis of the notion of optimal computation from conceptual, empirical and philosophical perspectives. This book will encourage graduate students and researchers in linguistics to reflect on the foundations of their discipline, and the interdisciplinary nature of the topics explored will appeal to those studying biolinguistics, neurolinguistics, the philosophy of language and other related disciplines. (shrink)

This book provides a synthesis of four versions of program semantic—srelational semantics, predicate transformer semantics, information systems, and domain theory—showing, through an exhaustive case study analysis, that it is possible to do back-and-forth translation from any of these versions of program semantics into any of the others, and demonstrating that while there are many variations of each, in principle they may be thought of as intertranslatable.

One foundational question in contemporarybiology is how to `rejoin evolution anddevelopment. The emerging research program(evolutionary developmental biology or`evo-devo) requires a meshing of disciplines,concepts, and explanations that have beendeveloped largely in independence over the pastcentury. In the attempt to comprehend thepresent separation between evolution anddevelopment much attention has been paid to thesplit between genetics and embryology in theearly part of the 20th century with itscodification in the exclusion of embryologyfrom the Modern Synthesis. This encourages acharacterization of evolutionary developmentalbiology as (...) the marriage of evolutionary theoryand embryology via developmental genetics. Butthere remains a largely untold story about thesignificance of morphology and comparativeanatomy (also minimized in the ModernSynthesis). Functional and evolutionarymorphology are critical for understanding thedevelopment of a concept central toevolutionary developmental biology,evolutionary innovation. Highlighting thediscipline of morphology and the concepts ofinnovation and novelty provides an alternativeway of conceptualizing the `evo and the `devoto be synthesized. (shrink)

BackgroundYouth substance use is a public health problem globally, where alcohol is one of the drugs most consumed by children, and youth prevention is the best intervention for drug abuse.ObjectiveReview the latest evidence of alcohol use prevention programs in empirical research, oriented to all fields of action among children and youth.MethodsA narrative and critical review was carried out within international databases in August 2021 and was limited to empirical studies that appeared in the last five years. A flow diagram was (...) used according to the PRISMA statements. Empirical research articles in English with RCTs and quasi-experimental design that included alcohol, children, and young people up to 19 years of age were included. The authors examined the results and conceptual frameworks of the Prevention programs by fields of action.ResultsTwenty-two articles were found from four fields of action: school, family, community, and web-based, representing 16 alcohol prevention programs. School-based alcohol prevention programs are clinically relevant [Theory of Planned Behavior, Refuse, Remove, Reasons, Preventure, The GOOD Life, Mantente REAL, Motivational Interviewing, Primavera, Fresh Start, Bridges/Puentes], they are effective in increasing attitudes and intentions toward alcohol prevention behavior, while decreasing social norms and acceptance of alcohol, reducing intoxication, and increasing perceptions with regards to the negative consequences of drinking.DiscussionThis narrative and critical review provides an updated synthesis of the evidence for prevention programs in the school, family, community, and web-based fields of action, where a more significant number of programs exist that are applied within schools and for which would have greater clinical relevance. However, the prevention programs utilized in the other fields of action require further investigation. (shrink)

Nursing research using concept analysis plays a critical role for knowledge development, particularly when concerning to broad and foundational concepts for nursing practice, such as dignity. This study aimed to synthesize research concerning concept analysis of dignity in nursing care. Based on a literature review, electronic databases were searched using the terms “dignity,” “human dignity,” “concept analysis,” and nurs*. Papers in Portuguese or English were included. The research synthesis was conducted independently by two reviewers. A total of 35 citations (...) were identified and seven papers were included. Six studies were elected using Walker and Avant concept analysis methodology while one applied the Beth Rodgers evolutionary model. The concept of dignity has been studied by nurses, and its attributes, antecedents, consequences, and similar concepts were synthesized into a definition. Dignity emerged as a fundamental concept in nursing ethics and the main attributes synthesized were personhood, sociability, respect, and autonomy. The antecedents identified were: facilitators—patient focus care, recognition, education, and ethical competence; threats—vulnerability and organizational environment. The consequences were positive coping, empowerment, and dignity preservation. The synthesis of these seven studies using concept analysis provided a clear definition of dignity. These findings challenge future research and education, particularly for the study of undergraduate and postgraduate nursing education programs to enhance skills for preserving patient dignity in clinical practice. (shrink)

The theological program of Archpriest Georges Florovsky is understood as a conception of the neopatristic synthesis that he developed. From the beginning, its appearance was associated with the participation of its creator in a public discussion about the historical ways of Russia within the framework of the Eurasian movement, then, with his scientific investigations into the history of Russian Orthodoxy and ancient Christian thought and later with his activity in the ecumenical movement. It is noteworthy that the positive (...) content of the program for modern Orthodox theology turned out to be an indirect response to broader challenges of historical and social order. The focus of attention in this case are some peculiarities in the reception of the program in international and Russian contexts, which in turn requires the clarification of the content of its main points, such as a question about a true fatherland or the sense and meaning of Christian Hellenism. The conclusion notes the significant relevance and openness of Florovsky’s ideas for modern Orthodox theology. (shrink)

Abstract.The German zoologist and geneticist Ludwig Plate was a pupil and successor of the “German Darwin” Ernst Haeckel as the director of the Institute of Zoology at Jena University. Plate campaigned for a revival of the original Darwinism. His research program, which he labelled “old-Darwinism”, proclaimed the synthesis of selectionism with “moderate Lamarckism” and orthogenesis.This article reconstructs and analyses Plate’s “old-Darwinian” synthesis and sheds light on Plate’s controversial biography, especially his conflict with Haeckel.

Dignity is a value inherent to all human beings, guaranteed to every individual from birth, and influenced by culture and society. It is protected by various laws and declarations, and represents one of the fundamental human rights. Preserving human dignity is an essential aspect of nursing practice and a central element of care. Dignity is a highly subjective and personal concept; there may be variations in the way that patients perceive it and in the ways that nurses can guarantee it. (...) A systematic review of the qualitative literature was conducted to obtain a comprehensive understanding of adult patients’ perceptions of dignity in a hospital setting. This review adhered to the PRISMA Statement for reporting systematic reviews, and the results were reported in accordance with the Enhancing Transparency in Reporting the Synthesis of Qualitative Research (ENTREQ) guidelines. Major databases (PubMed, CINAHL, Scopus, and PsycINFO) were consulted and resulted in the inclusion of 21 studies. Methodological quality was assessed using the Critical Appraisal Skills Program (CASP) Checklist for Qualitative Studies. Six main themes emerged from the data analysis: (1) The concept of dignity and its various dimensions; (2) The significance of maintaining one’s own privacy and confidentiality; (3) The hospital environment’s influence on patients’ dignity; (4) Healthcare professionals’ characteristics and behaviours that affect dignity; (5) The role of communication and the relationship with healthcare providers; and (6) The patient’s ability to make choices and be involved actively in their care. These findings underscore the importance of understanding caregivers’ perspectives on dignity to ensure that they provide respectful and dignified care and treatment that prioritizes the patient’s mental and physical needs. (shrink)

The program of Evolutionary Ethics (EE) is based on the assumption that our moral features constitute adaptations and as such are to be explained in terms of the evolutionary process of natural selection. However, the fundamental assumption of EE was seriously put into question: the level of analysis relevant for moral features is essentially ontogeny and culture, while the explanation using natural selection applies to the level of phylogeny and genes (Sober, 1995; Ayala, 1995; Okasha, 2009). To the discussion (...) on the validity of the program of EE we propose to bring the recent program of Extended Synthesis (ES, Pigliucci & Muller, 2010), because it attempts to account for the role of the ontogeny in evolution. We conclude, nevertheless, that ES fails to properly account for the importance of ontogeny in evolutionary processes because by extending the notion of inheritance it (con-)fuses the notions of unit of inheritance and of unit of selection (against the well-known distinction made by Hull, 1980). (shrink)

This paper serves as an introduction to the special issue on “Reconciling Nature and Nurture in Behavior and Cognition Research” and sets its agenda to resolve the 'interactionist' dichotomy of nature as the genetic, and stable, factors of development, and nurture as the environmental, and plastic influences. In contrast to this received view it promotes the idea that all traits, no matter how developmentally fixed or universal they seem, contingently develop out of a single-cell state through the interaction of a (...) multitude of developmental resources that defies any easy, dichotomous separation. It goes on to analyze the necessary ingredients for such a radical, epigenetic account of development, heredity and evolution: 1. A detailed understanding of the epigenetic nature of the regulatory mechanisms of gene expression; 2. The systematical questioning of preconceptions of 'explanatory' categories of behavior, such as 'innate' or 'programmed'; 3. Especially in psychological research the integration of the concepts of 'development' and 'learning', and a richer classification of the concept of 'environment' in the production of behavior; 4. A fuller understanding of the nature of inheritance that transcends the restriction to the genetic material as the sole hereditary unit, and the study of the process of developmental niche construction; and last 5. Taking serious the role of ecology in development and evolution. I hope that an accomplishment of the above task will then lead to a 'postgenomic' synthesis of nature and nurture that conceptualizes 'nature' as the natural phenotypic outcome 'nurtured' by the natural developmental process leading to it. (shrink)

This volume includes Felix Noeggerath's dissertation from 1916, published here for the first time in a reliable critical edition. The dissertation represents a daring and far-reaching re-conceptualization of Kantian and neo-Kantian thought that consists in "critique of anti-rationalism," especially in the form of vitalism. Both Kant's and Hermann Cohen's philosophies can be experienced anew through the far-reaching optic that Noeggerath developed - an optic that he reiterates and develops into a comprehensive theory of art in a 1951 essay - republished (...) here, as well. The introduction by Hartwig Wiebebach provides an overview and incisive analysis of Noeggerath's philosophical program, while the afterword by Peter Fenves describes in detail the effect of Noeggerath's thought on Walter Benjamin's own attempts at a critique of anti-rationalism. Altogether, the volume provides a new point of access to the important legacy of neo-Kantian thought in the early twentieth century not only in terms of the systematic philosophy, but also in relation to the theory of art and the philosophy of modern science. (shrink)

Huxley coined the phrase, the “evolutionary synthesis” to refer to the acceptance by a vast majority of biologists in the mid-20th Century of a “synthetic” view of evolution. According to this view, natural selection acting on minor hereditary variation was the primary cause of both adaptive change within populations and major changes, such as speciation and the evolution of higher taxa, such as families and genera. This was, roughly, a synthesis of Mendelian genetics and Darwinian evolutionary theory; it (...) was a demonstration that prior barriers to understanding between various subdisciplines in the life sciences could be removed. The relevance of different domains in biology to one another was established under a common research program. The evolutionary synthesis may be broken down into two periods, the “early” synthesis from 1918 through 1932, and what is more often called the “modern synthesis” from 1936-1947. The authors most commonly associated with the early synthesis are J.B.S. Haldane, R.A. Fisher, and S. Wright. These three figures authored a number of important synthetic advances; first, they demonstrated the compatibility of a Mendelian, particulate theory of inheritance with the results of Biometry, a study of the correlations of measures of traits between relatives. Second, they developed the theoretical framework for evolutionary biology, classical population genetics. This is a family of mathematical models representing evolution as change in genotype frequencies, from one generation to the next, as a product of selection, mutation, migration, and drift, or chance. Third, there was a broader synthesis of population genetics with cytology, genetics, and biochemistry, as well as both empirical and mathematical demonstrations to the effect that very small selective forces acting over a relatively long time were able to generate substantial evolutionary change, a novel and surprising result to many skeptics of Darwinian gradualist views. The later “modern” synthesis is most often identified with the work of Mayr, Dobzhansky and Simpson. There was a major institutional change in biology at this stage, insofar as different subdisciplines formerly housed in different departments, and with different methodologies were united under the same institutional umbrella of “evolutionary biology.” Mayr played an important role as a community architect, in founding the Society for the Study of Evolution, and the journal Evolution, which drew together work in systematics, biogeography, paleontology, and theoretical population genetics. (shrink)

Evolutionary epistemology has experienced a continuous rise over the last decades. Important new theoretical considerations and novel empirical findings have been integrated into the existing framework. In this paper, I would like to suggest three lines of research that I believe will significantly contribute to further advance EE: ontogenetic considerations, key ideas from cognitive biology, and the framework of the Extended Evolutionary Synthesis. EE, in particular the program of the evolution of epistemological mechanisms, seeks to provide a phylogenetic (...) account of the generation of cognitive processes underlying knowledge creation. Traditionally, EE and EEM have been oriented towards an account of evolutionary theory that mainly drew from the tenets of the Modern Synthesis. The Modern Synthesis largely dismisses ontogenetic processes and considers them irrelevant for evolutionary explanations. If anything, the role of development in evolution is believed to be that of a constraint. There is, however, ample evidence for a tight intertwinement of developmental and evolutionary processes. Organisms employ their cognitive apparatus to interact with the environment in order to achieve a fully functioning perceptual and cognitive nervous system. Also, ontogeny provides generative potentials to enable variations that natural selection can act upon. EEM’s agenda may, therefore, strongly benefit from bringing together ontogenetic and phylogenetic approaches. To grapple with this challenge, an alternative vision of the evolutionary theory termed Extended Evolutionary Synthesis could be used. This extended evolutionary theory explores relationships between the processes of individual development and phenotypic change during evolution and can provide a more suitable framework for EEM to draw from. In recent years, cognitive biology has gained momentum as an independent research field. Cognitive biology builds on the concepts of EEM and understands knowledge as a biogenic phenomenon. Its main objective is also the formulation of substantiated interrelations between cognition and evolution but it focuses on cognitive functionality at all levels of biological organization. It thus employs a “vertical” approach that encompasses nested hierarchies which span from single molecules, cells, and tissues to the organismal level, communities, and societies. In contrast to cognitive biology, EEM is here understood to adopt a “horizontal” approach that focuses on phylogenetic explanations of cognition and knowledge acquisition. Linking EEM with the key ideas of cognitive biology could make EEM’s research program stronger as it can more easily accommodate phylogenetic and ontogenetic questions within a hierarchical, multilevel perspective. This is of particular importance for a more comprehensive account of cognition since living systems are subject to context-dependent causal influences from different organizational levels. In addition to EEM, there is a second program of EE. This program has been labeled evolutionary epistemology of theories and understands the increase in human knowledge, such as scientific theories, as naturalistic accounts of evolution. Both, EEM and EET initially drew from the core concepts of the Modern Synthesis. Several scholars have severely criticized the analogies made between EET and the Neo-Darwinian key processes of evolution. In particular processes of random mutation, the rate of variation, natural selection as the unique driving force, and the adaptationist agenda are believed to reveal disanalogies. In contrast to the Modern Synthesis, the Extended Evolutionary Synthesis not only recognizes developmental processes but also ecological interactions and systems dynamics as well as social and cultural evolutionary reciprocity as important evolutionary processes. Concepts of the Extended Evolutionary Synthesis are therefore expected to be more fruitful for re-conceptualizing parallels between scientific theorizing and biological evolution. (shrink)

Background Respectful maternity care (RMC) emphasizes the social and relational elements of maternity care and is a crucial part of initiatives to improve service accessibility and quality. Women's perceptions have influenced much of what we know about RMC and contempt in the labor ward. In order to understand midwives' perspectives of RMC, this meta-synthesis focused on them. Method For this inquiry, the databases PubMed/Medline, Embase, Web of Science, and Scopus were searched to find studies on midwives' perceptions of RMC (...) written between 2011 and April 20th 2023. The included articles were to English language restriction. The results of the included research were examined using thematic analysis. Using the inclusion criteria, 84 potentially relevant articles were carefully reviewed, and only 22 were ultimately selected for synthesis. The quality of the qualitative study was assessed using the CASP, a tool for quality evaluation and PRISMA guidelines were followed. Using the MAXQDA program, the cited quotes and the original authors' interpretations were combined. Result There were 22 studies total, thematic synthesis was determined to be appropriate for a total of 22 research studies. Following are the topics which we summarized our analysis: in six major themes: Midwives’ conceptualizations of RMC, Midwives commitment to woman’s rights, The value and impact of RMC to midwives, Midwife’s perception of disrespectful care, Challenges in providing respectful maternity care, and Midwives’ recommendations for optimal RMC practice. Conclusion In addition to specific focus on promoting cooperation, policies to enhance health systems and strategic consideration of the midwifery profession's future are required. (shrink)

A familiar story about mid-twentieth-century American psychology tells of the replacement of behaviorism by cognitive science. Between these two, however, lay a borderland, muddy and much trespassed-upon. This paper relocates the origins of the Chomskyan program in linguistics there. Following his introduction of transformational generative grammar, Chomsky mounted a highly publicized attack on behaviorist psychology. Yet when he first developed that approach to grammar, he was a defender of behaviorism. His anti-behaviorism emerged only in the course of what became (...) a systematic repudiation of the work of the Cornell linguist C. F. Hockett. In the name of the positivist Unity-of-Science movement, Hockett had synthesized an approach to grammar based on statistical communication theory; a behaviorist view of language acquisition in children as a process of association and analogy; and an interest in uncovering the Darwinian origins of language. In criticizing Hockett on grammar, Chomsky came to engage gradually and critically with the whole Hockettian synthesis. Situating Chomsky thus within his own disciplinary matrix suggests lessons for students of disciplinary politics generally and – famously with Chomsky – the place of political discipline within a scientific life. (shrink)

This is a review of the book Mozg - kultura - socium. Kantianskaya programma v cognitivnykh issledovaniyakh by Bazhanov V.A. The author`s main aim is a reconsideration of some fundamental principles of epistemology and philosophy of science in the light of state-of-the-art advancements of neurosciences. According to the author of the book, social and cultural revolution in neurosciences has been crucially modifying the initial Kantian program of consciousness research and the modes of linguistic representation of its results. In particular, (...) in epistemology the universal concept of transcendental subject has been altered with regard to neurobiological and social data, which concern some preconditions of cognitive activity. In philosophy of science such a shift of research perspective allows to implement a naturalistic interpretation of natural sciences, clarifies the problem of empirical foundations of mathematics and sheds a new light on the problem of apriori elements of mathematical thought. The analysis of evolutionary and neurobiological preconditions of logical thought leads to the sort of revival of psychologism program in logic, which enables author to put forward an original interpretation of the problem of plurality of logical systems. Finally, some topics of social sciences as well as problems of genesis of art, ethical and religious systems, can acquire new interpretation with respect to modern investigations in cognitive science. (shrink)

Scientific conflicts often stem from differences in the conceptual framework through which scientists view and understand their own field. In this chapter, I analyze the ontological and methodological assumptions of three traditions in evolutionary biology, namely, Ernst Mayr’s population thinking, the gene-centered view of the Modern Syn thesis, and the Extended Evolutionary Synthesis. Each of these frameworks presupposes a different account of "evolutionary causes," and this discrepancy prevents mutual understanding and objective evaluation in the recent contention surrounding the EES. (...) From this perspective, the chapter characterizes the EES research program as an attempt to introduce causal structures beyond genes as additional units of evolution, and compares its research methodology and objectives with those of the traditional MS framework. (shrink)

The object of this paper is to reply to Morrison's ([2000]) claim that while ‘structural unity’ was achieved at the level of the mathematical models of population genetics in the early synthesis, there was explanatory disunity. I argue to the contrary, that the early synthesis effected by the founders of theoretical population genetics was unifying and explanatory both. Defending this requires a reconsideration of Morrison's notion of explanation. In Morrison's view, all and only answers to ‘why’ questions which (...) include the ‘cause or mechanism’ for some phenomenon count as explanatory. In my view, mathematical demonstrations that answer ‘how possibly’ and ‘why necessarily’ questions may also count as explanatory. The authors of the synthesis explained how evolution was possible on a Mendelian system of inheritance, answered skepticism about the sufficiency of selection, and thus explained why and how a Darwinian research program was warranted. While today we take many of these claims as obvious, they required argument, and part of the explanatory work of the formal sciences is providing such arguments. Surely, Fisher and Wright had competing views as to the optimal means of generating adaptation. Nevertheless, they had common opponents and a common unifying and explanatory goal that their mathematical demonstrations served. Introduction: Morrison's challenge Fisher v. Wright revisited The early synthesis Conclusion: unification and explanation reconciled. (shrink)

The ELSI Program: Closing the Loop was an interpretive policy study undertaken to identify how the research and the researchers funded through the program to study the ethical, legal, and social implications of mapping the human genome contributed to the construction of a public policy agenda. The stated goals of this federal grant program, known as ELSI and administered through the National Center for Human Genome Research within the National Institutes of Health, was to maximize the benefits (...) and minimize the harms of the genetic information developed as a result of the government supported genomic research. The purpose of the research project was to generate meaning and understanding regarding the social constructions of this community of researchers. Specifically, identifying themes in the process and outcomes of the research activity was intended to inform future public policy actions, thereby, closing the loop on the reflexive activity generated by the ELSI Program. The activities of the sixty-four researchers granted awards between 1990 and 1993 comprised the core sample for the study. The research process was embedded in a constructivist philosophy and the design included participant observation and an analysis of textual materials generated by the grantees. Data included periodical articles, authored and edited books, videos, popular print and visual media materials, conference papers and presentations, forum reports, interviews, and materials generated by the researcher in the process of the research--notes and analytic memos. Data analysis was an interpretive synthesis of a content analysis, contextual analysis, grounded theory coding categories, and the reflexive process of the researcher. ;The phenomena under investigation were the interactional activities of the ELSI group of researchers through which meaning was shaped on the ethical, legal, and social implications of genomic mapping. A theoretical model of the constructions of the researchers as developed included two core categories: "Framing Academic Constructions" and "Institutionalizing the Myth". The ELSI researchers used a variety of strategies, including rhetorical questioning, professional blocking and impersonalizing, plying a trade, and academic time in generating constructions. The research and researchers contributed to institutionalizing a myth of a genome through strategies that included being the expert, narrowing the focus, and marveling. The consequence of these social interactions was a process of "Making Points Not Meaning", participation in symbolic activities that generated few issues for the public policy agenda. The constructions of the policy study were then situated in the context of the discipline of public administration and policy studies. Significant to the impact of the research findings was understanding how the cooptation of these researchers might effect an health care delivery system dominated by commercial interests such as biotechnology and managed care organizations. The study concluded with a discussion of how situated knowledge constructions, social epistemology, interdisciplinarity, and interpretive research methods might contribute to enhanced credibility in public policy actions. (shrink)

In this paper I propose a new interpretation of the British evolutionary synthesis. The synthetic work of J. B. S. Haldane, R. A. Fisher and J. S. Huxley was characterized by both an integration of Mendelism and Darwinism and the unification of different biological subdisciplines within a coherent framework. But it must also be seen as a bold and synthetic Darwinian program in which the biosciences served as a utopian blueprint for the progress of civilization. Describing the futuristic (...) visions of these three scientists in their synthetic heydays, I show that, despite a number of important divergences, their biopolitical ideals could be biased toward a controlled and regimented utopian society. Their common ideals entailed a social order where liberal and democratic principles were partially or totally suspended in favor of bioscientific control and planning for the future. Finally, I will argue that the original redefinition of Darwinism that modern synthesizers proposed is a significant historical example of how Darwinism has been used and adapted in different contexts. The lesson I draw from this account is a venerable one: that, whenever we wish to define Darwinism, we need to recognize not only its scientific content and achievements but expose the other traditions and ideologies it may have supported. (shrink)

AI has become the poster child for a certain kind of thinking which holds that some technologies can become objective, independent and emergent entities which can evolve beyond the control of their creators. This thinking is not new however. It is a product of certain philosophical ideas such as materialism, a common-sense world of objective and independent objects, a correspondence theory of truth, and so forth, which are centered around the pre-eminence of science, epistemology, and logical reasoning, among others, as (...) the supremely valid modes of engaging experience. This paper aims to critically examine the synthesis of the development program for AI to be found in the writings of computer scientist John McCarthy (1927–2011). McCarthy has been called one of the founding fathers of AI. First, some of the main themes which recur in his writings from as early as the mid nineteen fifties in the Dartmouth proposal, up to his late writings, are considered. A discussion of the goals that such a program implies, follows, in terms of society’s relation with AI based technology and the nature and purpose of AI itself. These implications are arguably related to social control and are also moral. Ultimately, McCarthy’s idea that AI is and can be built upon a paradigm of reasoning and logic so as to simulate a perfectly rational abstraction of human thinking is shown to be motivated by his view that AI systems should be controlled, as servants. This understanding of human thinking is questionable, however, given current research on human irrationality, as well as on the argumentative role of reasoning. And yet, the process of development toward the unachievable goal of controllable, rational, logical AI systems, has handily come to serve as a blind for increasing techno-corporate control of society, with techno-corporate interests displacing blame for devaluations and harms caused by their push to develop the technology to AI systems which they can conveniently ‘lose control of.’. (shrink)

This paper attempts to answer a central question in unsupervised learning: what does it mean to “make sense” of a sensory sequence? In our formalization, making sense involves constructing a symbolic causal theory that both explains the sensory sequence and also satisfies a set of unity conditions. The unity conditions insist that the constituents of the causal theory – objects, properties, and laws – must be integrated into a coherent whole. On our account, making sense of sensory input is a (...) type of program synthesis, but it is unsupervised program synthesis. Our second contribution is a computer implementation, the Apperception Engine, that was designed to satisfy the above requirements. Our system is able to produce interpretable human-readable causal theories from very small amounts of data, because of the strong inductive bias provided by the unity conditions. A causal theory produced by our system is able to predict future sensor readings, as well as retrodict earlier readings, and impute (fill in the blanks of) missing sensory readings, in any combination. In fact, it is able to do all three tasks simultaneously. We tested the engine in a diverse variety of domains, including cellular automata, rhythms and simple nursery tunes, multi-modal binding problems, occlusion tasks, and sequence induction intelligence tests. In each domain, we test our engine's ability to predict future sensor values, retrodict earlier sensor values, and impute missing sensory data. The Apperception Engine performs well in all these domains, significantly out-performing neural net baselines. We note in particular that in the sequence induction intelligence tests, our system achieved human-level performance. This is notable because our system is not a bespoke system designed specifically to solve intelligence tests, but a general-purpose system that was designed to make sense of any sensory sequence. (shrink)

El artículo tiene como objetivo exponer los fundamentos en que se sustenta la metodología de evaluación de impacto social de un programa de salud con vistas a mejorar la calidad de los servicios en el sector. El producto científico presentado muestra el análisis y síntesis de documentos a partir de la bibliografía actualizada publicada en revistas digitales como Salud Pública Cubana; libros y materiales de autores de reconocido prestigio. La propuesta contempla cuatro etapas fundamentales, cuyas bases teóricas fueron asumidas de (...) investigaciones con este objeto de estudio en el contexto nacional e internacional. This article aims at setting out the fundamentals that support the assessment methodology of social impact of a health program in order to improve the quality of health care services provided in the sector. The scientific product presented shows the analysis and synthesis of documents starting from updated bibliography published in digital journals such as Cuban Public Health; books and materials from prestigious authors. The proposal has four main stages which theoretical basis were taken from researches with the same object of study in a national and international context. (shrink)

The fact that all languages known are digital poses the question of their origin. The answer developed here treats language as the interface of information theory and molecular development by showing previously unrecognized isomorphisms between the analog and digital features of language and life at the molecular level. Human language is a special case of signal transduction and hence is subject to the coding aspects of Shannon's theorems and the analog aspects of pattern recognition, each represented by genotype and phenotype. (...) Digital language acquisition is late in evolution and postnatal development and requires a neural reorganization by a mechanism of somatic network programming in response to the environment. Such a mechanism would solve the Chomsky conundrum of how children can learn any language without knowing rules of grammar too numerous to be encoded genotypically. BioEssays 25:489–500, 2003. © 2003 Wiley Periodicals, Inc. (shrink)

Handwriting is a complex activity that involves continuous interaction between lower-level handwriting and motor skills and higher-order cognitive processes. It is important to allocate mental resources to these high-order processes since these processes place a great demand on cognitive capacity. This is possible when lower-level skills such as transcription are effortlessness and fluent. Given that fluency is a value in virtually all areas of academic learning, schools should provide instructional activities to promote writing fluency from the first stages of learning (...) to write. In an effort to determine if teaching handwriting enhances writing fluency, we conducted a systematic and meta-analytic review of the writing fluency intervention literature. We selected 31 studies: 21 true and quasi-experimental studies, 4 single-group design, 3 single-subject design, and 3 non-experimental studies, conducted with K-6 students in a regular school setting. A total of 2,030 students participated in these studies. When compared to no instruction or non-handwriting instructional conditions, teaching different handwriting intervention programs resulted in statistically significant greater writing fluency (ES = 0.64). Moreover, three specific handwriting interventions yielded statistically significant results in improving writing fluency, when compared to other handwriting interventions or to typical handwriting instruction conditions: handwriting focused on training timed transcription skills (ES = 0.49), multicomponent handwriting treatments (ES = 0.40), and performance feedback (ES = 0.36). There were not enough data to calculate the impact of sensory-motor and self-regulated strategy handwriting interventions on writing fluency. The significance of these findings for implementing and differentiating handwriting fluency instruction and guiding future research will be discussed. (shrink)

Metastasis is one of the clinical parameters that has a strong negative influence on the prognosis of cancer patients. In recent years, significant advances have furthered our understanding of this process at the molecular and biological levels. This paper will discuss recent discoveries relating to the earliest, intra‐tumoral stages of metastasis in cancer cells, specifically focusing on: (i) the development of metastatic traits during primary tumorigenesis; (ii) intrinsic and extrinsic cancer cell programs associated with malignant traits; (iii) the intra‐tumoral migration (...) patterns of cancer cells and the dynamic roles played by the Rho/Rac GTPases and epithelial‐mesenchymal transitions in this process; and (iv) the genetic strategies used by metastatic cancer cells to promote intra‐tumoral cell migration and their subsequent escape to peripheral tissues. Finally, the therapeutic and diagnostic relevance of this information will be discussed, as well as potential future developments. (shrink)

Program synthesis is a process that obtains an efficient program out of a specification, preserving its meaning. Fork algebras have been proposed as an algebraic basis for the construction of a program synthesis environment. These algebras have an expressive power that encompasses that of first order logic, and they are also the right abstraction of the set model that considers programs as partial binary relations; these results make fork algebras a sound and powerful framework for (...) this task.An important step in the software construction process is the correct selection and manipulation of datatypes, because they are a powerful tool - with them modularization is easy, and enhancement of readability and early error detection are obtained. Algebraic datatypes , are an important class of datatypes because their properties are of great relevance in program transformation.The main goals of this work are to provide a general mechanism for defining algebraic datatypes in the framework of fork algebras, and, at the same time, establish a syntax that simplifies the notation for the specifications. (shrink)

Entrepreneurship is the dominant form of enterprise in conflict-affected settings, yet little is known about the role of entrepreneurship in peacebuilding. In response, this article undertakes a review of entrepreneurship in conflict-affected regions to integrate research from business and management with research from political science, international relations, and parallel domains. Three views of entrepreneurship emerge—the destructive view, economic view, and social cohesion view—showing how entrepreneurship can concurrently create conflict but also potentially generate peace. The article identifies new avenues for pro-peace (...) entrepreneurship: namely, through personal transformation, social contributions, inclusive interactions, conflict trigger removal, intergroup policy persuasion, and acting as legal champions. This article also discusses several pathways forward for business-for-peace research alongside additional implications for the deployment of business-based support programs in conflict settings. (shrink)

One major milestone in the development of the sea urchin embryo is the assembly of a single cilium on each blastomere just before hatching. These cilia are constructed both from pre‐existing protein building blocks, such as tubulin and dynein, and from a number of 9+2 architectural elements that are synthesized de novo at ciliogenesis. The finite or quantal synthesis of certain key architectural proteins is coincident with ciliary elongation and proportional to ciliary length. Upon deciliation, the synthesis of (...) architectural proteins occurs anew, a new cilium grows, and the stores of various building blocks are replenished. This routine of coordinated ciliary gene expression may be replayed experimentally many times without delaying normal development. The ability to regenerate cilia has allowed elucidation of these various protein synthetic relationships and has led to the discovery of the pathways by which membrane‐associated tubulin and axoneme‐associated architectural proteins are conveyed into the highly compartmentalized growing cilium. The sea urchin embryo thus provides a very convenient model system for studies of ciliary assembly and maintenance, coordinate gene expression and membrane dynamics. (shrink)

Barley aleurone cells have long served as a model system for studying the regulation of gene expression in plants. In this review we survey what is known about hormone‐regulated gene expression in aleurone cells. We also describe the effects of heat stress on gene expression in this system, and speculate how the aleurone cell prioritizes its response between hormone‐induced and environment‐induced programs of gene expression.

In program synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. When the system is open, then at each moment it reads input signals and writes output signals, which depend on the input signals and the history of the computation so far. The specification considers all possible input sequences. Thus, if the specification is linear, it should hold in every computation generated by the interaction, and if the specification is branching, it should (...) hold in the tree that embodies all possible input sequences. Often, the system cannot read all the input signals generated by its environment. For example, in a distributed setting, it might be that each process can read input signals of only part of the underlying processes. Then, we should transform a specification into a system whose output depends only on the readable parts of the input signals and the history of the computation. This is called synthesis with incomplete information. In this work we solve the problem of synthesis with incomplete information in its full generality. We consider linear and branching settings with complete and incomplete information. We claim that alternation is a suitable and helpful mechanism for coping with incomplete information. Using alternating tree automata, we show that incomplete information does not make the synthesis problem more complex, in both the linear and the branching paradigm. In particular, we prove that independently of the presence of incomplete information, the synthesis problems for CTL and CTL * are complete for EXPTIME and 2EXPTIME, respectively. (shrink)

A number of general points behind the story of this paper may be worth setting out separately, now that we have come to the end.There is perhaps one obvious omission to be addressed right away. Although the word “information” has occurred throughout this paper, it must have struck the reader that we have had nothing to say on what information is. In this respect, our theories may be like those in physics: which do not explain what “energy” is (a notion (...) which seems quite similar to “information” in several ways), but only give some basic laws about its behaviour and transmission.The eventual recommendation made here has been to use a broad type-theoretic framework for studying various more classical and more dynamic notions of proposition in their interaction. This is not quite the viewpoint advocated by many current authors in the area, who argue for a whole-sale switch from a ‘static’ to a ‘dynamic’ perspective on propositions. This is not the place, however, to survey the conceptual arguments for and against such a more radical move.This still leaves many questions about possible reductions from one perspective to another. For instance, it would seem that classical systems ought to serve as a ‘limiting case’, which should still be valid after procedural details of some cognitive process have been forgotten. There are various ways of implementing the desired correspondence: e.g. by considering extreme cases with ⫅ equal to identity, or, in the pure relational algebra framework by considering only pairs (x, x). What we shall want then are reductions of dynamic logics, in those special cases, to classical logic. But perhaps also, more sophisticated views are possible. How do we take a piece of ‘dynamic’ prose, remove control instructions and the like, and obtain a piece of ‘classical’ text, suitable for inference ‘in the light of eternity’?There is also a more technical side to the matter of ‘reduction’. By now, Logic has reached such a state of ‘inter-translatability’ that almost all known variant logics can be embedded into each other, via suitable translations. In particular, once an adequate semantic has been given for a new system, this usually induces an embedding into standard logic: as we know, e.g., for the case of Modal Logic. Like-wise, all systems of dynamic interpretation or inference proposed so far admit of direct embedding into an ordinary ‘static’ predicate logic having explicit transition predicates (cf. van Benthem 1988b). Thus, our moral is this. The issue is not whether the new systems of information structure or processing are essentially beyond the expressive resources of traditional logical systems: for, they are not. The issue is rather which interesting phenomena and questions will be put into the right focus by them.The next broad issue concerns the specific use of the perspective proposed here, vis-à-vis concrete proposals for information-oriented or dynamic semantics. The general strategy advocated here is to locate some suitable base calculus and then consider which ‘extras’ are peculiar to the proposal. For instance, this is the spirit in which modal S4 would be a base logic of information models, and intuitionistic logicthe special theory devoting itself to upward persistent propositions. Or, with the examples in Section 4.1, the underlying base logic is our relational algebra, whereas, say, ordinary updates then impose special properties, such as ‘idempotence’: $$xRy \Rightarrow yRy$$ Does this kind of application presuppose the existence of one distinguished base logic, of which all others are extensions? This would be attractive-and some form of relational algebra or linear logic might be a reasonable candidate. Nevertheless, the enterprise does not rest on this outcome. What matters is an increased sensitivity to the ‘landscape’ of dynamic logics, just as with the ‘Categorial Hierarchy’ in Categorial Grammar (cf. van Benthem 1989a, 1991) where the family of logics with their interconnections seems more important than any specific patriarch.Finally, perhaps the most important issue in the new framework is the possibility of new kinds of questions arising precisely because of its differences from standard logic. Notably, given the option of regarding propositions as programs, it will be of interest to consider systematically which major questions about programming languages now make sense inside logic too.EXAMPLE. Correctness. When do we have $$\left[\kern-0.15em\left[ \pi \right]\kern-0.15em\right](\left[\kern-0.15em\left[ A \right]\kern-0.15em\right]) \subseteq \left[\kern-0.15em\left[ B \right]\kern-0.15em\right]$$ for (s, t) propositions A, B and a dynamic (s, (s, t)) proposition π?Program Synthesis. Which dynamic proposition will take us from an information state satisfying A to one satisfying B? (This question needs refinement, lest there be trivial answers.)Determinism. Which propositions as programs are deterministic, in the sense of defining single-valued functions from states to states?Querying. What does it mean to ask for information in the present setting? (Again, individual types referring to e will be crucial here.)This is not merely an agenda for wishful thinking. Within Logic, there are various ways of introducing such concerns into semantics, especially, using tools from Automata Theory. (See van Benthem 1989c for further discussion of such computational perspectives in ‘cognitive programming’.)At least if one believes that ‘dynamics’ is of the essence in cognition (rather than a mere interfacing problem between the halls of eternal truth and the noisy streets of reality), the true test for the present enterprise is the development of a significant new research program not merely copying the questions of old. (shrink)

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4–9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.

An open question regarding how people develop their models of the world is how new candidates are generated for consideration out of infinitely many possibilities. We discuss the role that evolutionary mechanisms play in this process. Specifically, we argue that when it comes to developing a global world model, innovation is necessarily incremental, involving the generation and selection among random local mutations and recombinations of (parts of) one's current model. We argue that, by narrowing and guiding exploration, this feature of (...) cognitive search is what allows human learners to discover better theories, without ever grappling directly with the problem of finding a “global optimum,” or best possible world model. We suggest this aspect of cognitive processing works analogously to how blind variation and selection mechanisms drive biological evolution. We propose algorithms developed for program synthesis provide candidate mechanisms for how human minds might achieve this. We discuss objections and implications of this perspective, finally suggesting that a better process-level understanding of how humans incrementally explore compositional theory spaces can shed light on how we think, and provide explanatory traction on fundamental cognitive biases, including anchoring, probability matching, and confirmation bias. (shrink)

This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra (...) with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others. (shrink)

In the 80's Pierangelo Miglioli, starting from motivations in the framework of Abstract Data Types and Program Synthesis, introduced semiconstructive theories, a family of large subsystems of classical theories that guarantee the computability of functions and predicates represented by suitable formulas. In general, the above computability results are guaranteed by algorithms based on a recursive enumeration of the theorems of the whole system. In this paper we present a family of semiconstructive systems, we call uniformly semiconstructive, that provide (...) computational procedures only involving formulas with bounded complexity. We present several examples of uniformly semiconstructive systems containing Harrop theories, induction principles and some well-known predicate intermediate principles. Among these, we give an account of semiconstructive and uniformly semiconstructive systems which lie between Intuitionistic and Classical Arithmetic and we discuss their constructive incompatibility. (shrink)