Metaethical constitutivists seek to ground normativity in facts about what is constitutive of agency. One strand of constitutivism locates the foundations of normativity in constitutive aims, which are standardly conceived of in teleological terms. I present three challenges that show that the teleological conception of constitutive aims is inadequate for the constitutivist project. I then sketch an alternative conception of constitutive aims in the form of a commitment-based conception. On the commitment-based conception, actions and attitudes constitutively represent their objects as (...) having certain properties, and their constitutive aims are fixed by the accuracy-conditions of these representations. Because such representations constitutively involve a commitment on the part of the agent to the object’s having the relevant property, they generate authoritative norms for the agent. I conclude that, unlike the teleological conception, the commitment-based conception promises to yield a unified constitutivism that delivers authoritative normative standards for both actions and attitudes. (shrink)

Our concern in this paper lies with a common argument from racial discrimination to realism about races: some people are discriminated against for being members of a particular race (i.e., racial discrimination exists), so some people must be members of that race (i.e., races exist). Error theorists have long responded that we can explain racial discrimination in terms of racial attitudes alone, so we need not explain it in terms of race itself. But to date there has been little detailed (...) discussion of whether it is better to explain racial discrimination in terms of race or in terms of racial attitudes alone. Our goal is to offer a novel and detailed argument in defense of explaining racial discrimination in terms of racial attitudes alone, by attending to the neglected phenomenon of misperception discrimination, which involves differential treatment due to misperceived race. We argue that the discriminatory action in misperception cases must be explained in the same way as cases where (according to the realist) the victim’s race is accurately perceived. Thus, the victim’s actual race cannot provide the best explanation. The main upshot of our argument is that explanatory arguments from racial discrimination to realism about race fail. (shrink)

In this paper, I defend an account of the reasons for which we act, believe, and so on for any Ф such that there can be reasons for which we Ф. Such reasons are standardly called motivating reasons. I argue that three dominant views of motivating reasons (psychologism, factualism and disjunctivism) all fail to capture the ordinary concept of a motivating reason. I show this by drawing out three constraints on what motivating reasons must be, and demonstrating how each view (...) fails to satisfy at least one of these constraints. I then propose and defend my own account of motivating reasons, which I call the Guise of Normative Reasons Account. On the account I defend, motivating reasons are propositions. A proposition is the reason for which someone Ф‐s when (a) she represents that proposition as a normative reason to Ф, and (b) her representation explains, in the right way, her Ф‐ing. As I argue, the Guise of Normative Reasons Account satisfies all three constraints on what motivating reasons must be, and weathers several objections that might be leveled against propositionalist views. (shrink)

Susanna Rinard has recently offered a new argument for pragmatism and against evidentialism. According to Rinard, evidentialists must hold that the rationality of belief is determined in a way that is different from how the rationality of other states is determined. She argues that we should instead endorse a view she calls Equal Treatment, according to which the rationality of all states is determined in the same way. In this paper, I show that Rinard’s claims are mistaken, and that evidentialism (...) is more theoretically virtuous than its opponents sometimes give it credit for. Not only does evidentialism not make an exception for belief, but it fits naturally into a unified, explanatorily powerful account of the rationality of intentional mental states. According to such an account, the rationality of all intentional mental states, including belief, is determined by the right kind of reasons for those states. Since the right kind of reasons for belief just are evidential considerations, this unified account entails evidentialism. I conclude, contra Rinard, that evidentialism can be situated within a general account of rationality that is at least as theoretically virtuous as pragmatism, if not more so. (shrink)

This paper defends an account of moral worth. Moral worth is a status that some, but not all, morally right actions have. Unlike with merely right actions, when an agent performs a morally worthy action, she is necessarily creditworthy for doing the right thing. First, I argue that two dominant views of moral worth have been unable to fully capture this necessary connection. On one view, an action is morally worthy if and only if its agent is motivated by the (...) features of the action that make it right. On the other, an action is morally worthy if and only if its agent is motivated by the action’s rightness itself. Neither of these views captures the connection between moral worth and creditworthiness, because each view leaves room for cases of accidentally doing the right thing. Next, I develop a new account, which I call the Guise of Moral Reasons Account. On my account, morally worthy actions are right actions that are motivated by moral reasons as such. This account rules out cases of accidentally doing the right thing, thus capturing the necessary connection between moral worth and creditworthiness for doing the right thing. (shrink)

This chapter discusses some of Anscombe’s contributions to the philosophy of practical reason. It focuses particularly on Anscombe’s view of what it is to act for reasons. I begin by discussing the relationship between acting intentionally and acting for reasons in Anscombe's theory of action. I then further explicate her view by discussing her rejection of two related views about acting for reasons: causalism (the view that reasons are a kind of cause of actions) and psychologism (the view that reasons (...) are mental states like desires and beliefs). In the process, I try to show that Anscombe’s rejection of these theses does not leave us with mystery, but rather sheds light on an interesting and serious heterodox view of acting for reasons. I conclude by suggesting that though Anscombe's views have been taken sufficiently seriously by philosophers of action, they should be taken more seriously by philosophers of practical reason. (shrink)

In this essay, I develop an account of belief as commitment to the truth of a proposition. On my account, to believe p is to represent p as true by way of committing to the truth of p. To commit to the truth of p, in the sense I am interested in, is to exercise the normative power to subject one’s representation of p as true to the normative standard of truth. As I argue, my account of belief as commitment (...) of the truth explains a variety of features of belief that separate it from attitudes like acceptance, supposition, and imagination. Most importantly, it explains the distinctive connection between belief and evidence. Moreover, my account helps solve three further puzzles about belief, regarding doxastic voluntarism, the aim of belief, and Moore’s paradox. (shrink)

In recent years, there has been increasing interest in analytic philosophy that engages with non-Western philosophical traditions, including South Asian religions such as Hinduism, Buddhism, and Jainism. However, thus far, there has been no engagement with Sikhism, despite its status as a major world religion with a rich philosophical tradition. This paper is an attempt to get a start at analytic philosophical engagement with Sikh philosophy. My focus is on Sikh ethics, and in particular on the theory of vice and (...) virtue that can be gleaned from Sikh scripture. According to this theory, the five major vices have a unified source in the vice of haumai. Haumai is a kind of false conception of oneself as singularly important, and correspondingly, a false conception of the world as revolving around oneself, as a world of objects there for one’s use. Vice, then, comes down to the failure to recognize the importance of others. The corresponding picture of virtue is that virtue consists in a recognition of the importance of others, through the recognition of an ultimate reality on which all are One. After reconstructing the Sikh theory of vice and virtue, I conclude with some comparative remarks on Sikh and Western ethics. (shrink)

[In June 2022, Anayat Ullah Mugloo, a research scholar at the University of Kashmir, Srinagar, India, contacted Dr. Devinder Pal Singh, Director of the Center for Understanding Sikhism, Canada, to explore the legacy of Guru Nanak, the founder of Sikhism, and his role in peacebuilding in South Asia. This interaction resulted in the following deliberation.].

Sikhism is the world's fifth-largest religion. It was founded during the late 15th century in the Punjab region of the Indian subcontinent. Its adherents are known as Sikhs. Currently, there are about 30 million Sikhs worldwide. Most of them live in the Indian state of Punjab. As per Sikh tradition, Sikhism was established by Guru Nanak (1469–1539) and subsequently led by a succession of nine other Gurus. Before his death, the tenth Sikh Guru, Guru Gobind Singh (1666–1708), bestowed the (...) status of Guru to the sacred scripture of Sikhs, Adi Granth, which is presently known as Sri Guru Granth Sahib (SGGS) [1]. The Adi Granth was first compiled by Guru Arjan Dev, the fifth Sikh Guru, in 1604. Its second and final version has been the handiwork of Guru Gobind Singh, who added the hymns of his father, Guru Teg Bahadur, the ninth Sikh Guru [2], at Damdama Sahib, Talwandi Sabo, Punjab, in 1705. The holy Sikh scripture, SGGS, contains 1430 pages of text in poetry form. In addition to the hymns of the six Sikh Gurus and four Sikhs, it includes hymns composed by fifteen saints (Bhagats) and eleven poet laureates (Bhats) of the Guru's court. Muslims and Hindus, Brahmins, and "untouchables" all come together in one congregation to create a universal scripture. It is a compendium of mystic, metaphysical and religious poetry written or recited between the 12th and 17th centuries in the Indian sub-continent [3]. Sri Guru Granth Sahib, through its comprehensive worldview, offers a perfect set of values and an applicable code of conduct. Its cardinal message addresses the welfare of all humans irrespective of their caste, colour, creed, culture, and religion. SGGS emphasizes love, respect, empathy, and acceptance of others' existence. It prohibits us from infringing on the freedom and rights of others. The life and works of the Sikh Gurus exemplify the practicability of these ideas. Their inter-faith dialogues highlighted that human unity and oneness could be achieved through tolerance, communication, and respect for others [4]. Besides a matchless elaboration of spirituality, Sri Guru Granth Sahib enshrines a powerful expression of the message of revolutionary ideals of social welfare, human rights, multicultural distinctness, and religious freedom. In the present era, when the threats and fear of interfaith conflicts, military aggression, terrorism, etc., have overpowered human sentiments, the teachings of Sri Guru Granth Sahib are even more relevant to resolving all these problems. (shrink)

The elections and political parties are necessary ingredients of democratic governance. Elections are a necessary condition of representative democracy. In representative democracy citizens participate in politics primarily by choosing political authorities in competitive elections. Elections, hence, are a necessary and crucial instrument to make democracy work. In India, free and fair elections are held at regular intervals as per guidelines of the constitution and the Election Commission. To make them free of flaws it is essential to reform them from time (...) to time. Electoral reform means introducing fair electoral systems for conducting fair elections. It also rejuvenates the existing systems to enhance and increase the efficiency of the same. Following the demands of electoral reforms several committees were being set up. Some of the measures like reduction of voting age and anti defection law are appreciable but there are other vital areas in election field completely neglected. This paper will evaluate about different attempts made for electoral reforms in India. Different challenges before the Election Commission are also been discussed, also how it can be made effective as suggested by Commission in India will be presented. A comparative analysis with other democratic countries like U.S.A and U.K. is added to it. (shrink)

The Chinese rites controversy is typically characterized as a religious quarrel between different Catholic orders over whether it was permissible for Chinese converts to observe traditional rites and use the terms tian and shangdi to refer to the Christian God. As such, it is often argued that the conflict was shaped predominantly by the divergent theological attitudes between the rites-supporting Jesuits and their anti-rites opponents towards “accommodation.” By examining the Jesuit missionary Kilian Stumpf's Acta Pekinensia—a detailed chronicle of the papal (...) legate Charles-Thomas Maillard de Tournon's 1705–6 investigation into the controversy in Beijing—this article proposes that ostensibly religious disputes between Catholic orders consisted primarily of disagreements over ancient Chinese history. Stumpf's text shows that missionaries’ understandings of antiquity were constructed through their interpretations of ancient Chinese books and their interactions with the Kangxi Emperor. The article suggests that the historiographical characterization of the controversy as “religious” has its roots in the Vatican suppression of the rites, which served to erase the historical nature of the conflict exposed in the Acta Pekinensia. (shrink)

This essay argues that the concept of ‘racial capitalism’ can help us understand the connections between seemingly disparate parts of Voltaire’s extensive corpus of work. It contends that even though the Enlightenment’s racial politics abounded with contradictions and ambivalences, Voltaire stood out from his contemporaries. While the connections between his polygenism – the theory that humans of different races were created separately – and material investments in colonial commerce have long been debated by radical historians, this essay suggests that Voltaire’s (...) views about race’s relationship to labour were transformed by France’s colonial losses during the Seven Years’ War. (shrink)

In the case of AI, automated systems are making increasingly complex decisions with significant ethical implications, raising questions about who is responsible for decisions made by AI and how to ensure that these decisions align with society's ethical and moral values, both in India and the West. Jonathan Haidt has conducted research on moral and ethical decision-making. Today, solving problems like decision-making in autonomous vehicles can draw on the literature of the trolley dilemma in that it illustrates the complexity of (...) ethical decisions faced in emergency situations, as well as the moral implications of the decisions made. However, a series of moral principles must be understood and cited to avoid insufficient mechanistic explanations. Here we present a compilation of ethical positions both in India and the West. (shrink)

Today the whole world is facing a very difficult time due to corona virus which initially originated in Wuhan city of China. In China an unusual pneumonia was noticed earlier which later recognized as a pandemic. There have been two events in the past wherein crossover of animal corona viruses to humans has resulted in severe disease, one was SARS-CoV and the other was MERS-CoV. The genetic sequence of the COVID19 showed more than 80% similarities to SARS-CoV and 50% to (...) the MERSCoV. Corona viruses are enveloped positive sense single-stranded RNA virus belongs to a large family in which all strains of the family do not have virulent capacity. World Health Organisation has classified COVID-19 as a β CoV of group 2B. Structurally, SARS-CoV-2 has four main structural proteins and several accessory proteins through which it enters into the cell. This virus enters the through ACE2 receptors, which are found on various organs in human body. After entering into one body, it enters to another body via transmission through sneezing, coughing etc. People who have had diabetes, chronic respiratory disease, cardiovascular disease, or even high blood pressure and cancer are at higher risk of coronavirus. (shrink)

Violence risk assessment tools are increasingly used within criminal justice and forensic psychiatry, however there is little relevant, reliable and unbiased data regarding their predictive accuracy. We argue that such data are needed to (i) prevent excessive reliance on risk assessment scores, (ii) allow matching of different risk assessment tools to different contexts of application, (iii) protect against problematic forms of discrimination and stigmatisation, and (iv) ensure that contentious demographic variables are not prematurely removed from risk assessment tools.

Nowadays Fog Computing has become a vast research area in the domain of cloud computing. Due to its ability of extending the cloud services towards the edge of the network, reduced service latency and improved Quality of Services, which provides better user experience. However, the qualities of Fog Computing emerge new security and protection challenges. The Current security and protection estimations for cloud computing cannot be straightforwardly applied to the fog computing because of its portability and heterogeneity. So these issues (...) in fog computing arises new research challenges and opportunities. This survey features about existing security concerns for fog computing and new proposed system to tackle some of the issues in fog computing related to security and privacy, thereby enhancing the cloud security. (shrink)

We study the question of how to decompose Hilbert space into a preferred tensor-product factorization without any pre-existing structure other than a Hamiltonian operator, in particular the case of a bipartite decomposition into "system" and "environment." Such a decomposition can be defined by looking for subsystems that exhibit quasi-classical behavior. The correct decomposition is one in which pointer states of the system are relatively robust against environmental monitoring (their entanglement with the environment does not continually and dramatically increase) and remain (...) localized around approximately-classical trajectories. We present an in-principle algorithm for finding such a decomposition by minimizing a combination of entanglement growth and internal spreading of the system. Both of these properties are related to locality in different ways. This formalism could be relevant to the emergence of spacetime from quantum entanglement. (shrink)

Through engagement with key informants and review of ethical theories applicable to refugee policy, this paper examines the ethical and policy considerations that policy-level stakeholders believe should factor into setting the refugee resettlement ceiling. We find that the ceiling traditionally has been influenced by policy goals, underlying values, and practical considerations. These factors map onto several ethical approaches to resettlement. There is significant alignment between U.S. policy interests and ethical obligations toward refugees. We argue that the refugee ceiling should be (...) restored to historical norms, and that there exists a corresponding obligation to counter negative public perceptions about refugees and the costs of resettlement. (shrink)

Coastal protection is crucial to human development since the ocean has many values associated with the economy, ecosystem, and culture. However, most ocean protecting efforts are currently ineffective due to the burdens of finance, lack of appropriate management, and international cooperation regimes. For aiding bottom-up initiatives for ocean protection support, this study employed the Mindsponge Theory to examine how the public’s perceived economic and cultural values influence their willingness to support actions to protect the ocean. Analyzing the European-Union-Horizon-2020-funded dataset of (...) 709 respondents from 42 countries, we discovered that perceived economic values have negative effects on the tendency of ocean protection supports (i.e., food, transportation, renewable energy, oil and gas, and recreation). In contrast, certain perceived cultural values can help increase the willingness to do so (i.e., mental well-being and sense of identity). However, the effects of perceived cultural values are only moderately reliable. These findings suggest that designing cultural information delivery campaigns can help promote coastal reserve supports, such as fundraisings and preserving the oceans from the community. (shrink)

'ā no bhadrāḥ kratavo yantu viśvato ' Let good thoughts come from all around; inspired by this timeless epic of Rigveda. India has presented an excellent model of Multiculturalism to the world. The multiculturalist model of the West, as established by contemporary thinkers like Wilkymalika, is based on the separate political existence of different cultural classes. been made for thousands of years. India has maintained Multiculturalism not only at the socio-cultural level but also at the political level. Through federal structure, (...) universal suffrage, constitutionally guaranteed civil rights, with other constitutional institutions and provisions, multiculturalism is being addressed at the political level for a population of 13 million people .Thus in India , multiculturalism is not only is not only a political tool for diversity but also a socio-political concept. Therefore, Indian multiculturalism presents a comprehensive, effective, and more sustainable model which have to be discussed. (shrink)

This book discusses a variety of world views that we can find to describe human relationships with the environment, and the underlying values in them. It reviews existing international legal instruments discussing some of the ethical values that have been agreed among member states of the United Nations.

Using a novel enumeration task, we examined the encoding of spatial information during subitizing. Observers were shown masked presentations of randomly-placed discs on a screen and were required to mark the perceived locations of these discs on a subsequent blank screen. This provided a measure of recall for object locations and an indirect measure of display numerosity. Observers were tested on three stimulus durations and eight numerosities. Enumeration performance was high for displays containing up to six discs—a higher subitizing range (...) than reported in previous studies. Error in the location data was measured as the distance between corresponding stimulus and response discs. Overall, location errors increased in magnitude with larger numerosities and shorter display durations. When errors were computed as disc distance from display centroid, results suggest a compressed representation by observers. Additionally, enumeration and localization accuracy increased with display regularity. (shrink)

ā no bhadrāḥ kratavo yantu viśvato ' Let good thoughts come from all around; inspired by this timeless epic of Rigveda. India has presented an excellent model of Multiculturalism to the world. The multiculturalist model of the West, as established by contemporary thinkers like Will kymlicka, is based on the separate political existence of different cultural classes. However, India's cultural nationalism has shown how diverse cultures can co-exist with a common socio-political thought over the centuries. Sakas, Huns, Kushans, Turks, Afghan, (...) Iranians, and Mughals all got absorbed in sanatan Indian culture. Not only this , it also gave place to the different cultures to come, and made the model, of coexistence alive. In the name of nationalities like French, Spanish, Portuguese, Polish, and German, Europe got divided into many nation states, but in India Gujarati, Marathi,, Telugu Oriya, Bengali, Punjabi, Assamese, Tamil, Kannada, Malayalam nationalities were not divided into nation states. Instead coexistence has been made for thousands of years. India has maintained multiculturalism not only at the socio-cultural level but also at the political level. Through federal structure, universal suffrage, constitutionally guaranteed civil rights, with other constitutional, institutions and provisions, multiculturalism is being addressed at the political level for population of 13 million people. Thus, in India, multiculturalism is not only a political tool for diversity but also a socio-political concept. Therefore, Indian multiculturalism presents a comprehensive, effective and more sustainable model which have to be discussed. (shrink)

All accepted proofs of the Four Colour Theorem (4CT) are computer-dependent; and appeal to the existence, and manual identification, of an ‘unavoidable’ set containing a sufficient number of explicitly defined configurations—each evidenced only by a computer as ‘reducible’—such that at least one of the configurations must occur in any chromatically distinguished, minimal, planar map. For instance, Appel and Haken ‘identified’ 1,482 such configurations in their 1977, computer-dependent, proof of 4CT; whilst Neil Robertson et al ‘identified’ 633 configurations as sufficient in (...) their 1997, also computer-dependent, proof of 4CT. However, treating any specific number of ‘reducible’ configurations in an ‘unavoidable’ set as sufficient entails a minimum number as necessary and sufficient. We now show that the minimum number of such configurations can only be the one corresponding to the ‘unavoidable’ set of a ‘reducible’, 4-sided configuration identified by Alfred Kempe in his, seemingly fatally flawed, 1879 ‘proof’ of 4CT. Although Kempe appealed to putative properties of ‘Kempe’ chains in a graphical representation to fallaciously argue that a 5-sided configuration was also in the ‘unavoidable’ set, and ‘reducible’, we shall show why the flaw in his ‘proof’ is not fatal when the argument is expressed geometrically; and that, essentially, Kempe correctly argued that any planar map which admits a chromatic differentiation with a five-sided area C that shares non-zero boundaries with four, all differently coloured, neighbours can be 4-coloured. (shrink)

If two self-connected individuals are connected, it follows in classical extensional mereotopology that the sum of those individuals is self-connected too. Since mainland Europe and mainland Asia, for example, are both self-connected and connected to each other, mainland Eurasia is also self-connected. In contrast, in non-extensional mereotopologies, two individuals may have more than one sum, in which case it does not follow from their being self-connected and connected that the sum of those individuals is self-connected too. Nevertheless, one would still (...) expect it to follow that a sum of connected self-connected individuals is self-connected too. In this paper, we present some surprising countermodels which show that this conjecture is incorrect. (shrink)

Cornell realism (CR), a prominent meta-ethical position that has emerged since the last decades of the twentieth century, proposes a non-reductionist naturalistic account of moral properties and facts. This paper argues that the best version of CR’s chosen methodology for arriving at justified moral beliefs must be seen as a variant of reflective equilibrium. In comparison to the traditional versions, our proposal offers a ‘social’ reinterpretation of reflective equilibrium in delineating CR’s epistemology. We argue that it satisfactorily accounts for objectivity (...) and calls for the inclusion of the social nature of both moral and scientific inquiries. Emphasising the social dimension of their epistemological account also nudges debates in metaethics into incorporating the much-needed social dimension while dealing with questions of moral beliefs and facts that have been of CR’s concern. (shrink)

According to Whitehead’s rectified principle, two individuals are connected just in case there is something self-connected which overlaps both of them, and every part of which overlaps one of them. Roberto Casati and Achille Varzi have offered a counterexample to the principle, consisting of an individual which has no self-connected parts. But since atoms are self-connected, Casati and Varzi’s counterexample presupposes the possibility of gunk or, in other words, things which have no atoms as parts. So one may still wonder (...) whether Whitehead’s rectified principle follows from the assumption of atomism. This paper presents an atomic countermodel to show the answer is no. (shrink)

We normally function through the mind without knowing the mechanics of understanding. This book teaches us how to make thoughts and how to control once mind, so that we can live peaceful life and achieve the highest goal of life, i.e. self-realization. Book also deals with the fundamentals of life and spirituality. Book has written in a simple language so that most of the peoples will understand the real essence of the life. The author has discussed about the complex messages (...) of the Vedanta, in a thoughtful manner. The author discusses about Jiva, Jagat, Ishvara and Spiritual life in his book by referencing verses from the Bhagwat Gita, Vedanta and Shrimad Bhagwat Mahapuran in very simple language. The purpose of writing this book is to understand our intrinsic nature. Book is so enriched with the wisdom that everyone should read it at least once. (shrink)

The study of Vedas has been an ongoing endeavor for centuries with various interpretations made to understand their essence. A commentary by Sri Aurobindo on Rigveda discussed in his book "The Secret of the Veda" is considered to provide a deeper understanding of the teachings of the Vedas in a contemporary context, as it removes difficulties posed by the ancient form of Sanskrit and interpretations done over different times and contexts. This recomprehension of the Vedas aims to change the perception (...) of the Vedas from being a collection of nonsensical hymns to a more insightful and profound collection of teachings, drawing upon the works of modern scholars of Sanskrit. In this text, we aim to encapsulate the interpretation of Sri Aurobindo in a chapter form so that it becomes accessible to the general audience. (shrink)

Everything and every word about spirituality have already been said but the practical utility of spiritual wisdom in day to day life to achieve success and live a blissful life is lacking. Spiritual wisdom not only shows us the path of salvation and freedom but also helps us to figure out the solutions for every problem in all walks of human life and civilization. Spirituality is a well-defined, scientific way to get any goal in life whether it is for justified (...) worldly desires or to fulfil the urge of salvation with a blissful route. The book is an important read for the present generation, i.e. our youth as well as the persons those who want to touch the divinity within. Due to the universal nature of Spiritual Wisdom, it is bound to be on the shelves of the coming generation as spiritual science is not something that can be restricted to any one generation. The book itself contains the aura of mysticism and a touch of the great teaching taken from the scriptures. The book will teach how spiritual wisdom may change a person’s life. (shrink)

I defend a relational account of difference in the moral status between fetuses and newborns. The difference in moral status between a fetus and a newborn is that the newborn baby is the proper object of ‘parental responsibility’ whereas the fetus is not. ‘Parental responsibilities’ are a moral dimension of a ‘parent-child relation’, a relation which newborn babies stand in, but fetuses do not. I defend this relational account by analyzing the concepts of ‘parent’ and ‘child’, and conclude that the (...) difference in the moral status between fetuses and newborns means one may claim abortion is morally permissible while also claiming infanticide is not morally permissible, without inconsistency between the two claims. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

All acknowledged proofs of the Four Colour Theorem (4CT) are computerdependent. They appeal to the existence, and manual identification, of an ‘unavoidable’ set containing a sufficient number of explicitly defined configurations—each evidenced only by a computer as ‘reducible’—such that at least one of the configurations must occur in any chromatically distinguished, putatively minimal, planar map. For instance, Appel and Haken ‘identified’ 1,482 such configurations in their 1977, computer-dependent, proof of 4CT; whilst Neil Robertson et al ‘identified’ 633 configurations as sufficient (...) in their 1997, also computer-dependent, proof of 4CT. However, treating any specific number of ‘reducible’ configurations in an ‘unavoidable’ set as sufficient entails a minimum number as necessary and sufficient. We now show that the minimum number of such configurations can only be the one corresponding to the ‘unavoidable’ set of the single, ‘reducible’, 4-sided configuration identified by Alfred Kempe in his, seemingly fatally flawed, 1879 ‘proof’ of 4CT. We shall further show that although Kempe fallaciously concluded that a 5-sided configuration was also in the ‘unavoidable’ set, and appealed to unproven properties of ‘Kempe’ chains in a graphical representation to then argue for its ‘reducibility’, neither flaw in his ‘proof’ is fatal when the argument is expressed geometrically; and that, essentially, Kempe correctly argued that any planar map which admits a chromatic differentiation with a five-sided area C that shares non-zero boundaries with four, all differently coloured, neighbours can be 4-coloured. (shrink)

A simple operating principle (similar to a combination of a pottery wheel and a catapult or, simply, the weapon used by David to slay Goliath) coupled with the success of some moderate engineering challenges may allow for the transmission of a carrier wave from Earth to Mars in less than one second! This paper also directly addresses the controversy of light speed variance/invariance (which has arisen from the “wave/particle nature of light” debate) by referencing Joseph A. Rybczyk’s 2012 paper, “Lunar (...) Laser Evidence of Light Speed Variance”. (shrink)

Neuroenhancement involves the use of neurotechnologies to improve cognitive, affective or behavioural functioning, where these are not judged to be clinically impaired. Questions about enhancement have become one of the key topics of neuroethics over the past decade. The current study draws on in-depth public engagement activities in ten European countries giving a bottom-up perspective on the ethics and desirability of enhancement. This informed the design of an online contrastive vignette experiment that was administered to representative samples of 1000 respondents (...) in the ten countries and the United States. The experiment investigated how the gender of the protagonist, his or her level of performance, the efficacy of the enhancer and the mode of enhancement affected support for neuroenhancement in both educational and employment contexts. Of these, higher efficacy and lower performance were found to increase willingness to support enhancement. A series of commonly articulated claims about the individual and societal dimensions of neuroenhancement were derived from the public engagement activities. Underlying these claims, multivariate analysis identified two social values. The Societal/protective highlights counter normative consequences and opposes the use enhancers. The Individual/proactionary highlights opportunities and supports use. For most respondents these values are not mutually exclusive. This suggests that for many neuroenhancement is viewed simultaneously as a source of both promise and concern. (shrink)

We consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary evidence-based definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways: (1) in terms of classical algorithmic verifiabilty; and (2) in terms of finitary algorithmic computability. We then show that the two definitions correspond to two distinctly different assignments of satisfaction and truth (...) to the compound formulas of PA over N---I_PA(N; SV ) and I_PA(N; SC). We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both I_PA(N; SV ) and I_PA(N; SC). We then show: (a) that if we assume the satisfaction and truth of the compound formulas of PA are always non-finitarily decidable under I_PA(N; SV ), then this assignment corresponds to the classical non-finitary putative standard interpretation I_PA(N; S) of PA over the domain N; and (b) that the satisfaction and truth of the compound formulas of PA are always finitarily decidable under the assignment I_PA(N; SC), from which we may finitarily conclude that PA is consistent. We further conclude that the appropriate inference to be drawn from Goedel's 1931 paper on undecidable arithmetical propositions is that we can define PA formulas which---under interpretation---are algorithmically verifiable as always true over N, but not algorithmically computable as always true over N. We conclude from this that Lucas' Goedelian argument is validated if the assignment I_PA(N; SV ) can be treated as circumscribing the ambit of human reasoning about `true' arithmetical propositions, and the assignment I_PA(N; SC) as circumscribing the ambit of mechanistic reasoning about `true' arithmetical propositions. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

Could it be that if a fetus is not a person abortion is still immoral? One affirmative answer comes in the form of ‘The Impairment Argument’, which utilizes ‘The Impairment Principle’ to argue that abortion is immoral even if fetuses lack personhood. I argue ‘The Impairment Argument’ fails. It is not adequately defended from objections, and abortion is, in fact, a counterexample to the impairment principle. Furthermore, it explains neither what the wrong-making features of abortion are nor what features of (...) fetuses ground their supposed moral significance. By presupposing the fetus lacks personhood and providing no alternate account of the basis of fetuses’ moral significance, there is nothing to constitute abortion’s wrongness. Attempts to modify it fail for the same reasons. Thus, the impairment argument fails to show abortion is immoral. (shrink)

Classical interpretations of Goedels formal reasoning, and of his conclusions, implicitly imply that mathematical languages are essentially incomplete, in the sense that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is, both, non-algorithmic, and essentially unverifiable. However, a language of general, scientific, discourse, which intends to mathematically express, and unambiguously communicate, intuitive concepts that correspond to scientific investigations, cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical truth (...) verifiably. We consider a constructive interpretation of classical, Tarskian, truth, and of Goedel's reasoning, under which any formal system of Peano Arithmetic---classically accepted as the foundation of all our mathematical Languages---is verifiably complete in the above sense. We show how some paradoxical concepts of Quantum mechanics can, then, be expressed, and interpreted, naturally under a constructive definition of mathematical truth. (shrink)

There is growing concern that decision-making informed by machine learning (ML) algorithms may unfairly discriminate based on personal demographic attributes, such as race and gender. Scholars have responded by introducing numerous mathematical definitions of fairness to test the algorithm, many of which are in conflict with one another. However, these reductionist representations of fairness often bear little resemblance to real-life fairness considerations, which in practice are highly contextual. Moreover, fairness metrics tend to be implemented in narrow and targeted toolkits that (...) are difficult to integrate into an algorithm’s broader ethical assessment. In this paper, we derive lessons from ethical philosophy and welfare economics as they relate to the contextual factors relevant for fairness. In particular we highlight the debate around acceptability of particular inequalities and the inextricable links between fairness, welfare and autonomy. We propose Key Ethics Indicators (KEIs) as a way towards providing a more holistic understanding of whether or not an algorithm is aligned to the decision-maker’s ethical values. (shrink)

Neuroenhancement involves the use of neurotechnologies to improve cognitive, affective or behavioural functioning, where these are not judged to be clinically impaired. Questions about enhancement have become one of the key topics of neuroethics over the past decade. The current study draws on in-depth public engagement activities in ten European countries giving a bottom-up perspective on the ethics and desirability of enhancement. This informed the design of an online contrastive vignette experiment that was administered to representative samples of 1000 respondents (...) in the ten countries and the United States. The experiment investigated how the gender of the protagonist, his or her level of performance, the efficacy of the enhancer and the mode of enhancement affected support for neuroenhancement in both educational and employment contexts. Of these, higher efficacy and lower performance were found to increase willingness to support enhancement. A series of commonly articulated claims about the individual and societal dimensions of neuroenhancement were derived from the public engagement activities. Underlying these claims, multivariate analysis identified two social values. The Societal/Protective highlights counter normative consequences and opposes the use enhancers. The Individual/Proactionary highlights opportunities and supports use. For most respondents these values are not mutually exclusive. This suggests that for many neuroenhancement is viewed simultaneously as a source of both promise and concern. (shrink)

Modern life sciences research is increasingly relying on artificial intelligence (AI) approaches to model biological systems, primarily centered around the use of machine learning (ML) models. Although ML is undeniably useful for identifying patterns in large, complex data sets, its widespread application in biological sciences represents a significant deviation from traditional methods of scientific inquiry. As such, the interplay between these models and scientific understanding in biology is a topic with important implications for the future of scientific research, yet it (...) is a subject that has received little attention. Here, we draw from an epistemological toolkit to contextualize recent applications of ML in biological sciences under modern philosophical theories of understanding, identifying general principles that can guide the design and application of ML systems to model biological phenomena and advance scientific knowledge. We propose that conceptions of scientific understanding as information compression, qualitative intelligibility, and dependency relation modelling provide a useful framework for interpreting ML-mediated understanding of biological systems. Through a detailed analysis of two key application areas of ML in modern biological research – protein structure prediction and single cell RNA-sequencing – we explore how these features have thus far enabled ML systems to advance scientific understanding of their target phenomena, how they may guide the development of future ML models, and the key obstacles that remain in preventing ML from achieving its potential as a tool for biological discovery. Consideration of the epistemological features of ML applications in biology will improve the prospects of these methods to solve important problems and advance scientific understanding of living systems. (shrink)

Some responses to analogies between abortion and infanticide appeal to Judith Jarvis Thomson's argument for the permissibility of abortion. I argue that these responses fail because a parallel argument can be constructed for the permissibility of infanticide. However, an argument on the grounds of a right to choose to become a parent can maintain that abortion is permissible but infanticide is not by recognizing the normative significance and nature of parenthood. -/- Certaines réponses aux analogies entre l'avortement et l'infanticide font (...) appel à l'argument de Judith Jarvis Thomson en faveur de la licéité morale de l'avortement pour désamorcer ces analogies. Je soutiens que ces réponses échouent parce qu'un argument parallèle peut être construit en faveur de la licéité de l'infanticide. Cependant, un argument reposant sur le droit de choisir de devenir parent permet de soutenir que l'avortement est autorisé mais que l'infanticide ne l'est pas en reconnaissant le sens et la nature normatifs de la parentalité. (shrink)

In this paper, I respond to criticisms toward my account of the difference in moral status between fetuses and newborns. I show my critics have not adequately argued for their view that pregnant women participate in a parent-child relationship. While an important counterexample is raised against my account, this counterexample had already been dealt with in my original paper. Because the criticisms against my account lack argumentative support, they do not pose a problem for my account. I conclude the raised (...) criticisms do not amount to a strong philosophical case against my account. (shrink)

Conventional wisdom dictates that proofs of mathematical propositions should be treated as necessary, and sufficient, for entailing `significant' mathematical truths only if the proofs are expressed in a---minimally, deemed consistent---formal mathematical theory in terms of: * Axioms/Axiom schemas * Rules of Deduction * Definitions * Lemmas * Theorems * Corollaries. Whilst Andrew Wiles' proof of Fermat's Last Theorem FLT, which appeals essentially to geometrical properties of real and complex numbers, can be treated as meeting this criteria, it nevertheless leaves two (...) questions unanswered: (i) Why is x^n +y^n = z^n solvable only for n < 3 if x, y, z, n are natural numbers? (ii) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? Prevailing post-Wiles wisdom---leaving (i) essentially unaddressed---dismisses Fermat's claim as a conjecture without a plausible proof of FLT. -/- However, we posit that providing evidence-based answers to both queries is necessary not only for treating FLT as significant, but also for understanding why FLT can be treated as a true arithmetical proposition. We thus argue that proving a theorem formally from explicit, and implicit, premises/axioms using rules of deduction---as currently accepted---is a meaningless game, of little scientific value, in the absence of evidence that has already established---unambiguously---why the premises/axioms and rules of deduction can be treated, and categorically communicated, as pre-formal truths in Marcus Pantsar's sense. Consequently, only evidence-based, pre-formal, truth can entail formal provability; and the formal proof of any significant mathematical theorem cannot entail its pre-formal truth as evidence-based. It can only identify the explicit/implicit premises that have been used to evidence the, already established, pre-formal truth of a mathematical proposition. Hence visualising and understanding the evidence-based, pre-formal, truth of a mathematical proposition is the only raison d'etre for subsequently seeking a formal proof of the proposition within a formal mathematical language (whether first-order or second order set theory, arithmetic, geometry, etc.) By this yardstick Andrew Wiles' proof of FLT fails to meet the required, evidence-based, criteria for entailing a true arithmetical proposition. -/- Moreover, we offer two scenarios as to why/how Fermat could have laconically concluded in his recorded marginal noting that FLT is a true arithmetical proposition---even though he either did not (or could not to his own satisfaction) succeed in cogently evidencing, and recording, why FLT can be treated as an evidence-based, pre-formal, arithmetical truth (presumably without appeal to properties of real and complex numbers). It is primarily such a putative, unrecorded, evidence-based reasoning underlying Fermat's laconic assertion which this investigation seeks to reconstruct; and to justify by appeal to a plausible resolution of some philosophical ambiguities concerning the relation between evidence-based, pre-formal, truth and formal provability. (shrink)

Misguided use, manipulation, misappropriation, disruption and mismanagement of Information deeply affects the infosphere as well as the social and moral fabric of a society. Information ethics is an attempt to bring the creation, organization, dissemination, and use of information within the ambit of ethical standards and moral codes. The diverse and inherently pluralistic nature of societies however puts forth an additional demand on us - to come up with an intercultural information ethics. An intercultural ethics which is other-centric, context sensitive (...) and workable without being homogenizing, patronizing and colonizing. An endeavor in that direction has already been made by proponents of intercultural information ethics like: Charles M. Ess, Fay Sudweeks, Rafael Capurro, Pak-Hang Wong, Soraj Hongladarom et al. In our paper, we propose that the kind of ethical pluralism being sought in the domain of information ethics can be attained by having a reappraisal of the current methodological strategies, by casting a critical relook at the Eurocentric ethical model. This paper analyses the current framework of Intercultural Information Ethics. And in an endeavour to move towards an allencompassing, other-centric, workable, intercultural, harmonious and compassionate model of 'Pluralistic Information Ethics', it proposes the Indian / Asian philosophical method of 'Samvāda' to the current inventory which includes methods like: 'parrhesia/free speech' and 'interpretive phronēsis. (shrink)

Andrew Wiles' analytic proof of Fermat's Last Theorem FLT, which appeals to geometrical properties of real and complex numbers, leaves two questions unanswered: (i) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? (ii) Why is x^n+y^n=z^n solvable only for n<3? In this inter-disciplinary perspective, we offer insight into, and answers to, both queries; yielding a pre-formal proof of why FLT can be treated as a true (...) arithmetical proposition (one which, moreover, might not be provable formally in the first-order Peano Arithmetic PA), where we admit only elementary (i.e., number-theoretic) reasoning, without appeal to analytic properties of real and complex numbers. We cogently argue, further, that any formal proof of FLT needs---as is implicitly suggested by Wiles' proof---to appeal essentially to formal geometrical properties of formal arithmetical propositions. (shrink)