BackgroundSchool based running programmes, such as The Daily Mile™, positively impact pupils’ physical health, however, there is limited evidence on psychological health. Additionally, current evidence is mostly limited to examining the acute impact. The present study examined the longer term impact of running programmes on pupil cognition, wellbeing, and fitness.MethodData from 6,908 school pupils, who were participating in a citizen science project, was examined. Class teachers provided information about participation in school based running programmes. Participants completed computer-based tasks of inhibition, (...) verbal and visual-spatial working memory, as well as the Children’s Feeling scale and Felt arousal scale to determine subjective wellbeing. A multistage 20-m shuttle run test was used to estimate fitness.ResultsFrom our total sample of 6,908 school pupils, 474 participants had been taking part in a running programme for 3 months); and 5,430 did not take part in a running programme. The Longer Term participation group had higher fitness levels than both other groups and this remained significant when adjusted for age, sex and SES. Moderated regression analysis found that for the Shorter Term participation group, higher shuttle distance was associated with better visual-spatial working memory. Effect sizes were small though.ConclusionWe identified small and selective positive impact of participation in school based running programmes on fitness and cognition. While no long term benefit was identified for cognition or wellbeing, the impact on fitness and short term benefit suggest schools should consider participation. (shrink)

This book concerns itself with an issue that is not sufficiently addressed in the literature: Heidegger’s philosophy of science. Although a great deal of attention is paid to Heidegger’s later critique of technology, no one has systematically studied how he understood “science.” Many readers will be surprised to learn, through this book, that Heidegger developed the essentials of a fairly sophisticated philosophy of science, one that in many ways invites comparison with that of Thomas Kuhn. Glazebrook demonstrates that Heidegger’s philosophy (...) of science is not neatly divided into “early” and “late” (or “Heidegger I” and “Heidegger II”) but is, rather, an ongoing development over at least three periods, bound together as an analysis of modern science and an uncovering of other possibilities for understanding nature. Glazebrook states in her introduction, “This reading of Heidegger is radical. It cuts to the root of his thinking, for I argue that what are taken to be Heidegger’s many and significant contributions to philosophy—that is, his overcoming of metaphysics, his rereading of the ancients, his critique of technology and representational thinking, his vision and revision of language, truth, and thinking—have at their core an inquiry into science that drove his thinking for sixty years. I am not arguing for a new reading of a few texts, or for adjustments and refinements of existing readings of Heideggger. Rather, I am bringing to light a new basis on which to interpret his work as a whole.”. (shrink)

This paper argues that there is ethical and practical necessity for including women's needs, perspectives, and expertise in international climate change negotiations. I show that climate change contributes to women's hardships because of the conjunction of the feminization of poverty and environmental degradation caused by climate change. I then provide data I collected in Ghana to demonstrate effects of extreme weather events on women subsistence farmers and argue that women have knowledge to contribute to adaptation efforts. The final section surveys (...) the international climate debate, assesses explanations for its gender blindness, and summarizes the progress on gender that was made at Copenhagen and Cancun in order to document and provoke movement toward climate justice for women. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Ideas 62.2 (2001) 193-210 [Access article in PDF] Zeno Against Mathematical Physics Trish Glazebrook Galileo wrote in The Assayer that the universe "is written in the language of mathematics," and therein both established and articulated a foundational belief for the modern physicist. 1 That physical reality can be interpreted mathematically is an assumption so fundamental to modern physics that chaos and super-strings are (...) examples of physical theories developed on the basis of success in mathematics. The mathematics came first, then the physical theory. Quantum theory is an awkward and similar case in point. Despite the fact that there is much agreement among physicists about the mathematical theory, its physical interpretation remains a matter of controversy. There are several interpretations, all of which challenge our everyday assumptions about reality. This led Bohr in 1935 to call for "a radical revision of our attitude towards the problem of physical reality." 2 Arthur Fine, originally a staunch defender of realist interpretations of quantum theory, saw the success of Bohr's Copenhagen interpretation as the end of Einsteinian realism, and subsequently Fine declared that "realism is well and truly dead." 3 Mathematical operators simply do not correspond with real entities in any conceivable way.Ilkka Niiniluoto has argued convincingly, however, that realism is alive and well in quantum theory. 4 The problem is that Bohr is right: quantum theory can be considered to concern the real only upon radical revision of ordinary conceptions of reality. Quantum theory does not describe the real in any meaningful sense of "the real." Rather, it is mathematical projection: ideal rather than real. [End Page 193]Aristotle did not hold that the physicist deciphers nature mathematically. He distinguished the physicist from the mathematician at Physics 2.2 by analogy to the definitions of "snub nose" and "curved." 5 The definition of "snub nose" requires the mention of a nose, that is, of matter which is inseparable from motion, whereas "curved" and other mathematical concepts like " 'odd' and 'even', 'straight'... 'number,' 'line,' and 'figure,' " which are separable from matter and from motion, are investigated by the mathematician. 6 Aristotle claims that physics is different from mathematics because the mathematician investigates physical lines, but not qua physical, and the physicist investigates mathematical lines "but qua physical, not qua mathematical." 7A peculiar consequence of my argument is that it establishes a common principle between two thinkers whose beliefs are otherwise so fundamentally in opposition. Zeno's paradoxes are commonly read as a denial of motion. For Aristotle, that move is axiomatic to the physicist. At 185a15 he considers arguments against this assumption outside the realm of objections to which the physicist must reply. If I am right that Zeno's paradoxes of motion challenge the very notion of mathematical physics, then he and Aristotle agree, contra Galileo, that the universe is not written in the language of mathematics. They simply come to this point from opposite directions, Zeno from an Eleatic thesis that physical reality is illusion, Aristotle from the natural scientist's pragmatic commitment to a truth about nature.I intend to use Zeno's paradoxes of motion to argue that the application of mathematical concepts to the physical world results in paradox. Zeno's arguments are limited within mathematics to geometry. This paper is accordingly a beginning from which I hope more work can be done later. Furthermore, Zeno's paradoxes are standardly read as directed against anyone who disagrees with Parmenides' thesis that there is but one thing which is motionless and indivisible. The paradoxes achieve this end by means of a reductio against the possibility of dividing space and time. That there are four paradoxes is accordingly explicable by the fact that there are four possibilities for the divisibility of space and time. The Achilles argues against the possibility that space and time are both infinitely divisible; the Dichotomy, against the infinite divisibility of space and finite divisibility of time; the Arrow, against the infinite divisibility of time and the finite divisibility of space; and finally, the Stadium shows that time and space cannot both... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Ethics & the Environment 10.2 (2005) 75-99 [Access article in PDF] Gynocentric Eco-Logics Trish Glazebrook All of our teachings come from things in nature, they come from the growing cycle, and everything is tied to the earth.1Ludwig Fleck describes in his Genesis and Development of a Scientific Fact how the concept of syphilis is "a result of the development and confluence of several lines of collective thought" (Fleck (...) 1979, 23). Diagnosis and treatment of the disease required that its symptomatology undergo transformation from "an undifferentiated and confused mass of information about chronic diseases characterized by skin symptoms" (1979, 1) into the concept of a single disease. Identifying the Spirochaeta pallida bacterium and diagnosing syphilis by means of the Wasserman reaction was only possible when an unclearly related collection of symptoms could be experienced as belonging together in a unified phenomenology.Likewise, I wish to provide a diagnosis and etiology, and suggest a curative possibility for a disease of modernity I will call phallic logic. Symptomatic of this sickness are wide-spread social alienation, global domination and oppression on the basis of gender, race, class and color, and epidemic eco-destruction. A body of critique exists in ecofeminist analyses that experiences these symptoms as a single disease: the phallic logic of modernity. "Logic" in this context does not mean the formal discipline [End Page 75] in which rules for the proper manipulation of abstract statements are laid down. Rather, "logic" in the sense used here is an epistemological term. It means the ways that understanding is structured. Phallic logic is the structure of understanding that permeates patriarchy. This logic takes its paradigm from scientific objectivity, but even voices from within the sciences themselves are arguing that contemporary human being must establish new ways of thinking about nature.I propose that such new eco-logics, that is, ways of thinking about nature, take their guidance from the physical environment. If nature informs knowledge claims, then knowledge itself is construed organically: it is finite and changing rather than fixed and eternal. Such logics can encompass the finitude of physical embodiment as an epistemological principle, and hence I identify them as gynocentric. They are not grounded in the disembodied Cartesian subject that feminists have shown so often and clearly to be typical of androcentric philosophizing. These logics draw instead on the physicality of environmental elements as well as of the thinker, and thus they allow nature's temporality to resonate within knowledge itself. They are not satisfied with a conceptual contrast between nature's on-going coming-to-be and passing-away and the alleged universality of knowledge. Rather, they take nature as a model for truth and acknowledge that nature infuses the things we say to be truth.There is an abundance of arguments for the differences between male and female writing and thinking.2 I speak in accord with these voices, but I frame my project differently. I will begin by presenting evidence of a call for alternative epistemologies from within the sciences, and then use ecofeminist analyses to argue that the scientists in question are moving away from a phallic logic toward gynocentric eco-logics. Next I will make clear three assumptions that underlie my account. The first two are Heideggerian. I accept his argument that the logic of modernity is scientific objectivity, and I use his account of truth and essence to argue that knowledge is situated rather than universal. Hence gynocentric eco-logics entail an essentialism that is historical rather than biological. I give up biology as the fixative for essence, but avoid a decline into what is entirely arbitrary and subjective by fixing essence in terms of cultural and historical location. Hence I am using a Heideggerian notion of situatedness, but applying it specifically to gender such that I can maintain that the category of "woman" is neither universal, nor shattered irreparably into [End Page 76] fragmented individualism. My Heideggerianism is further qualified in that I am not writing in the spirit of Heidegger's life-time project. I will take the force of his insights to be epistemological rather than metaphysical or ontological... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Ethics & the Environment 7.2 (2002) 12-26 [Access article in PDF] Karen Warren's Ecofeminism Trish Glazebrook Karen Warren's Ecofeminism Ecofeminism has conceptual beginnings in the French tradition of feminist theory. In 1952, Simone de Beauvoir pointed out that in the logic of patriarchy, both women and nature appear as other (de Beauvoir 1952, 114). In 1974, Luce Irigaray diagnosed philosophically a phallic logic of the Same that precludes (...) representation of woman's alterity, so that it subjects women to man's domination (Irigaray 1974). In the same year, Françoise d'Eaubonne coined the term, "l'eco-féminisme," to point to the necessity for women to bring about ecological revolution, and used the slogan, "Feminism or death [Le féminisme ou la mort]" (d'Eaubonne 1974, 221), to argue that the phallic order is the source of a double threat to human being: overpopulation, and the depletion of resources. Exploitation of female reproductive power has caused an excess of births, and hence overpopulation; while an excess of production has exploited natural resources to the point of their destruction. Though "feminism or death" was a battle cry, it was also a warning that human being cannot survive patriarchy's ecological consequences.In North America, the alliance between feminism and ecology likewise began in 1974, when Sandra Marburg and Lisa Watson hosted a conference at Berkeley entitled "Women and the Environment." The following [End Page 12] year, Rosemary Radford Ruether pointed out that "Women must see that there can be no liberation for them and no solution to ecologi- cal crisis within a society whose fundamental model of relationships continues to be one of domination" (Ruether 1975, 204). She called for a unification of feminist and ecological interests in the vision of a society transformed from values of possession, conquest, and accumulation to reciprocity, harmony, and mutual interdependence. In 1991, Karen Warren edited an issue of Hypatia devoted entirely to ecofeminism, which was later expanded and republished under the title Ecological Feminist Philosophies. This anthology was ground-breaking, because in it Warren consolidated a collection of diverse voices, not into an ecofeminist platform as such, but into a vision of the lay of the land, as it were, with respect to ecofeminism.Although Warren has been writing as an ecofeminist since 1987, it was not until 2000 that she published a sustained treatment in her own voice: Ecofeminist Philosophy: A Western Perspective on What It Is and Why It Matters. This book is the culmination of her thinking for over a decade. Her perspective, very much in the spirit of d' Eaubonne and Ruether, is as political, social, and practical as it is philosophical, and constitutes a research program that extends beyond the walls of the Academy in its challenge to the social order. The book can be used to answer some of the criticisms that ecofeminism has received. I will use Warren's work to address in particular the validity of the foundational ecofeminist assumption that environmental issues are feminist issues; the charge against feminism in general that it reflects only the needs of white, middle-class, Western women; the claim, especially in reference to spirituality, that ecofeminism reinscribes gender essentialism; and the challenge ecofeminism offers to traditional philosophy, including how such an inclusivist movement can respond to the history of philosophy without simply reproducing its exclusionary politics. Feminism and Environmentalism Ecofeminists insist that feminism and environmentalism are inherently connected, but it is not always clear what the nature of that connection is. In general, ecofeminist work applies feminist analyses to environmental issues, so the claim is not so much that feminist worries are environmentally grounded, as that environmental issues warrant feminist analysis. Carolyn Merchant's (1980) analysis of the history of science, for example, [End Page 13] uncovers misogyny at the heart of the modern conquest of nature. Yet the ideology of Man's (sic) dominion over nature is not new with Bacon, and is evident in Christian teachings concerning the expulsion from the Garden of Eden at Genesis 3,17-24. Adam is sent from the garden with instructions to till the ground and... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Ethics & the Environment 8.1 (2003) 22-36 [Access article in PDF] Art or Nature?Aristotle, Restoration Ecology, and Flowforms Trish Glazebrook He to whom nature begins to reveal her open secrets will feel an irresistible yearning for her most worthy interpreter: Art. 1Aristotle believed strongly in a distinction between artifact (technê) and nature (physis). He intended by "technê" more than is generally understood by the contemporary term "art," for (...) he meant anything produced by human intention. For example, for Aristotle medicine was technê in that the doctor produces health. The key point in distinguishing art from nature for him was that things in nature grow and develop on the basis of an internal principle of change, whereas artistic production requires an outside agent. There are some complications with the Aristotelian account: are the spider's web and the bird's nest art or nature? Aristotle can respond to this problem easily enough by arguing that spiders and birds create on the basis of instinct, while reason is requisite for artistic production. Yet some art may not meet this definition: artists may not always have a full conception of the work to be produced prior to its execution. Creativity can be emergent rather than intentional during the productive process, and may arise, for example, from the artist's interaction with the chosen material. [End Page 22]Despite these objections to the Aristotelian distinction, however, his analysis of the differences between art and nature can be usefully applied to recent debates in restoration ecology in order to argue that the human capacity to restore nature does not justify its destruction. Nature cannot be "faked," that is, recreated through art. Furthermore, the Aristotelian analysis has been influential historically by providing a conceptual basis for the technological domination of nature, as if nature were nothing more than matter upon which form can be imposed. Yet there are alternative possibilities in Aristotle's account that ecologically-minded art can bring to fruition. I will use Aristotle's analysis to suggest a potential resolution of the "faking nature" debate, and accordingly to show how contemporary, ecologically-minded art can promote an ideology of production that works with rather than against nature.Robert Elliot argues that restoration ecology does not justify environmental destruction, because faked nature (that is, nature re-created by human artifice) is not as valuable as the original. 2 I will call this claim, which is based on the idea that restoration is analogous to artistic production, "the Elliot view." I will first assess the Elliot view, and give reasons why I sympathize with his conclusions, yet find his arguments unconvincing. Second, I will present Aristotle's distinction between nature and art, with emphasis on his arguments that nature is goal-directed, in order to give content to the claim that nature has intrinsic value. Third, I will look at restoration policies and practices in the oil industry in Alberta, Canada, to establish a praxical notion of restoration, and to support Elliot's claim that nature cannot be faked. I have chosen oilfield restoration as a working example for the sake of the general methodological principle that praxes without reflections are blind, while reflections that transcend the lifeworld are empty; and specifically because Alberta leads the industry in restoration standards and practices. Finally, I will use Flowforms to argue that ecologically-minded art can demonstrate how production of artifacts need not affirm a logic of domination, but rather can open a space for an alternative conception of the human relation to nature. The Elliot View Elliot's view depends on distinguishing nature from art, and attributing a greater value to the natural. On what basis should we accept this value-hierarchy? The reasons Elliot gives are less than convincing. Ultimately his arguments rest on two points: that copies are not as good as [End Page 23] originals; and that even if an ecosystem's value could be fully restored, the value lost in the time between despoilation and restoration is irrecoverable. He simply finds "naturalness" to be more valuable than artifice. But he is not alone in... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Ethics & the Environment 8.1 (2003) 22-36 [Access article in PDF] Art or Nature?Aristotle, Restoration Ecology, and Flowforms Trish Glazebrook He to whom nature begins to reveal her open secrets will feel an irresistible yearning for her most worthy interpreter: Art. 1Aristotle believed strongly in a distinction between artifact (technê) and nature (physis). He intended by "technê" more than is generally understood by the contemporary term "art," for (...) he meant anything produced by human intention. For example, for Aristotle medicine was technê in that the doctor produces health. The key point in distinguishing art from nature for him was that things in nature grow and develop on the basis of an internal principle of change, whereas artistic production requires an outside agent. There are some complications with the Aristotelian account: are the spider's web and the bird's nest art or nature? Aristotle can respond to this problem easily enough by arguing that spiders and birds create on the basis of instinct, while reason is requisite for artistic production. Yet some art may not meet this definition: artists may not always have a full conception of the work to be produced prior to its execution. Creativity can be emergent rather than intentional during the productive process, and may arise, for example, from the artist's interaction with the chosen material. [End Page 22]Despite these objections to the Aristotelian distinction, however, his analysis of the differences between art and nature can be usefully applied to recent debates in restoration ecology in order to argue that the human capacity to restore nature does not justify its destruction. Nature cannot be "faked," that is, recreated through art. Furthermore, the Aristotelian analysis has been influential historically by providing a conceptual basis for the technological domination of nature, as if nature were nothing more than matter upon which form can be imposed. Yet there are alternative possibilities in Aristotle's account that ecologically-minded art can bring to fruition. I will use Aristotle's analysis to suggest a potential resolution of the "faking nature" debate, and accordingly to show how contemporary, ecologically-minded art can promote an ideology of production that works with rather than against nature.Robert Elliot argues that restoration ecology does not justify environmental destruction, because faked nature (that is, nature re-created by human artifice) is not as valuable as the original. 2 I will call this claim, which is based on the idea that restoration is analogous to artistic production, "the Elliot view." I will first assess the Elliot view, and give reasons why I sympathize with his conclusions, yet find his arguments unconvincing. Second, I will present Aristotle's distinction between nature and art, with emphasis on his arguments that nature is goal-directed, in order to give content to the claim that nature has intrinsic value. Third, I will look at restoration policies and practices in the oil industry in Alberta, Canada, to establish a praxical notion of restoration, and to support Elliot's claim that nature cannot be faked. I have chosen oilfield restoration as a working example for the sake of the general methodological principle that praxes without reflections are blind, while reflections that transcend the lifeworld are empty; and specifically because Alberta leads the industry in restoration standards and practices. Finally, I will use Flowforms to argue that ecologically-minded art can demonstrate how production of artifacts need not affirm a logic of domination, but rather can open a space for an alternative conception of the human relation to nature. The Elliot View Elliot's view depends on distinguishing nature from art, and attributing a greater value to the natural. On what basis should we accept this value-hierarchy? The reasons Elliot gives are less than convincing. Ultimately his arguments rest on two points: that copies are not as good as [End Page 23] originals; and that even if an ecosystem's value could be fully restored, the value lost in the time between despoilation and restoration is irrecoverable. He simply finds "naturalness" to be more valuable than artifice. But he is not alone in... (shrink)

This paper describes Heidegger as a robust scientific realist, explains why his view has received such conflicting treatment, and concludes that the special significance of his position lies in his insistence upon linking the discussion of science to the question of its relation with technology. It shows that Heidegger, rather than accepting the usual forced option between realism and antirealism, advocates a realism in which he embeds the antirealist thesis that the idea of reality independent of human understanding is unintelligible. (...) This reading is defended against Rorty's antirealist interpretation, as well as Dreyfus' depiction of him as a deflationary realist, and his assessment of background realism is contrasted with Fine's. Further, the robustness of Heidegger's realism is laid out across several texts from 1912 to 1976, in order to show that he is neither an instrumental realist nor an internal realist. Finally, the point is made that the development of his view concerning realism gives rise to a critique of objectivity that is now being similarly advocated by numerous thinkers from a variety of disciplines, and that this critique is inevitably ethical and political. (shrink)

This book concerns itself with an issue that is not sufficiently addressed in the literature: Heidegger's philosophy of science. Although a great deal of attention is paid to Heidegger's later critique of technology, no one has systematically studied how he understood "science." Many readers will be surprised to learn, through this book, that Heidegger developed the essentials of a fairly sophisticated philosophy of science, one that in many ways invites comparison with that of Thomas Kuhn. Glazebrook demonstrates that Heidegger's philosophy (...) of science is not neatly divided into "early" and "late" but is, rather, an ongoing development over at least three periods, bound together as an analysis of modern science and an uncovering of other possibilities for understanding nature. Glazebrook states in her introduction, "This reading of Heidegger is radical. It cuts to the root of his thinking, for I argue that what are taken to be Heidegger's many and significant contributions to philosophy--that is, his overcoming of metaphysics, his rereading of the ancients, his critique of technology and representational thinking, his vision and revision of language, truth, and thinking--have at their core an inquiry into science that drove his thinking for sixty years. I am not arguing for a new reading of a few texts, or for adjustments and refinements of existing readings of Heideggger. Rather, I am bringing to light a new basis on which to interpret his work as a whole.". (shrink)

We present a syntactic proof of cut-elimination for weak Grzegorczyk logic Go. The logic has a syntactically similar axiomatisation to Gödel–Löb logic GL (provability logic) and Grzegorczyk’s logic Grz. Semantically, GL can be viewed as the irreflexive counterpart of Go, and Grz can be viewed as the reflexive counterpart of Go. Although proofs of syntactic cut-elimination for GL and Grz have appeared in the literature, this is the first proof of syntactic cut-elimination for Go. The proof is technically interesting, requiring (...) a deeper analysis of the derivation structures than the proofs for GL and Grz. New transformations generalising the transformations for GL and Grz are developed here. (shrink)

In 1983, Valentini presented a syntactic proof of cut elimination for a sequent calculus GLSV for the provability logic GL where we have added the subscript V for “Valentini”. The sequents in GLSV were built from sets, as opposed to multisets, thus avoiding an explicit contraction rule. From a syntactic point of view, it is more satisfying and formal to explicitly identify the applications of the contraction rule that are ‘hidden’ in these set based proofs of cut elimination. There is (...) often an underly ing assumption that the move to a proof of cut elimination for sequents built from multisets is easy. Recently, however, it has been claimed that Valentini’s arguments to eliminate cut do not terminate when applied to a multiset formulation of GLSV with an explicit rule of contraction. The claim has led to much confusion and various authors have sought new proofs of cut elimination for GL in a multiset setting. Here we refute this claim by placing Valentini’s arguments in a formal setting and proving cut elimination for sequents built from multisets. The formal setting is particularly important for sequents built from multisets, in order to accurately account for the interplay between the weakening and contraction rules. Furthermore, Valentini’s original proof relies on a novel induction parameter called “width” which is computed ‘globally’. It is diffi cult to verify the correctness of his induction argument based on “width”. In our formulation however, verification of the induction argument is straight forward. Finally, the multiset setting also introduces a new complication in the the case of contractions above cut when the cut formula is boxed. We deal with this using a new transformation based on Valentini’s original arguments. Finally, we show that the algorithm purporting to show the non termi nation of Valentini’s arguments is not a faithful representation of the original arguments, but is instead a transformation already known to be insufficient. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are similar to formulae of automaton propositional dynamic logic. Our calculus is cut-free and has the analytic superformula property so it gives a decision procedure. We show that the known EXPTIME upper bound for regular grammar logics can be obtained using our tableau calculus. We also give an effective Craig interpolation lemma for regular grammar (...) logics using our calculus. (shrink)

The Stoic, David Hume’s “man of action and virtue,” is often considered the forerunner and foundation of Adam Smith’s market man of morals (Hume 1985, 146–54). Ian Simpson Ross notes Smith’s enthusiasm for Stoic philosophers such as Cicero and Marcus Aurelius and the way Stoic philosophy informs Smith’s arguments on various topics such as self-command, self-love, and suicide (Ross 1995, 172, 384). Pierre Force confirms the influence of Stoicism in tracing Smith’s moral system as a contrast with the Epicurean/Augustinian tradition, (...) showing that for Smith and Stoics self-love merely points the way for an agent to choose rationally a course of action (Force 2003, 103–5). However, Deirdre McCloskey and others .. (shrink)

The first collection of essays devoted to Heidegger’s contribution to understanding modern science.

The purpose of this paper is to examine what heals and harms the client in the psychotherapeutic encounter, from the client's perspective. The experience of eight clients was explicated using a model based on Giorgi and Schweitzer. The counselling experienced as healing by clients has at its core a vibrantly warm and honest relationship where the client feels held in the safety of the good heart space of the counsellor. The counsellor is experienced as providing an intense beingness for the (...) client that embraces the client's suffering and provides solid ground created out of the crucible of the counsellor's own encounter with his or her shadow. The counsellor is emptied out of his/her own agenda and provides space for the client's experience. The counsellor can evoke the higher resources of the client. The counselling is experienced as renewing and reconnecting the clients to his/her sense of self, of other and the lifeworld. The counselling relationship experienced as harming is described as being drained of human presence and transforming power. There is no alive human connection. The counsellor is experienced as insubstantial, and has no ability to hold traumatic experience. The counsellor's cold reception to the client's vulnerabilities has the power to shatter, fragment and splinter the client. The counsellor is full of self. This fullness may be ego that manifests as dry intellectualising or playing manipulative games as a substitute for human presence. This may lead the client to terror, sickness and anxiety. The counsellor may be full of their own fears and are experienced by the client as chaotic, avoidant and overwhelmed. Their unavailability leads clients to experience emotional depletion, exhaustion and frustration. The counsellor's self-righteousness, judgement and critical disengagement are experienced by clients as being belittled, condemned and diminished. The therapeutic encounter results in a weakening of the human potential for recovery. Both client and counsellor emerge as lesser human beings, with weakened relationships to self, others and the world. Indo-Pacific Journal of Phenomenology , Volume 1, Edition 2 September 2001. (shrink)

Keine ausführliche Beschreibung für "GÖRING: SYST. D. KRITISCHEN PHILOSOPHIE T. 2 SKPH E-BOOK" verfügbar.

Abstract:This paper argues that the activities of environmental protectors often mitigate climate change, and therefore the United Nations Framework Convention on Climate Change (UNFCCC) and Human Rights Council (HRC) should extend explicit protection to land and environmental defenders on this basis. First, we overview who and where protectors are, what they are protecting, and annual data on protector murders. Next, we examine the case of Berta Cáceres, murdered in Honduras in 2016, to show collusion of state and capital in defender (...) silencing. Then we show how criminalization of defenders is a strategy to undermine their public support, followed by assessment of the powerlessness of international law to hold oppressors accountable. Next, we connect protectors to climate change by indicating mitigation consequences of their work. Finally, we explain a factor common to the UNFCCC and the HRC that precludes their recognition of protectors' activities as mitigation, particularly with respect to women defenders, and make recommendations concerning how international law might more effectively protect defenders. (shrink)

The latest form of violence in the Niger Delta, i.e., hostage taking by militant male youth, reproduces the “logic of capital” that characterizes state and corporate violence. This logic of capital can be explicated in contrast to a relational account of community that can ground alternative logics of care. Nigeria’s oil policy led to drilling impacts including pollution, social costs, and corruption. The failure of organized resistance to these developments produced widespread disillusionment in the 1990s, to which male youth responded (...) with militancy and profiteering. In contrast, women’s organized resistance practices are “logics of care” consistent with distributive, recognition, intergenerational, and restorative justice as well as effectiveness. (shrink)

Can investing in women’s agriculture increase productivity? This paper argues that it can. We assess climate and gender bias impacts on women’s production in the global South and North and challenge the male model of agricultural development to argue further that women’s farming approaches can be more sustainable. Level-based analysis (global, regional, local) draws on a literature review, including the authors’ published longitudinal field research in Ghana and the United States. Women farmers are shown to be undervalued and to work (...) harder, with fewer resources, for less compensation; gender bias challenges are shared globally while economic disparities differentiate; breaches of distributive, gender, and intergenerational justices as well as compromise of food sovereignty affect women everywhere. We conclude that investing in women’s agriculture needs more than standard approaches of capital and technology investment. Effective ‘investment’ would include systemic interventions into agricultural policy, governance, education, and industry; be directed at men as well as women; and use gender metrics, for example, quotas, budgets, vulnerability and impacts assessments, to generate assessment reports and track gender parity in agriculture. Increasing women’s access, capacity, and productivity cannot succeed without men’s awareness and proactivity. Systemic change can increase productivity and sustainability. (shrink)

We propose a new sequent calculus for bi intuitionistic logic which sits somewhere between display calculi and traditional sequent calculi by using nested sequents. Our calculus enjoys a simple (purely syntactic) cut elimination proof as do display calculi. But it has an easily derivable variant calculus which is amenable to automated proof search as are (some) traditional sequent calculi. We first present the initial calculus and its cut elimination proof. We then present the derived calculus, and then present a proof (...) search strategy which allows it to be used for automated proof search. We prove that this search strategy is terminating and complete by showing how it can be used to mimic derivations obtained from an existing calculus GBiInt for bi intuitionistic logic. As far as we know, our new calculus is the first sequent calculus for bi intuitionistic logic which uses no semantic additions like labels, which has a purely syntactic cut elimination proof, and which can be used naturally for backwards proof search. Keywords: Bi-intuitionistic logic, display calculi, proof search. (shrink)

Ghana is aware of women farmers’ climate adaptation challenges in meeting the country’s food security needs and has strong intentions to support these women, but is stymied by economic limitations, poor organization in governance, persistent social gender biases, and either little or counter-productive support from international policy makers and advisory bodies. Focal issues are the global impacts of climate change on agriculture, Africa’s growing hunger crisis, and women’s contribution to food production in Ghana. Of special importance are the issues of (...) gender-inclusiveness and gender-sensitivity of Ghana’s climate and climate-related policies, including its integration of United Nations Framework Convention on Climate Change policy, as well as the influence of international economic policy on Ghana’s gender development. Because women farmers provide the majority of the country’s national food-basket, Ghana should focus on building women subsistence farmers’ adaptation needs to avert mass starvation. People should understand that starvation in Africa is not a future event but is already underway. (shrink)

We use a deep embedding of the display calculus for relation algebras RA in the logical framework Isabelle/HOL to formalise a machine-checked proof of cut-admissibility for RA. Unlike other “implementations”, we explicitly formalise the structural induction in Isabelle/HOL and believe this to be the first full formalisation of cutadmissibility in the presence of explicit structural rules.