In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4— our formulation has several important metatheoretic properties. In addition, we study models of IS4— not in the framework of Kirpke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but also (...) a means of modelling proofs as well as provability. (shrink)

This short note considers the formulation of Full Intuitionistic Linear Logic given by Hyland and de Paiva . Unfortunately the formulation is not closed under the process of cut elimination. This note proposes an alternative formulation based on the notion of patterns.

There are two fundamentally different approaches to innovation: incremental and radical. In Economics as Anatomy, G.M. Peter Swann argues that economics as a discipline needs both perspectives in order to create the maximum beneficial effect for the economy. Chapters explore how and why mainstream economics is very good at incremental innovation but seems uncomfortable with radical innovation. Swann argues that economics should follow the example of many other disciplines, transitioning from one field to a range of semi-autonomous sub-disciplines. In this (...) book, he compares the missing link in empirical economics to being the economic equivalent of anatomy, the basis of medical discourse. Working as a sequel to Swann's Putting Econometrics in its Place, this book will be a vital resource to those who are discontent with the state of mainstream economics, especially those actively seeking to promote change in the discipline. Students wishing to see progress in the teaching of economics will also benefit from this timely book. (shrink)

How scientific assumptions point to God -- How laws of nature point to God -- How physical constants points to God -- How a grand unified theorypoints to God -- How the big bang points to God -- How genetics points to God -- How evolution points to God -- How neuroscience points to God -- How behavioral science points to God -- How semantics points to God -- How logic and math point to God -- How Gödel's theorem points (...) to God. (shrink)

Contemporary Western societies are obsessed with the “obesity epidemic,” dieting, and fitness. Fat people violate the Western conscience by violating a thinness norm. In virtue of violating the thinness norm, fat people suffer many varied consequences. Is their suffering morally permissible, or even obligatory? In this paper, I argue that the answer is no. I examine contemporary philosophical accounts of oppression and draw largely on the work of Sally Haslanger to generate a set of conditions sufficient for some phenomena to (...) count as oppression, and I illustrate the account’s value using the example of gender oppression. I then apply the account to fat people, examine empirical evidence, and argue that the suffering of fat people counts as oppression. (shrink)

Knowledge of the ethical and legal basis of medicine is as essential to clinical practice as an understanding of basic medical sciences. In the UK, the General Medical Council requires that medical graduates behave according to ethical and legal principles and must know about and comply with the GMC’s ethical guidance and standards. We suggest that these standards can only be achieved when the teaching and learning of medical ethics, law and professionalism are fundamental to, and thoroughly integrated both vertically (...) and horizontally throughout, the curricula of all medical schools as a shared obligation of all teachers. The GMC also requires that each medical school provides adequate teaching time and resources to achieve the above. We reiterate that the adequate provision and coordination of teaching and learning of ethics and law requires at least one full-time senior academic in ethics and law with relevant professional and academic expertise. In this paper we set out an updated indicative core content of learning for medical ethics and law in UK medical schools and describe its origins and the consultative process by which it was achieved. (shrink)

Next SectionFollowing the influential Gifford and Reith lectures by Onora O’Neill, this paper explores further the paradigm of individual autonomy which has been so dominant in bioethics until recently and concurs that it is an aberrant application and that conceptions of individual autonomy cannot provide a sufficient and convincing starting point for ethics within medical practice. We suggest that revision of the operational definition of patient autonomy is required for the twenty first century. We follow O’Neill in recommending a principled (...) version of patient autonomy, which for us involves the provision of sufficient and understandable information and space for patients, who have the capacity to make a settled choice about medical interventions on themselves, to do so responsibly in a manner considerate to others. We test it against the patient–doctor relationship in which each fully respects the autonomy of the other based on an unspoken covenant and bilateral trust between the doctor and patient. Indeed we consider that the dominance of the individual autonomy paradigm harmed that relationship. Although it seems to eliminate any residue of medical paternalism we suggest that it has tended to replace it with an equally (or possibly even more) unacceptable bioethical paternalism. In addition it may, for example, lead some doctors to consider mistakenly that unthinking acquiescence to a requested intervention against their clinical judgement is honouring “patient autonomy” when it is, in fact, abrogation of their duty as doctors. (shrink)

In _Violence and Civility_, Étienne Balibar boldly confronts the insidious causes of violence, racism, nationalism, and ethnic cleansing worldwide, as well as mass poverty and dispossession. Through a novel synthesis of theory and empirical studies of contemporary violence, the acclaimed thinker pushes past the limits of political philosophy to reconceive war, revolution, sovereignty, and class. Through the pathbreaking thought of Derrida, Balibar builds a topography of cruelty converted into extremism by ideology, juxtaposing its subjective forms and its objective manifestations. Engaging (...) with Marx, Hegel, Hobbes, Clausewitz, Schmitt, and Luxemburg, Balibar introduces a new, productive understanding of politics as antiviolence and a fresh approach to achieving and sustaining civility. Rooted in the principles of transformation and empowerment, this theory brings hope to a world increasingly divided even as it draws closer together. (shrink)

Aristotle argued that you need some wealth to live well. The Stoics argued that you could live well with or without wealth. But the Cynics argued that wealth is a hinderance. For the Cynics, a good life consists in self-sufficiency, or being able to rule and help yourself. You accomplish this by living simply and naturally, and by subjecting yourself to rigorous philosophical exercises. Cynics confronted people to get them to abandon extraneous possessions and positions of power to live better. (...) And while the Cynics were experts in living in this way, their ascetic lifestyles made their message curious to some audiences. This paper reflects on Cynic ascetic practices and the ways others perceived them. (shrink)

A significant proportion of conservationists' work is directed towards efforts to save disappearing species. This relies upon the belief that species extinction is undesirable. When justifications are offered for this belief, they very often rest upon the assumption that extinction brought about by humans is different in kind from other forms of extinction. This paper examines this assumption and reveals that there is indeed good reason to suppose current anthropogenic extinctions to be different in kind from extinctions brought about at (...) other times or by other factors. Having considered – and rejected – quantity and rate of extinction as useful distinguishing factors, four alternative arguments are offered, each identifying a way in which anthropogenic extinction is significantly different from other forms of extinction, even mass extinction: (1) Humans are a different kind of natural cause from other causes of extinction; (2) Extinctions brought about by humans are uniquely persistent; (3) Anthropogenic extinctions are effectively random whereas past mass extinctions are rule-bound; (4) The impact of the current anthropogenic extinction event differs from the impact of other extinction events of the past, such that future recovery may not follow past patterns. Together, these four arguments suggest that the present-day extinction event brought about by humans may be unprecedented and that we cannot clearly extrapolate from past to present recovery from extinctions. Although insufficient as justification for the claim that present-day extinctions are undesirable, the arguments provide some ammunition for conservationists' conviction that species extinction – in which humans play an accelerating role – ought to be prevented. (shrink)