David Boucher, Political Theories of International Relations. Oxford: Oxford University Press, 1998. Pp.431. £40.00, ISBN 0?19?878053?2 (hb) and £15.99, ISBN 0?19?878054?0 (pb).

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)

The purpose of this article is to consider Collingwood’s Idea of History in the wider context of his thoughts on historical knowledge, and in the light of criticisms which have often been less than generous in giving a certain latitude to what he meant to convey. The article shows how the main doctrines, that are often taken in isolation and forensically analysed and criticized, may be defended and made more intelligible when considered as an integrated whole. Such an idea as (...) re-enactment, for example, need not be considered to lend itself to intuitionism in philosophy, nor methodological individualism in interpretation. It is possible to understand Collingwood presenting the theory of re-enactment as at once a method for the attainment of historical knowledge, which doesn’t simply come about fortuitously, while also being an ontological condition of understanding, that is, when historical knowledge is attained, something will have happened to us, that is, we will have thought exactly the same thoughts, broadly speaking, as the historical subjects themselves. (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.

This paper explores the rhetoric of obstetric ultrasound technology as it relates to the abortion debate, specifically the interpretation given to ultrasound images by opponents of abortion. The tenor of the anti-abortion approach is precisely captured in the videotape, Ultrasound:A Window to the Womb. Aspects of this videotape are analyzed in order to tease out the assumptions about the (female) body and about the access to truth yielded by scientific technology (ultrasound) held by militant opponents of abortion. It is argued (...) that the ultrasound images do not offer transparent confirmation of the ontological status of the embryo and fetus. Rather, the window of ultrasound is constructed through a complex combination of visual and verbal devices: ultrasound images, photographic images, verbal argument, and emotional appeal. (shrink)

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.

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)

These notes are meant to continue from the paper on Consistency, in proving number-theoretic theorems from the second-order arithmetical system called FFFF. Its ultimate target is Quadratic Reciprocity, although it introduces and proves some facts about the least common multiple at the start.

This is the first comprehensive study of the political philosophy of the British philosopher R. G. Collingwood, best known for his contributions to aesthetics and the philosophy of history. However his political thought, and in particular his book The New Leviathan, have been neglected, even dismissed in some quarters. Professor Boucher argues for the importance of this political theory and provides a perspicuous account of its development and originality. He contends that The New Leviathan is an attempt to reconcile (...) philosophy and history, theory and practice. Collingwood's distinctive contribution to modern political and social thought is seen as his sustained project of distinguishing utility from right, and right from duty; the passion for history coincides with the ethical thought because Collingwood wishes to identify dutiful, or moral, action with a historical civilization. Drawing on a wealth of manuscript material, this book will prove invaluable to political philosophers and intellectual historians. (shrink)

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.

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

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.

Children’s ability to pretend, and the apparent lack of pretence in children with autism, have become important issues in current research on ‘theory of mind’, on the assumption that pretend play may be an early indicator of metarepresentational abilities.

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.

Now in its second edition, this comprehensive introduction to the history of Western political thought includes two new chapters on Cicero and Kant.

This is the long-awaited publication of a set of writings by the British philosopher, historian, and archaeologist R.G. Collingwood on critical, anthropological, and cultural themes only hinted at in his previously available work. At the core are six essays on folktale and magic in which Collingwood applies the principles of his philosophy of history to problems in the long-term evolution of human society and culture. The volume opens with three substantial introductory essays by the editors, authorities in their various fields, (...) who provide their explanatory and contextual notes to guide the reader through the texts. The Philosophy of Enchantment highlights the broad range of Collingwood's intellectual engagements, their integration, and their relevance to current areas of debate in the fields of philosophy, cultural studies, social and literary history, and anthropology. (shrink)

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.

In Zizek and Politics, Geoff Boucher and Matthew Sharpe go beyond standard introductions to spell out a new approach to reading Zizek, one that can be highly critical as well as deeply appreciative. They show that Zizek has a raft of fundamental positions that enable his theoretical positions to be put to work on practical problems. Explaining these positions with clear examples, they outline why Zizek's confrontation with thinkers such as Derrida, Foucault and Deleuze has so radically changed how (...) we think about society. They then go on to track Zizek's own intellectual development during the last twenty years, as he has grappled with theoretical problems and the political climate of the War on Terror. This book is a major addition to the literature on Zizek and a crucial critical introduction to his thought. (shrink)

Thomas Kuhn had little to say about scientific change in biological science, and biologists are ambivalent about how applicable his framework is for their disciplines. We apply Kuhn’s account of paradigm change to evolutionary microbiology, where key Darwinian tenets are being challenged by two decades of findings from molecular phylogenetics. The chief culprit is lateral gene transfer, which undermines the role of vertical descent and the representation of evolutionary history as a tree of life. To assess Kuhn’s relevance to this (...) controversy, we add a social analysis of the scientists involved to the historical and philosophical debates. We conclude that while Kuhn’s account may capture aspects of the pattern of an episode of scientific change, he has little to say about how the process of generating new understandings is occurring in evolutionary microbiology. Once Kuhn’s application is limited to that of an initial investigative probe into how scientific problem-solving occurs, his disciplinary scope becomes broader. (shrink)

What is the place of language in human cognition? Do we sometimes think in natural language? Or is language for purposes of interpersonal communication only? Although these questions have been much debated in the past, they have almost dropped from sight in recent decades amongst those interested in the cognitive sciences. Language and Thought is intended to persuade such people to think again. It brings together essays by a distinguished interdisciplinary team of philosophers and psychologists, who discuss various ways in (...) which language may be implicated in human cognition. The editors have provided an introduction which lays out the basic terms and history of the debate, and a consolidated bibliography which will provide a valuable reference resource for all those interested in this area. The volume will be of great interest to all researchers and students interested in language and its place in cognition. (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.