The purpose of a logical framework such as LF is to provide a language for defining logical systems suitable for use in a logic-independent proof development environment. All inferential activity in an object logic is to be conducted in the logical framework via the representation of that logic in the framework. An important tool for controlling search in an object logic, the need for which is motivated by the difficulty of reasoning about large and complex systems, is the use of (...) structured theory presentations. In this paper a rudimentary language of structured theory presentations is presented, and the use of this structure in proof search for an arbitrary object logic is explored. The behaviour of structured theory presentations under representation in a logical framework is studied, focusing on the problem of “lifting” presentations from the object logic to the metalogic of the framework. The topic of imposing structure on logic presentations, so that logical systems may themselves be defined in a modular fashion, is also briefly considered. (shrink)

The Forest Stewardship Council (FSC) is a global private governance system overseeing the sustainability and biodiversity of the world forestry system through certification of forests and forestry processes and products, and is perceived as the strongest of the various certification schemes available (Domask, Globalization and NGOs: Transforming Business, Government, and Society , 2003 ; Gulbrandsen, Global Environmental Politics , 2004 ). It has seen more success in developed than developing countries in terms of amount of forest certified and number of (...) chain-of-custody certificates issued, raising questions as to its ability to promote biodiversity Gulbrandsen, Global Environmental Politics , 2004 ). A number of challenges have risen to the pragmatic and moral legitimacy of the FSC as a global governance system: alternative certification schemes, output and market access, cost of certification, plantations, and illegal logging. I examine each of these challenges as they pertain to the dimensions of pragmatic and moral legitimacy of the FSC. I conclude with a discussion of theoretical implications for global governance systems using ecolabel schemes, as well as a discussion of practical implications for the FSC in particular. (shrink)

Recognizing the growing interdependence of the European Union and the importance of codes of conduct in companies’ operations, this research examines the effect of a country’s culture on the implementation of a code of conduct in a European context. We examine whether the perceptions of an activity’s ethicality relates to elements found in company codes of conduct vary by country or according to Hofstede’s (1980, Culture’s Consequences (Sage Publications, Beverly Hills, CA)) cultural constructs of: Uncertainty Avoidance, Masculinity/Femininity, Individualism, and Power (...) Distance. The 294 individuals, who participated in our study, were from 8 Western European countries. Their responses to our 13 scenarios indicate that differences in the perceptions of ethicality associate primarily with the participants’ country as opposed to their employer (i.e., accounting firm), employment level, or gender. The evidence also indicates that these country differences associate with Hofstede constructs of Individualism and Masculinity. (shrink)

It is widely accepted by philosophers of well‐being that the shape or narrative structure of a life is a significant determinant of its overall welfare value. Most arguments for this thesis posit agent‐independent value in certain life shapes. The desire theory of well‐being, I argue, has all of the resources needed to account for the value that many philosophers have identified in lives with certain shapes. The theory denies that there is any agent‐independent value in shapes and, indeed, allows that (...) there can be both agent‐dependent value and agent‐dependent disvalue in the shapes commonly claimed to hold agent‐independent value. (shrink)

The almost 300 articles contain not only historical accounts but also some indication of the state of present day study in classical philosophy.

How come quantum theory has anything to do with mind? Is your theory refutable? What is the point of all the technical detail? Do you suggest that the operation of the brain involves large scale quantum coherence? Isn't large scale quantum coherence necessary to solve the problem of the unity of consciousness? How does a many-minds interpretation survive Occam's razor? What, briefly, is your current philosophical position? What is your understanding of the relationship between mind and brain for split-brain patients? (...) Do you believe that the mind can survive the death of the brain? No journal reference is given for several of the recent papers on your home page. Where will these papers be printed? How are the “source” and “pdf” versions of the papers on your home page produced and viewed? Why does the page with your photograph behave oddly in some browsers? Where can I find an elementary introduction to the interpretation of quantum theory? Doesn't decoherence theory solve all the problems of the interpretation of quantum theory? How do the ambiguities of decoherence affect the many-worlds interpretation? Could you expand on your answers to the two previous questions? Why isn't the conventional interpretation of quantum theory adequate? What about the Bohm interpretation? What about consistent histories? Does the present many-minds interpretation solve all the problems? (shrink)

In the Treatise of Human Nature , Hume argues that, because we have adequate ideas of the smallest parts of space, we can infer that space itself must conform to our representations of it. The paper examines two challenges to this argument based on Descartes's and Locke's treatments of adequate ideas, ideas that fully capture the objects they represent. The first challenge, posed by Arnauld in his Objections to the Meditations , asks how we can know that an idea is (...) adequate. The second challenge, implicit in Locke's Essay , asks how an empiricist can characterize an idea as inadequate, as both picking out an object and yet failing to capture it fully. In showing how Hume responds to these challenges, his theory of perceptual representation is explained and his treatment of space is related to his scepticism. His conclusion is shown not to be a characterization of space as it exists wholly apart from our powers of conception. Instead, in an adumbration of Kant, his claim is restricted to space as it appears to us. (shrink)

As one of the Sloan Foundation's original New Liberal Arts grantees, Williams College has developed a variety of approaches to improve quantitative reasoning and technological literacy, including creating interdisciplinary courses, computer and mathematical workshops, and an STS program. Further development, however, depends critically on what technological literacy may mean in a liberal arts context. Attempts to promote technological literacy, whether in liberal arts settings or not, are likely to founder unless they take account of the complexity and context dependent nature (...) of technological literacy, as well as its history, and its relationship to scientific literacy. (shrink)

Afghanistan. In the heat and dust, young British army medic Elinor Nielson watches an Afghan girl walk into a hail of bullets. But when she runs to help, Ellie finds her gone. Who is she? And what's happened to her? What Ellie discovers makes her question everything she believes in - even her feelings for the American lieutenant who takes her side.

Introduction: schema, substance, and symbol -- Linguistic form: the critique of reason becomes the critique of culture -- Mythical thought: beginning the ladder of consciousness -- Phenomenology of knowledge: taking phenomenology in the Hegelian, not the modern sense -- Metaphysics of symbolic forms: spirit, life, and Werk -- Logic of the cultural sciences: nature and culture -- Animal symbolicum -- Human freedom and politics.

The only thing worth saying about the author, in my view, is what he has given to be public, all the rest being the generalized personal, which is mere confusion and finally dust.