We describe a general method for verifying inequalities between real-valued expressions, especially the kinds of straightforward inferences that arise in interactive theorem proving. In contrast to approaches that aim to be complete with respect to a particular language or class of formulas, our method establishes claims that require heterogeneous forms of reasoning, relying on a Nelson-Oppen-style architecture in which special-purpose modules collaborate and share information. The framework is thus modular and extensible. A prototype implementation shows that the method is promising, (...) complementing techniques that are used by contemporary interactive provers. (shrink)

The opening chapter of Genesis makes a lofty claim about the human condition: that humans are created in the image of God. But why can humans image God? This article examines four different interpretations of humans as interpretive animals. Following Martin Heidegger's account of Dasein, I argue that humans are interpretive animals, and as such, are suitable creatures to bear God's image. Humans as interpretive animals function as the image of God, not because of divine fiat; instead, humans in their (...) capacities are open to being the image. My argument is not that the image of God is identifiable as particular human features. Instead, it is the fact that humans have specific capacities that make them interpretive animals (e.g., radical openness, thrownness, malleability) and that these traits are constitutive for what it means to be human. Alongside Heidegger, I draw on the works of Charles Taylor, Claudia Welz, and Kathryn Tanner. (shrink)

This paper investigates the impact of activism on a large, powerful corporation in Tasmania. Gunns Ltd was a large woodchip processor in Tasmania that fought a long-running battle with environmental activists regarding Gunns’ logging and processing activities. The study focuses on events in 2004–2005, when Gunns applied to build a pulp mill in rural northern Tasmania and began a legal case against activists. The research question is whether there is clear statistical evidence that these events were important, as is widely (...) believed, in the ultimate failure of Gunns in, just 6 years after being the largest and one of the most financially successful Tasmanian companies. We use a mixed methods approach that combines a detailed narrative informed by theory, to examine issues of corporate social responsibility and ethical behaviour, with an econometric time series analysis of the impact of activism on the market value of Gunns. Our analysis supports the contention that the events in 2004–2005 played a significant part in the decline of the long-run market value of Gunns over the subsequent period, through to its failure in 2011. We discuss the underlying causes for Gunns’ failure in terms of agency, stakeholder, legitimacy and leadership theories. Research frequently assesses effects such as those in the Gunns’ case through solely qualitative means. This paper integrates a quantitative analysis into a detailed qualitative narrative and theoretical interpretation of events, to provide additional precision to its findings. It contributes to research in CSR and the impact of activism. (shrink)