White supremacy dominates the academy and political discussions. It first consists of conflating the geography of the West (where Black, Indigenous, and People of Color—BIPOC—are to be found) with a specific colonizing tradition originating in ancient Greek thought—call this tradition the West. Secondly, and more profoundly, it consists in treating this tradition as the frame for the study of every other intellectual tradition, which since the Romans it brands as religion. The political function of this marginalization of BIPOC philosophy is (...) to shield Western colonialism from moral philosophical criticism. The mechanism of colonialism is interpretation— explanation in terms of propositional attitudes, like belief. Not only is this a basic commitment of the Western tradition owing to its foundational linguistic account of thought (LAT), the South Asian moral philosophy of Yoga shows interpretation to be the essence of irresponsibility: it undermines the possibilities of choice as it is antilogical and is the mechanism of oppression. In contrast, Yoga, a fourth basic ethical theory (in addition to virtue ethics, consequentialism, and deontology) identifies an alternate metaethical choice as the essence of moral responsibility: explication—understanding in terms of inferential relationships. Yoga is not only the locus classicus for a nondiscriminatory, antioppressive approach to moral standing: it constitutes reason-based, (both ideal and nonideal) normative practices of solidarity with people (including nonhumans and celestial bodies like the Earth). This paper explores the mutually exclusive disjunction between interpretation and explication, the historical impact of these methodologies, and the colonization by the West of philosophy in the game of Publish or Perish. Shaking this off is as easy as returning to the philosophically indigenous practice of explication. (shrink)

This is the first of lessons on the Bhagavad Gītā. The Bhagavad Gītā is a small section of the Mahābhārata, which is a dialectical experiment in moral theory. Here the characters not only assume the role of prominent ethical theories, but must also work through the ethical challenge as a matter of practice. In this module I explicate the main arguments of the Gītā, which lead us from teleological accounts of ethics (Virtue Ethics, Consequentialism) to procedural accounts (Deontology and Bhakti). (...) Bhakti is the most radically procedural of the four theories, and provides an account of right action independent of the good. To access article: (a) choose "Ethics 1" from the first drop down menu, and (b) the title of the paper in the second drop down menu---after clicking on the link (the title of this article above, or the link below). (shrink)

According to the philosophical tradition, translation is successful when one has substituted words and sentences from one language with those from another by cross-linguistic synonymy. Moreover, according to the orthodox view, the meaning of expressions and sentences of languages are determined by their basic or systematic role in a language. This makes translating normative and evaluative discourse puzzling for two reasons. First, as languages are syntactically and semantically different because of their peculiar cultural and historical influences, and as values and (...) norms differ across cultures, it is unlikely that languages will have synonymous evaluative and normative expressions. If translation is only successful by cross-linguistic synonymy, it would seem that we will not be able to translate the value theoretic claims of persons from radically different cultures. But it is with such persons that dialogue on evaluative matters is imperative, to resolve ethical and axiological differences that could be the root of conflict. Second, as the orthodox account of meaning renders it linguistically relative, it is unlikely that expressions across languages will be cross-linguistically synonymous. Thus, on the Orthodox account of translation, translation is indeterminate (as W.V.O. Quine has argued) or impossible (as Jacques Derrida has argued). In this dissertation I argue for a novel theory of meaning and translation based on innovations in the translation studies literature and my prior work in cross cultural research, which I call Text-Type Semantics or TTS. TTS explains how translation is successful while affirming radical cultural and linguistic diversity. It treats disciplinary concerns as the neutral criteria to calibrate translation. On the basis of TTS I argue that we need what I call the “Quasi-Indexical” account of thick and thin concepts (or QI) to translate normative and evaluative discourse. I argue that QI and TTS succeed where competing accounts in the moral semantics literature (such as Non-Analytic Naturalism and Expressivism) fail. The argument also shows that the relativization of truth (in philosophy and beyond) to languages and cultures is mistaken. (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)

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

In this module I set out the Moral Non-Naturalism of Pūrva Mīmāṃsā as a version of Deontology that defines duty in terms of its beneficent properties. It elucidates the scheme of right living according to ordinance or command. Whereas natural accounts of moral terms suffer from circularity (by merely re-naming of a natural property with a moral term, which then serves to justify its moral appraisal), proponents of Mīmāṃsā defend their position by offering the Vedas as constituting independent evidence about (...) what yields goodness. In some ways, the argument provided by the defenders of Mīmāṃsā prefigure Moore's complaint of the Naturalistic Fallacy, but the Mīmāṃsā approach doesn't claim that defining natural properties by ethical terms is a fallacy: it is simply circular. (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)

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)

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

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)

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)

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)

In contrast to a stereotypical account of Indian philosophy that are entailments of the interpreter’s beliefs (an approach that violates basic standards of reason), an approach to Indian philosophy grounded on the constraints of formal reason reveals not only a wide spread disagreement on dharma (THE RIGHT OR THE GOOD), but also a pervasive commitment to the practical foundation of life’s challenges. The flip side of this practical orientation is the criticism of ordinary experience as erroneous and reducible to the (...) agent’s mental states. If we ignore the background practical orientation in Indian philosophy, this seems not like an error theory, that I call Ironic Idealism, but as a defense of idealism. I consider salient candidates for Indian Idealism (Advaita Vedānta, Yogācāra Buddhism, Kāśmīra Śaivism and the Yogavāsiṣṭha) and note that these positions continue a theme in Indian philosophy of articulating Ironic Idealism. Ironic Idealism depends upon the very Indian distinction between ultimate and provisional truth, and Ironic Idealism criticizes the mundane, provisional sort of "truth" as psychological and mental --- and ultimately false. Interpretation, the common approach to the study of Indian philosophy, is an example of what Ironic Idealism criticizes. This explains why authors incorrectly find Idealism everywhere in Indian thought. (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)

The integration of biomedical terminologies is indispensable to the process of information integration. When terminologies are linked merely through the alignment of their leaf terms, however, differences in context and ontological structure are ignored. Making use of the SNAP and SPAN ontologies, we show how three reference domain ontologies can be integrated at a higher level, through what we shall call the OBR framework (for: Ontology of Biomedical Reality). OBR is designed to facilitate inference across the boundaries of domain ontologies (...) in anatomy, physiology and pathology. (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)

According to the orthodox account of meaning and translation in the literature, meaning is a property of expressions of a language, and translation is a matching of synonymous expressions across languages. This linguistic account of translation gives rise to well-known skeptical conclusions about translation, objectivity, meaning and truth, but it does not conform to our best translational practices. In contrast, I argue for a textual account of meaning based on the concept of a TEXT-TYPE that does conform to our best (...) translational practices. With their semantic function in view, text-types are Archimedean points for their respective disciplines. The text-type of philosophy is no exception. Culture-transcendent conceptual analysis can proceed on firm footing without having to deny the reality of radical cultural and linguistic difference by treating components of text-types as the concepts to be analyzed. Analyses of central philosophical concepts are provided as a means of adjudicating philosophical controversy. (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)

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)

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

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)

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)

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.

Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have important negative consequences for data integration and ontology alignment. We argue that the use of such principles in ontology construction can serve as a valuable tool in error-detection and also in supporting reliable manual curation. We argue also that such principles are a prerequisite for the successful application of advanced data integration techniques such as ontology-based (...) multi-database querying, automated ontology alignment and ontology-based text-mining. These theses are illustrated by means of a case study of the Gene Ontology, a project of increasing importance within the field of biomedical data integration. (shrink)

Recently, Kit Fine's (1994) view that modal truths aretrue in virtue of,grounded in, orexplained byessentialist truths has been under attack. In what follows we offer two responses to the wave of criticism against his view. While the first response is pretty straightforward, the second is based on the distinction between, what we call,Reductive Finean EssentialismandNon-Reductive Finean Essentialism. Engaging the work of Bob Hale onNon-Reductive Finean Essentialism, we aim to show that the arguments against Fine's view are unconvincing, while we acknowledge (...) the presence of a deep standoff between the two views. (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.

Evil in the Vedas and the Upanishads undergoes a theoretical transformation as this literature itself moves away from its consequentialist and naturalistic roots to a radical procedural approach to moral questions. The goods of life on the early account were largely natural: evil was a moral primitive that motivated a teleological approach to morality geared towards avoiding natural evil. The gods of nature (such as fire, and rain, intimately involved in metabolism) were propitiated to gain beneficent results, and to avoid (...) hunger and illness. To please the gods of nature involves eating, which is merely the imposition of natural evil on sacrificial victims so that one avoids the evils of disease and hunger oneself. The entire system is one of resentment: the goods of life are defined by way of the bads that they displace. Authors of the latter part of the Vedas, such as the Kaṭha Upaniṣad, show themselves to be concerned about the irreducibility of evil on the naturalistic account, but also more broadly with the irreducible phenomenon of moral luck that comes in tow with a teleological approach to ethics. Whether one is able to ward off evil and enjoy the goods of life is not under one’s control and is within the purview of the forces of nature. This motivates the transition to a procedural account of ethics---yoga---where evil is not a primitive but a side effect of the non-yogic life, characterized by a lack of self-governance. As Death teaches us, evil is not a moral primitive and can be reduced out of the moral equation by taking responsibility for a lack of autonomy, which transforms this external threat of a lack of autonomy into a self lack of autonomy, or self-governance. With this transformation we are delivered into the realm of preservation (Vishnu). (shrink)

To talk about ethics and the moral life in India, and whether and when Indians misunderstood each other’s views, we must know something about what Indians thought about ethical and moral issues. However, there is a commonly held view among scholars of Indian thought that Indians, and especially their intellectuals, were not really interested in ethical matters (Matilal 1989, 5; Raju 1967, 27; Devaraja 1962, v-vi; Deutsch 1969, 99). This view is false and strange. Understanding how it is that posterity (...) has managed to misunderstand ethics and the moral life in India so profoundly is not something that we can address without thinking about issues pertaining to scholarship, interpretation and translation. Most importantly, studying a culture demands a philosophical engagement with the categories against which one attempts to understand it. If one believes, as many scholars do, that it is a rigorous study of Sanskrit and other classical Indian languages alone that holds the key to understanding classical India, then there is apparently neither need nor room for such reflection. It is this very same failure to engage philosophically with the category of the ethical and its place in translation that has allowed many modern Indians to misunderstand Indians of yore. (This is a paper I wrote in 2008 for an edited volume by Jyotirmaya Sharma for Penguin India, which unfortunately did not come to fruition. Since then, a lot has changed with respect to Sharma’s relationship to Penguin India, so perhaps this was all just prescient karma. I have circulated it with friends, who want to refer to it, so I thought I would upload it. Please refer to it as an online source: PhilPapers being the placed published. SR). (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)

As known from the academic literature on Hinduism, the foreign, Persian word, “Hindu” (meaning “Indian”), was used by the British to name everything indigenously South Asian, which was not Islam, as a religion. If we adopt explication as our research methodology, which consists in the application of the criterion of logical validity to organize various propositions of perspectives we encounter in research in terms of a disagreement, we discover: (a) what the British identified as “Hinduism” was not characterizable by a (...) shared set of beliefs or shared outlook, but a disagreement or debate about basic topics of philosophy with a discourse on tenets of moral philosophy anchoring the debate; and (b), the Western tradition’s historical commitment to language as the vehicle of thought not only leads to the conflation of propositions with beliefs, but to interpreting (explaining by way of belief) on the basis of the Eurocentric tradition rooted exclusively in ancient Greek philosophy. Interpretation on the basis of the Western tradition leads to the Western tradition vindicating itself as the non-traditional, non-religious, rational platform—the secular—for explaining everything—the residua are what get called religions on a global scale. This serves the political function of insulating Western colonialism from indigenous moral and political criticism. Given that Western colonialism is the pivotal event, before which South Asians just had philosophy, and after which they had religion (the explanatory residua of Eurocentric interpretation), we can ask about Hindu religious belief. This only pertains to the period after colonialism, when Hindus adopted a Westcentric frame for understanding their tradition as religious because of colonization. Prior to this, the tradition the British identified as “Hindu” had a wide variety of philosophical approaches to justification, which often criticized propositional attitudes, like belief, as irrational. (shrink)

A famous Indian argument for jus ad bellum and jus in bello is presented in literary form in the Mahābhārata: it involves events and dynamics between moral conventionalists (who attempt to abide by ethical theories that give priority to the good) and moral parasites (who attempt to use moral convention as a weapon without any desire to conform to these expectations themselves). In this paper I follow the dialectic of this victimization of the conventionally moral by moral parasites to its (...) philosophical culmination in the fateful battle, which the Bhagavad Gītā precedes. Arjuna’s lament is an internalization of the logic of conventional moral expectations that allowed moral parasitism, and Krishna’s push for a purely procedural approach to moral reasoning (bhakti yoga) does away with the good as a primitive of explanation and provides the moral considerations that allow us to see that the jus ad bellum and jus in bello coincide: the just cause is the approximation to the procedural ideal (the Lord), which is also just conduct. Jeff McMahan is correct in claiming that it is wrong for the unjust to attack the just. But it is also not obviously correct that it is the same set of moral considerations in war and peace that mark out the sides, for peace is largely characterizable by conventional morality, which all are forced to abandon in war. Walzer is correct that there are different sets of standards at play at war and peace, and that getting hands dirty in immorality is a price worth paying in war, but Walzer is thereby incorrect for a subtle reason: conventional standards by way of which jus ad bellum and jus in bello appear corrupt are themselves actually corrupt when the need for a just war arises. It is because moral parasites use conventional morality as a means of hostility and not as a means of fair, inclusive social interaction that conventional morality is corrupted and turned into a tool of the unjust. It is hence unjust to employ these standards to judge those whose cause is just, though such a judgement is conventional. Those who fight for a just cause thereby justly get their hands dirty by departing from conventional moral standards. But this is to the disadvantage of parasites who can only function in a climate where the conventionally good are constrained by conventional morality. Just war so understood deprives parasites their weapon of choice. (shrink)

This article, addressed to Yoga Therapists, sorts out the historical roots of our idea of Yoga, elucidates the colonial interference and distortion of Yoga, and shows that trauma and therapy are the primary focus of Yoga. However, unlike most philosophies of therapy, Yoga's solution is primarily moral philosophical---Yoga itself being a basic ethical theory, in addition to Virtue Theory, Consequentialism and Deontology. This article goes some way to elucidating that it is quite ironic (and absurd) that many feel the need (...) to bring being “trauma-informed” into the title of Yoga education. That’s like the vacuous “chai tea” moniker (“chai” being the Hindi word for tea). Decolonizing our understanding of Yoga involves retrieving the original theory as the primary explanation of the topic, which allows us to understand how various activities, called "yoga," can be ways of practicing the moral philosophy of Yoga. The idea that "yoga" means many things and projects relies upon a contra logical methodology of interpretation which violates constraints of basic reasoning. Putting aside interpretation for explication is part of critical thinking but also our own self therapy. (Originally published in Yoga Therapy Today, a publication of the International Association of Yoga Therapists. Shared with permission.). (shrink)

Vedānta has two meanings. The first is the literal sense – “End of Vedas” – and refers to the Āraṇyakas and Upaniṣads—the latter part of the Vedas. The second sense of “Vedanta” is a scholastic one, and refers to a philosophical orientation that attempts to explain the cryptic Vedānta Sūtra (Brahma Sūtra) of Bādarāyaṇa, which aims at being a summary of the End of the Vedas. In the previous module, I review the ethics of the End of the Vedas and (...) explicate the Moral Irrealism of Śaṅkara’s Advaita Vedānta, which is articulated as a commentary on the Vedānta Sūtra. In this module, I compare Rāmānuja (Viśiṣṭādvaita Vedānta) and Madhva's (Dvaita Vedānta) account of the Vedānta Sūtra. Both are moral realists. They differ on the room for freedom given the necessity of moral considerations. One value of the Vedānta approach to ethics is that it provides a non-speciesist framework to think about ethics. It allows us to understand ourselves (ātmā) and our interest in Development (Brahman) as conceptually distinct, though identical in some manner. The Advaita view is that this identity is strict. The Dvaita approach is that Development realises the results of choices of individuals, but only some, owing to their good character, are capable of taking advantage of this for their betterment. The Viśiṣṭādvaita approach of Rāmānuja suggests in contrast that each self is a microcosm of reality. Reality is Development – the genus of individual selves. Each self has Development as an essential trait, but owing to past choices (karma), this is poorly understood. Things change when the individual self understands Brahman to be its true self, for then an individual can re-direct their efforts from procuring results to self-governance by treating the personal essence of the Development (the Lord) as the explanation for improvement. (shrink)

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

In the previous module we examined the dialectic that Krishna initiates in the Bhagavad Gītā. Arjuna’s despondency and worry about the war he must fight is captured in his own words by teleological concerns – consequentialism and virtue theoretic considerations. In the face of a challenge, a teleological approach results in the paradox of teleology---namely, the more we are motivated by exceptional and unusual ends, the less likely we are to pursue our ends given a low expected utility. Krishna's solution (...) is to switch to a procedural ethics. To this extent, Krishna identifies three ethical theories. Two were discussed extensively in the earlier chapter on the Gītā. The first is basic deontology, called karma yoga. This states that we should choose to do our duty without appealing to the outcome as a justification. The duties in question are definable by good outcomes, but the outcomes do not constitute the reason for embracing duty. The second, spoken about at length, is bhakti yoga. According to this, the right thing to do is to worship the ideal by our actions. This practice results in us improving our skill and practice such that we come to liberate ourselves from fault and instantiate the ideal itself. The third is the Gītā’s metaethical theory—conceptual account of the right and the good. This is called “jñāna yoga.” This module focuses on the metaethical dimensions of the Gītā. (shrink)

Nāgārjuna’s “middle path” charts a course between two extremes: Nihilism, and Absolutism, not unlike earlier Buddhism. However, as early Buddhists countinanced constituents of reality as characterizable by essences while macroscopic objects lack such essences, Nāgārjuna argues that all things lack what he calls svabhāva – “own being” – the Sanskrit term for essence. Since everything lacks an essence, it is Empty (śūnya). To lack an essence is to lack autonomy. The corollary of this is that all things are interrelated. The (...) Mahāyāna (Great Vehicle) school of Buddhist thought draws heavily on this insight: if all things are related, individualism has to give way to inclusivity. According to Nāgārjuna, the key to understanding his Middle path philosophy is dharma: ethics. It is only by a prior commitment to ethics that we can properly understand the Buddha's philosophy as teaching no doctrine of reality, for it is not a teaching of metaphysics, but of ethics, which is to say, Dharma. At the center of Dharma is a kind of Contractualism of the Buddhist community (saṅga). A failure to approach emptiness via ethics is like trying to hold a snake dangerously. However, approaching the emptiness of reality via ethics is grounds for optimism: nothing is stuck by essence, and we have reason to believe in positive change made possible by prudent ethical choice. In this module I consider some objections to Nāgārjuna's position from Vedic positions, and Yoga, and identify responses available to Nāgārjuna. (shrink)

This and the following lessons cover the topic of Vedānta and ethics. Vedānta has two meanings. The first is the literal sense – “End of Vedas” – and refers to the Āraṇyakas and Upaniṣads—the latter part of the Vedas. The second sense of “Vedanta” is a scholastic one, and refers to a philosophical orientation that attempts to explain the cryptic Vedānta Sūtra (Brahma Sūtra) of Bādarāyaṇa, which aims at being a summary of the End of the Vedas. We shall pursue (...) the question of ethics in both senses of Vedānta. In this module we shall examine the ethical theory of Deontology found in the Upaniṣads. Having explored the implications of this model for moral philosophy, we can reflect upon the three commentarial approaches. In this lesson, we will examine Śaṅkara’s Advaita approach. Advaita Vedānta, especially in Śaṅkara's form, presents a version of moral scepticism, or more strongly, moral irrealism. In this account, there is nothing objective about ethics: it mediates our desires-oriented psychology, and should be dispensed with along with the desire-oriented psychology. Śaṅkara seems to come close to doing the impossible: saying insightful things about what he takes to be a fiction, which is the individual self, for which ethics is essential. (shrink)

Syntax has to do with rules that constrain how words can combine to make acceptable sentences. Semantics (Frege and Russell) concerns the meaning of words and sentences, and pragmatics (Austin and Grice) has to do with the context bound use of meaning. We can hence distinguish between three competing principles of translation: S—translation preserves the syntax of an original text (ST) in the translation (TT); M—translation preserves the meaning of an ST in a TT; and P—translation preserves the pragmatics of (...) an ST in a TT. A prominent form of P is functionalism defended by linguists and translation theorists (J.R. Firth, Eugene Nida, Susan Bassnett and many others) and historically was defended by philosophers (Russell, Ogden and Richard) but abandoned by philosophers and criticized by Wittgenstein. If we adopt M, then a TT will always say exactly what the ST says, and hence all subsequent TTs, even alternative ones produced via M, will be consistent with each other. But if we adopt P, in contrast, we have no reason to believe that the TTs will say what the ST does, and moreover they can contradict each other. If such contradictory translations are produced on the basis of the totality of empirical evidence, it results in what Quine called the indeterminacy of translation. Yet, P is not easy to reject. In many cases, translation in accordance with M where the meaning to be preserved is linguistic results in TTs that are failures. In contrast to a language focused approach to semantics, I close by following a lead in the translation theory literature of identifying text-types (genres) as a tool for identifying translatable content in an ST. To individuate text-types I identify them with disciplines, as elucidated by the 2nd century Patañjali’s Yoga Sūtra. This allows for the definition of textual meaning as the discipline relative pragmatics of an ST and further for translation to proceed by way of M, while taking the intuitions that motivate P seriously. Translations that preserve textual meaning will not only have the same meaning as each other but will be pragmatically felicitous. (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)

The automatic integration of information resources in the life sciences is one of the most challenging goals facing biomedical informatics today. Controlled vocabularies have played an important role in realizing this goal, by making it possible to draw together information from heterogeneous sources secure in the knowledge that the same terms will also represent the same entities on all occasions of use. One of the most impressive achievements in this regard is the Gene Ontology (GO), which is rapidly acquiring the (...) status of a de facto standard in the field of gene and gene product annotations, and whose methodology has been much intimated in attempts to develop controlled vocabularies for shared use in different domains of biology. The GO Consortium has recognized, however, that its controlled vocabulary as currently constituted is marked by several problematic features - features which are characteristic of much recent work in bioinformatics and which are destined to raise increasingly serious obstacles to the automatic integration of biomedical information in the future. Here, we survey some of these problematic features, focusing especially on issues of compositionality and syntactic regimentation. (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)

Tumors, abscesses, cysts, scars, fractures are familiar types of what we shall call pathological continuant entities. The instances of such types exist always in or on anatomical structures, which thereby become transformed into pathological anatomical structures of corresponding types: a fractured tibia, a blistered thumb, a carcinomatous colon. In previous work on biomedical ontologies we showed how the provision of formal definitions for relations such as is_a, part_of and transformation_of can facilitate the integration of such ontologies in ways which have (...) the potential to support new kinds of automated reasoning. We here extend this approach to the treatment of pathologies, focusing especially on those pathological continuant entities which arise when organs become affected by carcinomas. (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 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 previous work on biomedical ontologies we showed how the provision of formal definitions for relations such as is_a and part_of can support new types of auto-mated reasoning about biomedical phenomena. We here extend this approach to the transformation_of characteristic of pathologies.

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)

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)