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

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

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)

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)

Could this ONE paragraph be Fermat’s Lost ‘Proof’ of FLT?

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)

Dr. Karminder Singh Dhillon is a much-acclaimed theologian, a renowned civil servant, a prolific writer and a profound scholar of comparative religious studies. Born in 1960 at Teluk Anson, Perak, Malaysia, he retired after 32 years long professional career in the Malaysian Civil Service. His incisive articles on Sikh theology have been regularly published in various international journals. Currently serving as Joint Editor for the Sikh Bulletin, USA, he, with his exceptional writing style, has established himself as an eminent (...) exponent of the Sikh doctrines. In addition, he has published about one dozen books on various aspects of Sikhi. Dr. Dhillon’s book 'Understanding Anand' explores the Spirituality of Bliss as outlined in 'Anand,' a composition by Guru Amar Das, the third Sikh Guru, and enshrined in Sri Guru Granth Sahib (SGGS) on pages 917-922, in Ramkali Raag. He emphasizes that Gurbani advocates a spirituality of Fearlessness and Contentment leading to Anand (bliss and Joy). He laments that our clergy is intent on promoting the Spirituality of Fear and the Spirituality of Asking, which is the antithesis of what Gurbani stands for. He enunciates that Gurbani's spiritually brilliant and divinely genius messages lead to Vigaas, the Spirituality of Bliss and Joy (Anand). In 'Foreword' of the book, Gyani Jarnail Singh Arshi points out that the translation methodology adopted by the author makes the messages of Anand hymns free from literal translation trends as well as snatan, vedic and yogic slants. The book includes three 'Introductory Essays,' i.e. (i)The Spirituality of Anand, (ii) The Methodology of This Book, and (iii) How to Read This Book. The book's last section elaborates on the Anand composition. (shrink)

How can we come to know, be justified in believing, or understand, that something is necessary, possible, contingent, essential, or accidental? This is the central question in the epistemology of modality. After some short remarks on the importance of this question for philosophy and for our everyday life, this chapter briefly summarizes Kripke’s seminal contribution to the field, discusses two different skeptical challenges in the epistemology of modality and briefly surveys some of the most discussed contemporary accounts and answers to (...) the central question. (shrink)

There are three theories in the epistemology of modality that have received sustained attention over the past 20 years: conceivability-theory, counterfactual-theory, and deduction-theory. In this paper we argue that all three face what we call the problem of modal epistemic friction. One consequence of the problem is that for any of the three accounts to yield modal knowledge, the account must provide an epistemology of essence. We discuss an attempt to fend off the problem within the context of the internalism (...) versus externalism debate about epistemic justification. We then investigate the effects that the PMEF has on reductive and non-reductive theories of the relation between essence and modality. (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 Unified Medical Language System and the Gene Ontology are among the most widely used terminology resources in the biomedical domain. However, when we evaluate them in the light of simple principles for wellconstructed ontologies we find a number of characteristic inadequacies. Employing the theory of granular partitions, a new approach to the understanding of ontologies and of the relationships ontologies bear to instances in reality, we provide an application of this theory in relation to an example drawn from the (...) context of the pathophysiology of hypertension. This exercise is designed to demonstrate how, by taking ontological principles into account we can create more realistic biomedical ontologies which will also bring advantages in terms of efficiency and robustness of associated software applications. (shrink)

The National Cancer Institute’s Thesaurus (NCIT) has been created with the goal of providing a controlled vocabulary which can be used by specialists in the various sub-domains of oncology. It is intended to be used for purposes of annotation in ways designed to ensure the integration of data and information deriving from these various sub-domains, and thus to support more powerful cross-domain inferences. In order to evaluate its suitability for this purpose, we examined the NCIT’s treatment of the kinds of (...) entities which are fundamental to an ontology of colon carcinoma. We here describe the problems we uncovered concerning classification, synonymy, relations and definitions, and we draw conclusions for the work needed to establish the NCIT as a reference ontology for the cancer domain in the future. (shrink)

This is an in-depth review of "The Embodied Mind: Cognitive Science and Human Experience" by Francisco Varela, Evan Thompson and Eleanor Rosch.

An explicit formal-ontological representation of entities existing at multiple levels of granularity is an urgent requirement for biomedical information processing. We discuss some fundamental principles which can form a basis for such a representation. We also comment on some of the implicit treatments of granularity in currently available ontologies and terminologies (GO, FMA, SNOMED CT).

that can serve as a foundation for more refined ontologies in the field of proteomics. Standard data sources classify proteins in terms of just one or two specific aspects. Thus SCOP (Structural Classification of Proteins) is described as classifying proteins on the basis of structural features; SWISSPROT annotates proteins on the basis of their structure and of parameters like post-translational modifications. Such data sources are connected to each other by pairwise term-to-term mappings. However, there are obstacles which stand in the (...) way of combining them together to form a robust meta-classification of the needed sort. We discuss some formal ontological principles which should be taken into account within the existing datasources in order to make such a metaclassification possible, taking into account also the Gene Ontology (GO) and its application to the annotation of proteins. (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)

The Gene Ontology is an important tool for the representation and processing of information about gene products and functions. It provides controlled vocabularies for the designations of cellular components, molecular functions, and biological processes used in the annotation of genes and gene products. These constitute three separate ontologies, of cellular components), molecular functions and biological processes, respectively. The question we address here is: how are the terms in these three separate ontologies related to each other? We use statistical methods and (...) formal ontological principles as a first step towards finding answers to this question. (shrink)

September 12, 2025 – The Department of Physics at Sri Guru Granth Sahib World University, Fatehgarh Sahib, hosted an expert talk by Dr. Devinder Pal Singh, Director of the Center for Understanding Sikhism, Mississauga, Ontario, Canada, on the timely theme “Harnessing AI for Sikhism – Opportunities and Risks.” The event was graced by the presence of Dr. Pritpal Singh, Vice-Chancellor; Prof. S. S. Billing, Dean of Academic Affairs; Dr. Tegbir Singh, Registrar; and Dr. Preet Kaur, Head of (...) the Department of Physics. In his remarks, Vice-Chancellor Dr. Pritpal Singh appreciated Dr. Devinder Pal Singh’s contributions to the promotion of Sikhism and emphasized the importance of exploring artificial intelligence in the context of religious studies. In her welcome address, Dr. Preet Kaur highlighted Dr. Singh’s extensive contributions to Sikh studies and his pioneering work in exploring the intersections of science, technology, and religion. During his talk, Dr. Singh discussed how artificial intelligence (AI) presents both transformative opportunities and significant ethical challenges for Sikh communities worldwide. He emphasized the potential of AI in areas such as preservation and accessibility of Sikh scriptures, educational tools for youth, and global interfaith dialogue. At the same time, he cautioned against over-reliance on technology, underlining the risks of misinformation, cultural misrepresentation, and ethical dilemmas in AI development. The event also featured the release of Dr. Singh’s newly published book, “Echoes of a Digital Dawn – AI’s Triumphs and Trials,” which explores the broader societal implications of artificial intelligence in contemporary life. A large number of students attended the event and actively engaged in a lively discussion session, raising questions about AI’s role in shaping future religious scholarship and community practices. The program concluded with a vote of thanks, expressing appreciation for Dr. Singh’s insightful perspectives and his continuing efforts to bridge the gap between emerging technologies and Sikh thought. (shrink)

The theory of granular partitions (TGP) is a new approach to the understanding of ontologies and other classificatory systems. The paper explores the use of this new theory in the treatment of task-based clinical guidelines as a means for better understanding the relations between different clinical tasks, both within the framework of a single guideline and between related guidelines. We used as our starting point a DAML+OIL-based ontology for the WHO guideline for hypertension management, comparing this with related guidelines and (...) attempting to show that TGP provides a flexible and highly expressive basis for the manipulation of ontologies of a sort which might be useful in providing more adequate Computer Interpretable Guideline Models (CIGMs) in the future. (shrink)

This paper introduces the Knowledge–Reality (KR) Framework, a quantitative approach for bridging subjective experience with objective truth. Continental in scope yet analytic in method, the framework draws on established philosophical positions—from Kantian metaphysics to Cartesian skepticism—to construct formal axioms and derive core equations. The KR Framework is formalized through two interdependent models: the Vector Model (Extended KR Model) defines the multi-dimensional structure and total magnitude of consciousness (R= ||C||), while the Scalar Model (KR Model) defines the veridical component of that (...) consciousness (R*). The Scalar Model anchors experience to Objective Reality (G = 1) by defining Attained Knowledge (K) as the primary driver of (R*), filtered by perceptual limits (ω) and anchored by a phenomenal baseline (ε), such that R* = ωK + ε. Its vectorized counterpart is derived as: R = ||C|| = ||ΩX + E||. The framework yields three metaphysical findings. 1. The Epistemic Third Law: the expansion of R* is exponential yet can only asymptotically approach G, mirroring the thermodynamic impossibility of absolute zero. 2. Relational Progress: epistemic progress is inherently relational—measurable only as a change in state from prior knowledge. 3. Authentic Living: the framework entails a philosophy of existence that pursues both truth alignment and experiential depth, treating the expansion of knowledge and fullness of conscious presence as complementary forms of human flourishing. Finally, the KR Model posits C as a necessary, non-reducible coordinate within the metaphysical state vector (x, y, z, t, C). It also offers a therapeutic interpretation of derealization, reframing “metaphysical dread” as acute awareness of both a large Epistemic Ignorance (N) and uncertainty about one’s R*- coordinate. By bounding philosophy’s central tension—the gap between what is and what appears—the KR Model renders an enduring metaphysical problem tractable within a quantitative system. (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)

In this article we survey Ásta’s (2008, 2013) conferralist account of essence, which provides a broadly anti-realist picture of essence. We first offer some thoughts on the difference between realist and anti-realist accounts of essence in general. Then we present Ásta’s notion of a conferred property and sketch her conferralist account of essence. Finally, we examine some critical questions conferralism faces.

Evidence-based medicine relies on the execution of clinical practice guidelines and protocols. A great deal of of effort has been invested in the development of various tools which automate the representation and execution of the recommendations contained within such guidelines and protocols by creating Computer Interpretable Guideline Models (CIGMs). Context-based task ontologies (CTOs), based on standard terminology systems like UMLS, form one of the core components of such a model. We have created DAML+OIL-based CTOs for the tasks mentioned in the (...) WHO guideline for hypertension management, drawing comparisons also with other related guidelines. The advantages of CTOs include: contextualization of ontologies, providing ontologies tailored to specific aspects of the phenomena of interest, dividing the complexity involved in creating ontologies into different levels, providing a methodology by means of which the task recommendations contained within guidelines can be integrated into the clinical practices of a health care set-up. (shrink)

Professor Puran Singh, a unique synthesis of a poet, philosopher and scientist, rose like a celestial star on the firmament of modern Indian literature. The many splendored personality of this great chemist, mystic poet, visionary and interpreter of the Sikh cultural consciousness still beckons scholars to explore the extent of his vision in various fields. After a splendid in-depth study of the Life and Work of Puran Singh, Dr. Hardev Singh Virk has made a successful attempt to (...) unravel the persona of this multi-dimensional genius in his book titled 'Professor Puran Singh - Scientist, Poet and Philosopher.' The book is an anthology of 11 essays - 7 in English and 4 in Punjabi. In the 'Introduction to the book, the author traces a brief history of the kindling of his interest in the 'Life and Works of Puran Singh.' Then he articulates the purpose of the book to elaborate the ideas of this eminent scholar through different mediums to reach a wider audience. Dr. Virk stresses that poetic and other literary works of Puran Singh are of International standards and worth a Nobel Prize in literature. Still, sadly these works have not been adequately projected at the world forum. (shrink)

The hard problem of consciousness arises in most incarnations of present day physicalism. Why should certain physical processes necessarily be accompanied by experience? One possible response is that physicalism itself should be modified in order to accommodate experience: But, modified how? In the present work, we investigate whether an ontology derived from quantum field theory can help resolve the hard problem. We begin with the assumption that experience cannot exist without being accompanied by a subject of experience (SoE). While people (...) well versed in Indian philosophy will not find that statement problematic, it is still controversial in the analytic tradition. Luckily for us, Strawson has elaborately defended the notion of a thin subject—an SoE which exhibits a phenomenal unity with different types of content (sensations, thoughts etc.) occurring during its temporal existence. Next, following Stoljar, we invoke our ignorance of the true physical as the reason for the explanatory gap between present day physical processes (events, properties) and experience. We are therefore permitted to conceive of thin subjects as related to the physical via a new, yet to be elaborated relation. While this is difficult to conceive under most varieties of classical physics, we argue that this may not be the case under certain quantum field theory ontologies. We suggest that the relation binding an SoE to the physical is akin to the relation between a particle and (quantum) field. In quantum field theory, a particle is conceived as a coherent excitation of a field. Under the right set of circumstances, a particle coalesces out of a field and dissipates. We suggest that an SoE can be conceived as akin to a particle—a SelfOn—which coalesces out of physical fields, persists for a brief period of time and then dissipates in a manner similar to the phenomenology of a thin subject. Experiences are physical properties of selfons with the constraint (specified by a similarity metric) that selfons belonging to the same natural kind will have similar experiences. While it is odd at first glance to conceive of subjects of experience as akin to particles, the spatial and temporal unity exhibited by particles as opposed to fields and the expectation that selfons are new kinds of particles, paves the way for cementing this notion. Next, we detail the various no-go theorems in most versions of quantum field theory and discuss their impact on the existence of selfons. Finally, we argue that the time is ripe for a rejuvenated Indian philosophy to begin tackling the three-way relationship between SoEs (which may become equivalent to jivas in certain Indian frameworks), phenomenal content and the physical world. With analytic philosophy still struggling to come to terms with the complex worlds of quantum field theory and with the relative inexperience of the western world in arguing the jiva-world relation, there is a clear and present opportunity for Indian philosophy to make a worldcentric contribution to the hard problem of experience. (shrink)

The paper presents the outlines of an ontology of plans and guidelines, which is then used as the basis for a framework for implementing guideline-based systems for the management of workflow in health care organizations. The framework has a number of special features, above all in that it enables us to represent in formal terms assignments of work-items both to individuals and to teams and to tailor guideline to specific contexts of application in health care organizations. It is designed also (...) to enable implementations to do justice to the fact that the processes carried out in health care organizations may deviate in different ways from the norms set forth in corresponding guideline definitions. This means that implementations built in conformity with the framework will be marked by a type of flexibility that might make them more likely to be accepted by healthcare professionals than are standard guideline-based management systems. (shrink)

(Report assembled for the Workshop of the AMIA Working Group on Formal Biomedical Knowledge Representation in connection with AMIA Symposium, Washington DC, 2005.) Best practices in ontology building for biomedicine have been frequently discussed in recent years. However there is a range of seemingly disparate views represented by experts in the field. These views not only reflect the different uses to which ontologies are put, but also the experiences and disciplinary background of these experts themselves. We asked six questions related (...) to biomedical ontologies to what we believe is a representative sample of ontologists in the biomedical field and came to a number conclusions which we believe can help provide an insight into the practical problems which ontology builders face today. (shrink)

Ontological principles are needed in order to bridge the gap between medical and biological information in a robust and computable fashion. This is essential in order to draw inferences across the levels of granularity which span medicine and biology, an example of which include the understanding of the roles of tumor markers in the development and progress of carcinoma. Such information integration is also important for the integration of genomics information with the information contained in the electronic patient records in (...) such a way that real time conclusions can be drawn. In this paper we describe a large multi-granular datasource built by using ontological principles and focusing on the case of colon carcinoma. (shrink)

An important part of the Unified Medical Language System (UMLS) is its Semantic Network, consisting of 134 Semantic Types connected to each other by edges formed by one or more of 54 distinct Relation Types. This Network is however for many purposes overcomplex, and various groups have thus made attempts at simplification. Here we take this work further by simplifying the relations which involve the three Semantic Types – Diagnostic Procedure, Laboratory Procedure and Therapeutic or Preventive Procedure. We define operators (...) which can be used to generate terms instantiating types from this selected set when applied to terms designating certain other Semantic Types, including almost all the terms specifying clinical tasks. Usage of such operators thus provides a useful and economical way of specifying clinical tasks. The operators allow us to define a mapping between those types within the UMLS which do not represent clinical tasks and those which do. This mapping then provides a basis for an ontology of clinical tasks that can be used in the formulation of computer-interpretable clinical guideline models. (shrink)

Clinical guidelines are special types of plans realized by collective agents. We provide an ontological theory of such plans that is designed to support the construction of a framework in which guideline-based information systems can be employed in the management of workflow in health care organizations. The framework we propose allows us to represent in formal terms how clinical guidelines are realized through the actions of are realized through the actions of individuals organized into teams. We provide various levels of (...) implementation representing different levels of conformity on the part of health care organizations. Implementations built in conformity with our framework are marked by two dimensions of flexibility that are designed to make them more likely to be accepted by health care professionals than standard guideline-based management systems. They do justice to the fact 1) that responsibilities within a health care organization are widely shared, and 2) that health care professionals may on different occasions be non-compliant with guidelines for a variety of well justified reasons. The advantage of the framework lies in its built-in flexibility, its sensitivity to clinical context, and its ability to use inference tools based on a robust ontology. One disadvantage lies in its complicated implementation. (shrink)

There are a number of existing classifications and staging schemes for carcinomas, one of the most frequently used being the TNM classification. Such classifications represent classes of entities which exist at various anatomical levels of granularity. We argue that in order to apply such representations to the Electronic Health Records one needs sound ontologies which take into consideration the diversity of the domains which are involved in clinical bioinformatics. Here we outline a formal theory for addressing these issues in a (...) way that the ontologies can be used to support inferences relating to entities which exist at different anatomical levels of granularity. Our case study is the colon carcinoma, one of the most common carcinomas prevalent within the European population. (shrink)

It is widely understood that protein functions can be exhaustively described in terms of no single parameter, whether this be amino acid sequence or the three-dimensional structure of the underlying protein molecule. This means that a number of different attributes must be used to create an ontology of protein functions. Certainly much of the required information is already stored in databases such as Swiss-Prot, Protein Data Bank, SCOP and MIPS. But the latter have been developed for different purposes and the (...) separate data-structures which they employ are not conducive to the needed data integration. When we attempt to classify the entities in the domain of proteins, we find ourselves faced with a number of cross-cutting principles of classification. Our question here is: how can we bring together these separate taxonomies in order to describe protein functions? Our proposed answer is: via a careful top-level ontological analysis of the relevant principles of classification, combined with a new framework for the simultaneous manipulation of classifications constructed for different purposes. (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)

Recent work on the quality assurance of the Gene Ontology (GO, Gene Ontology Consortium 2004) from the perspective of both linguistic and ontological organization has made it clear that GO lacks the kind of formalism needed to support logic-based reasoning. At the same time it is no less clear that GO has proven itself to be an excellent terminological resource that can serve to combine together a variety of biomedical database and information systems. Given the strengths of GO, it is (...) worth investigating whether, by overcoming some of its weaknesses from the point of view of formal-ontological principles, we might not be able to enhance a version of GO which can come even closer to serving the needs of the various communities of biomedical researchers and practitioners. It is accepted that clinical and bioinformatics need to find common ground if the results of data-intensive biomedical research are to be harvested to the full. It is also widely accepted that no single method will be sufficient to create the needed common framework. We believe that the principles-based approach to life-science data integration and knowledge representation must be one of the methods applied. Indeed in dealing with the ontological representation of carcinomas, and specifically of colon carcinomas, we have established that, had GO (and related biomedical ontologies) followed some of the basic formal-ontological principles we have identified (Smith et al. 2004, Ceusters et al. 2004), then the effort required to navigate successfully between clinical and bioinformatics systems would have been reduced. We point here to the sources of ontologically-related errors in GO, and also provide arguments as to why and how such errors need to be resolved. (shrink)

Outcomes research in healthcare has been a topic much addressed in recent years. Efforts in this direction have been supplemented by work in the areas of guidelines for clinical practice and computer-interpretable workflow and careflow models.In what follows we present the outlines of a framework for understanding the relations between organizations, guidelines, individual patients and patient-related functions. The derived framework provides a means to extract the knowledge contained in the guideline text at different granularities, in ways that can help us (...) to assign tasks within the healthcare organization and to assess clinical performance in realizing the guideline. It does this in a way that preserves the flexibility of the organization in the adoption of the guidelines. (shrink)

The International Classification of Functioning, Disability and Health provides a classification of human bodily functions, which, while exhibiting non-conformance to many formal ontological principles, provides an insight into which basic functions such a classification should include. Its evaluation is an important first step towards such an adequate ontology of this domain. Presented at the 13th Annual North American WHO Collaborating Center Conference on the ICF, 2007.

We provide a methodology for the creation of ontological partitions in biomedicine and we test the methodology via an application to the phenomenon of blood pressure. An ontology of blood pressure must do justice to the complex networks of intersecting pathways in the organism by which blood pressure is regulated. To this end it must deal not only with the anatomical structures and physiological processes involved in such regulation but also with the relations between these at different levels of granularity. (...) For this purpose our ontology offers a variety of distinct partitions � of substances, processes and functions � and integrates these together within a single framework via transitive networks of part-whole and dependence relations among the entities in each of these categories. The paper concludes with a comparison of this methodology with the approaches of GOTM, KEGG, DIP and BIND and provides an outline of how the methodology is currently being applied in the field of biomedical database integration. (shrink)

Human Aspiration is the first chapter of the magnum opus book "Life Divine". Here in in this chapter Sri Aurobindo one of the most modern prolific philosophers of Renaissance India has highlighted his focal points as to what Man's eternal aspiration has been, that is, God, Light , Freedom & Eternity. Despite technological and scientific advancements, Mans is still thirsty, it is because he aspires for a Divine Life. The article talks about the "Human aspiration" of eternity in details.

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)

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)

This work is a robust cloud native observability framework for monitor large scale real time of insurance systems. The improved system transparency, performance and fault diagnosis that is brought in by the integration of distributed tracing, log aggregation and metrics is proposed in this architecture. Experimental validation shows its effectiveness towards improving reliability and scalability while keeping operational efficiency in place in those environments built on microservices.

Distributed Constraint Optimization Problems (DCOPs) provide a framework for solving multi-agent coordination tasks efficiently. However, their black-box nature often limits transparency and trust in decision-making processes. This paper explores methods to enhance interpretability in DCOPs, leveraging explainable AI (XAI) techniques. We introduce a novel approach incorporating heuristic explanations, constraint visualization, and modelagnostic methods to provide insights into DCOP solutions. Experimental results demonstrate that our method improves human understanding and debugging of DCOP solutions while maintaining solution quality.

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)

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)