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)

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)

In the first part of this investigation we highlight two, seemingly irreconcilable, beliefs that suggest an impending crisis in the teaching, research, and practice of—primarily state-supported—mathematics: (a) the belief, with increasing, essentially faith-based, conviction and authority amongst academics that first-order Set Theory can be treated as the lingua franca of mathematics, since its theorems—even if unfalsifiable—can be treated as ‘knowledge’ because they are finite proof sequences which are entailed finitarily by self-evidently Justified True Beliefs; and (b) the slowly emerging, but (...) powerfully rooted in economic imperatives, belief that only those Justified True Beliefs can be treated as ‘knowledge’ which are, further, categorically communicable as Factually Grounded Beliefs—hence as comprehensible pre-formal ‘mathematical truths’—by any intelligence that lays claims to a mathematical lingua franca. We argue that this seeming irreconcilability merely reflects a widening chasm between an increasing under-estimation of the value to society of ‘semantic arithmetical truth’, and an increasing over-estimation of the value to society of ‘syntactic set-theoretical provability’; a chasm which must be narrowed and bridged explicitly. We thus proffer a Complementarity Thesis which seeks to recognize that mathematical ‘provability’ and mathematical ‘truth’ need to be interdependent and complementary, ‘evidence-based’, assignments-by-convention to the formulas of a formal mathematical language; where (a) the goal of mathematical ‘proofs’ may be viewed as seeking to ensure that any mathematical language intended to formally represent our pre-formal conceptual metaphors and their inter-relatedness is unambiguous, and free from contradiction; whilst (b) the goal of mathematical ‘truths’ must be viewed as seeking to ensure that any such representation does, indeed, uniquely identify and adequately represent such metaphors and their inter-relatedness. Our thesis is that, by universally ignoring the need to introduce goal (b) in our curriculum, the teaching of, and research in, mathematics at the post-graduate level cannnot justify its value to society beyond the mere intellectual stimulation of individual minds. In the second part we appeal to some recent—and hitherto unsuspected—unarguably constructive Tarskian interpretations, of the first-order Peano Arithmetic PA, which establish PA as both finitarily consistent, and categorical. Since we also show that the second order subsystem ACA0 of Peano Arithmetic and PA cannot both be assumed provably consistent, we conclude that there can be no mathematical, or meta-mathematical, proof of consistency for Set Theory. Hence the theorems of any Set Theory are not sufficient for distinguishing between (i) what we can believe to be a ‘mathematical truth’; (ii) what we can evidence as a ‘mathematical truth’; and (iii) what we ought not to believe is a ‘mathematical truth’; whilst the theorems of the first-order Peano Arithmetic PA are sufficient for distinguishing between (i), (ii) and (iii). We conclude from this that the holy grail of mathematics ought to be ‘arithmetical truth’, not ‘set-theoretical proof’. (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)

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)

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)

We argue the thesis that if (1) a physical process is mathematically representable by a Cauchy sequence; and (2) we accept that there can be no infinite processes, i.e., nothing corresponding to infinite sequences, in natural phenomena; then (a) in the absence of an extraneous, evidence-based, proof of `closure' which determines the behaviour of the physical process in the limit as corresponding to a `Cauchy' limit; (b) the physical process must tend to a discontinuity (singularity) which has not been reflected (...) in the Cauchy sequence that seeks to describe the behaviour of the physical process. We support our thesis by mathematical models of the putative behaviours of (i) a virus cluster; (ii) an elastic string; and (iii) a Universe that recycles from Big Bang to Ultimate Implosion, in which parity and local time reversal violation, and the existence of `dark energy' in a multiverse, need not violate Einstein's equations and quantum theory. We suggest that the barriers to modelling such processes in a mathematical language that seeks unambiguous communication are illusory; they merely reflect an attempt to ask of the language chosen for such representation more than it is designed to deliver. (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)

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)

Although the Four Colour Theorem is passe, we give an elementary pre-formal proof that transparently illustrates why four colours suffice to chromatically differentiate any set of contiguous, simply connected and bounded, planar spaces; by showing that there is no minimal 4-coloured planar map M. We note that such a pre-formal proof of the Four Colour Theorem highlights the significance of differentiating between: (a) Plato's knowledge as justified true belief, which seeks a formal proof in a first-order mathematical language in order (...) to justify a belief as true; and (b) Piccinini's knowledge as factually grounded belief, which seeks a pre-formal proof, in Pantsar's sense, in order to justify the axioms and rules of inference of a first-order mathematical language which can, then, formally prove the belief as justifiably true under a well-defined interpretation of the language. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...) be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then 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. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (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)

Guru Gobind Singh, the tenth Sikh Guru, is celebrated for his profound teachings on faith, courage, justice, and unity. This article explores the timeless lessons from his life and works, emphasizing the key values he instilled in his followers. Guru Gobind Singh's unwavering faith in God, despite facing immense personal losses, highlights the importance of inner resilience and spiritual commitment. His courage to defend truth and justice, especially in the face of oppression, teaches the significance of standing up (...) for what is right. The Guru’s emphasis on self-discipline, personal responsibility, and sacrifice for a higher cause guides ethical living and community service. His advocacy for the equality of all people, regardless of caste, gender, or religion, underscores the relevance of inclusivity and social justice. Additionally, Guru Gobind Singh’s promotion of education, both intellectual and spiritual, reinforces the need for lifelong learning and moral development. His leadership style, rooted in humility and empowerment, offers valuable lessons for modern leaders. Through the teachings of Guru Gobind Singh, individuals are encouraged to lead lives of integrity, compassion, and unity, making his legacy a timeless source of inspiration for the world today. (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)

Guru Gobind Singh, the tenth Sikh Guru, was a divine preceptor and crusader for noble cause of human welfare. He was a great religious leader, a poet and a mystic, a true scholar and philosopher. He was also a fearless warrior and a military commander, who always fought against tyranny and oppression, to establish a just and benign state. In his hymns of 'Bachitar Natak', he proclaimed his mission as 'to protect the righteous, oppressed and downtrodden people and to (...) destroy the evil-doers'. He stressed on the unity between humans, rejected all sorts of discriminations and preached equality and goodwill. Being a prolific writer and a poet of rare sensibility, Guru Gobind Singh greatly enriched the literary heritage of India. His poetic vision depicts the glorious epitome of medieval Indian literary traditions. Through his compositions, he enunciated a doctrine of armed struggle for the protection of truth and justice. The fusion of the devotional and martial, of the spiritual and the heroic ethos is the most important feature of his literary work and his charismatic leadership. With his spiritual dynamism, he attempted to reconcile the transcendent with the immanent through his creation of the Khalsa. The commonwealth of the Khalsa was founded based on all round equality and total dedication to one Supreme Reality. Guru Gobind Singh was a pioneer Indian leader to introduce republican set up and democratic institutions. His teachings have great relevance for the modern man to build a global society with a commitment to peace and goodwill across all sorts of constraints and geographical boundaries. (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)

A renowned Sikh scholar and internationally recognized expert on Calendrical Science, S. Pal Singh Purewal's outstanding contribution to Sikh history has been the Nanakshahi calendar. In the old Bikrami calendar, some gurpurabs (Sikhs' sacred days for commemorating certain events) came twice a year, and some gurpurabs did not come even once a year. Taking cognizance of these anomalies, Pal Singh Purewal took the initiative to remedy the situation. For nearly fifteen years, he toiled hard to sort out the (...) problem. His endeavor led to the creation of the Nanakshahi calendar. Announcing its release, he opined: "All communities and faiths have their own calendar as a mark of their distinct cultural identity. So, just as the Islamic world has the Hijri calendar and Hindus have the Bikrami calendar, the Sikhs will have a Nanakshahi calendar along with the common era (CE) calendar, which is in use throughout the world.". (shrink)

Bhai Vir Singh, a multifaceted personality, had made a seminal contribution to the Sikh religion, its heritage and Punjabi literature. He was one of the harbingers of the Sikh renaissance and immensely contributed to rejuvenating Sikh heritage, history, literature, education, culture and commerce. Bhai Vir Singh was born on December 5, 1872, at Amritsar. He was the eldest among his six siblings. His father, Dr. Charan Singh, was a medical practitioner and an illustrious scholar. His grandfather Bhai (...) Kahan Singh was the first in the family to be sworn as a Sikh and was a forerunner of the family's literary and scholarly tradition. Bhai Vir Singh's ancestry includes Diwan Kaura Mal, the vice-governor of Multan. Bhai Vir Singh's maternal grandfather, Giani Hazara Singh, too was a renowned exegete and a man of letters. Bhai Vir Singh's upbringing in the legendary scholarly Sikh family greatly shaped his personality and works. (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)

Prof. Devinder Singh Chahal, an international microbiologist, having worked at various prestigious universities in India and the USA, migrated to Canada in 1975. In Canada, firstly, he worked at the University of Waterloo, Ontario and later on at Institut Armand‐Frappier, Université du Québec, Laval, Québec. He retired as a Professor of Industrial Microbiology in 1996. In his long career as a microbiologist, he is credited with the discovery of two new species of fungi, three scientific books, numerous research articles (...) and five patents. He has published 6 books and several articles on the scientific and logical interpretation of Gurbani. He played an instrumental role in establishing the Institute of Understanding Sikhism, Laval, Quebec. Presently, he is working as honorary Editor‐in‐Chief of "Understanding Sikhism: The Research Journal." Besides, he is a member of the Advisory Committee of SGGS Study Centre, G.N.D. University, Amritsar since 2011. He has been honoured for his services to Sikhism by several Sikh organizations e.g., SGPC, Amritsar; DSGMC, New Delhi and SGGS World University, Fatehgarh, Punjab. A renowned microbiologist and a noted Sikh theologian, Prof. Chahal, is a founder member of the School of Scientific and Logical Interpretation of Gurbani. He is committed to bringing out the truth of Gurbani, logically, rationally and scientifically. With his scientific training and devotion to Gurbani, he is eminently qualified to do so. Prof Chahal adheres that Nanakian Philosophy is perennial and universal in its approach to understand Cosmology, Nature, life and human behaviour in the present era. In his works, he portrays intellectually courageous and authentic attempts to interpret Guru Nanak's verses logically and scientifically, to create an accurate understanding of the Guru's messages. His scientific background and professional life as a scientist have undoubtedly influenced his choice of paradigm and perspective. Prof Chahal asserts that Guru Nanak, his philosophy, his bani, his Sikhi, and the Guru Granth Sahib delineate the basics befitting the 21st century. His views on various aspects of Nanakian Philosophy are presented here for the benefit of readers:. (shrink)

Dr. Devinder Singh Sekhon served as a Chemistry/Educational Administration professor at various colleges/Universities in Alberta and British Columbia, Canada. Presently, living in Windsor, Canada, he is actively contributing to the fields of Science, Religion, and Literature. Despite being a noted chemist and educationist, he is interested in sharing his insights about religion and science. Due to this keen dedication to sharing his understanding of Sikhi doctrines with all, he authored seven books on various aspects of the Sikh way of (...) life. In addition, his about three dozen stories and two dozen articles have been published in various newspapers and magazines in India, Canada and the USA. His writings, laced with his rationalistic approach and logical outlook, have been well appreciated by his readers. Presently, he is entirely devoted to preparing an English translation of Sri Guru Granth Sahib, the sacred scripture of the Sikhs. In one of my recent meetings with him, I had a chance to learn more about his contributions and insights into Sikhism. A brief write-up of the interview is being shared for the benefit of the readers. (shrink)

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)

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.

Guru Gobind Singh was a many splendoured genius, possessed of extraordinary qualities of virtue and valour, service and sacrifice, solider and scholar. He was not only a great warrior but a prolific writer and a poet of high calibre. The brief span of forty-two years of his life is full of much activity. He wrote in many languages. It is said that fourteen maunds load of manuscripts were lost in Sirsa when the Guru was being pursued from Anandpur to (...) Chamkaur. Fortunately, some of his work survived and from this, we get a pretty clear picture of his aims and ideals. The Guru compiled a variety of poetic compositions, some of which are considered masterpieces of medieval Punjabi poetry and Braj literature. His patronage of poets and scholars at his Darbar contributed a significant addition to the storehouse of Puranic Epics in Indian literature. (shrink)

We present three experiments that explore the robustness of the _authentic-apparent effect_—the finding that participants are less likely to attribute knowledge to the protagonist in apparent- than in authentic-evidence Gettier cases. The results go some way towards suggesting that the effect is robust to assessments of the justificatory status of the protagonist’s belief. However, not all of the results are consistent with an effect invariant across two demographic contexts: American and Indian nationalities.

It is now standard to distinguish between two kinds of rationality: substantive rationality, which consists in holding attitudes that are substantively reasonable or justified, and structural rationality, which consists in holding attitudes that fit together in the right ways. What, if anything, unifies these two kinds of rationality? In this paper, I propose that norms of rationality arise because we are epistemically limited beings who cannot directly ensure the correctness of our attitudes. Substantive and structural rationality represent two different ways (...) of manifesting a fundamental commitment to getting things correct, given our epistemic limitations. Correspondingly, substantive and structural irrationality are distinct rational failures. Substantively irrational attitudes involve a failure to live up to the commitments that constitute those attitudes. Structurally irrational combinations of attitudes are constituted by inconsistent commitments, which guarantees that we will fail to live up to at least some of our commitments in holding these attitudes. (shrink)

Prof. (Dr.) Balwant Singh Dhillon, a much-acclaimed Sikh-historian, a dedicated researcher, a prolific writer, and a profound scholar of religion, was born in 1950, at Village Ran Singh Wala, District Faridkot, Punjab, India. With his keen interest in learning, he received a B.A. degree from SGGS College, Chandigarh, in 1972, and an M.A. (History) degree from the University of Rajasthan, Jaipur in 1974. During his younger days, he nurtured a keen interest in sports. On attaining the National Level (...) Athlete ranking, he was enthusiastic about pursuing a career in sports. Thereby, he joined Master Course for Coaching in athletics at the National Institute of Sports, Patiala, in 1974. Herein, he came in contact with Prof. Labh Singh of the Institute of Sikh Studies (IOSS, now Gurmat College), who inspired him to take up Sikh studies. This interaction brought a sea change in his life motive, and he committed himself to pursue a career in Sikh studies. After receiving M.A. (Religious Studies) degree from the IOSS in July 1976, he joined M. Lit. (Religious Studies) course at Punjabi University, Patiala. Here he had the opportunity to learn from several eminent scholars, e.g., Prof. Harbans Singh, Prof. Gurbachan Singh Talib, Prof. L.M. Joshi, and Dr. A.N. Sinha, etc., which made his resolve steadfast. In January 1977, he joined the Department of Guru Nanak Studies at Guru Nanak Dev University (GNDU), Amritsar, to pursue his research activities for a Ph.D. degree. In March 1985, he was awarded a Ph. D. degree by GNDU, for his outstanding research work on "The Sikh Gurus and the Mughal State." Starting, in April 1979, as a Research Assistant at the Department of Guru Nanak Studies, he rose to the position of Professor and Head of the department. He retired in June 2010. During his tenure at the university, he had also served as Dean, Faculty of Humanities and Religious Studies, Senator and Syndic of the University. As Head of the Department of Guru Nanak Studies, he played a vital role in starting the teaching of M.A. (Religious Studies and Philosophy)at GNDU, Amritsar. Under his stewardship, the research projects on "Sikh Religion and Philosophy," "Sikh History," and "Sikh Literature" were taken up, which led to a research and development grant of Rs. 3.2 Million from U.G.C., New Delhi, during 2006-2011. Dr. Dhillon was instrumental in establishing the Centre on Studies in Sri Guru Granth Sahib at the university, in April 2011, and served as its founding Director till February 2015. He has also served as the Editor-in-Chief for reputed Sikh research journals, "Journal of Sikh Studies" and "Perspectives on Guru Granth Sahib," published by the GNDU. In his forty years long professional career, he has been credited with authoring/publishing about a dozen books and over 100 articles in various research journals, books, and encyclopedias. Besides chairing several international seminars/conferences, he played a vital role in organizing many such events at the Department of Guru Nanak Studies and Centre on Studies in Guru Granth Sahib. He has the honour of representing India at many conferences/ seminars within Canada, America, England, Germany, and Australia. With his continuous dedication to religious studies, he has established himself as an exponent of interfaith dialogue and an eminent writer in the field of Sikh history. Through his well-researched and analytic writings, he has created an indelible mark of scholarship on his readers' minds. For his outstanding contributions in the fields of Sikh history and literature, he has been honoured by several literary and social organizations. Despite his great love and commitment to Sikh History and Religion, Dr. Dhillon subscribes to the idea that Sikh Gurus' Philosophy is perennial and universal in its approach to understand cosmology, Nature, life, and human behaviour in the present era. Furthermore, He asserts that the Sikh Gurus' ideology, its beliefs and practices, social order, worldview, and devotional pattern, as propounded in Sri Guru Granth Sahib, address the basics befitting the 21st century. His views on various aspects of Sikh history and philosophy are presented here for the benefit of readers. (shrink)

A great visionary, renowned scientist, a humanist and a mystic poet - Professor Puran Singh was perhaps the first eminent chemist born in Punjab. The founder head of the Department of Chemistry of forest products at the Forest Research Institute, Dehradun, Puran Singh pioneered many chemical efforts in the utilization of forest products. He was one of the new breeds of scientists who flowered in the subcontinent at the fag end of the nineteenth century and founded the base (...) on which the edifice of today's Indian science rests. In this article, a brief account of his life and works is described. (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)

A renowned Sikh scholar and internationally recognized expert on Calendrical Science, S. Pal Singh Purewal's outstanding contribution to Sikh history has been the Nanakshahi calendar. In the old Bikrami calendar, some gurpurabs (Sikhs' sacred days for commemorating certain events) came twice a year, and some gurpurabs did not come even once a year. Taking cognizance of these anomalies, Pal Singh Purewal took the initiative to remedy the situation. For nearly fifteen years, he toiled hard to sort out the (...) problem. His endeavor led to the creation of the Nanakshahi calendar. Announcing its release, he opined: "All communities and faiths have their own calendar as a mark of their distinct cultural identity. So, just as the Islamic world has the Hijri calendar and Hindus have the Bikrami calendar, the Sikhs will have a Nanakshahi calendar along with the common era (CE) calendar, which is in use throughout the world.". (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 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)

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)

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)

An influential philanthropist, prominent peach farmer, strong political influencer, and founder of Sikh institutions and festivals at Yuba City, S. Didar Singh Bains, has been a globally renowned Punjabi-American of California, Washington, D.C., USA. Starting from scratch, but only with his consistent hard work, perseverance and faith, he rose in prominence and stature in every facet of his life. His ability and will to give back and empower others made Didar the embodiment of the American Dream.

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.

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)

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)

The paper by Monteiro, Musten and Compson (2014) is to be commended for providing a comprehensive discussion of the compatibility issues arising from the integration of mindfulness – a 2,500-year-old Buddhist practice – into research and applied psychological domains. Consistent with the observations of various others (e.g., Dunne, 2011; Kang & Whittingham, 2010), Monteiro and colleagues have not only highlighted that there are differences in how Buddhism and contemporary mindfulness interventional approaches interpret and contextualize mindfulness, but there are also differing (...) interpretations of mindfulness within Buddhism. These apparent differences within Buddhism are arguably more noticeable when making comparisons across Buddhist vehicles (i.e., Theravada, Mahayana, Vajrayana), but to a lesser extent intra-vehicular differences can also be said to exist (i.e., differences between Buddhist traditions of the same vehicle). This commentary investigates the validity of some of these different Buddhist constructions of mindfulness, and then discusses how a better understanding of their scriptural and conceptual soundness (or lack thereof) may help to reconcile some of the actual and perceived incompatibility between Buddhist practice and contemporary secular mindfulness-based approaches. (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)

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)

Andrzej Waleszczyński critiques my argument for why the relationship between a pregnant person and any fetus they carry is not a relationship between a parent and a child. I argue Waleszczyński does not show that my “argument from potentiality” is inadequate, and I provide further justification for why birth marks a transformative shift into a moral relationship.

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)

Having served as an educationist and administrator for over forty-two years, at various prestigious educational institutions in India, he has also established himself as an eminent writer in the field of Sikh theology. Through his literary essays, as published in several reputed journals, magazines, books, and newspapers, he has been able to create an indelible mark of scholarship on the minds of his readers. Besides, he has published about one dozen books related to Sikhism. He has been honoured for his (...) services to the Sikh cause by several Sikh and non-Sikh organizations, e.g., SGPC, Amritsar; ICCR, Govt. of India; and Templeton Foundation, USA. He has also been honoured with Shiromani Award for Scientific Literature in Punjabi (1993) by Govt. of Punjab. A renowned Physicist and a noted Sikh theologian, Prof. Virk, is a founder member of the School of Scientific and Logical Interpretation of Gurbani. He is committed to bringing out the truth of Gurbani, logically, rationally and scientifically. With his scientific training and devotion to Gurbani, he is eminently qualified to do so. Prof. Virk adheres that Sikh Gurus' Philosophy is perennial and universal in its approach to understand Cosmology, Nature, life and human behaviour in the present scientific era. His scientific background and professional life as a scientist have undoubtedly influenced his choice of paradigm and perspective. Prof. Virk asserts that Sikh Gurus, their philosophy, their bani, their Sikhi, and Sri Guru Granth Sahib delineate the basics for the global society of the 21st century. His views on various aspects of Sikh Philosophy are presented here for the benefit of readers:. (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)

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 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)