The number of edges in a shortest walk from one vertex to another vertex of a connected graph G is known as the distance between them. For a vertex x and an edge e = a b in G, the minimum number from distances of x with a and b is said to be the distance between x and e. A vertex x is said to distinguish two distinct edges e 1 and e 2 if the distance between x and (...) e 1 is different from the distance between x and e 2. A set X of vertices in a connected graph G is an edge metric generator for G if every two edges of G are distinguished by some vertex in X. The number of vertices in such a smallest set X is known as the edge metric dimension of G. In this article, we solve the edge metric dimension problem for certain classes of planar graphs. (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)

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)

There have been numerous results showing that a measurable cardinal κ can carry exactly α normal measures in a model of GCH, where a is a cardinal at most κ⁺⁺. Starting with just one measurable cardinal, we have [9] (for α = 1), [10] (for α = κ⁺⁺, the maximum possible) and [1] (for α = κ⁺, after collapsing κ⁺⁺) . In addition, under stronger large cardinal hypotheses, one can handle the remaining cases: [12] (starting with a measurable cardinal of (...) Mitchell order α ) , [2] (as in [12], but where κ is the least measurable cardinal and α is less than κ, starting with a measurable of high Mitchell order) and [11] (as in [12], but where κ is the least measurable cardinal, starting with an assumption weaker than a measurable cardinal of Mitchell order 2). In this article we treat all cases by a uniform argument, starting with only one measurable cardinal and applying a cofinality-preserving forcing. The proof uses κ-Sacks forcing and the "tuning fork" technique of [8]. In addition, we explore the possibilities for the number of normal measures on a cardinal at which the GCH fails. (shrink)

The primary goal of this paper is to read al-Fārābī’s Kitāb al-shiʿr [Book of poetry] between the lines. Though it touches upon his other treatises on poetry and poetics, i.e., Risāla fī qawānīn ṣināʿat al-shuʿarāʾ [Essay on the rules of the art of the poets] and Qawl al-Fārābī fī al-tanāsub wa-l-taʾlīf [al-Fārābī’s saying on harmony and composition), it does so only in passing. Emphasizing the primacy of mimesis (muḥākat) in al-Fārābī’s discussion of poetics, this paper demonstrates how poeticity (shiʿriyya), according (...) to al-Fārābī, goes beyond being a mere “textual” or “oral” quality to even encompass various human actions and activities. In doing so, it also underscores how al-Fārābī’s definition(s) of mimesis is not reducible to comparison, simile, metaphoror even the extended metaphor. (shrink)

The forcing method is a powerful tool to prove the consistency of set-theoretic assertions relative to the consistency of the axioms of set theory. Laver’s theorem and Bukovský’s theorem assert that set-generic extensions of a given ground model constitute a quite reasonable and sufficiently general class of standard models of set-theory.In Sects. 2 and 3 of this note, we give a proof of Bukovsky’s theorem in a modern setting ). In Sect. 4 we check that the multiverse of set-generic extensions (...) can be treated as a collection of countable transitive models in a conservative extension of ZFC. The last section then deals with the problem of the existence of infinitely-many independent buttons, which arose in the modal-theoretic approach to the set-generic multiverse by Hamkins and Loewe :1793–1817, 2008). (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)

There are two primary purposes of this manuscript: (i) to evaluate the western buyers’ ethical issue in the setting of eastern and western economies, and (ii) to assess the ethical values of the employers and the government in their business dealing in the background of Bangladesh. Analyzing the present minimum wage (MW) policy of the garment global supply chain industry in Bangladesh and the extent to which the policy functions are two of the other purposes of this study. This study (...) is the mixed approached of exploratory, descriptive, and phenomenological qualitative research. Each of the exploratory, descriptive, and phenomenological qualitative research goals has identified and described in a systematic way to get the best outcome of the purposes set in this manuscript. This study shows that rule utilitarian ethics are being followed by the Western buyers in their business dealings in Western territories. The philosophy of rule utilitarianism holds moral principles, and this principle tends to place greater emphasis on ethical interests rather than economic gains. Unfortunately, Western buyers do not follow the rule utilitarianism in their business dealing in eastern countries. Thus, this study shows western business leaders/buyers are not ethically correct. The act utilitarian ethics, on the other hand, are being followed by the eastern buyers in their business dealing. The philosophy of act utilitarianism holds immoral principles, and this principle tends to place greater emphasis on economic gains rather than ethical interest. This philosophy permit firm’s unethical behavior such as an exploitation of MW on the ground that this practice increases its incomes and maximizes the owner’s interest. The employers and buyers unethically gain profit, keeping the workers in a disadvantaged situation, which contradicts John Rawls’ Theory of Justice. Furthermore, the government has become an accomplice in exploiting and depriving the garment works of their entitlement and labor rights to appease the so-called investors. This study helps buyers, employers, government, and stakeholders to correct their unethical business deals. It also helps the policymakers to implement the MW policy for the betterment of garment global supply chain workers. (shrink)

If A is an admissible set, let HC(A) = {x∣ x ∈ A and x is hereditarily countable in A}. Then HC(A) is admissible. Corollaries are drawn characterizing the "real parts" of admissible sets and the analytical consequences of admissible set theory.

The fact that “natural” theories, i.e. theories which have something like an “idea” to them, are almost always linearly ordered with regard to logical strength has been called one of the great mysteries of the foundation of mathematics. However, one easily establishes the existence of theories with incomparable logical strengths using self-reference . As a result, PA+Con is not the least theory whose strength is greater than that of PA. But still we can ask: is there a sense in which (...) PA+Con is the least “natural” theory whose strength is greater than that of PA? In this paper we exhibit natural theories in strength strictly between PA and PA+Con by introducing a notion of slow consistency. (shrink)

The foundation scheme in set theory asserts that every nonempty class has an ∈\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\in $$\end{document}-minimal element. In this paper, we investigate the logical strength of the foundation principle in basic set theory and α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document}-recursion theory. We take KP set theory without foundation as the base theory. We show that KP-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^-$$\end{document} + Π1\documentclass[12pt]{minimal} \usepackage{amsmath} (...) \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi _1$$\end{document}-Foundation + V=L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$V=L$$\end{document} is enough to carry out finite injury arguments in α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document}-recursion theory, proving both the Friedberg-Muchnik theorem and the Sacks splitting theorem in this theory. In addition, we compare the strengths of some fragments of KP. (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)

We show that there is a [Formula: see text]-model of second-order arithmetic in which the choice scheme holds, but the dependent choice scheme fails for a [Formula: see text]-assertion, confirming a conjecture of Stephen Simpson. We obtain as a corollary that the Reflection Principle, stating that every formula reflects to a transitive set, can fail in models of [Formula: see text]. This work is a rediscovery by the first two authors of a result obtained by the third author in [V. (...) G. Kanovei, On descriptive forms of the countable axiom of choice, Investigations on nonclassical logics and set theory, Work Collect., Moscow, 3-136 ]. (shrink)

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)

We describe a knowledge representation and inference formalism, based on an intensional propositional semantic network, in which variables are structures terms consisting of quantifier, type, and other information. This has three important consequences for natural language processing. First, this leads to an extended, more natural formalism whose use and representations are consistent with the use of variables in natural language in two ways: the structure of representations mirrors the structure of the language and allows re-use phenomena such as pronouns and (...) ellipsis. Second, the formalism allows the specification of description subsumption as a partial ordering on related concepts (variable nodes in a semantic network) that relates more general concepts to more specific instances of that concept, as is done in language. Finally, this structured variable representation simplifies the resolution of some representational difficulties with certain classes of natural language sentences, namely, donkey sentences and sentences involving branching quantifiers. The implementation of this formalism is called ANALOG (A NAtural LOGIC) and its utility for natural language processing tasks is illustrated. (shrink)

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 characterize the classifiability of a countable first-order theory T in terms of the solvability of the potential-isomorphism problem for models of T.

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)

A framework that brings together cultural perspectives and behavior genetics has long been needed. To be successful, however, we need sophistication in the conceptualization of culture. Here, we highlight three imperatives to this end: the need for a clear definition of cultural traits, inclusion of the role of societal power, and recognizing the distinction between traits and characteristic adaptations.

De la certitude sensible au savoir absolu, la conscience est à l'épreuve d'un procès phénoménologique. Ce procès se déploie à travers une expérience se concevant en tant qu'effectuation d'un principe que nous avons défini comme un principe d'effectuation. Chaque figure de la conscience est un moment de l'effectuation du principe articulant la certitude et la vérité, le sujet et l'objet, l'immédiateté et la médiation, le singulier et l'universel. Il s'agit de la dialectique de la négativité qui s'opère comme une dynamique (...) de conversion du savoir le plus "immédiat" et le plus "abstrait" en savoir effectif. Des figurations denses rythment le mouvement d'autodétermination de la conscience dans son devenir conscience universelle et rationnelle. C'est cette odyssée de la conscience que nous avons explorée en partant de l'hypothèse d'un principe d'effectuation à l'oeuvre dans le philosopher hegelien, particulièrement dans La Phénoménologie de l'esprit. De la conversion de la certitude en vérité, résulte l'effectivité du savoir conceptuel comme ultime figure du procès phénoménologique de l'esprit. Mettre en relief ce processus à travers la succession dialectique des figures de l'esprit dans sa conscience, tel est l'objectif de cet ouvrage. (shrink)

Le récit puritain de conversion dont l'archétype est le Grace abounding to the chief of sinners de John Bunyan est représentatif d'une saisie nouvelle de l'intériorité sur le mode de la transfiguration de l'individu par l'appropriation patiente du modèle christique par lequel et au sein duquel l'individu trouve son salut. Il est courant de dire que le puritanisme et plus généralement le protestantisme ont contribué à développer une vision individualiste du monde, mais il ne faut pas oublier que la confession (...) de foi s'énonce depuis l'affirmation exemplaire d'une communauté confessante qui s'inscrit dans une confession de foi qui en est l'idéaltype. Cet article propose une étude de l'énonciation de Grace abounding, dans le jeu triangulaire du « moi » objet du processus de conversion, du « nous » de la communauté confessante et du « Il » christique qui en est l'englobant. (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 purpose of the study is to empirically examine moral ideology, ethical beliefs, and moral intensity in the context of Pakistan. Jones (Academy of Management Review, 16(2), 366–395, 1991) model and Muncy and Vitell (Journal of Business Research, 24, 297–311, 1992) have extensively been investigated and validated in west for examining ethical decision-making process. This study examines and validates these models in a collectivist cultural settings, i.e., Pakistan. A self-administered online survey technique using convenience sampling technique was used to gather (...) data from a sample of 1000 consumers in Pakistan. Final analysis was carried out on 338 valid responses. Data was analyzed using from descriptive analysis, correlation analysis, confirmatory factor analysis (CFA), exploratory factor analysis (EFA), and model estimation carried out AMOS. Cronbach’s α was used to test the reliability of the instrument. A majority of the consumers were high on idealism and low on relativism. Consumers dejected questionable activities that have harmful outcomes more than ones that have harmless outcomes. Both idealism and relativism are found to significant predict moral intensity. However, no relationship has been found between moral ideology and ethical beliefs. Consumer’s ethical beliefs are found to significantly affect moral intensity and behavioral intention. Social moral intensity is found to mediate the relationship of relativism and harmful ethical beliefs. The study is among the pioneer studies in Pakistan that examines the link of moral ideology, moral intensity, and ethical beliefs. The study provides an Urdu version of scales that can be utilized for further exploration and validation. (shrink)

In this paper we review the most common forms of reflection and introduce a new form which we call sharp‐generated reflection. We argue that sharp‐generated reflection is the strongest form of reflection which can be regarded as a natural generalization of the Lévy reflection theorem. As an application we formulate the principle sharp‐maximality with the corresponding hypothesis. The statement is an analogue of the (Inner Model Hypothesis, introduced in ) which is compatible with the existence of large cardinals.

In this paper we introduce some fusion properties of forcing notions which guarantee that an iteration with supports of size ⩽κ not only does not collapse κ+ but also preserves the strength of κ. This provides a general theory covering the known cases of tree iterations which preserve large cardinals [3], Friedman and Halilović [5], Friedman and Honzik [6], Friedman and Magidor [8], Friedman and Zdomskyy [10], Honzik [12]).

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)

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)

Assuming the existence of a weakly compact hypermeasurable cardinal we prove that in some forcing extension א ω is a strong limit cardinal and א ω+2 has the tree property. This improves a result of Matthew Foreman (see [2]).

The equiconsistency of a measurable cardinal with Mitchell order o=κ++ with a measurable cardinal such that 2κ=κ++ follows from the results by W. Mitchell [13] and M. Gitik [7]. These results were later generalized to measurable cardinals with 2κ larger than κ++ .In Friedman and Honzik [5], we formulated and proved Eastonʼs theorem [4] in a large cardinal setting, using slightly stronger hypotheses than the lower bounds identified by Mitchell and Gitik , for a suitable μ, instead of the cardinals (...) with the appropriate Mitchell order).In this paper, we use a new idea which allows us to carry out the constructions in Friedman and Honzik [5] from the optimal hypotheses. It follows that the lower bounds identified by Mitchell and Gitik are optimal also with regard to the general behavior of the continuum function on regulars in the context of measurable cardinals. (shrink)

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

Penser l'humanisme comme fondement philosophique et éthique du vivre ensemble constitue un choix engagé pour le devoir d'humanité. A l'heure des intégrismes, des replis identitaires, des sectarismes et de la haine de soi et de l'autre, l'engagement signifie d'abord et avant tout penser que la dignité humaine ne peut faire l'objet d'aucune forme de confiscation identitaire, culturelle, religieuse, politique et idéologique. Le respect de la vie et la promotion de la dignité humaine sont des valeurs fondatrices de l'éthique de l'humanisme (...) universel, dont la gouvernante politique est la démocratie. C'est elle, la démocratie, à travers le paradigme de l'Universel qui constitue l'enjeu majeur de la civilisation du vivre ensemble rationnel fondé sur la reconnaissance de la citoyenneté universelle. L'épuisement de la citoyenneté représentative exige de repenser les fondations de la démocratie par l'éducation à la singularité universelle. Du Contrat social de Rousseau, en passant par le devoir d'humanité kantien, de l'éthique de la rencontre du visage de l'autre de Lévinas au penser global d'Edgar Morin, l'humanité universelle est un appel à la prise de conscience de la reconnaissance de notre appartenance à une commune humanité. Il ne saurait y avoir de dérogation à l'impératif du respect du paradigme de l'universalité de la dignité humaine comme valeur fondatrice de l'idée démocratique. C'est l'énoncé de ce principe qui constitue le fil conducteur de cet ouvrage. Défendre et préserver le vivre ensemble démocratique est la seule forme de résistance contre tous les chantres et les agitateurs de la négation de la dignité humaine, de la liberté et de la fraternité universelle. (shrink)