Why Ideas Matter in International Relations : Hans Morgenthau, Classical Realism, and the Moral Construction of Power Politics

Williams, Mike, 'Why ideas matter in International Relations: Hans Morgenthau, Classical Realism, and the Moral Construction of Power Politics', International Organization (2004) 58(4) pp.633-665 RAE2008

New Approaches to Social History. Myth, Memory and Place: Monmouth and Bath 1750-1900

Borsay, Peter, 'New Approaches to Social History. Myth, Memory and Place: Monmouth and Bath 1750-1900', Journal of Social History (2006) 39(3) pp.867-889 RAE2008

Scattering poles near the real axis for two strictly convex obstacles

Iantchenko, A., (2007) 'Scattering poles near the real axis for two strictly convex obstacles', Annales of the Institute Henri Poincar? 8 pp.513-568 RAE2008

On the positivity of the Jansen-He? operator for arbitrary mass

Iantchenko, A.; Jakuba?a-Amundsen, D.H., (2003) 'On the positivity of the Jansen-He? operator for arbitrary mass', Annales of the Institute Henri Poincar? 4 pp.1083-1099 RAE2008

Demokratyzacja kultury współczesnej

Wydział Historyczny: Instytut Etnologii i Antropologii Kulturowej

O antropomorfizowaniu i potrzebie przedstawień figuralnych w sztuce greckiej

Estetyka w archeologii. Antropomorfizacje w pradziejach i starożytności, eds. E. Bugaj, A. P. Kowalski, Poznań: Wydawnictwo Poznańskie.

Analysis and Assessment of Conclusions in the White Book regarding Threats and Challenges in EU Common Security and Defence Policy

Among the many issues that were raised in the White Book on National Security of the Republic of Poland (WBNSRP), there were also those related to the functioning of a Common Security and Defence Policy (CSDP). Its importance for the security of Poland was indicated, as well as the need on the part of EU Member States to broaden collaboration in the sphere of security and defence. The key problems occurring in the context of CSDP were also emphasised and their causes indicated. The aim of the article is to present the factors responsible for the weakening of CSDP effectiveness, ones taken into account in the White Book, and subsequently to present a Framework for their analysis in the light of further scholarship.

O transparentności. Sztuka w przestrzeni publicznej postkomunistycznej Europy

Wydział Nauk Społecznych

The ‘Faust’ or ’Lucifer’ Sonata? On Liszt’s idea of programme music as exemplifi ed by his Piano Sonata in B minor

The musicological tradition places Liszt’s Sonata in B minor within the sphere of compositions inspired by the Faustian myth. Its musical material, its structure and its narrative exhibit certain similarities to the ‘Faust’ Symphony. Yet there has appeared a diff erent and, one may say, a rival interpretation of Sonata in B minor. What is more, it is well-documented from both a musical and a historical point of view. It has been presented by Hungarian pianist and musicologist Tibor Szász. He proposes the thesis that the Sonata in B minor has been in fact inspired by Milton’s Paradise Lost, with its three protagonists: Adam, Satan and Christ. He fi nds their illustrations and even some key elements of the plot in the Sonata’s narrative. But yet Milton’s Paradise Lost and Goethe’s Faust are both stories of the Fall and Salvation, of the cosmic struggle between good and evil. The triads of their protagonists – Adam and Eve, Satan, and Christ; Faust, Mephisto and Gretchen – are homological. Thus both interpretations of the Sonata, the Goethean and the Miltonian, or, in other words, the Faustian and the Luciferian, are parallel and complementary rather than rival. It is also highly probable that both have had their impact on the genesis of the Sonata in B minor.

Planning humanitarian projects with educational focus in Guinea rural areas

Dissertação apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Acção Humanitária, Cooperação e Desenvolvimento

Singing Through Struggle: Music as a Mode of Cultural Exchange in African American Border City Churches After Emancipation, 1862-1890

This project investigates how religious music, invested with symbolic and cultural meaning, provided African Americans in border city churches with a way to negotiate conflict, assert individual values, and establish a collective identity in the post- emancipation era. In order to focus on the encounter between former slaves and free Blacks, the dissertation examines black churches that received large numbers of southern migrants during and after the Civil War. Primarily a work of history, the study also employs insights and conceptual frameworks from other disciplines including anthropology and ritual studies, African American studies, aesthetic theory, and musicology. It is a work of historical reconstruction in the tradition of scholarship that some have called "lived religion." Chapter 1 introduces the dissertation topic and explains how it contributes to scholarship. Chapter 2 examines social and religious conditions African Americans faced in Baltimore, MD, Philadelphia, PA, and Washington, DC to show why the Black Church played a key role in African Americans' adjustment to post-emancipation life. Chapter 3 compares religious slave music and free black church music to identify differences and continuities between them, as well as their functions in religious settings. Chapters 4, 5, and 6 present case studies on Bethel African Methodist Episcopal Church (Baltimore), Zoar Methodist Episcopal Church (Philadelphia), and St. Luke’s Protestant Episcopal Church (Washington, DC), respectively. Informed by fresh archival materials, the dissertation shows how each congregation used its musical life to uphold values like education and community, to come to terms with a shared experience, and to confront or avert authority when cultural priorities were threatened. By arguing over musical choices or performance practices, or agreeing on mutually appealing musical forms like the gospel songs of the Sunday school movement, African Americans forged lively faith communities and distinctive cultures in otherwise adverse environments. The study concludes that religious music was a crucial form of African American discourse and expression in the post-emancipation era. In the Black Church, it nurtured an atmosphere of exchange, gave structure and voice to conflict, helped create a public sphere, and upheld the values of black people.

Verification with Natural Contexts: Soundness of Safe Compositional Network Sketches

In research areas involving mathematical rigor, there are numerous benefits to adopting a formal representation of models and arguments: 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 [30] 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. In this report we evaluate our proposed design criteria by utilizing within the context of novel research a formal reasoning system that is designed according to these criteria. In particular, we consider how the design and capabilities of the formal reasoning system that we employ influence, aid, or hinder our ability to accomplish a formal reasoning task – the assembly of a machine-verifiable proof pertaining to the NetSketch formalism. NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch is conceived to assist system integrators in two types of activities: modeling and design. It provides capabilities for compositional analysis based on a strongly-typed domain-specific language (DSL) for describing and reasoning about constrained-flow networks and invariants that need to be enforced thereupon. In a companion paper [13] we overview NetSketch, highlight its salient features, and illustrate how it could be used in actual applications. In this paper, we define using a machine-readable syntax major parts of the formal system underlying the operation of NetSketch, along with its semantics and a corresponding notion of validity. We then provide a proof of soundness for the formalism that can be partially verified using a lightweight formal reasoning system that simulates natural contexts. A traditional presentation of these definitions and arguments can be found in the full report on the NetSketch formalism [12].

Lightweight Formal Verification in Classroom Instruction of Reasoning about Functional Code

In college courses dealing with material that requires mathematical rigor, the adoption of a machine-readable representation for formal arguments can be advantageous. Students can focus on a specific collection of constructs that are represented consistently. Examples and counterexamples can be evaluated. Assignments can be assembled and checked with the help of an automated formal reasoning system. However, usability and accessibility do not have a high priority and are not addressed sufficiently well in the design of many existing machine-readable representations and corresponding formal reasoning systems. In earlier work [Lap09], 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. We report on our attempt to evaluate our proposed design criteria by deploying within the classroom a lightweight formal verification system designed according to these criteria. The lightweight formal verification system was used within the instruction of a common application of formal reasoning: proving by induction formal propositions about functional code. We present all of the formal reasoning examples and assignments considered during this deployment, most of which are drawn directly from an introductory text on functional programming. We demonstrate how the design of the system improves the effectiveness and understandability of the examples, and how it aids in the instruction of basic formal reasoning techniques. We make brief remarks about the practical and administrative implications of the system’s design from the perspectives of the student, the instructor, and the grader.

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.

The corporate social responsibility movement and law's empire: Is there a conflict?

At the heart of corporate governance and social responsibility discourse is recognition of the fact that the modern corporation is primarily governed by the profit maximisation imperative coupled with moral and ethical concerns that such a limited imperative drives the actions of large and wealthy corporations which have the ability to act in influential and significant ways, shaping how our social world is experienced. The actions of the corporation and its management will have a wide sphere of impact over all of its stakeholders whether these are employees, shareholders, consumers or the community in which the corporation is located. As globalisation has become central to the way we think it is also clear that ‘community’ has an ever expanding meaning which may include workers and communities living very far away from Corporate HQ. In recent years academic commentators have become increasingly concerned about the emphasis on what can be called short-term profit maximisation and the perception that this extremist interpretation of the profit imperative results in morally and ethically unacceptable outcomes.1 Hence demands for more corporate social responsibility. Following Cadbury’s2 classification of corporate social responsibility into three distinct areas, this paper will argue that once the legally regulated tier is left aside corporate responsibility can become so nebulous as to be relatively meaningless. The argument is not that corporations should not be required to act in socially responsible ways but that unless supported by regulation, which either demands high standards, or at the very least incentivises the attainment of such standards such initiatives are doomed to failure. The paper will illustrate by reference to various chosen cases that law’s discourse has already signposted ways to consider and resolve corporate governance problems in the broader social responsibility context.3 It will also illustrate how corporate responsibility can and must be supported by legal measures. Secondly, this paper will consider the potential conflict between an emphasis on corporate social responsibility and the regulatory approach.4 Finally, this paper will place the current interest in corporate social responsibility within the broader debate on the relationship between law and non-legally enforceable norms and will present some reflections on the norm debate arising from this consideration of the CSR movement.