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)

A popular trend in the sciences of the mind is to understand cognition as embodied, embedded, enactive, ecological, and so on. While some of the work under the label of “embodied cognition” takes for granted key commitments of traditional cognitive science, other projects coincide in treating embodiment as the starting point for an entirely different way of investigating all of cognition. Focusing on the latter, this paper discusses how embodied cognitive science can be made more reflexive and more sensitive to (...) the implications that our views of cognition have for how we understand scientific practice, including our own theorizing about cognition. Inspired by the “strong programme” in the sociology of scientific knowledge, I explore the prospect of an analogously “strong” program in embodied cognitive science. I first draw from Dewey’s transactional notion of “situation” to identify a broad sense in which embodied cognitive science takes cognition, as an embodied phenomenon, to be _situated_. I then sketch a perspective I call _situated reflexivity_, which extends the Deweyan analysis to understand scientific practice in the same terms, and thereby illustrates what research in line with a strong program in embodied cognitive science can look like. This move, I propose, has the potential of setting up a new inquiry situation that makes more salient the embodiment of scientific practice and that, through this, can help organize our own embodied cognitive activities as we try to make sense of scientific work, including our own. (shrink)

In “A Tension in the Strong Program: The Relation between the Rational and the Social”, Shahram Shahryari (2021) advances the following thesis: In his Strong Program in the sociology of science, David Bloor blames traditional philosophy of science for adopting a dualist strategy in explaining scientific developments, as it employs rational explanation for successful science and social explanation for flawed science. Instead, according to Bloor, all scientific developments should be explained monistically, i.e. in terms of social (...) causes. This is also referred to as the Symmetry Principle, and it is a key tenet in the Strong Program. The author detects a tension here, as Bloor apparently asserts that traditional philosophy of science deploys two kinds of explanation, and simultaneously insists that there is only one kind, i.e. social explanation. (shrink)

The four tenets of the Strong Program are compatible with a scientific realism founded on an externalist epistemology. Such an epistemology allows that appropriate norms of rationality may differ from time to time, and from community to community, and thereby enables the realist to embrace strong forms of the ‘symmetry principle’. It also suggests a fruitful collaborative research program in externalist social epistemology. Some of what the Edinburgh School says about truth can also be accepted. But (...) the realist should reject the School's argument for the claim that there is no distinction between being rational and being locally accepted as rational, which seems to rest on a kind of epistemological internalism. Introducing the Strong Program Realism and the four tenets A stronger reading of symmetry Conflict and cooperation A note on discovery and justification Relativism and realism Truth Points of contention: the restriction of explanatory contrasts Points of contention: standards of rationality. (shrink)

In his article, “The Strong Program and Asymmetrical Explanation of the History of Science: A Reply to Collin” (Shahryari 2022b), Shahram Shahryari responds to my comments (in Collin 2022) upon his original article, “A Tension in the Strong Program: The Relation between the Rational and the Social” (Shahryari 2022a). I believe that in this new contribution, Shahryari changes the subject as compared to our original discussion. Hence, before I comment upon his recent contribution, I want to (...) recapitulate briefly the content of that discussion. (shrink)

(2001). How Should IVF Programs Handle Initial Disclosure of Information to Prospective Ovum Donors? The American Journal of Bioethics: Vol. 1, No. 4, pp. 23-25.

The validity of assessment programs is increasingly important in higher education. Existing approaches to assessment are problematic because they eitherfail to provide timely feedback or have suspect measurement issues. We propose a feed-forward assessment model to help overcome these two limitations oftraditional assessment approaches.

Advocating a sociological explanation of scientific knowledge, David Bloor protests against the adherents of the autonomy of knowledge; i.e., those who asymmetrically explain the credibility of theories in the history of science. These philosophers and historians regard the credibility of true and rational theories due to their proper reasons, while accounting for the acceptance of false or irrational beliefs by citing social causes. Bloor assumes that the credibility of all beliefs is socially influenced, and therefore considers all in need of (...) sociological explanation. To substantiate this claim, he argues that all epistemic factors that are appealed to in explaining true or rational beliefs are really social. However, this argument aligns rational entities with social factors, and thus, undermines the ground of this division. Therefore, his prior complaint of the autonomy of knowledge would be invalidated. Hence, there is a conflict between Bloor’s objection to the asymmetrical explanation of scientific theories and his account of the social construction of epistemic reasons. In this paper, we reveal this concealed conflict and attempt to suggest ways to resolve it. (shrink)

I argue that, despite recent attempts, the strong program in the sociology of knowledge cannot be applied as a general method of inquiry in the history of ideas. My main point is that its methodological commitments only allow the strong program to be fruitful in those fields of knowledge whose content can be given by truth conditions. But even in these fields sociological questions can be asked that are not sensitive to truth conditional content. In these (...) cases, as I argue, a hermeneutic method is more promising. (shrink)

The apparent liberalism of Raymond Aron's thought can be understood only in the context of the questions asked by the "continental" philosophical tradition. Aron contends that the strong neo-Kantian and existentialist trends which came together in Weber's work serve to split man off from meaningful intercourse with the social world. Aron intends to re-establish that intercourse. He attempts to show precisely what the consequences and responsibilities of making choices are for a man "thrown" into the world. Politics becomes focused (...) around the choice of values in a world delineated only in negative terms. Aron's program yields a low number of generalizable empirical conclusions and policy recommendations, and this is instructive to those who wish to practice "good" social science. (shrink)

This reply draws attention to the importance of taking into account the results of the study of the phenomenon of reflexivity in scientific knowledge, which have been obtained in the domestic philosophical and methodological tradition. We believe that taking this kind of results into account could enrich the analysis of the strong programme in the STS. We touch the origins of reflexive tendencies, the reflexive and non-reflexive in scientific knowledge, personal and transpersonal forms, the types and levels of reflexion (...) in science, as well as denote the mechanisms that allows taking an external position in relation to the subject about which reflexive procedures are carried out. (shrink)

Assisted reproductive technology has enabled thousands of infertile couples to experience the joys of parenthood. At various times, however, significant problems have come to light concerning the providing of infertility treatment in the United States. An early problem was misleading advertising by some infertility programs, particularly in regard to pregnancy success rates. This unacceptable activity suggested the need for more oversight of assisted reproductive technology and prompted the passage of a federal law requiring the reporting of success rates in a (...) standardized format. Another problem, one that was especially disturbing, was the transfer of preembryos to infertile women at the University of California, Irvine, without the consent of the progenitor couples. Disclosure of these events added fuel to the debate over whether assisted reproductive technology should be subject to greater governmental regulation. (shrink)

This article argues that the long-standing tension in Jeffrey Alexander’s work between theoretical multidimensionality and socio-cultural idealism has intensified in his recent writings, to problematical effect. Whilst Alexander has shifted of late towards a more substantive and normative style of thinking, his new emphases continue to be grounded in arguments pitched at the general theoretical level. One of these involves a particular reading of the nature of post-positivist meta-theory today, and the other, within this, is a determined effort to distinguish (...) a project of ‘cultural sociology’ from ‘sociology of culture’ approaches. I take issue with both of these theoretical moves, showing that they are rhetorically and conceptually flawed, and of a strongly idealist cast. They also run counter to those aspects of Alexander’s outlook that do seem more robustly multidimensional and sociologically promising. (shrink)

Affirmative action programs are not justified by compensatory justice. They place a disproportionate burden on white-male applicants. White-male applicants do not owe compensation because they committed a relevant wrongdoing or because they benefitted from another’s wrongdoing. They did not commit a relevant wrongdoing. Receipt of an unjust benefit, when unavoidable and mixed with hard work, does not justify a duty to compensate a victim of the injustice. Thus, the compensatory-justice argument for affirmative action fails.

This book's importance is derived from three sources: careful conceptualization of teacher induction from historical, methodological, and international perspectives; systematic reviews of research literature relevant to various aspects of teacher induction including its social, cultural, and political contexts, program components and forms, and the range of its effects; substantial empirical studies on the important issues of teacher induction with different kinds of methodologies that exemplify future directions and approaches to the research in teacher induction.

In the context of state educational institutions, young white males are owed a duty to respect their interest or desert tokens. Not all white males have waived this duty since many white males have not performed the relevant types of culpable wrongdoing. Merely having benefitted from an unjust injury act or being a member of a community that owe a debt of compensation to racial minorities and women are not sufficient grounds to override the duty owed to the white male. (...) Since the three most plausible attempts to provide a compensatory justice justification for strong affirmative action programs at state educational institutions fail, I conclude that the following is false. (1) Other things being equal, a state educational institution may choose to hire a less qualified candidate over a more qualified candidate because the weight given to the race or gender of the less qualified candidate relates to the elimination of a debt of compensatory justice. Hence, unless strong affirmative action programs at state educational institutions can be justified by reference to some other value, such as the value of diversity, the state ought to eliminate such programs. (shrink)

In “Missing the Forest for the Trees: Aduhelm, Accelerated Approvals & the Agency,” Dr. Matthew Herder argues that agency capture and politicized discretion drive delays in confirmatory trials of accelerated approval drugs amongst other concerns at US Food and Drug Administration (FDA). In highlighting this important problem and offering nuanced insight into agency workings based in part on interviews with twenty-three unnamed FDA officials and a three-drug case study, Dr. Herder suggests two innovative solutions. However, amidst broader debates balancing agency (...) expertise, data, and delegation, these proposed policy solutions would benefit from more corroborative evidence and consideration of institutional advantages within constitutional limits. (shrink)

Includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of (...) logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan. Logic Programming series, Research Reports and Notes. (shrink)

What psychological and philosophical significance should we attach to recent efforts at computer simulations of human cognitive capacities? In answering this question, I find it useful to distinguish what I will call "strong" AI from "weak" or "cautious" AI. According to weak AI, the principal value of the computer in the study of the mind is that it gives us a very powerful tool. For example, it enables us to formulate and test hypotheses in a more rigorous and precise (...) fashion. But according to strong AI, the computer is not merely a tool in the study of the mind; rather, the appropriately programmed computer really is a mind, in the sense that computers given the right programs can be literally said to. (shrink)

This note presents a point of view upon the notions of programsubstitution which are the tools for proving properties of programs of algorithmic logics [5], [3] being sufficiently strong and universal to comprise almost all previously introduced theories of programming, and the so-called extended algorithmic logic [1], [2] and algorithmic logic with nondeterministic programs [4]. It appears that the mentioned substitution rule allows us to examine more deeply algorithmic properties of terms, formulas and programs. Besides the problem of Post-completeness (...) and structural completeness of algorithmic logics strengthened additionally by the rule of substitution is raised. (shrink)

At a time when Americans are increasingly concerned with finding jobs and economic stability, supporting families, and surviving in the global economy, many consider the arts to be a luxury, a frivolous distraction which entices students away from real learning. In Strong Arts, Strong Schools, Charles Fowler argues that, far from a luxury, the arts are a vitally important part of our society and our schools. Speaking directly to educators, policy makers, and parents alike, Fowler presents a compelling (...) defense of the arts and their importance in our lives. The arts illuminate "life in all its mystery, misery, delight, pity and wonder." Without them, students are deprived of learning what it means to be truly human. The arts teach students how rather than what to think. Highlighting the crucial effect of the arts on learning, he contends that the arts teach skills that other basic subjects cannot--critical thinking and problem solving, judgment and independence, attention to detail and craftsmanship, and an openness to other cultures and ways of thinking. Arguing on behalf of the arts, Fowler shows how the arts can enliven and extend the entire school curriculum by integrating different subjects in innovative interdisciplinary ways, sparking the interest of at-risk or special needs students. "The best schools have the best arts programs," writes Fowler. "Excellence in education and excellence in the arts go hand in hand." In eighteen compelling essays, Fowler demonstrates the importance of the arts in our culture and the necessity of rescuing the arts for our future. Beginning with an overview of the context in which the arts operate, he offers an honest and sometimes distressing overview of the state of education and arts education today. He then examines the arts and economics, presenting a carefully researched exposition of the significance of the arts and their relationship to science and industry. Showing how the arts provide a more comprehensive education, he shows why the arts engage students and make learning relevant and fun. Tackling the controversial question of curriculum, Fowler addresses such questions as who should study the arts, which arts, and whose culture should be taught. Citing a shameful neglect of creativity in our culture, he highlights the negligence of the schools in teaching students to be creative and inventive thinkers, and he shows the capacity of the arts to communicate these essential skills. Fowler concludes the book with suggestions for reform and with practical strategies for winning the support of school boards and school administrators. Finally asking "how do we get there," he offers specific recommendations for changing our schools, providing equal opportunity for all, and--perhaps most critically in today's economic climate--paying the bill. In this elegantly written, passionately argued book, Fowler presents a convincing case for teaching the arts to all children. "A downtrodden army of cultureless children," Fowler warns, "is marching toward a barren and depleted adulthood and taking the future of our civilization with them." Strong Arts, Strong Schools is a clarion call to action for any teacher, parent, policy maker, or citizen concerned about the fate of the arts in American society and about the state of our schools. (shrink)

Background: Food insecurity condition challenges the availability of food, access to food, food supply stability, and food utilization. Food banks play a major role in the food aid sector by distributing donated and purchased groceries directly to food-insecure families, thus significantly impacting food insecurity. On the other hand, school meal programs are implemented in many countries to combat food insecurity among school-aged children. The synergy between school meal programs and food banks has a great potency to combat food insecurity among (...) children effectively. Aim: This study aims to examine the association between experts’ involvement—such as nutritionists, farmers, and private sectors—and community engagement, including parents and others, with the linkage between food banks and school meal programs among implementing countries. Methods: The Bayesian Mindsponge Framework, combining the reasoning strengths of Mindsponge Theory and inference advantages of Bayesian analysis, was employed on a dataset of 126 government representatives who manage large-scale school meal programs in 126 different countries. Results: Findings showed that the involvement of nutritionists and the private sector was positively associated with the linkage between food banks and school meal programs, while farmers’ involvement showed an ambiguous association. The engagement of parents and others also showed an ambiguous relationship with this linkage. Conclusions: Findings underscore the strong need to formulate strategies for increasing the involvement of nutritionists and the private sector to successfully link the food banks with school meal programs in implementing countries, which is crucial for effectively combating food insecurity among school-aged children. (shrink)

Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming presents original research on an important extension of logic programming that makes it more amenable for knowledge representation and programming in general. The 12 contributions, many written especially for this book, explore the foundations, language design issues, and applications of meta-programming in logic programming. Meta-programming—the process of writing computer programs that can manipulate representations of other programs—has been key both in the foundations of computer science and in its practical (...) developments. Examples of meta-programs include compilers, interpreters, program analyzers, and partial evaluators. The choice of logic programming as a basis for meta-programming offers several practical and theoretical advantages: among them, the possibility of tackling critical foundational problems of meta-programming within a strong theoretical framework, and the surprising ease of programming. The usual framework of logic programming (and more generally first-order logic), however, has to be modified and extended to formally deal with meta-programs, extensions the editors call "meta-logics." Along with an exploration of meta-programming in logic programming, the definitions, formal properties, and use of these extensions constitute one of the book's main themes. The first part of the book, Foundations, focuses on the representation problem—how object programs are represented within meta-programs. The second part, Language Support for Meta-Logics, is concerned with language extensions that make meta-programming easier and more elegant. The third part, Meta-Logics for Knowledge Management, deals with the use of meta-logic for advanced knowledge representation purposes. Logic Programming series. (shrink)

This paper is motivated by the concern that increasingly fewer philosophers of mind seem prepared to call themselves ‘functionalists’ these days. I suggest that this has less to do with explicit arguments presented against functionalism than with a gradual decay in the clarity of the term’s reference. This decay has two sources: functionalism has involved several different, logically independent research commitments, and it has become tightly associated, to an unnecessary degree, with classical computationalism, a program which is now under (...) severe pressure from connectionist and other bottom-up methodologies in Al. After diagnosing the causes of this drift, I seek to arrest it by sketching a version of functionalism---Minimal Strong Functionalism---that is strong enough to have ontological and methodological bite, but that is sufficiently minimal in its empirical commitments so as to not be hostage to the outcome of the current dispute in Al between connectionists and classicists. (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)

Where the old objectivity question asked, Objectivity or relativism: which side are you on?, the new one refuses this choice, seeking instead to bypass widely recognized problems with the conceptual framework that restricts the choices to these two. It asks, How can the notion of objectivity be updated and made useful for contemporary knowledge-seeking projects? One response to this question is the strong objectivity program that draws on feminist standpoint epistemology to provide a kind of logic of discovery (...) for maximizing our ability to block might makes right in the sciences. It does so by delinking the neutrality ideal from standards for maximizing objectivity, since neutrality is now widely recognized as not only not necessary, not only not helpful, but, worst of all, an obstacle to maximizing objectivity when knowledge-distorting interests and values have constituted a research project. Strong objectivity provides a method for correcting this kind of situation. However, standpoint approaches have their own limitations which are quite different from the misreadings of them upon which most critics have tended to focus. Unfortunately, historically limited epistemologies and philosophies of science are all we get to choose from at this moment in history. (shrink)

Barry Barnes and David Bloor of the Strong Programme of the sociology of knowledge advance a naturalized epistemology that reduces all accounts of normativity to social causes. I endorse their program of naturalizing one kind of normativity, but I argue that there is another kind they cannot naturalize. Within the context of sociological explanations of rationality, there are norms of rationality instantiated by scientists that Barnes and Bloor study, and Barnes and Bloor's own normative ascriptions of scientists as (...) rational beings. I argue that Barnes and Bloor successfully justify their naturalization of the norms of rationality of the scientists they describe by a methodological caution and arguments from under-determination and finitism. But they inevitably fail to naturalize their own normative ascriptions of those scientists as rational. (shrink)

Many opponents of BIG programs believe that receiving guaranteed subsistence income would act as a strong disincentive to work. In contrast, various areas of empirical research in psychology suggest that a BIG would not lead to meaningful reductions in work. To test these competing predictions, a comprehensive review of BIG outcome studies reporting data on adult labor responses was conducted. The results indicate that 93 % of reported outcomes support the prediction of no meaningful work reductions when the criterion (...) for support is set at less than a 5 % decrease in either average hours worked per week or the rate of labor participation. Overall, these results indicate that adult labor responses would show no substantial impact following a BIG intervention. (shrink)

Discussion of Searle's case against strong AI has usually focused upon his Chinese Room thought-experiment. In this paper, however, I expound and then try to refute what I call his abstract argument against strong AI, an argument which turns upon quite general considerations concerning programs, syntax, and semantics, and which seems not to depend on intuitions about the Chinese Room. I claim that this argument fails, since it assumes one particular account of what a program is. I (...) suggest an alternative account which, however, cannot play a role in a Searle-type argument, and argue that Searle gives no good reason for favoring his account, which allows the abstract argument to work, over the alternative, which doesn't. This response to Searle's abstract argument also, incidentally, enables the Robot Reply to the Chinese Room to defend itself against objections Searle makes to it. (shrink)

In the first part of this paper we discuss some aspects of Detlefsen's attempt to save Hilbert's Program from the consequences of Godel's Second Incompleteness Theorem. His arguments are based on his interpretation of the long standing and well-known controversy on what, exactly, finitistic means are. In his paper [1] Detlefsen takes the position that there is a form of the ω-rule which is a finitistically valid means of proof, sufficient to prove the consistency of elementary number theory Z. (...) On the other hand, he claims that Z with its first-order logic is not strong enough to allow a formalization of such an ω-rule. This would explain why the unprovability of $\operatorname{Con}(Z)$ in Z does not imply that the consistency of Z cannot be proved by finitistic means. We show that Detlefsen's proposal is unacceptable as originally formulated in [1], but that a reasonable modification of the rule he suggest leads to a partial program already studied for many years. We investigate the scope of such a program in terms of proof-theoretic reducibilities. We also show that this partial program encompasses mathematically important theories studied in the "Reverse Mathematics" program. In order to investigate the provability with such a modified rule, we define new consistency and provability predicates which are weaker than the usual ones. We then investigate their properties, including a few that have no apparent philosophical significance but compare interestingly with the properties of the program based on the iteration of our ω-rule. We determine some of the limitations of such programs, pointing out that these limitations partly explain why partial programs that have been successfully carried out use quite different and substantially more radical extensions of finitistic methods with more general forms of restricted reasoning. (shrink)

This article concerns the claim that it is possible to create living organisms, not merely models that represent organisms, simply by programming computers. I ask what sort of things these computer-generated organisms are supposed to be. I consider four possible answers to this question: The organisms are abstract complexes of pure information; they are material objects made of bits of computer hardware; they are physical processes going on inside the computer; and they are denizens of an entire artificial world, different (...) from our own, that the programmer creates. I argue that could not be right, that collapses into, and that would make strong alife either absurd or uninteresting. Thus, "virtual" strong alife amounts to the claim that, by programming a computer, one can literally bring bits of its hardware to life. (shrink)

ABSTRACT Inspired by legal reasoning, this paper presents a semantics and proof theory of a system for defeasible argumentation. Arguments are expressed in a logic-programming language with both weak and strong negation, conflicts between arguments are decided with the help of priorities on the rules. An important feature of the system is that these priorities are not fixed, but are themselves defeasibly derived as conclusions within the system. Thus debates on the choice between conflicting arguments can also be modelled. (...) The semantics of the system is given with a fixpoint definition, while its proof theory is stated in dialectical style, where a proof takes the form of a dialogue between a proponent and an opponent of an argument: an argument is shown to be justified if the proponent can make the opponent run out of moves in whatever way the opponent attacks. (shrink)

Gödel’s philosophical rationalism includes a program for “developing philosophy as an exact science.” Gödel believes that Husserl’s phenomenology is essential for the realization of this program. In this article, by analyzing Gödel’s philosophy of idealism, conceptual realism, and his concept of “abstract intuition,” based on clues from Gödel’s manuscripts, I try to investigate the reasons why Gödel is strongly interested in Husserl’s phenomenology and why his program for an exact philosophy is unfinished. One of the topics that (...) has attracted much attention recently is the development of Gödel’s philosophical thoughts and its connection with other philosophical ideas. For instance, some scholars are searching for the possible connections between Gödel’s philosophy and Husserl’s phenomenology and examining if there is any solid evidence of Husserl’s influence on Gödel from Gödel’s works :181–203, 1998; Huaser, Bull Symbolic Logic 12:529–588, 2006). Why is Gödel’ s interested in Husserl? How should this turn to Husserl be interpreted? Is it a dismissal of Leibnizian philosophy, or a different way to achieve similar goals? Way did Gödel turn specifically to Husserl’s transcendental idealism? :425–476, 2003) I believe, the reason is that Gödel has a valuable program for “developing philosophy as an exact science” and he believes that Husserl’s phenomenology is relevant to the realization of this program. So far there are no sufficient evidence to show that there is a direct inheritance relation between Gödel’s and Husserl’s thoughts. However, from the clues in Gödel’s idealistic philosophy, conceptual realism, and his concept of “abstract intuition,” we can perhaps explore some similarities between his thoughts and Husserl’s thoughts, and analyze the reason why Gödel is interested in Husserl’s phenomenology and why his program for an exact philosophy is unfinished. (shrink)

In modern zoos, enrichment programs have become a standard part of animal care routines. Although 'higher' primates usually receive complex enrichment programs, encompassing many types of enrichment, these are less common for prosimians. These animals often largely receive food-based enrichment, as was previously the case at Auckland Zoo, where the ring-tailed lemur enrichment schedule contained only three different items, all food-related. Lemurs tend to be considered less curious and quick to learn than other primates, as well as being less manually (...) dextrous, and for these reasons can be overlooked for complex enrichment. However, they have strong sensory abilities, in particular an acute sense of smell (Sauther et al 1999). This paper describes an enrichment program designed for the lemurs at Auckland Zoo with the aim of stimulating all senses. (shrink)

We present optimizations for the modal logic programming system MProlog, including the standard form for resolution cycles, optimized sets of rules used as meta-clauses, optimizations for the version of MProlog without existential modal operators, as well as iterative deepening search and tabulation. Our SLD-resolution calculi for MProlog in a number of modal logics are still strongly complete when resolution cycles are in the standard form and optimized sets of rules are used. We also show that the labelling technique used in (...) our direct approach is relatively better than the Skolemization technique used in the translation approaches for modal logic programming. (shrink)

1. Characterizing randomness. Consider a physical process that, if suitably idealized, generates an indefinite sequence of independent random bits. One such process might be radioactive decay of a lump of uranium whose mass is kept at just the level needed to ensure that the probability is one-half that no alpha particle is emitted in the nth microsecond of the experiment. Let us think of the bits as drawn from {0, 1} and denote the resulting sequence by x with coordinates x0, (...) x1, . . .. Now wouldn’t it be odd if there were a computer program P with the following property? (shrink)

Linear Logic was introduced by Girard as a resource-sensitive refinement of classical logic. In this paper we establish strong connections between natural fragments of Linear Logic and a number of basic concepts related to different branches of Computer Science such as Concurrency Theory, Theory of Computations, Horn Programming and Game Theory. In particular, such complete correlations allow us to introduce several new semantics for Linear Logic and to clarify many results on the complexity of natural fragments of Linear Logic. (...) As a main corollary, any non-deterministic and concurrent computation is proved to be simulated directly within the framework of each of these systems. (shrink)

Background: Food fortification refers to the process of adding nutrients to foods during their production. It is a cost-effective strategy with well-documented health, economic, and social benefits. Food fortification practices in school meal programs need guidance and legal support from various national policies. Aim: This study aims to analyze how various national policies—such as those related to school feeding, nutrition, health, food safety, agriculture, and the private sector—associate with the implementation of in-school food fortification among countries with school meals programs. (...) Methods: The Bayesian Mindsponge Framework, combining the reasoning strengths of Mindsponge Theory and inference advantages of Bayesian analysis, was employed on a dataset of 126 government representatives who manage large-scale school meal programs in 126 different countries. Results: Findings showed that food safety policy and agriculture policy were positively and significantly associated with the in-school food fortification practices, while school feeding policy and private sector policy had ambiguous relationships with these practices. Nutrition policy and health policy had a significant negative association with food fortification practices among countries implementing school meal programs. Conclusions: Findings underscore the strong position of food safety policy and agriculture policy in guiding food fortification practices in school meal programs. There is a need to re-assess the implemented nutrition policy and health policy due to their significant negative associations with these practices. Enhancing and strengthening the school feeding policy and private sector policy may increase their potencies in giving positive impacts on in-school food fortification practices. (shrink)

Background: Food biofortification practices in agricultural sectors involve the process of employing biotechnology to enhance the nutritional content of crops during their growth process. Biofortification makes foods even more nutritious and highly functional for addressing malnutrition among children. These practices in farming industries need guidance and legal support from various national policies to support high-quality supplies of school meals fully. Aim: This study aims to analyze the association between various national policies and the implementation of food biofortification practices in agricultural (...) sectors among countries implementing school meal programs. Methods: The Bayesian Mindsponge Framework, combining the reasoning strengths of Mindsponge Theory and inference advantages of Bayesian analysis, was employed on a dataset of 126 government representatives who manage large-scale school meal programs in 126 different countries. Results: Findings showed that food safety policy was positively associated with food biofortification practices in agricultural sectors among countries implementing school meal programs. In contrast, nutrition policy had a significant negative association with these practices. Additionally, policies of school feeding, health, agriculture, and the private sector had unclear associations with food biofortification. Conclusions: Findings underscore the strong position of food safety policy in guiding food biofortification practices in agricultural sectors among countries implementing school meal programs. There is a need to re-assess the implemented nutrition policy due to its significant negative association with these practices. Enhancing and strengthening the policies of school feeding, health, agriculture, and the private sector may increase their potencies in giving positive impacts on food biofortification practices in agricultural sectors to ensure high-quality school meal supplies. (shrink)

Game semantics extends the Curry–Howard isomorphism to a three-way correspondence: proofs, programs, strategies. But the universe of strategies goes beyond intuitionistic logics and lambda calculus, to capture stateful programs. In this paper we describe a logical counterpart to this extension, in which proofs denote such strategies. The system is expressive: it contains all of the connectives of Intuitionistic Linear Logic, and first-order quantification. Use of Lairdʼs sequoid operator allows proofs with imperative behaviour to be expressed. Thus, we can embed first-order (...) Intuitionistic Linear Logic into this system, Polarized Linear Logic, and an imperative total programming language.The proof system has a tight connection with a simple game model, where games are forests of plays. Formulas are modelled as games, and proofs as history-sensitive winning strategies. We provide a strong full completeness result with respect to this model: each finitary strategy is the denotation of a unique analytic proof. Infinite strategies correspond to analytic proofs that are infinitely deep. Thus, we can normalise proofs, via the semantics. (shrink)

Many employers faced with rising health care costs have adopted “voluntary” wellness programs that urge employees to engage in various health-promotion activities, such as smoking cessation and weight reduction. In the proper setting, measures to promote a more healthful lifestyle are difficult to question, but there is little compelling evidence that workplace wellness programs have significant, sustained health benefits or substantially reduce health care costs other than through cost-shifting to unhealthy employees. Congressional support for workplace wellness programs has persisted on (...) a bipartisan basis for the last twenty years, and the incentives that current statutes allow employers to offer employees have become strong enough that the voluntariness of the programs has been called into question. In recent months, the battleground has shifted to the courts, where federal regulations and employer practices have been challenged. Three recent or pending cases raise questions about whether the incentives are coercing employees into the programs. (shrink)

There are relatively few empirical studies on the impacts of corporate social responsibility policies and programs. This article addresses the research gap by analyzing the incidence of, and the conditions that affect, decoupling among CSR policies, implementation of CSR programs, and CSR impacts for various environmental and social issues. Complete decoupling is a condition of full divergence among policies, programs, and impacts amounting to purely ceremonial CSR. Using ratings from a sustainability rating agency on a sample of about 1,000 large (...) companies in 24 countries, the authors find empirical evidence not supporting a conclusion of complete decoupling. The empirical evidence suggests four levels of nondivergence in the sample. First, for most CSR issues examined, CSR policies of high quality do have relatively strong effects on CSR implementation. Second, CSR programs of high quality do have relatively strong effects on CSR impacts. Third, for most CSR issues, even low-quality CSR policies enforce the incidence and quality of programs in comparison with having no policy at all. Fourth, weak programs have more impact on the realization of CSR goals than having no program at all. The authors also find that the quality of CSR reporting and locating the responsibility for CSR at the board level reduce decoupling by strengthening the quality of CSR programs. (shrink)