A Catechumenate for the Korean Methodist Church: Ressourcement, Formation and a Response to Secularism and Korean Traditional Religions

Research by Korean sociologists of religion indicates that Korean Protestantism has lost much of the spiritual vitality of preceding generations and that it increasingly shows the influences of Korean shamanism, Neo-Confucianism, and Western secularism and consumerism. Suggestions in the areas of homiletics and Christian social ethics have been offered to help steer the Korean Protestant churches away from these worldviews toward a more biblically-based course. Drawing upon and expanding these earlier studies and proposals, the current work recommends another method for developing a biblically-based, spiritually-revitalized, baptismally-shaped and ministry-committed Protestantism in Korea: a pre-baptismal adult catechumenate, in this case one designed for the context of the Korean Methodist Church. In order to produce a renewed catechumenal structure for Korean Methodism, adult catechumenal processes as well as baptismal theologies and rites are examined and analyzed from three principal sources: the first five centuries of the Christian church, and especially the mystagogical literature of the fourth century; the Roman Catholic Rite of Christian Initiation of Adults developed after the Second Vatican Council; and the United Methodist Church in the United States, both texts officially authorized by the denomination's General Conference and unofficial materials, among them resources for an adult catechumenate in the Come to the Waters series. In addition, previous and current practices of preparation for baptism in the Korean Methodist Church are identified and critiqued. From these findings a set of principles is put forward that guide the proposed catechumenal structure.

Practices of Ministerial Leadership of Korean-American United Methodist Clergywomen; Toward a Wesleyan Ecclesiology in a Global Context

This study documents, analyzes, and interprets Korean American United Methodist (KAUM) clergywomen‘s experiences in and understandings of the church. It examines contributions these (and potentially, other) clergywomen might make to Wesleyan ecclesiology generally, and particular ways United Methodists live out their faith in transitional, diverse, and global contexts. The project attempts to re-vision existing Wesleyan ecclesial discourse in the United Methodist Church (UMC) by recognizing and incorporating the contributions of racial-ethnic clergy as expressed through their leadership and practices of faith. A "practice-theory-practice" model of practical theology was used to pay systematic attention to the practical locus of the inquiries. Twenty Korean American United Methodist clergywomen were interviewed by telephone, using a voluntary sampling technique to ascertain how they both experienced the church and understood and lived out various practices of faith, including preaching, participation in and administration of the sacraments, preparation for ordained ministry, and other spiritual practices such as prayer, worship, retreats, and journaling. The dissertation summarizes those findings, provides contextual and historical interpretation, and then analyzes their responses in relation to Wesleyan theology, MinJung (mass of people) theology, and the theology of YeoSung (women who display dignity and honor as human beings). This study identifies the extraordinary call of the KAUM clergywomen interviewees to be bridge builders, strong nurturers, wounded healers, committed educators, breakers of old stereotypes, persistent seekers to fulfill God‘s call, and ecclesial leaders with ―tragic consciousness‖ who can disrupt marginality and facilitate the creative transformation of Han (a deep experience of suffering and oppression) into a constructive energy capable of shaping a new reality. According to this study, KAUM clergywomen‘s experiences and practices of faith as ecclesial leaders strengthen Wesleyan ecclesiology in terms of the UMC‘s efforts to be an inclusive church through connectionalism, and its commitment to social justice. MinJung theology and the theology of YeoSung, in their respective understandings of the church, broaden Wesleyan ecclesiology and enable the Church to be more relevant in a global context by embracing those who have not been normative theological subjects.

Fixed Point vs. First-Order Logic on Finite Ordered Structures with Unary Relations

We prove that first order logic is strictly weaker than fixed point logic over every infinite classes of finite ordered structures with unary relations: Over these classes there is always an inductive unary relation which cannot be defined by a first-order formula, even when every inductive sentence (i.e., closed formula) can be expressed in first-order over this particular class. Our proof first establishes a property valid for every unary relation definable by first-order logic over these classes which is peculiar to classes of ordered structures with unary relations. In a second step we show that this property itself can be expressed in fixed point logic and can be used to construct a non-elementary unary relation.

Efficient Support for Common Relations in Lightweight Formal Reasoning Systems

In work that involves mathematical rigor, there are numerous benefits to adopting a representation of models and arguments that can be supplied to a formal reasoning or verification system: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, accessibility has not been a priority in the design of formal verification tools that can provide these benefits. In earlier work [Lap09a], we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. This work expands one aspect of the earlier work by considering more extensively an essential capability for any formal reasoning system whose design is oriented around simulating the natural context: native support for a collection of mathematical relations that deal with common constructs in arithmetic and set theory. We provide a formal definition for a context of relations that can be used to both validate and assist formal reasoning activities. We provide a proof that any algorithm that implements this formal structure faithfully will necessary converge. Finally, we consider the efficiency of an implementation of this formal structure that leverages modular implementations of well-known data structures: balanced search trees and transitive closures of hypergraphs.