Justice and peaceful cooperation

Justice is important, but so is peaceful cooperation. In this article, I argue that if one takes seriously the autonomy of individuals and groups and the fact of moral pluralism, a just system of cooperation cannot guarantee peaceful cooperation in a pluralistic world. As a response to this consideration, I develop a contractarian theory that can secure peace in a pluralistic world of autonomous agents, assuming that the agents who exist in this world expect that peaceful cooperation is the most beneficial form of interaction for them in the long run. The theory specifies the restrictions on the behavior of autonomous individual and collective agents that are indispensable for peaceful cooperation in a pluralistic world. In particular, I argue for the need of (i) a globally valid rule of conflict resolution to settle all intra- and inter-group conflicts that cannot be resolved locally, (ii) a world court to apply this rule in cases where local group authorities are inadequate to do so, and to serve as a final court of appeal, and (iii) a world police to enforce the rule.     

Missions without missionaries: the social dimension of church growth in Muslim Java,Indonesia

We live in a world where religion is not confined to the private sphere and where faith-based acts, from Qur'an burning to terrorist activities, affront not only believers but also non-believers. Indonesia, where moderate Islam has long enjoyed its compatibility with other religions, has recently emerged as a hot spot of Muslim–Christian violence. In order to examine the social face of faith in ‘unfavourable’ circumstances, this article analyses church growth in Muslim Java by addressing the sociological issues related to what makes a church strong. Through an empirical investigation into the Java Christian Church, the article demonstrates that a church manages to establish a firm foothold in a Muslim society by developing the porosity of the religious frontier at the organizational level.     

Updating: A psychologically basic situation of probability revision

The Bayesian model has been used in psychology as the standard reference for the study of probability revision. In the first part of this paper we show that this traditional choice restricts the scope of the experimental investigation of revision to a stable universe. This is the case of a situation that, technically, is known as focusing. We argue that it is essential for a better understanding of human probability revision to consider another situation called updating (Katsuno & Mendelzon, 1992 Katsuno, A. and Mendelzon, A. 1992. “On the difference between updating a knowledge base and revising it”. In Belief revision, Edited by: Gärdenfors, P. 183–203. Cambridge, , UK: Cambridge University Press. [Crossref] , [Google Scholar]), in which the universe is evolving. In that case the structure of the universe has definitely been transformed and the revision message conveys information on the resulting universe. The second part of the paper presents four experiments based on the Monty Hall puzzle that aim to show that updating is a natural frame for individuals to revise their beliefs.     

Bug distribution and statistical pattern classification

A model (called the rule space model) which permits measuring cognitive skill acquisition, diagnosing cognitive errors, detecting the weaknesses and strengths of knowledge possessed by individuals was introduced earlier. This study further discusses the theoretical foundation of the model by introducing bug distribution and hypothesis testing (Bayes' decision rules for minimum errors) for classifying subjects into their most plausible latent state of knowledge. The model is illustrated with the domain of fraction arithmetic and compared with the results obtained from a conventional artificial intelligence approach.The authors would like to acknowledge Mr. Robert Baillie for developing several computer programs used for this research.This research was sponsored by the Personnel and Training Research Program, Psychological Sciences Division, Office of Naval Research.Some of the analyses presented in this report were performed on the PLATO® system. The PLATO® system is a development of the University of Illinois and PLATO® is a service mark of the Control Data Corporation.     

Effects of the discriminability of alternatives in three-alternative concurrent-schedule performance

Six pigeons were trained on two- and three-alternative concurrent schedules in which the alternatives were signaled by different wavelengths of light on the main pecking key. The schedules were arranged according to a switching-key procedure in which pecks on a white side key produced a 3-s blackout and, intermittently, a change in the variable-interval schedule of food programmed on the main (center) key after the blackout. In Part 1, a two-alternative concurrent variable-interval schedule was arranged in which the alternatives were signaled by 560 nm and 630 nm. Parts 2 and 3 arranged three-alternative concurrent variable-interval schedules with the alternatives signaled by 560 nm, 600 nm, and 630 nm (Part 2) and 560 nm, 623 nm, and 630 nm (Part 3). Within each part, the relative rate of food reinforcers available on the alternatives was varied across a wide range. In all parts of the experiment, the ratios of responses emitted between pairs of alternatives were more extreme than the ratios of reinforcers obtained on the pairs of alternatives, a result termed overmatching. In Parts 2 and 3, generalized matching sensitivities between pairs of alternatives were found to be higher when the reinforcer rate on the third alternative was low than when it was high—an apparent failure of the constant-ratio rule. The data were well described by an extension of the Davison and Jenkins (1985) model, which assumes differing discriminabilities between concurrent-schedule alternatives in combination with a punishing effect of blackout following changeovers.     

Apocalyptic relevance

In their book, Relevance, Sperber and Wilson make an important contribution towards constructing a credible theory of this unforthcoming notion. All is not clear sailing, however. If it is accepted as a condition on the adequacy of any account of relevance that it not be derivable either that nothing is relevant to anything or that everything is relevant to everything, it can be shown that Sperber and Wilson come close to violating the condition.     

Protoalgebraic Gentzen Systems and the Cut Rule

In this paper we show that, in Gentzen systems, there is a close relation between two of the main characters in algebraic logic and proof theory respectively: protoalgebraicity and the cut rule. We give certain conditions under which a Gentzen system is protoalgebraic if and only if it possesses the cut rule. To obtain this equivalence, we limit our discussion to what we call regular sequent calculi, which are those comprising some of the structural rules and some logical rules, in a sense we make precise. We note that this restricted set of rules includes all the usual rules in the literature. We also stress the difference between the case of two-sided sequents and the case of many-sided sequents, in which more conditions are needed.