Students using Ritalin in preparation for their exams is a hotly debated issue, while meditating or drinking coffee before those same exams is deemed uncontroversial. However, taking Ritalin, meditating and drinking coffee or even education in general, can all be considered forms of cognitive enhancement. Although social acceptance might change in the future, it is interesting to examine the current reasons that are used to distinguish cases deemed problematic or unproblematic. Why are some forms of cognitive enhancement considered problematic, while (...) others are not? In this paper, we consider cognitive enhancement as the amplification or extension of core capacities of the mind, using augmentation or improvements of our information-processing systems. We will analyse cognitive enhancement in an educational setting in order to clarify the fuzzy distinction between problematic and unproblematic forms of cognitive enhancement. We will show that the apparent distinction made by many people between problematic and unproblematic enhancement is not based on any fundamental difference between these two categories. (shrink)

Graduates' employability indicates the excellent education and relevant preparation they obtained from their respective degrees. Tracer studies have enabled higher education institutions to profile their graduates while also reflecting on the quality of education they provide. With the foregoing, a tracer study determined the demographic and academic profile of teacher education graduates from 2017 to 2020 in a state university in the West Philippines. It also ascertained the advanced studies they attended after college, their employment data, the relevance of college (...) preparation with their current employment, difficulties they encountered while securing employment and in their present job, and recommendations to strengthen the teacher education program. The study utilized a descriptive survey research design with 80 non-random samples chosen based on availability. The survey was based on the Philippine Commission on Higher Education with modifications elucidated from previous studies. Results showed that graduates took the teacher education program with a strong passion for the teaching profession. More graduates received honors and awards, passed the licensure examinations for teachers, attended advanced studies for professional development, and are employable. Besides, the graduates’ college preparation is relevant to their current employment. Further, difficulties and problems encountered and recommendations to strengthen the teacher education program were noted. These findings may serve as a baseline for curriculum review and give suggestions for future tracer studies. (shrink)

We lead off this issue of Childhood and Philosophy with a collection of testimonies, homages, and brief memoirs offered from around the world in response to the death of the founder of Philosophy for Children, Matthew Lipman on December 26, 2010, at the age of 87. To characterize Lipman as “founder” is completely accurate, but barely evokes the role he played in conceiving, giving birth to, and nurturing this curriculum cum pedagogy that became a movement, and which has taken root (...) in over 40 countries, from Iceland to Nigeria to Taiwan to Chile and everywhere in between. The movement itself is broader than the program, which has in fact experienced multiple transformations in multiple contexts over its half-century of life. In fact, as many of the testimonies below either state outright or imply, the movement is an emancipatory one and thus implicitly political, infused with all the long-suffering hope for our species inspired in us by the fact of natality, and by our own intuitive faith in the transformative power of reason—or as Lipman came to call it, “reasonableness.” For those seized by its educational possibilities, it presents a sudden influx of sunlight and fresh air into an institution long stultified by its own rigid habitus, and promises the reconstruction of schooling in the image of authentic democratic practice that recognizes and honors the unique capacities of children. As Philosophy in the Classroom—Lipman’s first and now classic statement of educational philosophy--puts it, the movement promises a re-orientation of the goal of education from information (or “learning”) to meaning, and inaugurates the dialogue with childhood and children that follows from that. Lipman was not just founder of this movement but creator, inventor, developer, convener, organizer, faithful soldier, ambassador, apologist, polemicist, propagandist, and, finally, undying optimist. (shrink)

The conditions animals experience during the early developmental stages of their lives can have critical ongoing effects on their future health, welfare, and proper development. In this paper we draw on evolutionary theory to improve our understanding of the processes of developmental programming, particularly Predictive Adaptive Responses (PAR) that serve to match offspring phenotype with predicted future environmental conditions. When these predictions fail, a mismatch occurs between offspring phenotype and the environment, which can have long-lasting health and welfare effects. Examples (...) include metabolic diseases resulting from maternal nutrition and behavioral changes from maternal stress. An understanding of these processes and their evolutionary origins will help in identifying and providing appropriate developmental conditions to optimize offspring welfare. This serves as an example of the benefits of using evolutionary thinking within veterinary science and we suggest that in the same way that evolutionary medicine has helped our understanding of human health, the implementation of evolutionary veterinary science (EvoVetSci) could be a useful way forward for research in animal health and welfare. (shrink)

Helen Frowe (2014) depicts the following fictional case: Fran is being raped by Eric and can’t stop him with violent resistance. Nevertheless, she resists and breaks Eric’s wrist. The infliction of defensive harm on Eric is intuitively permissible, yet it runs counter to the dominant view that defensive harms must stand a reasonable chance of success. Call this the Success Condition (SC). To solve this problem, Daniel Statman (2008) contends that even if Victim’s defensive harms fail to prevent her rape, (...) they do prevent the destruction of another good, her honor, and thus SC is satisfied. Recently, Joseph Bowen (2016) has critiqued Statman’s proposal by showing that honor-based justifications for defensive harming are too permissive. In this paper, I contend that Statman’s proposal is too restrictive. First, I review Statman’s accounts of honor, dishonor, and non-honor. Second, I argue that Statman’s account requires Fran’s honor to be lost or damaged if she doesn’t resist—a highly offensive conclusion about rape victims. Third, I explain why the best alternative to this (i.e., allowing Fran’s honor to be maintained either way) satisfies SC but not the necessity condition. I conclude that we ought to reject Statman’s solution. (shrink)

A nation’s economy runs on the knowledge and skills of its people.Quality assurance mechanisms for higher education institutions must take cognizance of the graduates' acquisition of skills to become productive and contributory for societal development. The study is a quantitative survey assessing the attainment of the immediate program learning outcomes of the graduating Bachelor of Science in Information Technology of one campus of a public higher education institution in the Philippines. It also assessed the introspection and level of satisfaction (...) of the graduates in their studies. Findings disclosed that the graduates have a high level of attainment of the program's learning outcomes and a high level of satisfaction. The high school where the respondents graduated is the single variable that defined the difference in attainment of program intended learning outcomes. As to the graduates' introspections, themost significant percentage of them learned the program from family, relatives, and friends. Reasons for pursuing the degree program are because of parents’ influence, prestige of IT profession. Meanwhile, the university's reputation, affordable tuition fees, and proximity to home were the factors affecting the enrolment in the BSIT program. The findings will be the basis for strategic program interventions of the program. (shrink)

Some properties are causally relevant for a certain effect, others are not. In this paper we describe a problem for our understanding of this notion and then offer a solution in terms of the notion of a program explanation.

Although most cultures have held honorableness to be a virtue of the first importance, contemporary analytic ethicists have just begun to consider honor’s nature and ethical worth. In this essay, I provide an analysis of the honor ethos and apply it to business ethics. Applying honor to business may appear to be a particularly challenging task, since (for reasons I discuss) honor has traditionally been seen as incompatible with commerce. Nonetheless, I argue here that two of the central virtues of (...) the honor ethos—competiveness and magnificence—are perfectly apt ones for rich business executives, who plausibly can be expected to work more for prestige and the thrill of competition than for wealth itself. In addition to making top executives more honorable people, the virtues of competitiveness and magnificence would have positive social effects: honorable competitiveness would intrinsically dispose executives to shun anti-competitive practices, and magnificence would encourage tycoons to redistribute their fortunes voluntarily through philanthropy. (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)

1. Introduction 2. What honor is 3. Honor in the military 4. The use of robots and the honorableness of the military profession 5. Conclusion.

With its June 2004 statement Catholics in Political Life, the United States Conference of Catholic Bishops opened an important and far-reaching discussion about how Catholic individuals ought to comport themselves in political life, and-indirectly-about how Catholic institutions-including Catholic law schools-ought to decide whether or not to give awards, honors, or platforms to those whose views about key moral and political issues may differ from the views expressed in the teachings of the Catholic Church. On the basis of a simple (...) and straightforward reading of the 2004 statement, it might appear that the bishops wanted to say that no Catholic institution-and thus no Catholic law school-should give awards, honors, or platforms to those who endorse or promote views that differ from the fundamental moral teachings of the Church. An important part of the statement plainly declares: "The Catholic community and Catholic institutions should not honor those who act in defiance of our fundamental moral principles. They should not be given awards, honors or platforms which would suggest support for their actions." A few moments of reflection will reveal, however, that the issue here is somewhat more complicated than what one might infer from a simple and straightforward reading of the statement. The aim of the present paper is not to settle the question of whether and how a Catholic law school ought to give awards, honors, or platforms to certain individuals or groups. Instead, the aim is to begin articulating some of the underlying conceptual issues that perhaps ought to be addressed in preparation for answering the further question of whether and how a Catholic law school ought to give awards, honors, or platforms to certain individuals or groups. (shrink)

Background: The school meals program has multiple objectives of education, nutrition, and value transfer. To ensure achieving the goal, total quality management (TQM) is implemented in the school meals program. Supply chain issues pose significant challenges to TQM implementation in the program execution. Aim: This study aims to examine national and international capacities in supply chain management by analyzing the variety of food items delivered through the school meals program. 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 method of obtaining supplies, whether through in-kind donations from local, regional, national sources, or national food reserves and purchasing from neighboring or distant countries, had a significant positive association with the variety of food items included in school meals or snacks. Conversely, obtaining supplies in-kind from neighboring or distant countries had a significant negative association with the food variety. Additionally, purchasing supplies from local, regional, or national food reserves had an unclear association with the food variety. Conclusions: Findings underscore the importance of supporting the World Bank and World Food Programme’s recommendation to rely more on local resources and capacities. Enhancing supply chain management at the national level is crucial for developing a long-term and sustainable school meals program. (shrink)

Citizen Satisfaction Index System (CSIS) was used to assess the delivery of support to education initiatives in the municipality of Banga, Aklan, Philippines. The samples were determined using multiple application of stratified random sampling approach. In accordance with the Philippine Statistical Authority's Data on Census Population and Housing for 2015, barangays having a bigger share of the population contributed more respondents to the 150 targeted participants. Following the inclusion criteria, the probability respondents were chosen using the Kish Grid. Pre-numbered questionnaires (...) were distributed, with odd numbers targeting male responders and even numbers targeting females. The following criteria were used to evaluate the respondents' assessments: awareness, availment of the program/service, satisfaction, and need for action. Furthermore, interviews were conducted to better understand and investigate the respondents' thoughts, behavior, and perspectives. The reasons for their reaction were also obtained. The data was provided in percentage as well as frequency distributions. The study inferred that awareness on alternative learning system and/or special education program should be improved since it is the only program that attained low rating for awareness. Most of the residents were not able to avail education programs because they have no household member who attends school. Majority of the respondents who availed the services were satisfied. However, scholarship and other assistance programs to students may be enhanced to improve service delivery. It is highly recommended by the citizens to improve accessibility to scholarship programs and other forms of financial assistance to students. (shrink)

Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.

As the philosophy of policing shifts from a traditional to a community-based approach, its implementation needs to be assessed. The study determined the program implementation of community-oriented policing in the town of Dumingag Zamboanga del Sur and its effectiveness in crime reduction from 2014 to 2018. The study employed a descriptive-survey method with the questionnaire-checklist as the main instrument used in gathering the data and information. The survey questionnaire underwent an evaluation process by field expert and tested using Cronbach’s (...) alpha. Weighted Arithmetic Mean, Percentage and ANOVA were the statistical tools used in the data analyses. The participants were PNP, residents, and Barangay Officials of Dumingag, Zamboanga del Sur. The results showed that PNP and Barangay officials perceived that the extent of community- oriented policing in Dumingag was implemented without lapses. However, residents rated that the implementation has minimal lapses. The study also revealed that there was a reduction of crimes committed for the past five years of the implementation. The result shows a significant difference among the perceived extent of implementation of the three groups of respondents. (shrink)

We present SASC, Self-Adaptive Semantic Crossover, a new class of crossover operators for genetic programming. SASC operators are designed to induce the emergence and then preserve good building-blocks, using metacontrol techniques based on semantic compatibility measures. SASC performance is tested in a case study concerning the replication of investment funds.

The article presents the reasons for which the issue of providing housing to low-income citizens has been a real challenge in Addis Ababa during the recent years and will continue to be, given that its population is growing extremely fast. It examines the tensions between the universal aspirations and the local realities in the case of some of Ethiopia’s most ambitious mass pro-poor housing schemes, such as the “Addis Ababa Grand Housing Program” (AAGHP), which was launched in 2004 and (...) was integrated in the “Integrated Housing Development Program” (IHDP) in 2006. The article argues that the quotidian practices of communities and their socio-economic and cultural characteristics are related to the spatial attributes of co-housing practices. Drawing upon the idea that there is a mutual correspondence between social and spatial structures, it places particular emphasis on the analysis of the IHDP and aims to show that to shape strategies that take into account the social and cultural aspects of daily life of the poor citizens of Addis Ababa, it is pivotal to invite them to take part in the decision-making processes regarding their resettlement. Departing from the fact that a large percentage of the housing supply in Addis Ababa consists of informal unplanned housing, the article also compares the commoning practices in kebele houses and condominium units. The former refers to the legal informal housing units owned by the government and rented to their dwellers, whereas the latter concerns the housing blocks built in the framework of the IHDP for the resettlement of the kebele dwellers. The article analyzes these processes of resettlement, shedding light of the fact that kebele houses were located at the inner city, whereas the condominiums are located in the suburbs. Despite the fact that the living conditions in the condominium units are of a much higher quality than those in the kebele houses, their design underestimated or even neglected the role of the commoning practices. The article highlights the advantages of commoning practices in architecture and urban planning, and how the implementation of participation-oriented solutions can respond to the difficulties of providing housing. It argues that understanding the significance of the endeavors that take into account the opinions of dwellers during the phase of decision-making goes hand in hand with considering commoning practices as a source of architecture and urban planning frameworks for low-cost housing in this specific context. The key argument of the article is that urban planning and architecture solutions in Addis Ababa should be based on the principles of the so-called “negotiated planning” approach, which implies a close analysis of the interconnections between planning, infrastructure, and land. (shrink)

Background: School meal programs are not only government initiatives but also community-driven efforts. Aiming to combat food insecurity among school-aged children effectively, these programs are executed in conjunction with food bank initiatives. Various community groups play a crucial role in the success of both food security initiatives. There is a need to improve community engagement to successfully link school meal programs with food banks to build program synergy, combating food insecurity through a two-sided approach. Aim: This study aims to (...) examine community engagement in school meals program by analyzing its purposeful focus on creating jobs and income-generating opportunities for different community groups, i.e., youths, women, and others. 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 school meals program’s purposeful focus on creating jobs and income-generating opportunities for women in the community was positively associated with community engagement, thereby supporting the linkage between the programs and food banks. In contrast, providing jobs and income-generating opportunities for youths and other community groups had an ambiguous association with community engagement in school meal programs. Conclusions: Findings underscore the importance of creating jobs and income-generating opportunities for women to improve community engagement in school meal programs. Formulating strategies that empower woman’s entrepreneurship may foster their involvement and engagement in school meal programs, promising to successfully link these programs with food bank initiatives among implementing countries. (shrink)

I consider statistical criteria of algorithmic fairness from the perspective of the _ideals_ of fairness to which these criteria are committed. I distinguish and describe three theoretical roles such ideals might play. The usefulness of this program is illustrated by taking Base Rate Tracking and its ratio variant as a case study. I identify and compare the ideals of these two criteria, then consider them in each of the aforementioned three roles for ideals. This ideals program may present (...) a way forward in the normative evaluation of candidate statistical criteria of algorithmic fairness. (shrink)

Large sets of elements interacting locally and producing specific architectures reliably form a category that transcends the usual dividing line between biological and engineered systems. We propose to call them morphogenetically architected complex systems (MACS). While taking the emergence of properties seriously, the notion of MACS enables at the same time the design (or “meta-design”) of operational means that allow controlling and even, paradoxically, programming this emergence. To demonstrate our claim, we first show that among all the self-organized systems studied (...) in the field of Artificial Life, the specificity of MACS essentially lies in the close relation between their emergent properties and functional properties. Second, we argue that to be a MACS a system does not need to display more than weak emergent properties. Third, since the notion of weak emergence is based on the possibility of simulation, whether computational or mechanistic via machines, we see MACS as good candidates to help design artificial self-architected systems (such as robotic swarms) but also harness and redesign living ones (such as synthetic bacterial films). (shrink)

We review some of the work already done around the notion of phenomenal intentionality and propose a way of turning this body of work into a self-conscious research program for understanding intentionality.

Background: The feeding modalities applied in countries with school meal programs are varied because these are shaped not only by the national commitments to alleviate food insecurity among children but also by resource availability from national and international agencies. In terms of financial resources, the USA plays a consistent role in providing donations, grants, loans, and loan guarantee programs to support global school feeding. The U.S. Department of Agriculture (USDA) oversees these funding sources for international school meal programs. Aim: This (...) study aims to examine the moderating effect of USDA funding on the relationship between supply purchasing methods and feeding modalities 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: The findings indicated that USDA funding has the potential to positively moderate the relationship between foreign supply purchases and the feeding modalities of school meal programs. However, the direct association between foreign purchases and feeding modalities was unclear. Conversely, while USDA funding was found to have a negative moderation effect on the relationship between domestic supply purchases and feeding modalities, it is these domestic purchases that show potential for positively influencing the feeding modalities. Conclusions: Findings underscore the importance of supporting the World Bank and World Food Programme’s recommendation to rely more on local resources and capacities for developing long-term and sustainable school meal programs. Further exploration of the impact of foreign supply purchases on feeding modalities is needed. Formulating strategic plans to better leverage USDA funding for enhancing domestic supply purchases is highly recommended. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had (...) many partial successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (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)

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)

The Simulation Hypothesis proposes that all of reality is in fact an artificial simulation, analogous to a computer simulation. Outlined here is a method for programming relativistic mass, space and time at the Planck level as applicable for use in Planck Universe-as-a-Simulation Hypothesis. For the virtual universe the model uses a 4-axis hyper-sphere that expands in incremental steps (the simulation clock-rate). Virtual particles that oscillate between an electric wave-state and a mass point-state are mapped within this hyper-sphere, the oscillation driven (...) by this expansion. Particles are assigned an N-S axis which determines the direction in which they are pulled along by the expansion, thus an independent particle motion may be dispensed with. Only in the mass point-state do particles have fixed hyper-sphere co-ordinates. The rate of expansion translates to the speed of light and so in terms of the hyper-sphere co-ordinates all particles (and objects) travel at the speed of light, time (as the clock-rate) and velocity (as the rate of expansion) are therefore constant, however photons, as the means of information exchange, are restricted to lateral movement across the hyper-sphere thus giving the appearance of a 3-D space. Lorentz formulas are used to translate between this 3-D space and the hyper-sphere co-ordinates, relativity resembling the mathematics of perspective. (shrink)

Franz Brentano was not a systematic writer, but he was very much a systematic thinker. Through his manuscripts, lecture notes, letters, dictations, and occasional published writings, one can discern a systematic, unified approach to the true, the good, and the beautiful. My goal here is to articulate explicitly this approach, and the philosophical program it reflects. The exercise requires going over big stretches of terrain with some efficiency; I will go just as deep into Brentano’s approaches to the true, (...) the good, and the beautiful as is required to make explicit their structural unity. (shrink)

In this paper, we introduce the integer programming in neutrosophic environment, by considering coffecients of problem as a triangulare neutrosophic numbers. The degrees of acceptance, indeterminacy and rejection of objectives are simultaneously considered. The Neutrosophic Integer Programming Problem (NIP) is transformed into a crisp programming model, using truth membership (T), indeterminacy membership (I), and falsity membership (F) functions as well as single valued triangular neutrosophic numbers. To measure the efficiency of the model, we solved several numerical examples.

As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were driven by nothing other than an abiding interest in truth, and their proofs were as ethereal as the mind of God. Yet within decades these mathematical abstractions were realized by the hand of man, in the digital stored-program computer. How it came to be recognized that proofs and programs are the same thing is a story that spans a century, a chase with (...) as many twists and turns as a thriller. At the end of the story is a new principle for designing programming languages that will guide computers into the 21st century. -/- For my money, Gentzen’s natural deduction and Church’s lambda calculus are on a par with Einstein’s relativity and Dirac’s quantum physics for elegance and insight. And the maths are a lot simpler. I want to show you the essence of these ideas. I’ll need a few symbols, but not too many, and I’ll explain as I go along. -/- To simplify, I’ll present the story as we understand it now, with some asides to fill in the history. First, I’ll introduce Gentzen’s natural deduction, a formalism for proofs. Next, I’ll introduce Church’s lambda calculus, a formalism for programs. Then I’ll explain why proofs and programs are really the same thing, and how simplifying a proof corresponds to executing a program. Finally, I’ll conclude with a look at how these principles are being applied to design a new generation of programming languages, particularly mobile code for the Internet. (shrink)

India, despite being the world's largest vaccine manufacturer is now struggling with various unprecedented social, legal, moral issues with the ongoing Covid-19 vaccination program for 1.3 billion people, the largest democracy in the world. With three major vaccines including Covishield, homemade vaccine Covaxin, and Russia's Sputnik V, India is still facing acute scarcity of vaccines and raw material supply. This is not only unfortunate but also reveals the ethically-triggered facts about the imbalanced healthcare system between public and private sectors, (...) ineffective inequitable healthcare policies, unaccountable data reports that raise mistrust and confusion, and a deeper concern about global unfair distribution. In this paper, I have briefly discussed some unparalleled ethical issues raised from the vaccination program of India. (shrink)

Trans theory is characterized in part by the apparent tension between discursive analyses of cisgender society and phenomenological descriptions of trans experiences. While traditional inquiry into the history of philosophy proposes an interminable opposition between phenomenology and discourse analysis, Rubin’s alternative suggestion is that within the domain of trans studies that they fulfill complimentary dimensions of investigation. Discourse analysis and phenomenology converge in trans studies because they are submitted to the same ethical and political imperative: the systematic development of the (...) trans archive. Both discourse analysis and phenomenology as methods in trans studies are directed toward the development of a genuinely trans history, perspective, and theory, with special methodological consideration toward the way that this perspective is misunderstood or obscured by dominant frameworks within cisgender society. In what follows, I provide a brief reconstruction of two major interventions in trans phenomenology, demonstrating that each is carefully concerned with distinctly archival considerations, but I further argue that each project remains incomplete because of an incomplete bracketing of medicalized cisgender concepts. I then propose a brief alternative program aimed at the full suspension of cisgender categories that I call transgender existentialism. (shrink)

In this paper, I set out some basic elements of a deontic logic with an implementation appropriate for handling conflicting legal obligations for purposes of programming autonomous machine agents. Kantian justice demands that the prescriptive system of enforceable public laws be consistent, yet statutes or case holdings may often describe legal obligations that contradict; moreover, even fundamental constitutional rights may come into conflict. I argue that a deontic logic of the law should not try to work around such conflicts but, (...) instead, identify and expose them so that the rights and duties that generate inconsistencies in public law can be explicitly qualified and the conflicts resolved. I then argue that a credulous, non-monotonic deontic logic can describe inconsistent legal obligations while meeting Kant’s demand for consistency in the prescriptive system of public law. Finally, I propose an implementation of this logic via a modified form of “answer set programming,” which I demonstrate with some simple examples. (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)

Neutral Theory is controversial in ecology. Ecologists and philosophers have diagnosed the source of the controversy as: its false assumption that individuals in different species within the same trophic level are ecologically equivalent, its conflict with Competition Theory and the adaptation of species, its role as a null hypothesis, and as a Lakatosian research programme. In this paper, I show why we should instead understand the conflict at the level of research programs which involve more than theory. The Neutralist and (...) Competitionist research programs borrow and construct theories, models, and experiments for various aims and given their home ecological systems. I present a holistic and pragmatic view of the controversy that foregrounds the interrelation between many kinds of practices and decisions in ecological research. (shrink)

The current study tries to verify the effectiveness of a training program in increasing Crowdfunding awareness. The sample was (50) students in CIS, who were purposively selected and distributed equally into a treatment and control group. The researchers designed the study tools (a training program to increase Crowdfunding awareness). The study findings revealed the existence of statistically significant differences between the treatment and control groups in favor of the former. Furthermore, there were statistically significant differences between the pre (...) and the post measures of the treatment group in favor of the post measures. Furthermore the current study is unique by the virtue of its nature, scope and way of implied investigation, as it is the first study for Crowdfunding training program in Arabic world. (shrink)

In the article “A Tension in the Strong Program: The Relation between the Rational and the Social,” I stated that David Bloor, citing the principle of symmetry, expresses that rational and irrational beliefs must be explained in the same way, that is, by causes of the same kind. On this wise, he rejects the methodology of traditional philosophers and historians of science as asymmetrical; since they explain evidence-based beliefs with epistemic reasons and unreasonable beliefs—e.g. beliefs based on indoctrination, propaganda, (...) ideology, and superstition—citing social factors. On the other hand, Bloor argues that the rational is made entirely of the social and, therefore, is itself a kind of social factor. But by admitting this maximum conception of social constructivism, Bloor can no longer consider the rational and the social as two separate identities and accuse the traditional view of asymmetry. However, Professor Finn Collin says that Bloor’s critique of the traditional model never commits him to the duality of the rational and the social. (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)

Supervision of teachers is essential for ensuring effective educational practices, fostering professional development, and achieving student success. The study determined the relationship of program heads' supervisory practices to the teachers’ teaching efficacy. It was conducted in a community college in Tangub City, Misamis Occidental. The descriptive-correlational design was used in the study. There were 146 faculty and 361 students who served as the respondents selected through a stratified random sampling technique. The adapted Program Heads’ Supervisory Practices and researcher-made (...) Teachers’ Teaching Efficacy Questionnaires were used as research instruments. Mean, Standard Deviation, and Pearson Product-Moment Correlation Coefficient were used as statistical tools to analyze the data gathered. Results revealed that the program heads were good in their supervisory practices. The teachers’ teaching efficacy was very high. The program heads’ supervisory practices did not influence the teacher’s teaching efficacy. The strategies employed by program heads in their supervisory roles do not always translate into improved teaching efficiency. The study's findings indicate that program heads need to adopt more responsive and tailored supervisory practices that directly address the specific needs of teachers to enhance teaching efficacy. This may involve integrating targeted professional development focused on practical classroom strategies and fostering peer collaboration to share best practices. Program heads may prioritize open communication and continuous feedback mechanisms to better align their supervisory approaches with the realities of classroom instruction, ensuring that support translates into improved teaching efficiency. (shrink)

The biomedical literature makes extensive use of the concept of a genetic program. So far, however, the nature of genetic programs has received no satisfactory elucidation from the standpoint of computer science. This unsettling omission has led to doubts about the very existence of genetic programs, on the grounds that gene regulatory networks lack a predetermined schedule of execution, which may seem to contradict the very idea of a program. I show, however, that we can make perfect sense (...) of genetic programs, if only we abandon the preconception that all computers have a von Neumann architecture. Instead, genetic programs instantiate the computational architecture of Post–Newell Production Systems. That is, genetic programs are unordered sets of conditional instructions, instructions that fire independently when their conditions are matched. For illustration I present a paradigm Production System that regulates the functioning of the well-known lac operon of E. coli. On close reflection it turns out that not only genes, but also proteins encode instructions. I propose, therefore, to rename genetic programs to biomolecular programs. Biomolecular and/or genetic programs, and the cellular computers than run them, are to be understood not as von Neumann computers, but as Post–Newell production systems. (shrink)

The supervision of teachers is essential for ensuring effective teaching methods, ongoing professional growth, and student success. This study explored the experiences of program heads in supervising teachers. It was conducted in a local college in Tangub City, Misamis Occidental. The phenomenological design was used in the study. Eleven program heads served as the participants selected through the purposive sampling technique. The Interview Guide was used as the research instrument. Moustakas' transcendental phenomenology of data analysis was utilized to (...) analyze the data gathered. Results revealed the following main themes: the critical role of supervision in advancing teacher development and educational excellence, mutual learning and growth, the role of program heads in teacher supervision, overcoming challenges in teacher supervision, and effective communication strategies. Supervision improves teaching and learning quality, which supports professional development. The complex nature of supervisory roles requires adaptive strategies and strong support networks. It is recommended for program heads and teachers to establish open communication to help address the challenges encountered during supervision. (shrink)

The Simulation Hypothesis proposes that all of reality, including the earth and the universe, is in fact an artificial simulation, analogous to a computer simulation, and as such our reality is an illusion. In this essay I describe a method for programming mass, length, time and charge (MLTA) as geometrical objects derived from the formula for a virtual electron; $f_e = 4\pi^2r^3$ ($r = 2^6 3 \pi^2 \alpha \Omega^5$) where the fine structure constant $\alpha$ = 137.03599... and $\Omega$ = 2.00713494... (...) are mathematical constants and the MLTA geometries are; M = (1), T = ($2\pi$), L = ($2\pi^2\Omega^2$), A = ($4\pi \Omega)^3/\alpha$. As objects they are independent of any set of units and also of any numbering system, terrestrial or alien. As the geometries are interrelated according to $f_e$, we can replace designations such as ($kg, m, s, A$) with a rule set; mass = $u^{15}$, length = $u^{-13}$, time = $u^{-30}$, ampere = $u^{3}$. The formula $f_e$ is unit-less ($u^0$) and combines these geometries in the following ratio M$^9$T$^{11}$/L$^{15}$ and (AL)$^3$/T, as such these ratio are unit-less. To translate MLTA to their respective SI Planck units requires an additional 2 unit-dependent scalars. We may thereby derive the CODATA 2014 physical constants via the 2 (fixed) mathematical constants ($\alpha, \Omega$), 2 dimensioned scalars and the rule set $u$. As all constants can be defined geometrically, the least precise constants ($G, h, e, m_e, k_B$...) can also be solved via the most precise ($c, \mu_0, R_\infty, \alpha$), numerical precision then limited by the precision of the fine structure constant $\alpha$. (shrink)

Between April and November 1912, Bertrand Russell and Ludwig Wittgenstein were engaged in a joint philosophical program. Wittgenstein‘s meeting with Gottlob Frege in December 1912 led, however, to its dissolution – the joint program was abandoned. Section 2 of this paper outlines the key points of that program, identifying what Russell and Wittgenstein each contributed to it. The third section determines precisely those features of their collaborative work that Frege criticized. Finally, building upon the evidence developed in (...) the preceding two sections, section 4 recasts along previously undeveloped lines Wittgenstein‘s logical–philosophical discoveries in the two years following his encounter with Frege in 1912. The paper concludes, in section 5, with an overview of the dramatic consequences the Frege-Wittgenstein critique had for Russell‘s philosophical development. (shrink)

Artificial intelligence systems have been widely applied to various contexts, including high-stake decision processes in healthcare, banking, and judicial systems. Some developed AI models fail to offer a fair output for specific minority groups, sparking comprehensive discussions about AI fairness. We argue that the development of AI systems is marked by a central paradox: the less participation one stakeholder has within the AI system’s life cycle, the more influence they have over the way the system will function. This means that (...) the impact on the fairness of the system is in the hands of those who are less impacted by it. However, most of the existing works ignore how different aspects of AI fairness are dynamically and adaptively affected by different stages of AI system development. To this end, we present a use case to discuss fairness in the development of corporate wellness programs using smart wearables and AI algorithms to analyze data. The four key stakeholders throughout this type of AI system development process are presented. These stakeholders are called service designer, algorithm designer, system deployer, and end-user. We identify three core aspects of AI fairness, namely, contextual fairness, model fairness, and device fairness. We propose a relative contribution of the four stakeholders to the three aspects of fairness. Furthermore, we propose the boundaries and interactions between the four roles, from which we make our conclusion about the possible unfairness in such an AI developing process. (shrink)

1. Do models formulated in programming languages use explicit rules where connectionist models do not? 2. Are rules as found in programming languages hard, precise, and exceptionless, where connectionist rules are not? 3. Do connectionist models use rules operating on distributed representations where models formulated in programming languages do not? 4. Do connectionist models fail to use structure sensitive rules of the sort found in "classical" computer architectures? In this chapter we argue that the answer to each of these questions (...) is negative. (shrink)

In the debate over whether mathematical facts, properties, or entities explain physical events (in what philosophers call “extra-mathematical” explanations), Aidan Lyon’s (2012) affirmative answer stands out for its employment of the program explanation (PE) methodology of Frank Jackson and Philip Pettit (1990). Juha Saatsi (2012; 2016) objects, however, that Lyon’s examples from the indispensabilist literature are (i) unsuitable for PE, (ii) nominalizable into non-mathematical terms, and (iii) mysterious about the explanatory relation alleged to obtain between the PE’s mathematical explanantia (...) and physical explananda. In this paper, I propose a counterexample to Saatsi’s objections. My counterexample is Frank Jackson’s (1998a) program explanation for color experience, which I argue needs recasting as an extra-mathematical PE due to its implicit reliance on reflectance, a property that suffers conceptual regress unless redefined with Fourier harmonics. Pace Saatsi, I argue that this recast example is an authoritative PE, non-nominalizable, and minimally esoteric. Important for the indispensability debate at large, moreover, is that my counterexample reifies Fourier harmonics without the Enhanced Indispensability Argument (an argument to which Lyon applies PE as a premise). Indispensabilists have long overlooked the conditionalization of a limited mathematical realism on property realism, and my counterexample to Saatsi exploits this conditionalization. (shrink)