The rising profile of the environment in politics reflects growing public concern that we may be facing a large-scale ecological crisis. This unique textbook surveys the politics of the environment, providing a comprehensive and comparative introduction to ideas, activism and policy. Part One explores environmental philosophy and green political thought, assessing the relationship between 'green ideas' and other political doctrines. Part Two considers parties and movements, including the development of green parties from protest parties, the response of established political parties (...) to the environmental challenge, and the evolution of the environmental movement. Part Three analyses public policy-making and environmental issues at the international, national and local levels. As well as considering a wide variety of examples from around the world, this important new textbook includes glossary, lists of key issues, chapter summaries and guides to further study. (shrink)

Which intermediate propositional logics can prove their own completeness? I call a logic reflexive if a second-order metatheory of arithmetic created from the logic is sufficient to prove the completeness of the original logic. Given the collection of intermediate propositional logics, I prove that the reflexive logics are exactly those that are at least as strong as testability logic, that is, intuitionistic logic plus the scheme $\neg φ ∨ \neg\neg φ. I show that this result holds regardless of whether Tarskian (...) or Kripke semantics is used in the definition of completeness. I also show that the operation of creating a second-order metatheory is injective, thereby insuring that I am actually considering each logic independently. (shrink)

It is known that the set of intermediate propositional logics that can prove their own completeness theorems is exactly those which prove every instance of the principle of testability, ¬ϕ ∨ ¬¬ϕ. Such logics are called reflexive. This paper classifies reflexive intermediate logics in the first-order case: a first-order logic is reflexive if and only if it proves every instance of the principle of double negation shift and the metatheory created from it proves every instance of the principle of testability.

In his essay “Goddesses of the Twenty‐first Century,” R. Buckminster Fuller's use of woman and goddess as metaphor suggests a fruitful source of images illuminating synergetic principles. Using five images, clustered as odyvessel‐matrix, the article suggests an epistemology and a heuristic for connecting the personal‐physical and the universal‐metaphysical. These images are (1) the Egyptian goddess Nut, (2) the Greek earth goddesses, (3) Neolithic Maltese goddess temples, (4) the double spiral, and (5) the Apollo Mission's Earth photographs. These images are intended (...) as transformational synergetic/ecofeminist figures to replace images of deprivation, alienation, and destruction with images of abundance, intimacy, and co‐creation. (shrink)