We consider the desirability, or otherwise, of various forms of induction in the light of certain principles and inductive methods within predicate uncertain reasoning. Our general conclusion is that there remain conflicts within the area whose resolution will require a deeper understanding of the fundamental relationship between individuals and properties.

This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines.

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)

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)

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)