Theorems in automated theorem proving are usually proved by formal logical proofs. However, there is a subset of problems which humans can prove by the use of geometric operations on diagrams, so called diagrammatic proofs. Insight is often more clearly perceived in these proofs than in the corresponding algebraic proofs; they capture an intuitive notion of truthfulness that humans find easy to see and understand. We are investigating and automating such diagrammatic reasoning about mathematical theorems. Concrete, rather than general diagrams (...) are used to prove particular concrete instances of the universally quantified theorem. The diagrammatic proof is captured by the use of geometric operations on the diagram. These operations are the inference steps of the proof. An abstracted schematic proof of the universally quantified theorem is induced from these proof instances. The constructive -rule provides the mathematical basis for this step from schematic proofs to theoremhood. In this way we avoid the difficulty of treating a general case in a diagram. One method of confirming that the abstraction of the schematic proof from the proof instances is sound is proving the correctness of schematic proofs in the meta-theory of diagrams. These ideas have been implemented in the system, called Diamond, which is presented here. (shrink)

The field of rhetoric provides unique frameworks and tools for understanding the role of language in moral reasoning and corruption. Drawing on a discursive understanding of the self, we focus on how the rhetoric of conversations constructs and shapes our moral reasoning and moral behavior. Using rhetorical appeals and a moral development framework, we construct three propositions that use variation in the rhetoric of conversations to identify and predict corruption. We discuss some of the implications of our model.

More than three decades after its advent in political science, rational choice theory has yet to add appreciably to the stock of knowledge about politics. In Pathologies of Rational Choice Theory we traced this failure to methodological defects rooted in the aspiration to come up with universal theories of politics. After responding to criticisms of our argument, we elaborate on our earlier recommendations about how to improve the quality of rational choice applications. Building on suggestions of contributors to this volume, (...) we lay out an empirically based research program designed to delineate the conditions under which rational choice explanations are likely to be useful. (shrink)

Cancers rely on multiple, heterogeneous processes at different scales, pertaining to many biomedical fields. Therefore, understanding cancer is necessarily an interdisciplinary task that requires placing specialised experimental and clinical research into a broader conceptual, theoretical, and methodological framework. Without such a framework, oncology will collect piecemeal results, with scant dialogue between the different scientific communities studying cancer. We argue that one important way forward in service of a more successful dialogue is through greater integration of applied sciences (experimental and clinical) (...) with conceptual and theoretical approaches, informed by philosophical methods. By way of illustration, we explore six central themes: (i) the role of mutations in cancer; (ii) the clonal evolution of cancer cells; (iii) the relationship between cancer and multicellularity; (iv) the tumour microenvironment; (v) the immune system; and (vi) stem cells. In each case, we examine open questions in the scientific literature through a philosophical methodology and show the benefit of such a synergy for the scientific and medical understanding of cancer. (shrink)

The character of the current controversy over geneticallymodified (GM) agriculture, typified by protesters' use of emotivesymbolism, has been largely inspired by the Green movement'snon-governmental organizations and political parties. This articleexplores the deeper philosophical and spiritual motivations of the Greenmovement, to inquire why it is implacably opposed to GM agriculture. TheGreen movement's anti-capitalism, exemplified by the hate-symbol statusof Monsanto as the company pioneering GM crops, is viewed within thewider context of alienation in the modern era. A complex of meanings isseen (...) in Frankenstein as the focal symbol of GM protests, includingperceptions of risk, fears of the remixing of living identities seen ingenetic engineering, and resentment at the spiritual nihilism of thereduction of life to the digital code of DNA. By contrast, RobertGoodin's Green Theory of Value, which postulates the deep psychologicalimportance of nature in locating the self in a meaningful context largerthan ourselves, can explain the power of the Green symbol of thethreatened environment, Gaia. The advent of GM agriculture seems toimply that capitalism and technology can now enframe nature itself,leaving a world devoid of natural myth or meaning, with no escape fromthe alienation and nihilism of modernity. The central question posed forprotagonists of the GM debate is whether their agenda is based on thesepowerful but mythical conceptions of the environment, or whetherpreservation of the real environment is their primary ethic. (shrink)

Recalling past transformations, this book examines what makes the current challenge different, and especially urgent. It analyses how green transformations must take place in the context of the particular moments of capitalist development, and in relation to particular alliances. The book emphasises the role of the state and the role of citizens, as innovators, entrepreneurs, green consumers and members of social movements. Green transformations must be both 'top-down', involving elite alliances between states and business, but also 'bottom (...) up', pushed by grassroots innovators and entrepreneurs, and part of wider mobilisations among civil society. (shrink)

While “green marketing” has emerged as powerful competitive force, many markets lack clear institutional standards or knowledgeable customers to allow firms committed to sustainable practices to differentiate themselves from opportunistic, green-washing competitors. Within these contexts we propose a firm-level lens based on authentic firm reputation as an important, yet poorly understood, competitive force. Drawing on interview data from the architectural design services context we identify the elements that firms use to communicate their own authenticity, as well as discourage (...) green-washing behavior of peers, and present these elements as the “Diamond” model of authentic green marketing, consisting of: The ability to appear above commercial considerations; The ability to frame production methods as craft; The use of corporate visual identity; and An organization's social network of stakeholders. We conclude by discussing the generalizability and implications of our framework for practitioners as well as opportunities for future research. (shrink)

This research thesis explores the concept of attention as outlined and practised in the life of Simone Weil (1909-1943), a French woman variously described as a philosopher, mystic and activist yet someone who eludes categorisation or systematisation. It outlines the background to her life in a France between two world wars, and seeks to situate her within the context of the Christianity she claimed as her cultural backdrop. It explores the concept of attention as both a spiritual exercise and a (...) practice in the life of Weil, something that then evolved into a core principle of her thinking. The central question here is the age-old one, harking back to ancient philosophy, concerning the living of a good life, particularly within the context of a lifelong acquaintanceship with Weil‘s work. As this study examines Weil‘s ideas on reading, it also interrogates how she is read, particularly by poets today, with a view to assessing her influence. Weil was a writer who loved poetry and wrote some herself. Poetry and the recitation of prayers played an important role in her mystical experiences. The role of affliction in her mysticism and in her life is important and it will be seen how her stance in the face of affliction is something that marks her thinking. The concept of attention today incorporates issues around the commodification of the attention span, as well as its deficits. This study examines some of these issues and draws forth from the life and work of Simone Weil a more expanded, practical, and reflective understanding of the idea of attention. (shrink)

In the distant future, a thousand years after "The Seven Days of Fire"—the holocaust that rapacious industrialization spawned—the earth is a wasteland of sterile deserts and toxic jungles that threaten the survival of the few remaining human beings. This is the world of Hayao Miyazaki's film, Nausicaä of the Valley of the Wind. In this film, Miyazaki offers a vision of an alternative to the violent quest for dominion that has brought about this environmental degradation, through the struggle of the (...) young princess of the Valley of the Wind, Nausicaä. As a messianic figure, I contend the shōjo Nausicaä offers a beneficial estrangement from common conceptions of the gospel and opens up the ecological significance of Christ's message of non-violence. Exploring the ecological and pacific aspects of the gospel through this figure, I argue, may provide a helpful lens for examining our own distorting visions in this age of war and environmental crisis. (shrink)

Kripke's lectures, published as Wittgenstein on Rules and Private Language , posed a sceptical problem about following a rule, which he cautiously attributed to Wittgenstein. He briefly noticed an analogy between his new kind of scepticism and Goodman's riddle of induction. ‘Grue’, he said, could be used to formulate a question not about induction but about meaning: the problem would not be Goodman's about induction—‘Why not predict that grass, which has been grue in the past, will be grue in the (...) future?’—but Wittgenstein's about meaning: ‘Who is to say that in the past I did not mean grue by “green”, so that now I should call the sky, not the grass, “green”?’. (shrink)

Over the last three decades, the graphic novel has developed both in sophistication and cultural importance, now being widely accepted as a unique form of literature (Versaci 2007 ). Autobiography has proved to be a successful genre within comics (the word is used in the plural to denote both the medium and the philosophy of the graphic form) and within this area a sub-genre, the memoir of the artist’s own disease or suffering, sometimes known as the graphic pathology, has arisen (...) (Green and Myers 2010 ). Storytelling and healing have been linked since ancient times, and the disclosure of ones story forms part of the psychotherapeutic treatment of trauma (Herman 1997 ). This paper will examine, in both graphic and textual form, whether, among the myriad reasons that one might embark upon the labour intensive work of making a graphic memoir, some artists might be seeking some form of healing or catharsis through their work. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:An Enquiry Concerning the Principles of MoralsIan RossDavid Hume. An Enquiry Concerning the Principles of Morals. Tom L. Beauchamp, editor. The Clarendon Edition of the Works of David Hume. New York: Oxford University Press, 1998.An edition of Hume's philosophic writings on rigorous, modern bibliographic principles has long been a scholarly desideratum. Readers in the many fields in which Hume's thought and style have made a profound impression have (...) basically relied on the originals or derivatives of efforts of the Victorian era. One is Hume's Philosophical Works (4 v., London: Longmans, Green & Co., 1874-75), edited by the Oxford dons, T. H. Green and T. H. Grose. Well-known for his idealist philosophy and theory of liberalism, Green contributed introductions to the first and second volumes criticizing Hume from an anti-empirical standpoint. Grose offered a "History of [Hume's] Editions" as an introduction to the third volume, and claimed to have revised Hume's text throughout. This edition has the virtue of comprehensiveness, but is deficient in its offering of variant readings. Later there came from Oxford University Press editions of the Treatise of Human Nature (1888), deemed generally sound, and the two Enquiries (1894), marred by departures from Hume's text, prepared by a prominent civil servant, Sir Lawrence Amherst Selby-Bigge, whose chief contribution was to provide useful analytical indices. An attempt at achieving higher editorial standards was made by P. H. Nidditch, Professor of Philosophy in the University of Sheffield, in a "second" edition of Selby-Bigge's Treatise (1976) and a "third" edition of his text of the Enquiries (1975). Limits were imposed by Oxford University Press, apparently unwilling to make more then small changes in the existing pages. Nidditch announced (Enquiries, 1975, at p.348, n.2) that he had a "fresh" edition in preparation, but he did not live to complete this project.In the event, the challenge to produce a critical edition of Hume's philosophical, political, and literary writings was canvassed at early meetings of the Hume Society formed in 1973. Thereafter, in 1982, a team of general editors was formed by T. L. Beauchamp, D. F. Norton, and M. A. Stewart, determined to organize and finish the task in hand, and Oxford University Press finally conceded it was time to replace Selby-Bigge. With the appearance of Tom Beauchamp's "critical edition" of the second Enquiry (hereafter identified as EPM), published on 4 August 1999, but bearing the date 1998, the long wait for a reliable text, bibliographic apparatus, and ancillary scholarship, worthy of Hume, must be declared over.If we grant that it is appropriate to introduce the new Clarendon Edition of the Works of David Hume with the piece he deemed "best," it must also be asked why he made this judgment. Philosophers have generally held that his Treatise of Human Nature (1739-40) is the most profound and searching statement of his epistemological and moral thought, but its seeming lack of immediate success with readers made Hume dissatisfied with it. Such were his negative feelings, coupled with irritation at attacks on him focused on this "juvenile" work, that he partially repudiated the Treatise at the end of his life. He wrote an "Advertisement" to this effect, and it was inserted as a preface to the authoritative and posthumous 1777 edition of his Essays and Treatises. Here he stated he was "sensible of the error of going to the press too early, and he cast the whole [of [End Page 280] the Treatise] anew in the following pieces [including EPM], where some negligences in his former reasoning and more in the expression, are, he hopes, corrected" (EPM Intro., xii-xiii, n.4).On the evidence of Beauchamp's editorial labors, it would appear that EPM is Hume's "best" work in this sense. It represents the most thorough recasting of source material provided by the Treatise. Its essential moral principles and psychological insights about the passions are retained, but "readability and elegance" are achieved by pruning, simplifying, and compacting the Treatise's complex teaching, while adding a wealth of illustrative material drawn from Hume's mature reflection on his subject and... (shrink)

Donald Green and Ian Shapiro argue that rational choice scholarship in political science is excessively theory?driven: too few of its theoretical insights have been subjected to serious empirical scrutiny and survived. But rational choice theorizing has the potential to identify and correct logical inconsistencies and slippages. It is thus valuable even if the resulting theories are not tested empirically. When Green and Shapiro's argument concerning collective dilemmas and free riding is formalized, it turns out to be deeply flawed (...) and in many respects outright false. Their mistake is common enough: they misclassify a variety of collective dilemmas as prisoner's dilemmas. Because they misunderstand the theory of rational choice, Green and Shapiro allege that it is refuted by empirical findings that, in fact, support it. (shrink)

ABSTRACT A recent issue of the journal Design and Culture included Lucy Kimbell's interview of object-oriented ontology philosopher Graham Harman. The invitation was premised on Harman's ability to counter the contemporary focus on user-centered design with an object orientation. Harman's appearance in the world of design discourse presents a paradox. To ask what object-oriented ontology that explicitly rejects anthropocentrism can offer user-centered and decidedly anthropocentric design practice seems to miss the point of an object orientation. An answer to the paradox (...) may reside in Ian Bogost's account of the metaphorism of object-oriented ontology. This essay explores Bogost's Alien Phenomenology, or What It's like to Be a Thing, which uses Harman's metaphor of black noise as “the background noise of peripheral objects,” and considers the design implications of Bogost's call to amplify black noise and linger in the speculative fiction of things, such as roasted green chile peppers, udon noodles, and pound cake. (shrink)

Derek Jarman’s Wittgenstein (1993) is one of the very few films made about a philosopher’s life. Almost a parody of a late twentieth-century art-house movie, it contains a mimetic performance by Karl Johnson in the title role, plus cameos by Michael Gough (Bertrand Russell) and the ubiquitous Tilda Swinton (Russell’s lover, Ottoline Morrell). There is a green Martian (played by Nabil Shaban) who quizzes the young Ludwig Wittgenstein, and a collection of handsome young men sitting on deckchairs, looking puzzled (...) and gazing adoringly at the Master. The action, such as it is, takes place against a theatrical black background with a few props, and the whole thing lasts a brisk seventy minutes... (shrink)

Don Green and Ian Shapiro's Pathologies of Rational Choice Theory, despite the impressive amount of work that has gone into it, is undercut by a number of serious misunderstandings of the use of the rational choice approach by students of American politics. Furthermore, Green and Shapiro adopt an extremely pinched notion of an empirical contribution and an outmoded and idealized view of the scientific method. If their standards were adopted, it would be difficult to allow that anyone in (...) political science has made an empirical contribution, or that political science is a scientific enterprise. (shrink)

Donald Green and Ian Shapiro discover a curious gulf between the prestige of rational choice approaches and the dearth of solid empirical findings. But we can understand neither the prestige of rational choice theory nor its pathologies unless we see it as a variant of the equilibrium analysis found in physics, economics, and biology. Only such a global perspective on rational choice theory will reveal its core assumptions and the likely shape of its future in political science. In this (...) light, the growing dominance of rational choice theory in political science is all but inevitable and its pathologies are all but inescapable. (shrink)

Classical logic has been attacked by adherents of rival, anti-realist logical systems: Ian Rumfitt comes to its defence. He considers the nature of logic, and how to arbitrate between different logics. He argues that classical logic may dispense with the principle of bivalence, and may thus be liberated from the dead hand of classical semantics.

Plato of Athens, who laid the foundations of the Western philosophical tradition and in range and depth ranks among its greatest practitioners, was born to a prosperous and politically active family circa 427 BC. In early life an admirer of Socrates, Plato later founded the first institution of higher learning in the West, the Academy, among whose many notable alumni was Aristotle. Traditionally ascribed to Plato are thirty-five dialogues developing Socrates' dialectic method and composed with great stylistic virtuosity, together with (...) the Apology and thirteen letters. The four works in this volume recount the circumstances of Socrates' trial and execution in 399 BC. In Euthyphro, set in the weeks before the trial, Socrates and Euthyphro attempt to define holiness. In Apology, Socrates answers his accusers at trial and unapologetically defends his philosophical career. In Crito, a discussion of justice and injustice explains Socrates' refusal of Crito's offer to finance his escape from prison. And in Phaedo, Socrates discusses the concept of an afterlife and offers arguments for the immortality of the soul. This edition, which replaces the original Loeb edition by Harold North Fowler, offers text, translation, and annotation that are fully current with modern scholarship." -- Publisher's description. (shrink)

_Pathologies of Rational Choice Theory_, a book written by Donald Green and Ian Shapiro and published in 1994, excited much controversy among political scientists and promoted a dialogue among them that was printed in a double issue of the journal Critical Review in 1995. This new book reproduces thirteen essays from the journal written by senior scholars in the field, along with an introduction by the editor of the journal, Jeffrey Friedman, and a rejoinder to the essays by (...) class='Hi'>Green and Shapiro. The scholars—who include John Ferejohn, Morris P. Fiorina, Stanley Kelley, Jr., Robert E. Lane, Peter C. Ordeshook, Norman Schofield, and Kenneth A. Shepsle—criticize, agree with, or build on the issues raised by Green and Shapiros critique. Together the essays provide an interesting and accessible way of focusing on competing approaches to the study of politics and the social sciences. (shrink)

In this paper, I address the question of whether it is ever permissible to grant a request for physician-aid-in-dying (PAD) from an individual suffering from treatment-resistant depression. I assume for the sake of argument that PAD is sometimes permissible. There are three requirements for PAD: suffering, prognosis, and competence. First, an individual must be suffering from an illness or injury which is sufficient to cause serious, ongoing hardship. Second, one must have exhausted effective treatment options, and one’s prospects for recovery (...) must be poor. Third, the individual must be judged competent to request PAD. I argue that many cases of treatment-resistant depression meet the first two requirements. Thus, the key question concerns the third. I consider four features of depression that might compromise a person’s decision-making capacity. Ultimately, I conclude that PAD requests from depressed patients can be permissibly granted in some circumstances. (shrink)

I argue that it is possible literally to perceive the emotions of others. This account depends upon the possibility of perceiving a whole by perceiving one or more of its parts, and upon the view that emotions are complexes. After developing this account, I expound and reply to Rowland Stout's challenge to it. Stout is nevertheless sympathetic with the perceivability-of-emotions view. I thus scrutinize Stout's suggestion for a better defence of that view than I have provided, and offer a refinement (...) of my own proposal that incorporates some of his insights. (shrink)

Stalnaker’s conception of context as common ground possesses unquestionable explanatory power, shedding light on presupposition, presupposition accommodation, the behavior of certain types of conditionals, epistemic modals, and related phenomena. The CG-context approach is also highly abstract, so merely pointing out that it fails to account for an aspect of communication is an inconclusive criticism. Instead our question should be whether it can be extended or modified to account for such a phenomenon while preserving its spirit. To that end, this essay (...) assesses the prospects of the CG-context approach for making sense of the variety of ways in which interlocutors accept propositions as well as non-propositional contents, some different types of conversation and the norms distinctive of these different types, some pre-illocutionary pragmatic phenomena, conversational injustice, and fictional discourse. (shrink)