In this Article I argue that the citizenship status of Israel’s Palestinian citizens has been eroding since the "events" of October 2000 and that, as a result, Israel, within its rpe-1967 borders, may be moving from a form of democracy that has been termed "ethnic democracy" towards a form of non-democratic state that has been termed "ethnocracy." My argument is based primarily on two legal documents: the new Citizenship and Entry into Israel Law, 2003, which denies Palestinian citizens the right (...) to unite with their closest family members who are residents of the Occupied Territories, and the decision of the High Court of Justice that upheld the constitutionality of this law in 2006. Two other developments that seem to support my thesis are analyzed as well: the "events" of October 2000 themselves and the report of the state commission of inquiry that investigated these events, and the plan, advanced by Yvette Lieberman and his political party, "Yisrael Beytenu," to shift the border between Israel and the West Bank westward, depriving tens of thousands of citizen-Palestinians of their Israeli citizenship. (shrink)

All efforts undertaken so far to establish peace between Israel and the Palestinians have failed to seriously address the right of return of the Palestinian refugees. This failure stemmed from a conviction that the question of historical justice in general had to be avoided. Since justice is a subjective construct, it was argued, allowing it to become a subject of negotiation would only perpetuate the conflict. However, the experience of these peace efforts has shown that without solving the problem of (...) the Palestinian refugees an agreement cannot be reached. And the problem cannot possibly be solved without addressing the key Palestinian demand on this issue — the right of return. For both sides, the right of return, more than any other issue, touches on the essence of their history since the beginning of the conflict between them, and on their future. The national narrative of each side thus centers on its version of the history of the 1948 Arab-Israeli war, in the course of which the Palestinian refugee problem was created. And each side maintains the fundamental belief that its future national existence hinges on whether, and how, the issue of the right of return is resolved. For the Palestinians, the right of return is an inalienable right that defines their national identity and their struggle for liberation. For Israeli Jews, the right of return is perceived as an existential threat to the Jewish character of their society, if not to its very existence. It is not surprising, therefore, that within each of the two societies a national consensus has been built around this issue and that the position of each society seems to stand in complete opposition to that of the other. However, we argue that a morally and politically sound basis could and should be established for a workable solution and that such a basis can be provided by the notion of "transitional justice." Transitional justice stresses two major steps as necessary for reconciliation between parties involved in an historic conflict: recognition and restitution. Recognition entails revealing the historical truth about the injustices committed and according their victims dignity and respect as rights-bearing human beings. Restitution is meant to alleviate some of the material deprivation suffered by the victims and is also a form of recognition. In the Israeli-Palestinian case, recognition by Israel of the right of return would entail its assumption of responsibility for the uprooting of the majority of Palestinian society in 1948. This would satisfy a demand that has become a fundamental element in Palestinian national identity. Recognition would then enable the two parties to enter negotiations over restitution, in particular the implementation of the right of return. In these negotiations, as many Palestinian political leaders have indicated, the concerns of Israeli Jews with their national identity would be taken into account. Only if the fundamental concerns of the two parties, which center on the issue of the right of return, are met can the road towards reconciliation between them be opened. (shrink)

Locke and Leibniz are often classified as proponents of compatibilist theories of human freedom, since both maintain that freedom is consistent with determinism and that the difference between being and not being free turns on how one is determined. However, we will argue in this paper that their versions of compatibilism are essentially different and that they have significantly distinct commitments to compatibilism. To this end, we will first analyze the definitions and examples for freedom and necessity that Locke and (...) Leibniz present in sections 8-13 of chapter 21 of the Essay on Human Understanding and the Nouveaux essais respectively, and then conjecture how Locke and Leibniz would have continued the discussion, if they had had the opportunity to engage in an exchange of opinions. In this way, we believe, one will be in a position to understand why Leibniz thinks that Locke’s discussion of freedom “est un des plus prolixes et des plus subtils de son ouvrage.”. (shrink)

The importance of contextual reasoning is emphasized by various researchers in AI. (A partial list includes John McCarthy and his group, R. V. Guha, Yoav Shoham, Giuseppe Attardi and Maria Simi, and Fausto Giunchiglia and his group.) Here, we survey the problem of formalizing context and explore what is needed for an acceptable account of this abstract notion.

A model-theoretic realist account of science places linguistic systems and their corresponding non-linguistic structures at different stages or different levels of abstraction of the scientific process. Apart from the obvious problem of underdetermination of theories by data, philosophers of science are also faced with the inverse (and very real) problem of overdetermination of theories by their empirical models, which is what this article will focus on. I acknowledge the contingency of the factors determining the nature – and choice – of (...) a certain model at a certain time, but in my terms, this is a matter about which we can talk and whose structure we can formalise. In this article a mechanism for tracing "empirical choices" and their particularized observational-theoretical entanglements will be offered in the form of Yoav Shoham's version of non-monotonic logic. Such an analysis of the structure of scientific theories may clarify the motivations underlying choices in favor of certain empirical models (and not others) in a way that shows that "disentangling" theoretical and observation terms is more deeply model-specific than theory-specific. This kind of analysis offers a method for getting an articulable grip on the overdetermination of theories by their models – implied by empirical equivalence – which Kuipers' structuralist analysis of the structure of theories does not offer. (shrink)

Formalizing commonsense knowledge for reasoning about time has long been a central issue in AI. It has been recognized that the existing formalisms do not provide satisfactory solutions to some fundamental problems, viz. the frame problem. Moreover, it has turned out that the inferences drawn do not always coincide with those one had intended when one wrote the axioms. These issues call for a well-defined formalism and useful computational utilities for reasoning about time and change. Yoav Shoham of (...) Stanford University introduced in his 1986 Yale doctoral thesis an appealing temporal nonmonotonic logic and identified a class of theories, causal theories, which have computationally simple model-theoretic properties. This paper is a study towards building upon Shoham's work on causal theories. We concentrate on improving computational aspects of causal theories while preserving their model-theoretic properties. (shrink)

We extend causal theories and study actions in domains involving multiple agents. Causal theories, invented by Yoav Shoham, are based on a temporal nonmonotonic logic and have computationally tractable aspects. Since Shoham's formalism does not provide an adequate mechanism for representing simultaneous actions and specifying their consequences, we introduce the notion of counteractions while preserving the efficiency and model-theoretic properties of causal theories.

After a review of situation theory and previous attempts at 'computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories.

In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.

This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. (...) A proposition α is a nonmonotonic consequence of a set of propositions Γ iff α holds in all the most preferred Γ-states. In the literature on revealed preference theory, there are a number of well-known theorems concerning the representability of selection functions, satisfying certain properties, in terms of underlying preference relations. Such theorems are utilized here to give corresponding representation theorems for nonmonotonic inference operations. At the end of the paper, the connection between nonmonotonic inference and belief revision, in the sense of Alchourrón, Gärdenfors, and Makinson, is explored. In this connection, infinitary belief revision operations that allow for the revision of a theory with a possibly infinite set of propositions are introduced and characterized axiomatically. (shrink)