<p>One of the focuses of John Howard Yoder's theology is Christian nonviolence. From the teaching and example of Jesus, who dealt with the evil in the world and defeated it through obedience to the will of God to the point of dying on the cross, Yoder derives the normative Christian stance of nonviolence. It is expressed in the life of the disciples in their suffering with Christ the hostility of the world as bearers of the kingdom cause and in their living out the suffering servanthood in place of dominion. For Yoder, subordination is how Christ's model of servanthood is carried out into the concreteness of family life, and it is most extensively explored in his essay, "Revolutionary Subordination," in The Politics of Jesus.</p><p>This dissertation is an attempt to read household codes in the New Testament, especially Col. 3:18-4:1, together with Yoder, with a special emphasis on the husband/wife relation. Due to an exceptionally controversial character of Yoder's essay, it seeks to understand his main points, while identifying the elements that have caused strong opposition. The fact that these Haustafel texts have been historically abused to legitimate oppression and exploitation of persons poses a warning in one's endeavor to interpret them. Particularly telling is Americans' experience around slavery during and after the Civil War. The conflicting interpretations of the Bible between the proslavery camp and the abolitionists leave us in a hard place in addressing the issue of women's status in the household and in society.</p><p>Through examining key debates on the Haustafeln in the biblical scholarship focused on James Crouch and David Balch; two alternative views on the subject in theological ethics - Yoder and Elisabeth Schüssler Fiorenza - and further discussions of their views aided by theologians such as Gordon Kaufman, Alasdair MacIntyre, and Jeffrey Stout, this study addresses issues found in Yoder and Schüssler Fiorenza. It concludes that Yoder's undue reliance on David Schroeder and his refutation of Martin Dibelius have led him to overlook the preexisting schema that was adopted and Christianized by the early church, and that he fails to name patriarchy a sin. Schüssler Fiorenza's problems are found in the areas of the biblical canon, tradition and democracy. The relevance of the slavery debates to this study is revisited through discussions of Mark Knoll and Dale Martin, and Yoder's nonviolent kingdom ethic is compared to Paul Ramsey's just war theory and backed up by Rowan Williams, Bernd Wannenwetsch, and Sarah Coakley.</p> / Dissertation

L'objet de cette thèse est la méta-théorie du Calcul des Constructions Inductives (CCI), c'est à dire les Calcul des Constructions étendu par des types et des prédicats inductifs. Le Calcul des Constructions a été présenté en 1985 par Thierry Coquand. Il s'agit d'un lambda-calcul typé qui, à travers l'isomorphisme dit de Curry-Howard, peut-être vu comme un formalisme logique. Ce système qui étend à la fois la logique d'ordre superieur de Church et les systèmes de Martin-Löf est particulièrement expressif du point de vue algorithmique et peut facilement être mis en oeuvre sur ordinateur.<br />Dans le Calcul des Constructions originel, les types de données (entiers, listes, sommes, etc) sont représentés dans le lambda-calcul à travers un codage imprédicatif. Cette solution est élégante mais conduit à un certain nombre de difficultés pratiques et théoriques. Pour y remédier, Thierry Coquand et Christine Paulin-Mohring on proposé d'étendre le formalisme par un mécanisme génerique de définitions inductives. C'est cette extension, utilisée dans le système Coq, qui est étudiée dans cette thèse. Le résultat essentiel est que le système vérifie bien la proprieté de normalisation forte. On en déduit les proprietés de cohérence logique, de confluence et de décidabilité du typage.<br />L'aspect le plus spectaculaire de l'extension par des types inductifs est la possibilité de définir de nouveaux types et de nouvelles propositions par récurrence structurelle (élimination forte). Cette caractéristique, qui donne toute sa signification à la notion de types dépendants, augmente énormément le pouvoir de la règle de conversion, et par là, la difficulté de la preuve de normalisation. L'interprétation de l'élimination forte dans une preuve de normalisation par réductibilité est la nouveauté essentielle de ce travail.<br />De plus, nous considérons ici un système avec eta-conversion. Une conséquence est que la propriété de confluence n'est plus combinatoire et doit être prouvée après la normalisation, ce qui augmente à nouveau la difficulté de la preuve de celle-ci. A ce titre, nous présentons également quelques résultats nouveaux sur des systèmes non-normalisants qui montrent que pour des lambda-calculs typés, la propriété de confluence est logique et non combinatoire.

Au coeur des liens entre Théorie de la Démonstration et Théorie des Types, la correspondance de Curry-Howard fournit des termes de preuves aux aspects calculatoires et équipés de théories équationnelles, i.e. des notions de normalisation et d'équivalence. Cette thèse contribue à étendre son cadre à des formalismes (comme le calcul des séquents) appropriés à des considérations d'ordre logique comme la recherche de preuve, à des systèmes expressifs dépassant la logique propositionnelle comme des théories des types, et aux raisonnements classiques plutôt qu'intuitionistes.<br />La première partie est intitulée Termes de Preuve pour la Logique Intuitioniste Implicationnelle, avec des contributions en déduction naturelle et calcul des séquents, normalisation et élimination des coupures, sémantiques en appel par nom et par valeur. En particulier elle introduit des calculs de termes de preuve pour le calcul des séquents depth-bounded G4 et la déduction naturelle multiplicative. Cette dernière donne lieu à un calcul de substitutions explicites avec affaiblissements et contractions, qui raffine la beta-réduction.<br />La deuxième partie, intitulée Théorie des Types en Calcul des Séquents, développe une théorie des Pure Type Sequent Calculi, équivalents aux Systèmes de Types Purs mais mieux adaptés à la recherche de preuve.<br />La troisième partie, intitulée Vers la Logique Classique, étudie des approches à la Théorie des Types classique. Elle développe un calcul des séquents pour une version classique du Système Fomega. Une approche à la question de l'équivalence de preuves classiques consiste à calculer les représentants canoniques de preuves équivalentes dans le cadre du Calcul des Structures.

Thesis (M.A.)--Florida State University, 2004. / Advisor: Dr. Valerie Jean Conner, Florida State University, College of Arts and Sciences, Department of History. Title and description from dissertation home page (viewed 6/15/04). Includes bibliographical references.

The Difference of Conversion examines theologically the possibilities for a religious minority group to maintain its own corporate identity while contributing as a member of the greater society. The research centers on the Swedish Baptist denomination, Örebromissionen, and focuses on its youth ministry. The research material is the weekly newspaper Missionsbaneret. This examination is twofold: part one is a historical analysis, and the second, a Diaspora-theological analysis that results in the development of a Diaspora ecclesiology. The historical analysis is influenced by a discursive approach and emphasize two areas of focus; what makes something visible, or problematic, and which steering techniques that are used. The study covers three different periods – 1930s, 1950s and 1980s. The research shows that it has been a great challenge for Örebromissionen to maintain a corporate identity in Sweden, both during the Folk Church period as well as in the Folkhemmet period. The examination suggests that this depends on two coexisting processes; first, the understanding of personal conversion primarily as an emotional, datable, and complete experience within the denomination and secondly the strong emphasis of a shared identity in society. The theological analysis begins with a description of the late Mennonite theologian John Howard Yoder’s Diaspora theology. Using Diaspora-theological analysis shows that the strong emphasis of a shared identity in Swedish society has changed the theology concerning personal conversion in relationship to moral values; where once conversion preceded moral change to later when moral development preceded conversion. This shift in understanding was brought about by new practices introduced in Youth Ministry. In conclusion it is suggested that a Diaspora ecclesiology that both wants to maintain a corporate identity as well as to contribute to a good society must emphasize a multi-cultural society, accentuate the individual as a part of a specific religious social body, and understand the religious corporate identity borders as porous, and therefore constantly re-negotiated.

No description available.

Although significant progress has been made to increase the throughput rate of students with disabilities in tertiary education, there is still much to be done as many disabled students face discrimination and difficulty in acquiring and receiving support. Moreover, disability policy often does not lead to practice at tertiary level. Many students with disabilities still need an ally for basic accommodations. The focus of this research study was on the perceptions and experiences of the students with disabilities at the University of KwaZulu-Natal: Howard College Campus regarding the University’s Disability Unit. This is in terms of the facilities and services offered by the Disability Unit as well as how effective it is in its functioning and meeting its students’ needs. This study was designed to explore the Disability Unit from the perspectives of students’, their experiences and responses to it. This research study was conducted with students with disabilities from the University of KwaZulu-Natal: Howard College Campus. The sample population included six participants from the major categories of disability at the University: visual and physical impairments. Of the six participants selected, two were without sight, two were partially sighted, and two were physically disabled. Furthermore, participants comprised both males and females and were studying at different levels at the University (i.e. first year, second year, fourth year and fifth year students). This research study aimed to explore the effectiveness of the Disability Unit at the University of KwaZulu-Natal: Howard College Campus in meeting the academic needs of its students with disabilities, from the perspective of the students with disabilities. Results from the current research study revealed that inadequate staff, resources and funding, poor coordination and communication between significant role players, substandard relationships, and insufficient awareness (around disabled students’ academic and social needs) among the entire University population represent major barriers to success for students with disabilities. Moreover, although student support services play a crucial role in supporting students with disabilities, the entire institution and university population, staff and students alike, is responsible for creating an inclusive environment where students with disabilities can experience a sense of community and attitudes of embracing diversity and accommodating differences. Responsibility, thus, lies with all relevant role players of the University of KwaZulu-Natal: Howard College Campus who must work together to overcome institutional as well as social barriers; accommodate for the students with disabilities, endeavour to meet their academic, emotional and social needs, and help them develop academically. In the future, progress can be made through the increased coordination of disability support services and programmes to educate faculties and peers about support, accommodations and rights of individuals with disabilities. / Thesis (M.Soc.Sc.)-University of KwaZulu-Natal, Durban, 2010.

This study explores the use of electronic information services (EIS) by students at the Howard College (HC) campus of the University of KwaZulu-Natal (UKZN) in the faculties of Engineering and the Humanities, Development and Social Sciences (HDSS). The objectives were to establish usage among students; identify determinants of usage and to make recommendations. To achieve these objectives, the study concentrated on answering these research questions: • Do UKZN students use library e-resources? • Which e-resources are UKZN students using? • Where do UKZN students access library e-resources? • Why do UKZN students use library e-resources? • What characterises non-users of library e-resources? • What barriers exist to the use of electronic information services (EIS)? A review of the literature identified a mix of quantitative, qualitative and combined methods used to investigate EIS usage. In various research studies, the variables considered to be determinants of use included age, status, discipline of study, subject content, computer proficiency, ease of use, availability and print formats in academic environments. The barriers experienced when using EIS formats, the adoption of technology and the usability characteristics of EIS were also important aspects evident in the literature. The methodology adopted was based on a pragmatic philosophical approach and sought to establish baseline data. A quantitative research design was used which set out to achieve the research objectives through data collection on two fronts. Firstly, the overall usage environment at UKZN was established by reviewing vendor usage statistics. The COUNTER compliant statistics for selected databases and e-journals were collected and analysed. As COUNTER statistics were not available for e-books, the statistics available from the vendors were used. Secondly, a stratified, random sample of students on the HC campus was surveyed by means of an online questionnaire. A response rate of 22.5% was achieved. Data collected established the characteristics of users; whether they made use of e-books, e-journals and databases; where they used them and how often; why they made use of them; and what barriers and problems they experienced when using them. Data from non-users was also solicited. Data is presented in graphs and frequency tables. The Chi-square test was applied to establish significant associations between variables and these results are produced in contingency tables. The findings established that EIS are used by students and usage fluctuates during the course of the academic year with peaks occurring in each semester and low points during the vacation periods. e-Journals and databases are used more than ebooks, while postgraduate students use EIS most. Non-users made up almost a third iv of the sample; while habitual, frequent and infrequent users were reflected in almost equal numbers among those who use EIS. Age, gender or discipline of study were not in evidence as determinants of use. Students undertake searches mainly from computers in the LANs but off-campus computers are also used, which highlights the importance of remote access. The library website is most often the starting point for navigation, although search engines are also popular as a virtual starting point. Locating information was the prime motivation to use EIS, and students largely rated the EIS they used as good or excellent. Barriers were experienced by as many as 37% of users who reported that the non-availability of EIS was the main problem, although they experienced other difficulties. In concluding, issues of library service delivery and recommendations regarding usage are made. / Thesis (M.A.)-University of KwaZulu-Natal, Durban, 2010.

Weird fiction criticism has been largely focused on either analyzing texts via the biographies of weird fiction authors, or concentrating on the words on the page to a degree that ignores all outside context. Although these approaches are valuable, more utility is to be found in analyzing weird fictions via their specific historical locations. This dissertation demonstrates the validity of this approach by surveying the works of five American weird fiction authors from the Twentieth Century (Lovecraft, Smith, Howard, Bloch, and Ligotti), and giving new interpretations that are based on an understanding of their placement within specific historical milieus (respectively, anti-WWI sentiment, surrealism and the problem of representation, Southern and Southwestern regionalism, pastiche and publishing culture, and metafiction and genre fiction). This survey supports the need for a new critical approach to weird fiction as described in this dissertation, and furthers our understanding of weird fiction by investigating hitherto unexplored perspectives on weird texts.

Thesis (Ed. D.)--Teachers College, Columbia University. / Typescript; issued also on microfilm. Sponsor: Douglas Sloan. Dissertation Committee: Thomas Leemon. Bibliography: leaves 188-199.