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 Kripke 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)

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)

The classical Athenian philosopher Socrates was tried in 399 BCE on the basis of two notoriously ambiguous charges: corrupting the youth and impiety (in Greek, asebeia). A majority of the 501 dikasts (Athenian citizen-jurors) voted to convict him. Socrates was ultimately sentenced to death by drinking a hemlock-based liquid. This well-known account of the trial is by Plato, one of Socrates' students and a famous philosopher in his own right. Whether Socrates was punished unjustly is a contested issue which to (...) this day inspires discussions about the nature and meaning of justice. (shrink)

Stolen Legacy by George G.M. James refutes the Euro-centric myth that the origin of Western philosophy is Greek. First published in 1954, this book was seminal in leading to a radical reappraisal of a philosophical system long thought to be of European origin. It is an essential work in the syllabus for the study of Western philosophy.

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)