We propose a new relevance sensitive model for representing and revising belief structures, which relies on a notion of partial language splitting and tolerates some amount of inconsistency while retaining classical logic. The model preserves an agent's ability to answer queries in a coherent way using Belnap's four-valued logic. Axioms analogous to the AGM axioms hold for this new model. The distinction between implicit and explicit beliefs is represented and psychologically plausible, computationally tractable procedures for query answering and belief..

We present a method for relevance sensitive non-monotonic inference from belief sequences which incorporates insights pertaining to prioritized inference and relevance sensitive, inconsistency tolerant belief revision. Our model uses a finite, logically open sequence of propositional formulas as a representation for beliefs and defines a notion of inference from maxiconsistent subsets of formulas guided by two orderings: a temporal sequencing and an ordering based on relevance relations between the putative conclusion and formulas in the sequence. The relevance relations are ternary (...) (using context as a parameter) as opposed to standard binary axiomatizations. The inference operation thus defined easily handles iterated revision by maintaining a revision history, blocks the derivation of inconsistent answers from a possibly inconsistent sequence and maintains the distinction between explicit and implicit beliefs. In doing so, it provides a finitely presented formalism and a plausible model of reasoning for automated agents. (shrink)

Both the Beth definability theorem and Craig's lemma (interpolation theorem from now on) deal with the issue of the entanglement of one language L1 with another language L2, that is to say, information transfer—or the lack of such transfer—between the two languages. The notion of splitting we study below looks into this issue. We briefly relate our own results in this area as well as the results of other researchers like Kourousias and Makinson, and Peppas, Chopra and Foo.Section 3 (...) does contain one apparently new theorem. (shrink)

This paper contributes to business ethics by focusing on consumption that is characterized by normative violence. By drawing on the work of Judith Butler this study of kajer lok—a female subaltern group of Indian domestic service providers—and their higher status clients shows how codes of status-based consumption shaped by markets, class, caste, and patriarchy create a social order that reduces kajer lok to “ungreivable” lives. Our study contributes to business ethics by focusing on exploitation and coercion in consumption rather than (...) in production and of woman rather than of men. It adds to consumer research by revealing how social distinctions not only manifest in status contests in which symbolic power is at stake but also may produce violent exploitation and ungrievable lives. (shrink)

We investigate the semantics of messages, and argue that the meaning ofa message is naturally and usefully given in terms of how it affects theknowledge of the agents involved in the communication. We note thatthis semantics depends on the protocol used by the agents, and thus not only the message itself, but also the protocol appears as a parameter in the meaning. Understanding this dependence allows us to give formal explanations of a wide variety of notions including language dependence, implicature, (...) and the amount of information in a message. (shrink)

We offer a probabilistic model of rational consequence relations (Lehmann and Magidor, 1990) by appealing to the extension of the classical Ramsey-Adams test proposed by Vann McGee in (McGee, 1994). Previous and influential models of nonmonotonic consequence relations have been produced in terms of the dynamics of expectations (Gärdenfors and Makinson, 1994; Gärdenfors, 1993).'Expectation' is a term of art in these models, which should not be confused with the notion of expected utility. The expectations of an agent are some form (...) of belief weaker than absolute certainty. Our model offers a modified and extended version of an account of qualitative belief in terms of conditional probability, first presented in (van Fraassen, 1995). We use this model to relate probabilistic and qualitative models of non-monotonic relations in terms of expectations. In doing so we propose a probabilistic model of the notion of expectation. We provide characterization results both for logically finite languages and for logically infinite, but countable, languages. The latter case shows the relevance of the axiom of countable additivity for our probability functions. We show that a rational logic defined over a logically infinite language can only be fully characterized in terms of finitely additive conditional probability. (shrink)

Y. N. Chopra; VIII—The Consequences of Human Actions, Proceedings of the Aristotelian Society, Volume 65, Issue 1, 1 June 1965, Pages 147–166, https://doi.org/1.

Chopra and Weiss address perhaps the fundamental issue in international relations today: the sacrosanct sets of sovereignty. The word "sovereignty" explains why the international community has difficulty countering human rights violations.

We propose a model for belief which is free of presuppositions. Current models for belief suffer from two difficulties. One is the well known problem of logical omniscience which tends to follow from most models. But a more important one is the fact that most models do not even attempt to answer the question what it means for someone to believe something, and justwhatit is that is believed. We provide a flexible model which allows us to give meaning to beliefs (...) in general contexts, including the context of animal belief (where action is usually our only clue to a belief), and of human belief which is expressed in language. (shrink)

We suggest that the issue of constructing andverifying social procedures, which we suggestively call socialsoftware, be pursued as systematically as computer software is pursued by computer scientists. Certain complications do arise withsocial software which do not arise with computer software, but thesimilarities are nonetheless strong, and tools already exist which wouldenable us to start work on this important project. We give a variety ofsuggestive examples and indicate some theoretical work which alreadyexists.

The axiom of recovery, while capturing a central intuition regarding belief change, has been the source of much controversy. We argue briefly against putative counterexamples to the axiom—while agreeing that some of their insight deserves to be preserved—and present additional recovery-like axioms in a framework that uses epistemic states, which encode preferences, as the object of revisions. This makes iterated revision possible and renders explicit the connection between iterated belief change and the axiom of recovery. We provide a representation theorem (...) that connects the semantic conditions we impose on iterated revision and our additional syntactical properties. We show interesting similarities between our framework and that of Darwiche–Pearl (Artificial Intelligence 89:1–29 1997). In particular, we show that intuitions underlying the controversial (C2) postulate are captured by the recovery axiom and our recovery-like postulates (the latter can be seen as weakenings of (C2)). We present postulates for contraction, in the same spirit as the Darwiche–Pearl postulates for revision, and provide a theorem that connects our syntactic postulates with a set of semantic conditions. Lastly, we show a connection between the contraction postulates and a generalisation of the recovery axiom. (shrink)

The introduction of explicit notions of rejection, or disbelief, into logics for knowledge representation can be justified in a number of ways. Motivations range from the need for versions of negation weaker than classical negation, to the explicit recording of classic belief contraction operations in the area of belief change, and the additional levels of expressivity obtained from an extended version of belief change which includes disbelief contraction. In this paper we present four logics of disbelief which address some or (...) all of these intuitions. Soundness and completeness results are supplied and the logics are compared with respect to applicability and utility. (shrink)

Several authors have recently suggested that classic psychedelics might be safe and effective agents of moral enhancement. This raises the question: can we learn anything interesting about the nature of moral experience from a close examination of transformative psychedelic experiences? The interdisciplinary enterprise of philosophical psychopathology attempts to learn about the structure and function of the “ordinary” mind by studying the radically altered mind. By analogy, in this chapter we argue that we can gain knowledge about the everyday moral life (...) by studying extraordinary experiences of altered moral cognition and experience. We focus on a specific class of cases: experiences of forgiveness induced by psychedelics. We argue that close attention to such experiences reveals the importance of thought/emotion coherence and dissonance in the moral life and vindicates some heterodox ideas about moral phenomenology and psychology. (shrink)

The COVID-19 pandemic will likely recede only through development and distribution of an effective vaccine. Although there are many unknowns surrounding COVID-19 vaccine development, vaccine demand will likely outstrip early supply, making prospective planning for vaccine allocation critical for ensuring the ethical distribution of COVID-19 vaccines. Here, we propose three central goals for COVID-19 vaccination campaigns: to reduce morbidity and mortality, to minimise additional economic and societal burdens related to the pandemic and to narrow unjust health inequalities. We evaluate five (...) prioritisation approaches, assess their likely impact on advancing the three goals of vaccine allocation and identify open scientific questions that may alter their outcomes. We argue that no single prioritisation approach will advance all three goals. Instead, we propose a multipronged approach that considers the risk of serious COVID-19 illness, instrumental value and the risk of transmission, and is guided by future research on COVID-19-specific clinical and vaccine characteristics. While we focus this assessment on the USA, our analysis can inform allocation in other contexts. (shrink)

Each of us has a story which we can think of as a set of beliefs, hopefully consistent. We make our decisions in view of our beliefs which may be probabilistic, in the general case, but simple yes or no as in this paper. Our beliefs are our envelope just as the shell of a tortoise is its envelope. Decision theory—or single agent game theory tells us when to make the best choice in a game of us against nature. But (...) nature has no desire to further or frustrate our efforts. Nature is mysterious but not malign. Things change when there are other agents involved. Then the best thing for us to do will depend on what they do. And they will think the same. And we predict their actions in terms of what we think their beliefs are. But how do we coordinate with others whose beliefs are different? This paper addresses the issue of working together despite different beliefs. (shrink)

Dept of Business Administration Dept of Computer and Knowledge Systems Group University of Patras Information Science School of Computer Science 265 00 Patras, Greece Brooklyn College of the and Engineering [email protected] City University of New York University of New South Wales Brooklyn, NY 11210, USA Sydney, NSW 2052, Australia [email protected] [email protected]..

Festschrift volume in honour of Mohd. Sabir Hussain, b. 1935.

in Proceedings of the International Joint Conference on Artificial Intelligence, 2007.

The “free” in “free software” refers to a cluster of four specific freedoms identified by the Free Software Definition. The first freedom, termed “Freedom Zero,” intends to protect the right of the user to deploy software in whatever fashion, towards whatever end, he or she sees fit. But software may be used to achieve ethically questionable ends. This highlights a tension in the provision of software freedoms: while the definition explicitly forbids direct restrictions on users’ freedoms, it does not address (...) other means by which software may indirectly restrict freedoms. In particular, ethically-inflected debate has featured prominently in the discussion of restrictions on digital rights management and privacy-violating code in version 3 of the GPL (GPLv3). The discussion of this proposed language revealed the spectrum of ethical positions and valuations held by members of the free software community. In our analysis, we will provide arguments for upholding Freedom Zero; we embed the problem of possible uses of software in the broader context of the uses of scientific knowledge, and go on to argue that the provision of Freedom Zero mitigates against too great a moral burden—of anticipating possible uses of software—being placed on the programmer and that, most importantly, it facilitates deliberative discourse in the free software community. (shrink)

Through inspirational wisdom, compelling storytelling, and practical advice, this book will help you discover your life's purpose.

This article looks at the contribution made by Ambalavaner Sivanandan to black politics and organising in Britain. It reviews some of his most important writings and analyses their significance and influence on black activism and race studies. Specifically, the article looks at the ways in which class and race intersected in his work and his critical stance towards political elites and advocacy for radical politics.

This article was written shortly after the death of Benedict Anderson. It contextualizes Anderson's contribution to studies of nationalism and the Global South, particularly Asia. It then revisits some of the key debates of Anderson’s scholarship and its particular significance and importance to the study of South Asia.

From Kabir to Krishnamurti is a far cry. For, they are separated one from the other by over five centuries. But quantitative measurement of this distance has a qualitative aspect which cannot be measured in any time-scale. Two great seers lived in two completely different worlds-with no comparison between the two. And yet they expressed their thoughts and experience not only in a similar language but almost in identical terms. In these two streams of thought represented by Kabir and Krishnaji, (...) the authors note a fascinating parallelism. These streams run parallel to each other-and yet they meet from time to time-at the intersections between the two approaches to life. J. Krishnamurti and Sant Kabir focuses on these meeting points between the two approaches to life. The book also presents the intersections between the writings and sayings of Kabir and Krishnaji. (shrink)

We give an example of a polynomial time algorithm for a particular algorithmic problem involving vagueness and visual indiscriminability, namely sock sorting.

Although J. S. Mill′s essay On Liberty was intended by its author to be read as a self-contained work, 1 and even though a careful reading would justify seeing it in this way, it has far too often been denied this right even by its defenders. There is a crucial distinction to be made between eliciting some point of substance from a particular work by an author and then turning to the rest of his work to throw further light on (...) it, and employing other texts from the corpus of his writings to put the construction on certain things said in it which the work by itself cannot sustain, thus treating the former as essentially a fragment, albeit a most important fragment, of a whole. 2 I would suggest that recourse to the latter course is justified only when the possibilities of treating it autarchically have already been explored. In this paper I propose to treat a celebrated text in the former way only because I believe that the results will show such an approach to be uniquely worthwhile, or at least fruitful enough to justify a paper conceived in this way. And, with a view to putting what I want to say about it in maximum focus I shall with one or two exceptions eschew giving supporting evidence from Mill′s other writings, even when this is permitted by the distinction I have made in this opening paragraph. (shrink)

Today, anxiety is usually thought of as a pathology, the most diagnosed and medicated of all psychological disorders. But anxiety isn't always or only a medical condition. Indeed, many philosophers argue that anxiety is a normal, even essential, part of being human, and that coming to terms with this fact is potentially transformative, allowing us to live more meaningful lives by giving us a richer understanding of ourselves. In Anxiety, Samir Chopra explores valuable insights about anxiety offered by ancient (...) and modern philosophies-Buddhism, existentialism, psychoanalysis, and critical theory. Blending memoir and philosophy, he also tells how serious anxiety has affected his own life-and how philosophy has helped him cope with it. Chopra shows that many philosophers-including the Buddha, Kierkegaard, Nietzsche, Freud, and Heidegger-view anxiety as an inevitable human response to existence: to be is to be anxious. Drawing on Karl Marx and Herbert Marcuse, Chopra examines how poverty and other material conditions can make anxiety worse, but he emphasizes that not even the rich can escape it. Nor can the medicated. Inseparable from the human condition, anxiety is indispensable for grasping it. Philosophy may not be able to cure anxiety but, by leading us to greater self-knowledge and self-acceptance, it may be able to make us less anxious about being anxious. Personal, poignant, and hopeful, Anxiety is a book for anyone who is curious about rethinking anxiety and learning why it might be a source not only of suffering but of insight. (shrink)

The standard theory for belief revision provides an elegant and powerful framework for reasoning about how a rational agent should change its beliefs when confronted with new information. However, the agents considered are extremely idealized. Some recent models attempt to tackle the problem of plausible belief revision by adding structure to the belief bases and using nonstandard inference operations. One of the key ideas is that not all of an agent's beliefs are relevant for an operation of belief change.In this (...) paper we incorporate the insights pertaining to local change and relevance sensitivity with the use of approximate inference relations. These approximate inference relations offer us partial solutions at any stage of the revision process. The quality of the approximations improves as we allow for more and more resources to be used. We are provided with upper and lower bounds to what would be obtained with the use of classical inference. (shrink)

The integration of Corporate social responsibility with BusinessStrategy has been identified as a central Corporate social responsibility concept. Corporate social responsibility, it is important to understand the Key Drivers and Building Blocks that is integral to this phenomenon and which will impact the Civil Society at large. If the Indian government and private companies are serious about meeting Sustainable Development Goals, Mandated CSR has to be used as a Strategic Vehicle not only to reduce the substantial financial shortfall but Corporate (...) social responsibility as an integral part of a company’s Strategy, to help companies achieve Competitive Advantage. The paper lists down five strategic Building Blocks of Mandated CSR namely—Shared vision, Key Drivers, Dialogue, measuring impact, and Governance which provide a mental framework to think about mCSR in a novel way. The paper emphasizes the importance of Shared vision, Problem Identification, utilizing Board’s Expertise, Innovation, building network, Best Practice sharing, managing failure risk, Shareholder’s Activism, Government’s Intention, and Capacity Building. (shrink)

We introduce a generalization of Independence Friendly logic in which Eloise is restricted to a finite amount of information about Abelard’s moves. This logic is shown to be equivalent to a sublogic of first-order logic, to have the finite model property, and to be decidable. Moreover, it gives an exponential compression relative to logic.

Traditional accounts of belief change have been criticized for placing undue emphasis on the new belief provided as input. A recent proposal to address such issues is a framework for non-prioritized belief change based on default theories (Ghose and Goebel, 1998). A novel feature of this approach is the introduction of disbeliefs alongside beliefs which allows for a view of belief contraction as independently useful, instead of just being seen as an intermediate step in the process of belief revision. This (...) approach is, however, restrictive in assuming a linear ordering of reliability on the received inputs. In this paper, we replace the linear ordering with a preference ranking on inputs from which a total preorder on inputs can be induced. This extension brings along with it the problem of dealing with inputs of equal rank. We provide a semantic solution to this problem which contains, as a special case, AGM belief change on closed theories. (shrink)

Routledge (New Media and Cyberculture Series), July 2007.

Thinking about how the law might decide whether to extend legal personhood to artificial agents provides a valuable testbed for philosophical theories of mind. Further, philosophical and legal theorising about personhood for artificial agents can be mutually informing. We investigate two case studies, drawing on legal discussions of the status of artificial agents. The first looks at the doctrinal difficulties presented by the contracts entered into by artificial agents. We conclude that it is not necessary or desirable to postulate artificial (...) agents as legal persons in order to account for such contracts. The second looks at the potential for according sophisticated artificial agents with legal personality with attendant constitutional protections similar to those accorded to humans. We investigate the validity of attributes that have been suggested as pointers of personhood, and conclude that they will take their place within a broader matrix of pragmatic, philosophical and extra-legal concepts. (shrink)

When you gaze out at the night sky with its awe-inspiring display of stars and galaxies, do you ever ask yourself if it could be possible that you are actually looking into a mirror? What if we inhabit a universe that perfectly fits our needs here on Earth -- a truly human universe? That's the bold thesis author Deepak Chopra and physicist Menas Kafatos set out to prove: quite literally, "You are the universe." The startling truth is that the (...) everyday world of physical objects "out there" disguises a hidden dimension. By turning our investigation "in here" to the world of consciousness, the real reality emerges. You Are the Universe guides the reader into a realm in which each of us has the power to transform our personal existence, while at the same time fashioning a new story about how time, space, matter, and energy came into existence. Looking to overturn the traditional model of scientific reality, Chopra and Kafatos hold that each of us is a cocreator of reality and we can uncover the hidden dimensions where consciousness is a field of infinite possibilities. This seemingly impossible proposition follows from the cutting-edge modern thinking of the quantum universe and the great mysteries that must be unriddled before human beings actually know who they are. These include but are not limited to questions such as What came before the big bang? Why does the universe fit together so perfectly? Where did time come from? And do we live in a conscious universe? These mysteries are part and parcel of everyone's life. "All of us live in a participatory universe," the authors write. "Once you decide that you want to participate fully with mind, body, and soul, the paradigm shift becomes personal. The reality you inhabit will be yours to either embrace or change. (shrink)

Today, anxiety is usually thought of as a pathology, the most diagnosed and medicated of all psychological disorders. But anxiety isn't always or only a medical condition. Indeed, many philosophers argue that anxiety is a normal, even essential, part of being human, and that coming to terms with this fact is potentially transformative, allowing us to live more meaningful lives by giving us a richer understanding of ourselves. In Anxiety, Samir Chopra explores valuable insights about anxiety offered by ancient (...) and modern philosophies-Buddhism, existentialism, psychoanalysis, and critical theory. Blending memoir and philosophy, he also tells how serious anxiety has affected his own life-and how philosophy has helped him cope with it. Chopra shows that many philosophers-including the Buddha, Kierkegaard, Nietzsche, Freud, and Heidegger-view anxiety as an inevitable human response to existence: to be is to be anxious. Drawing on Karl Marx and Herbert Marcuse, Chopra examines how poverty and other material conditions can make anxiety worse, but he emphasizes that not even the rich can escape it. Nor can the medicated. Inseparable from the human condition, anxiety is indispensable for grasping it. Philosophy may not be able to cure anxiety but, by leading us to greater self-knowledge and self-acceptance, it may be able to make us less anxious about being anxious. Personal, poignant, and hopeful, Anxiety is a book for anyone who is curious about rethinking anxiety and learning why it might be a source not only of suffering but of insight. (shrink)

Today, anxiety is usually thought of as a pathology, the most diagnosed and medicated of all psychological disorders. But anxiety isn't always or only a medical condition. Indeed, many philosophers argue that anxiety is a normal, even essential, part of being human, and that coming to terms with this fact is potentially transformative, allowing us to live more meaningful lives by giving us a richer understanding of ourselves. In Anxiety, Samir Chopra explores valuable insights about anxiety offered by ancient (...) and modern philosophies-Buddhism, existentialism, psychoanalysis, and critical theory. Blending memoir and philosophy, he also tells how serious anxiety has affected his own life-and how philosophy has helped him cope with it. Chopra shows that many philosophers-including the Buddha, Kierkegaard, Nietzsche, Freud, and Heidegger-view anxiety as an inevitable human response to existence: to be is to be anxious. Drawing on Karl Marx and Herbert Marcuse, Chopra examines how poverty and other material conditions can make anxiety worse, but he emphasizes that not even the rich can escape it. Nor can the medicated. Inseparable from the human condition, anxiety is indispensable for grasping it. Philosophy may not be able to cure anxiety but, by leading us to greater self-knowledge and self-acceptance, it may be able to make us less anxious about being anxious. Personal, poignant, and hopeful, Anxiety is a book for anyone who is curious about rethinking anxiety and learning why it might be a source not only of suffering but of insight. (shrink)

In a paper entitled ‘Saints and Heroes’ 1 Professor J. O. Urmson has criticised ‘the trichotomy of duties, indifferent actions, and wrongdoing’ , commonly found in moral philosophy, on the ground that it fails to cover an important class of actions, of which saintly and heroic actions are ‘conspicuous” but by no means the only examples. I am inclined to think that this trichotomy is defensible, and that at least it deserves a much longer run for its money than Urmson (...) gives it. The form in which he presents it, however, makes it more implausible than it need be and this is perhaps the main reason why he finds it so indefensible. (shrink)

Software is much more than sequences of instructions for a computing machine: it can be an enabler (or disabler) of political imperatives and policies. Hence, it is subject to the same assessment in a normative dimension as other political and social phenomena. The core distinction between free software and its proprietary counterpart is that free software makes available to its user the knowledge and innovation contributed by the creator(s) of the software, in the form of the created source code. From (...) an ethical perspective, one of the most pressing questions raised by this form of collaboration is the question of the rights, and the restrictions on them, that are passed on to users and collaborators by the creators of programs. That is, what freedoms do software users deserve, and how can they best be protected? In this study we analyze free software licensing schemes in order to determine which most effectively protects such freedoms. We conclude that so-called copyleft licensing schemes are the morally superior alternative. (shrink)

This thesis proposes and presents two new models for belief representation and belief revision. The first model is the B-structures model which relies on a notion of partial language splitting and tolerates some amount of inconsistency while retaining classical logic. The model preserves an agent's ability to answer queries in a coherent way using Belnap's four-valued logic. Axioms analogous to the AGM axioms hold for this new model. The distinction between implicit and explicit beliefs is represented and psychologically plausible, computationally (...) tractable procedures for query answering and belief base revision are obtained. ;The second model presents a method for relevance sensitive non-monotonic inference from belief sequences which incorporates insights pertaining to prioritized inference and relevance sensitive, inconsistency tolerant belief revision. Our model uses a finite, logically open sequence of propositional formulas as a representation for beliefs and defines a notion of inference from maxiconsistent subsets of formulas guided by two orderings: a temporal sequencing and an ordering based on relevance relations between the conclusion and formulas in the sequence. The relevance relations are ternary as opposed to standard binary axiomatizations. The inference operation thus defined easily handles iterated revision by maintaining a revision history, blocks the derivation of inconsistent answers from a possibly inconsistent sequence and maintains the distinction between explicit and implicit beliefs. In doing so, it provides a finitely representable formalism and a plausible model of reasoning for automated agents. (shrink)