In 1805 Susannah Middleton travelled with her husband, Captain Robert Middleton, to Gibraltar where he was to run the naval dockyard. Abroad for the first time, Susannah maintained a regular correspondence with her sister in England. Casting light on a collection of letters yet to be fully published, the paper gives an account of Susannah‘s experiences as described to her sister. Consideration is given to Susannah‘s position as the wife of a naval officer and her own view of the role (...) she had to play in her husband‘s success. Written at a time when an officers wife could greatly improve his hopes for advancement through the judicious use of social skills, the Middleton letters provide evidence of an often overlooked aspect of the workings of the Royal Navy. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

In this essay, I examine Robert Boyle's strategies for making imperceptible entities accessible to the senses. It is well known that, in his natural philosophy, Boyle confronted the challenge of making imperceptible particles of matter into objects of sensory experience. It has never been noted, however, that Boyle confronted a strikingly similar challenge in his natural theology – he needed to make an equally imperceptible God accessible to the senses. Taking this symmetrical difficulty as my starting point, I propose a (...) new approach to thinking about the interconnections between Boyle's natural philosophy and natural theology. For the most part, studies of science and religion in the early modern period work by seeking out the influence of explicitly stated religious beliefs on scientific ideas. I argue, by contrast, that we need to focus on Boyle's representational practices, using his attempts to represent imperceptible entities as a means of uncovering metaphysical and theological presuppositions that he did not always articulate when stating his religious beliefs. With new interpretations of bothA Discourse of Things Above Reason(1681) andSome Physico-Theological Considerations about the Possibility of the Resurrection(1675), I show that there were crucial similarities between Boyle's practices for representing both God and atoms. I go on to show, moreover, that Boyle used these practices to enact an ontological stance at odds with one of his most important professed beliefs. (shrink)

Drawing on case studies from around the world - including Iran, Guatemala, USA and Mexico - this collection documents how transnational human rights discourses and legal institutions are materialised, imposed, resisted and transformed in a variety of contexts.

When New Labour came into office in 1997, its commitment to 'education, education, education' captured the imagination of the public. This collection of humorous articles by Ted Wragg between 1998 to 2003 exposes the real state of education during this period, when educational policy was never far from the headlines. No one escapes Ted's sharp-shooting wit: from the 'blamers and shamers' who try to turn teacher-bashing into a national pastime to the 'pale policy wonks' in the Department of Education, (...) who issue regular hare-brained initiatives from the mysterious 'Tony Zoffis'. Split into seven issue-focused chapters, this hilarious collection will be a tonic for anyone finding themselves unsure whether to laugh or cry about recent developments in the world of education. (shrink)

Written by a former student of Heidegger, this book examines the relationship between the philosophy and the politics of a celebrated teacher and the allure that Nazism held out for scholars committed to revolutionary nihilism.

In this study, Worsley argues that it is rational to believe in a loving God in the face of evil. Beginning with a critique of Alvin Plantinga, he shows that human freedom is highly complex, and so depends upon complex structures in nature. These are both necessary for freedom but also sufficient for natural evil. He offers close analysis of the evolution of the human brain. The book develops a parallel argument that human evil stems from the evolution of personality.

. History of the concept of economic efficiency . INTRODUCTION James Buchanan won the Nobel Prize by proving that the process by which elected officials ...

This book is the complete story of the creation of the universe, as it was understood by the ancient Egyptians. It is a collection of harmonic and radical 'Black Thoughts' and the pursuit of equality for all of this planet's inhabitants"--P. vii.

A major theme of the European Enlightenment was the rationalization of value, the use of reason to determine the value of things, from diamonds to civilizations. This view of the Enlightenment is well-established in the human sciences. It is ripe for extension to the natural sciences, given the rich recent literature on affect, evaluation, and subjectivity in early modern science. Meanwhile, in art history, the new history of connoisseurship provides a model for the historical study of the evaluation of material (...) things. Historians of natural history have already noted the connections between science, Enlightenment, and connoisseurship. The time has come to extend their insights to other areas of Enlightenment science. This means recognizing the breadth of connoisseurship – the social, linguistic, and disciplinary diversity of the practice – as understood in Europe in the eighteenth century and the latter part of the seventeenth century. An outline of the three papers in this special section gives an indication of how this historiographical project might be carried out. (shrink)

This book gives a descriptive analysis of specific Madhyamika texts. It compares the ideology of Kumarajiva (a translator of the four Madhyamika treatises 400 A.D.) with the ideologies of the three Chinese contemporaries - HuiYuan, Seng-Jui and Seng-Chao. It envisages an intercultural transmission of religious and philosophical ideas from India to China.

Drawing on a passage from Ramsey's Truth and Probability, we formulate a simple, plausible constraint on evaluating the accuracy of credences: the Calibration Test. We show that any additive, continuous accuracy measure that passes the Calibration Test will be strictly proper. Strictly proper accuracy measures are known to support the touchstone results of accuracy-first epistemology, for example vindications of probabilism and conditionalization. We show that our use of Calibration is an improvement on previous such appeals by showing how it answers (...) or sidesteps problems that have been raised for previous work in this area. (shrink)

2010 Reprint of 1905 edition.This work is the magnum opus of Bucke's career, a project that he researched and wrote over many years. In it, Bucke described his own experience, that of contemporaries, and the experiences and outlook of historical figures including Buddha, Jesus, Paul, Plotinus, Muhammad, Dante, Francis Bacon, and William Blake. Bucke developed a theory involving three stages in the development of consciousness: the simple consciousness of animals; the self-consciousness of the mass of humanity ; and cosmic consciousness (...) - an emerging faculty and the next stage of human development. Among the effects of this progression, he believed he detected a lengthy historical trend in which religious conceptions and theologies had become less and less fearful. A classic work. (shrink)

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

This thought-provoking monograph provides a systematic, philosophically-grounded reconceptualisation of press freedom and press regulation. In a major departure from orthodox norms, the book argues that press freedom and coercive independent press regulation are not mutually exclusive; that newspapers could be made to compensate their victims, through regulation, without jeopardising their free speech rights; that their perceived public watchdog status does not exempt them; and, ultimately, that mandatory press regulation is not unconstitutional. In doing so, the book questions our most deeply-held, (...) intuitive beliefs about the press and its role in society. Why do we say the printed press has a duty to act as a public watchdog when there is no legally enforceable apparatus by which to ensure it does? Why does government constantly recommend that the press regulate itself when history shows this model always fails? Why do victims of press malfeasance continue to suffer needlessly? By deconstructing the accepted view of press freedom and mandatory regulation, this book shows that both are deeply misunderstood. The prevailing notion that the press must serve the public is an empty relic of Victorian ideology that is both philosophically incoherent and legally unjustifiable. The press is obliged to make good, not do good. (shrink)

ACAS reports increasing disciplinary action against employees over expression that employers dislike. Given the prominence of social media in contemporary life, this is a significant current legal issue yet one which has attracted relatively little academic comment. This article examines the compatibility of unfair dismissal doctrine in this context with traditional liberal principle. Arguably, doctrine provides only flimsy protection. Although the common law recognises the importance of individual autonomy generally when determining rights claims, this well-established liberal value appears to have (...) little influence on unfair dismissal doctrine. The dominant academic view on realising greater workplace human rights protection through greater application of the proportionality principle is unlikely to address this problem; reconceptualisation of the substantive free speech right at stake is required. This article offers a strategy on how this might be achieved--and so how differences between practice and principle might be reconciled--through a sympathetic reading of the Strasbourg and UK jurisprudence and potential policy-maker intervention. (shrink)

This essay reconsiders the links between medicine, connoisseurship, and aesthetic theory in early eighteenth-century Britain. Taking a satire on the body of the physician and collector John Woodward as its starting point, I show that medicine and connoisseurship shared a deep preoccupation with the possibility that the animal body could excessively influence the workings of the mind. Pursuing this line of argument, moreover, I will reconsider the place of mind–body dualism in eighteenth-century British medicine and aesthetics. With the exception of (...) materialists such as the philosopher-physician Bernard Mandeville, medics and aesthetic theorists tended to identify the exercise of judgment with the operations of a disembodied mind, unsullied by the embodied mechanisms of the lower body. In practice, however, the insistence that the most refined forms of judgment depended on the presence and activity of a disembodied, immaterial soul was less meaningful than it seems. When confronted by failures of judgment, medics and connoisseurs alike sought explanations in the mechanisms of the animal body. Whether or not they believed in the immateriality of the soul, they pictured the mind as a malfunctioning animal machine, to be cured through the material agency of medical therapeutics. (shrink)

According to the House of Lords decision in Campbell v MGN Ltd, a misuse of private information claim may succeed even though public interest expression is at stake. The post-Campbell jurisprudence, however, does not reflect this central tenet. Cases are not determined by balancing the weight of each claim but by a binary approach in which claims succeed or fail depending on whether public interest expression is present or not. By charting this development, this article argues that a greater sense (...) of proportionality would be achieved if cases were decided not by the quality of expression but by the harm caused by it. By re-imagining Campbell as a four-part test, it will show how the current paternalistic and idiosyncratic influences on decision-making may be reduced significantly. (shrink)

This article presents the novel view that ‘inclusion into seclusion’ and ‘public disclosure of embarrassing facts’ (‘misuse of private information’ (“MOPI”) in the UK), which both the academic commentary and US case law treat as two separate legal actions, occupy the same conceptual space. This claim has important practical ramifications. No further development of the law is required to realise an actionable intrusion tort as part of the UK’s MOPI tort. The argument is defended in doctrinal and theoretical terms, and (...) by reference to both UK and US law. It is presented in three forms: first, in negative terms, that the orthodox distinction between the two claims (informational privacy and intrusion) is unsustainable; secondly, in positive terms, that both guard against the same wrong (unwarranted privacy-invasion) and the same harm (mental distress), in a way that is distinctive from other privacy actions and legal claims based upon the autonomy value; finally, in pragmatic terms, that MOPI’s mature jurisprudence is sufficiently flexible and dynamic to recognise intrusion-only claims using its existing legal framework. (shrink)

By far the largest part of Nehemiah Grew?s account of a seventeenth?century collection of rarities, his Musæum Regalis Societatis (1685) is taken up with ?thick?, verbal descriptions of things in the Royal Society?s repository. Not only, Grew suggests, do his descriptions serve to signify the contents of his collection, but they enable us to discern among species and to think about the collection?s pieces in new ways. Verbal descriptions did not just signify things in the Royal Society?s collection, but had (...) the capacity to alter their meanings. The essay discusses the ?picturing? of natural things in Early Modern Europe with little direct reference to the contemporary media of graphic representation ? drawings, engravings, paintings etc. ? in order to highlight the role of the then most widely used, but now least discussed of these media, verbal descriptions. (shrink)