Peace and Peacemaking in Paul Against the Backdrop of Greco-Roman Conceptions of Peace

Peace in the ancient world has been studied primarily from the perspective of pacifism and questions related to war and peace. This study employs a socio-historical method to determine how peace was understood in itself, not just with respect to war. It demonstrates that the Greco-Roman world viewed peace as brief periods of tranquility in an existence where conflict was the norm, while Paul regarded peace as the norm and conflict as an intrusive aberration. Through a historical and literary survey of Greco-Roman thought and culture, this study shows that myth, legend, religion, education, philosophy, and science created and perpetuated the idea that conflict was necessary for existence. Wars were fought to attain peace, which meant periods of calm, quiet, and security with respect to the gods, one's inner self, nature, others who are insiders, and others who are outsiders. Despite the desirability of peace, genuine peace was seldom experienced, and even then, only briefly, as underlying enmity persisted without resolution. While Paul supports the prevailing conception of peace as tranquility and felicity in relation to God, self, nature, and others, he differs as to the origin, attainment, and maintenance of peace. In Paul, peace originates in God and is graciously given to those who are justified and reconciled to God through Jesus Christ. God removes the enmity caused by sin and provides the indwelling Spirit to empower believers to think and behave in ways that promote and maintain peace. This study also examines how three social dynamics (honor-shame, patron-client, friendship-enmity) affect Paul's approach to conflict resolution with Philemon and Onesimus, Euodia and Syntyche, believers who are prosecuting one another in civil courts, and Peter. Rather than giving specific procedures for resolving conflict, Paul reinforces the believer's new identity in Christ and the implications of God's grace, love, and peace upon their thoughts, words, and behavior toward one another. Paul uses these three social dynamics to encourage believers in the right direction, but their ultimate accountability is to God. The study concludes with four strategic principles for educating the church and developing an atmosphere and attitude within the church for peacemaking.

Safe Compositional Specification of Network Systems With Polymorphic, Constrained Types

In the framework of iBench research project, our previous work created a domain specific language TRAFFIC [6] that facilitates specification, programming, and maintenance of distributed applications over a network. It allows safety property to be formalized in terms of types and subtyping relations. Extending upon our previous work, we add Hindley-Milner style polymorphism [8] with constraints [9] to the type system of TRAFFIC. This allows a programmer to use for-all quantifier to describe types of network components, escalating power and expressiveness of types to a new level that was not possible before with propositional subtyping relations. Furthermore, we design our type system with a pluggable constraint system, so it can adapt to different application needs while maintaining soundness. In this paper, we show the soundness of the type system, which is not syntax-directed but is easier to do typing derivation. We show that there is an equivalent syntax-directed type system, which is what a type checker program would implement to verify the safety of a network flow. This is followed by discussion on several constraint systems: polymorphism with subtyping constraints, Linear Programming, and Constraint Handling Rules (CHR) [3]. Finally, we provide some examples to illustrate workings of these constraint systems.