In chapter eleven of "On The Foundation of Computing," Primiero takes on the implementation debate in computer science. He contrasts his theory with two other views—the Semantic and the specification—artifact. In this paper, I argue that there is a way to fine-tune the implementation concept further. Firstly, contrary to Primiero, I claim it is problematic to separate the implementation relationship from the conditions which make it correct. Secondly, by taking a pluralistic approach to implementation, I claim it is a mistake (...) to try and provide a general theory of implementation for the entire production cycle of computational systems. (shrink)

Ethically significant consequences of artificially intelligent artifacts will stem from their effects on existing social relations. Artifacts will serve in a variety of socially important roles—as personal companions, in the service of elderly and infirm people, in commercial, educational, and other socially sensitive contexts. The inevitable disruptions that these technologies will cause to social norms, institutions, and communities warrant careful consideration. As we begin to assess these effects, reflection on degrees and kinds of social agency will be required to make (...) properly informed decisions concerning the deployment of artificially intelligent artifacts in important settings. The social agency of these systems is unlike a human social agency, and this paper provides a methodological framework that is more suited for inquiry into artificial social agents than conventional philosophical treatments of the concept of agency. Separate aspects and dimensions of agency can be studied without assuming that agency must always look like adult human agency. This revised approach to the agency of artifacts is conducive to progress in the topics studied by AI ethics. (shrink)

We suggest that as people move to construe robots as social agents, interact with them, and treat them as capable of social ties, they might develop (close) relationships with them. We then ask what kind of relationships can people form with bots, what functions can bots fulfill, and what are the societal and moral implications of such relationships.

For sentences $\phi$ of $L_{\omega_{1},\omega}$, we investigate the question of absoluteness of $\phi$ having models in uncountable cardinalities. We first observe that having a model in $\aleph_{1}$ is an absolute property, but having a model in $\aleph_{2}$ is not as it may depend on the validity of the continuum hypothesis. We then consider the generalized continuum hypothesis context and provide sentences for any $\alpha\in\omega_{1}\setminus\{0,1,\omega\}$ for which the existence of a model in $\aleph_{\alpha}$ is nonabsolute . Finally, we present a complete (...) sentence for which model existence in $\aleph_{3}$ is nonabsolute. (shrink)

Jean-Luc Nancy’s oeuvre, despite its fragmentariness, is made consistent by the concept of being-with. Nancy invokes this concept in reaction to the privileged status of the self in traditional philosophy. For him, there is no self without being-with, which is why in his ontology the latter is originary. Nancy, nevertheless, admits the existence of the self. The question, therefore, is what becomes of the self in relation to being-with? Although Nancy discusses the self, he does so in separate, albeit related, (...) instances. In other words, he has no unitary account of the self and his discussions of it have yet to be integrated. This paper offers a synthetic account of Nancy’s understanding of the self by tracing the continuity of his writings on being-with. This continuity reveals that the self for Nancy is not a pure self, but a self that is other than “self,” viz., body. The self as body relates to itself and to other bodies, although the relation is not enclosed. A body is grasped only in its distinction from other bodies. The sense of self in Nancy’s ontology, then, arises from the simultaneous co-appearance of bodies to one another. (shrink)

We study the Generalized Kurepa hypothesis introduced by Chang. We show that relative to the existence of an inaccessible cardinal the Gap-n-Kurepa hypothesis does not follow from the Gap-m-Kurepa hypothesis for m different from n. The use of an inaccessible is necessary for this result.

Recently, an agonizing twist intersecting predictive genetic tests and surrogacy contracts made news headlines in Canada. The intended parents, a couple from British Columbia, instructed the surrogate mother with whom they were working to undergo First Trimester Screening and Chorionic Villi Sampling, which revealed the fetus likely had Down syndrome. The parents directed the surrogate to terminate the fetus or they would abdicate their parental claim upon birth. This story raised numerous legal and ethical questions relating to the transferability of (...) decision making for prenatal screening, diagnostic tests, and the connected decision of termination when additional interested parties – the intended parents – are involved in the medical decision-making relationship. First, although the surrogate is the patient, what are the implications when the intended parents' wishes influence or even dictate the relationship between her and her obstetrician and genetic counselor? Second, if the intended parents' level of authority reaches explicit demands, may the intended parents ethically and legally require the surrogate to waive her right to informed consent for prenatal screening and diagnosis? (shrink)

Shelah has shown that $\aleph_1$-categoricity for Abstract Elementary Classes (AECs) is not absolute in the following sense: There is an example $K$ of an AEC (which is actually axiomatizable in the logic $L(Q)$) such that if $2^{\aleph_0}.

Collected articles on the creation of the universe; Islamic viewpoint.

Islamic argument about the Parda system among Indian Muslims (to protect women from the view of men).

Health care ethics is a sensitive domain, which if ignored, can lead to patient dissatisfaction, weakened doctor–patient interaction and episodes of violence. Little importance has been paid to medical ethics within undergraduate medical education in developing countries such as Pakistan. Three doctors in Pakistan are currently facing an official police complaint and arrest charges, following the death of a sanitary worker, who fell unconscious while cleaning a drain and was allegedly refused treatment as he was covered in sewage filth. The (...) medical license of the doctors in question should be cancelled, if found guilty following a thorough investigation into the case. The ‘right to life’ has been universally assured by all moral, cultural and legal codes and no society can ever argue against the sacredness of a human life. It is quite clear that the aforesaid doctors’ actions are not only against the core principles of the physicians’ code, but also go against the doctrine of human rights. If serious efforts on an urgent basis are not made by the regulatory and governing bodies, one can definitely expect similar incidents for at least a few more decades before any noticeable change is seen. (shrink)

The twenty-first century has seen an increase in ethical misconduct at the workplace, highlighting the need to stimulate discussion on the role of work ethics. The objective of the current study is to extend the literature on work ethics by examining the role of Islamic work ethic in enhancing the task performance of employees. The current study proposes that psychological capital mediates the relationship between Islamic work ethic and task performance. It is also proposed that ethical leadership might act as (...) a boundary condition that boosts the positive relationship between Islamic work ethic and psychological capital. Data were collected in three-time lags from employees working in the service sector of Pakistan through the questionnaire. The results supported the mediation and moderation hypothesis, confirming that psychological capital mediates the relationship between Islamic work ethic and task performance. Ethical leadership moderates the relationship between Islamic work ethic and psychological capital. The results offer implications for theory and practice. Limitations and future research directions are also discussed. (shrink)

Nanotechnology presents significant challenges in terms of developing a regulatory framework. This is due to a lack of scientific knowledge about the behaviour of the technology in its interactions with biological and ecological processes, the environment and other technologies. Crucially, there is a great deal of uncertainty surrounding the potential environmental and human health and safety impacts of NT. Consequently, the development of NT is a potential test case for framing new models of ‘soft law’ voluntary governance as a substitute (...) for traditional command and control type regulation. Driven by ‘new science governance,’ an approach based on a combination of ideas in anticipatory ethics, future-oriented responsibility, upstream public engagement and deliberation and theories of justice may offer a solution. The uniqueness of the approach can be found in the incorporation of anticipatory approaches via public participation and deliberation as the input into procedural justice approaches with distributional justice as the output. The overarching objective of this work is to contribute to the discussion in relation to the internalisation of responsibility and the building of intellectual and societal capacity to anticipate negative consequences before they arise in the hope that such an approach could be the antithesis of the retrospective imposition of responsibility and liability after the harm is done, which is the outcome of traditional regulatory and ethical approaches. Ultimately, the purpose is to contribute to the long-term sustainability of NT. (shrink)

Based on the social exchange theory, the aim of this study is to identify the association between job stress state anger, emotional exhaustion and job turnover intention. This study postulates that job related stress and state anger among nurses during COVID-19 subsequently leads to their job turnover intentions. In addition, the study also aims to see the mediating role of emotional exhaustion between COVID-19-related job stress, state anger, and turnover intentions. The sample of this study is gathered from 335 registered (...) nurses working in Pakistani hospitals dealing with COVID-19-related patients. The interrelationships between variables are checked by using structural equation modeling through AMOS. Key findings confirm that COVID-19-related job stress and state anger had a significant effect on nurses’ turnover intentions. Furthermore, emotional exhaustion mediated the relationship between COVID-19-related job stress, state anger, and turnover intentions. There is a lack of research which has assessed the impact of Novel COVID-19-related job stress and state anger on nurses’ turnover intentions in hospitals, providing empirical evidence from a developing country-Pakistan. This study offers managerial implications for hospital management and health policymakers. Moreover, nursing managers need to pay attention to nurses’ turnover intentions who are facing the issue at the front line as patients receive their initial treatment from nurses in the COVID-19 outbreak. (shrink)

In Coercion and Responsibility in Islam, Mairaj Syed explores how classical Muslim theologians and jurists from four intellectual traditions argue about the thorny issues that coercion raises about responsibility for one's action. This is done by assessing four ethical problems: whether the absence of coercion or compulsion is a condition for moral agency; how the law ought to define what is coercive; coercion's effect on the legal validity of speech acts; and its effects on moral and legal responsibility in (...) the cases of rape and murder.Through a comparative and historical examination of these ethical problems, the book demonstrates the usefulness of a new model for analyzing ethical thought produced by intellectuals working within traditions in a competitive pluralistic environment. The book compares classical Muslim thought on coercion with that of modern Western thinkers on these issues and finds significant parallels between them. The finding suggests that a fruitful starting point for comparative ethical inquiry, especially inquiry aimed at the discovery of common ground for ethical action, may be found in an examination of how ethicists from different traditions considered concrete problems. (shrink)

Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable graphs as well as for many other natural classes of countable structures is complete under Borel reducibility for analytic equivalence relations. This is in strong contrast to the case of the isomorphism relation, which as an equivalence relation on graphs (or on any class of countable structures consisting of the models of a sentence of L ω ₁ ω ) is far from complete (see [5, 2]). In (...) this article we strengthen the results of [5] by showing that not only does bi-embeddability give rise to analytic equivalence relations which are complete under Borel reducibility, but in fact any analytic equivalence relation is Borel equivalent to such a relation. This result and the techniques introduced answer questions raised in [5] about the comparison between isomorphism and bi-embeddability. Finally, as in [5] our results apply not only to classes of countable structures defined by sentences of ω ₁ ω , but also to discrete metric or ultrametric Polish spaces, compact metrizable topological spaces and separable Banach spaces, with various notions of embeddability appropriate for these classes, as well as to actions of Polish monoids. (shrink)

THIS little work embodies the substance of a lecture delivered to the Society for the Higher Training of Youths, and forms a mere attempt towards the exposition ...

In the March 2010 edition of Mayo Clinic Proceedings, Drs. Rose and Curry declared that resident physicians have an ethical duty to reduce error during periods of fatigue. Problematically, however, they argued this means ingesting a stimulant for performance enhancement and sleep avoidance during a shift when a resident physician is experiencing fatigue as the more ethical choice than forgoing ingesting a stimulant. Rather than accepting enhancement as an unstoppable technological imperative, this article will examine the underlying motivations for enhancement (...) embedded in our culture and the corresponding legal framework relating to stimulant drugs. Although our society seems to be engaged in a pharmacological arms race of efficiency, competition, and self “betterment,” the FDA has not approved stimulant drugs such as modafinil for PESA. As a result, the off-label use of modafinil for PESA means these individuals are part of a large-scale experiment that poses serious immediate and long-term side effects to the individual user as well as society. (shrink)

We establish the equiconsistency of a simple statement in definability theory with the failure of the GCH at all infinite cardinals. The latter was shown by Foreman and Woodin to be consistent, relative to the existence of large cardinals.

In recent years, one of the main thrusts of set-theoretic research has been the investigation of maximality principles for V, the universe of sets. The Hyperuniverse Programme (HP) has formulated several maximality principles, which express the maximality of V both in height and width. The paper provides an overview of the principles which have been investigated so far in the programme, as well as of the logical and model-theoretic tools which are needed to formulate them mathematically, and also briefly shows (...) how optimal principles, among those available, may be selected in a justifiable way. (shrink)

An Easton function is a monotone function C from infinite regular cardinals to cardinals such that C has cofinality greater than α for each infinite regular cardinal α. Easton showed that assuming GCH, if C is a definable Easton function then in some cofinality-preserving extension, C=2α for all infinite regular cardinals α. Using “generic modification”, we show that over the ground model L, models witnessing Easton’s theorem can be obtained as inner models of L[0#], for Easton functions which are L-definable (...) with parameters at most . And using a gap 1 morass, we obtain an inner model of L[0#] with the same cofinalities as L in which is a strong limit cardinal and equals. (shrink)

This study investigates structural influence of the Madrassah system on effectiveness of its students in terms of civic health, system thinking and professional development. The researchers constructed the instrument of survey after rigorous literature review, frequent interaction with scholars, clerics and policy makers. The survey was administrated to 600 Madrassah’s students from different schools of thought. By applying T-test and Kruskal Waliss Rank Test for measurement of effectiveness and Structural Equation Modeling methodology the researchers has explored the relationship between the (...) variables, and later analyzed with the help of selected model. Findings of the study demonstrate that education system followed in Madrassahs does not seem to be effective and need-based in contemporary times. Indicators of Madrassah structure such as curriculum and openness negatively influences the students while peda­gogy positively influences the effectiveness of students of Madrasah in Pakistan. In the end, it is recommended that curriculum and pedagogy of Madrassah should be reformed and updated in accordance with knowledge-based economy. This will not only upgrade the poor segment of society but also bring together the variety of individuals close enough to understand each other. (shrink)

This article argues that the concept of incommensurability (of conceptual frameworks) is not as incoherent as has been sometimes argued, and that it is possible to formulate this notion in such a way that it can be meaningful. The article suggests that it is worthwhile to salvage the concept of incommensurability because it is a very useful concept, almost indispensable in explaining certain situations.

Pour penser l'effectivité, Hegel a convoqué l'expérience humaine dans sa dimension historique, religieuse, et culturelle. Le propos de cet ouvrage est d'examiner le processus par lequel s'élabore une théorie de l'agir dans la philosophie de Hegel. Les effectivités de l'esprit en mouvement permettent de concevoir la confrontation du sujet et du réel par la médiation de la culture, du droit, de l'art, et de la philosophie. Et La Phénoménologie de l'esprit nous semble constituer un jalon incontournable dans cette perspective. Le (...) mouvement dans lequel est engagé l'esprit dans son effectuation s'inscrit dans l'exigence de la réconciliation du concept et de l'histoire pour permettre à l'humaine condition de se donner des institutions effectives du sens. Il en est ainsi de la vie des peuples à travers la cité antique, les exploits de ses héros, ses poètes, ses comédiens comme producteurs de l'oeuvre universelle. Pour Hegel, l'individu est inscrit dans un contexte et dans une histoire, mais c'est par sa présence agissante et créatrice qu'il contribue à la vie de la cité et par conséquent à l'histoire universelle. C'est ce processus en tant que devenir-monde que notre réflexion se propose d'exposer à partir de la problématique du procès d'effectuation de l'esprit. (shrink)

Because metaphysics aims for absolute generality, its primary job is to tell us what are the fundamental particulars, of which one may say that is ultimately all there is, and yet be assured of an unabridged version of reality. It should be clear that such a search for the fundamental particulars is totally different from the enterprise of determining which particulars are basic from the point of view of particular-identification, which though it has recently been labeled "metaphysics," albeit "descriptive metaphysics," (...) might less confusingly be called "descriptive epistemology.". (shrink)

The World Health Organization declares coronavirus disease 2019 as a pandemic, and The World Economic Forum argues that the COVID-19-induced global lockdown is the biggest psychological experiment. This study is an attempt to empirically evaluate the possible adverse psychosocial effects caused by COVID-19-related lockdown, if any. To do so, a cross-sectional study is conducted based on a comprehensive online survey using snowball sampling to analyze the level of social and psychological impacts during the early stage of the outbreak in Pakistan. (...) The questionnaire is filled out by the residents in Pakistan including working professionals and students. We find that the development of stress due to COVID-19-induced lockdown is particularly because of mood swings. Additionally, a higher prevalence of stress in the children of highly educated mothers is evident. To assess the belief in stakeholders, we focus gender, demographics, and education. It is observed that parental education and age significantly affect the belief in several stakeholders. The lockdown-induced fear of losing job is lower in female and male children whose fathers are graduates. Lastly, we observe that food storage and “no fear of losing job” significantly increases the odds of life satisfaction. These findings have important implications in the context of social insurance, parental education, and policy related to COVID-19 at various levels. This study further facilitates to understand the factors that might affect the mental health and life satisfaction of people during such pandemics. (shrink)

Discussion of new axioms for set theory has often focused on conceptions of maximality, and how these might relate to the iterative conception of set. This paper provides critical appraisal of how certain maximality axioms behave on different conceptions of ontology concerning the iterative conception. In particular, we argue that forms of multiversism (the view that any universe of a certain kind can be extended) and actualism (the view that there are universes that cannot be extended in particular ways) face (...) complementary problems. The latter view is unable to use maximality axioms that make use of extensions, where the former has to contend with the existence of extensions violating maximality axioms. An analysis of two kinds of multiversism, a Zermelian form and Skolemite form, leads to the conclusion that the kind of maximality captured by an axiom differs substantially according to background ontology. (shrink)

The continuum function αmaps to2α on regular cardinals is known to have great freedom. Let us say that F is an Easton function iff for regular cardinals α and β, image and α<β→F≤F. The classic example of an Easton function is the continuum function αmaps to2α on regular cardinals. If GCH holds then any Easton function is the continuum function on regular cardinals of some cofinality-preserving extension V[G]; we say that F is realised in V[G]. However if we also wish (...) to preserve measurable cardinals, new restrictions must be put on F. We say that κ is F-hypermeasurable iff there is an elementary embedding j:V→M with critical point κ such that H)Vsubset of or equal toM; j will be called a witnessing embedding. We will show that if GCH holds then for any Easton function F there is a cofinality-preserving generic extension V[G] such that if κ, closed under F, is F-hypermeasurable in V and there is a witnessing embedding j such that j≥F, then κ will remain measurable in V[G]. (shrink)

I discuss three potential sources of evidence for truth in set theory, coming from set theory’s roles as a branch of mathematics and as a foundation for mathematics as well as from the intrinsic maximality feature of the set concept. I predict that new non first-order axioms will be discovered for which there is evidence of all three types, and that these axioms will have significant first-order consequences which will be regarded as true statements of set theory. The bulk of (...) the paper is concerned with the Hyperuniverse Programme, whose aim is to discover an optimal mathematical principle for expressing the maximality of the set-theoretic universe in height and width. (shrink)

Despite the fact that Islam is one of the major religions, the frameworks of this faith are yet to be fully understood. As a consequence, it is being confused with activities contrary to its teachings. Islam has an elaborate treatment for almost every aspect of life including the affairs of business. Business is an acceptable and dignified occupation, which has to be conducted within the given frameworks. Islam encourages the creation, acquisition and consumption of wealth, and the fulfilling of certain (...) conditions in so doing. Wealth is held in trust as a gift from God. The terms of reference of this trust are to be complied with. Ethical principles do play a major role in shaping the behavior of a Muslim, in or out of business. In an era of globalization, the need for a better understanding of the premises of Islamic faith cannot be overemphasized. (shrink)

Ethical consumerism has been dramatically increasing in recent decades, but in service sector, fewer research has been conducted especially in the fast-food industry. In this paper, we determined empirically the consumer perceived ethicality effects on repurchase intentions as well as on word of mouth through brand image partial mediation and customer expertise moderation in fast-food sector. The data were collected from 307 consumers of the fast-food restaurants through self-administered questionnaires. Common method variance and social desirability bias were measured before testing (...) hypotheses, and the data were investigated by SPSS and AMOS 21st version. The empirical results demonstrated that consumer perceived ethicality effects on repurchase intentions directly and through brand image partial mediation indirectly. Moreover, the direct and positive effects of repurchase intentions on word of mouth were experienced. This study generalized the results of previous studies of consumer perceived ethicality conducted in western culture in Pakistani fast-food sector. This study also proposed that firms should tackle ethical concerns at corporate and operational strategy levels to improve consumers’ behavioral intentions. (shrink)

The iterative concept of set is standardly taken to justify ZFC and some of its extensions. In this paper, we show that the maximal iterative concept also lies behind a class of further maximality principles expressing the maximality of the universe of sets V in height and width. These principles have been heavily investigated by the first author and his collaborators within the Hyperuniverse Programme. The programme is based on two essential tools: the hyperuniverse, consisting of all countable transitive models (...) of ZFC, and V -logic, both of which are also fully discussed in the paper. (shrink)