- Table View
- List View
IV Higher Order Workshop, Banff 1990: Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990 (Workshops in Computing)
by Graham BirtwistleIt is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming. The advantage of higher order descriptions - that they can be very succinct and clear - has been percolating through ever since. Current research topics range from the design, implementation and use of higher order proof assistants and theorem provers, through program specification and verification, and programming language design, to its applications in hardware description and verification. The papers in this book represent the presentations made at a workshop held at Banff, Canada, September 10-14 1990 and organised by the Computer Science Department of the University of Calgary. The workshop gathered together researchers interested in applying higher order techniques to a range of problems. The workshop format had a few (but fairly long) presentations per day. This left ample time for healthy discussion and argument, many of which continued on into the small hours. With so much to choose from, the program had to be selective. This year's workshop was divided into five parts: 1. Expressing and reasoning about concurrency: Warren Burton and Ken Jackson, John Hughes, and Faron Moller. 2. Reasoning about synchronous circuits: Geraint Jones and Mary Sheeran (with a bonus on the fast Fourier transform from Geraint). 3. Reasoning about asynchronous circuits: Albert Camilleri, Jo Ebergen, and Martin Rem. 4. Categorical concepts for programming languages: Robin Cockett, Barry Jay, and Andy Pitts.
J. S. Mill, On Liberty In Focus (Philosophers In Focus Ser.)
by John Gray G. W. SmithThis volume brings together J.S. Mills On Liberty and a selection of important essays by such eminent scholars as Isaiah Berlin, Alan Ryan, John Rees, C.L. Ten and Richard Wollheim. As well as providing authoritative commentary upon On Liberty, the essays reflect a broader debate about the philosophical foundations of Mill's liberalism, particularly the question of the connection betweenMill's professed utilitarianism and his commitment to individual liberty. Introduced and edited by John Gray and G.W. Smith, the book will be of interest to students of Mill, to ethical and political philosophers and to anyone interested in the contemporary status of liberalism.
J. S. Mill, On Liberty In Focus (Philosophers In Focus Ser.)
by John Gray G. W. SmithThis volume brings together J.S. Mills On Liberty and a selection of important essays by such eminent scholars as Isaiah Berlin, Alan Ryan, John Rees, C.L. Ten and Richard Wollheim. As well as providing authoritative commentary upon On Liberty, the essays reflect a broader debate about the philosophical foundations of Mill's liberalism, particularly the question of the connection betweenMill's professed utilitarianism and his commitment to individual liberty. Introduced and edited by John Gray and G.W. Smith, the book will be of interest to students of Mill, to ethical and political philosophers and to anyone interested in the contemporary status of liberalism.
Japan and Education
by M. StephensThe Japanese take education very seriously. They see economic success and social wellbeing as intimately tied-up with such provision. Perhaps no other country can equal the level of commitment of the Japanese to education. This book explores the development of such attitudes, the history of Japan's response to them, and the modern debates and initiatives as government and people wrestle with contemporary changes and prepare for a tomorrow which they see as making education even more central to a country's health. Those outside Japan who wish to understand its economic success will find much to give them thought within these pages.
Jean-Jacques: The Early Life and Work of Jean-Jacques Rousseau, 1712-1754
by Maurice CranstonIn the first volume of his trilogy, noted political philosopher Maurice Cranston draws from original manuscript sources to trace Rousseau's life from his birth in provincial obscurity in Geneva, through his youthful wanderings, to his return to Geneva in 1754 as a celebrated writer and composer. "[An] admirable biography which is as meticulous, calm, reasonable, and judicious as its subject is passionate and tumultuous."—Keith Michael Baker, Washington Post Book World "The definitive biography, as scholarly as it is entertaining."—The Economist "Exceptionally fresh . . . . [Cranston] seems to know exactly what his readers need to know, and thoughtfully enriches the background—both physical and intellectual—of Rousseau's youthful peregrinations . . . . He makes the first part of Rousseau's life as absorbing as a picaresque novel. His fidelity to Rousseau's ideas and to his life as it was lived is a triumph of poise."—Naomi Bliven, The New Yorker "The most outstanding achievement of Professor Cranston's own distinguished career."—Robert Wokler, Times Literary Supplement Maurice Cranston (1920-1993), a distinguished scholar and recipient of the James Tait Black Memorial Prize for his biography of John Locke, was professor of political science at the London School of Economics. His numerous books include The Romantic Movement and Philosophers and Pamphleteers, and translations of Rousseau's The Social Contract and Discourse on the Origins of Inequality.
John Stuart Mill (Routledge Revivals): The Politics of Progress
by Oskar KurerFirst published in 1991, this book attempts to deal with Mill’s thought as a coherent system and tie some elements of his thoughts together. It seeks to show that he developed a set of ethical principles to underlie government intervention and provide a theory as to how it should intervene — which he then applied to practical politics. The first chapters deal with Mill’s doctrine of improvement and what impact the improvement of man has on the social organisation of society. The third chapter deals with Mill’s theory of economic development. The second part of the book deals with policy issues such as the question of the optimal constitution and Mill’s policy proposals for England.
John Stuart Mill (Routledge Revivals): The Politics of Progress
by Oskar KurerFirst published in 1991, this book attempts to deal with Mill’s thought as a coherent system and tie some elements of his thoughts together. It seeks to show that he developed a set of ethical principles to underlie government intervention and provide a theory as to how it should intervene — which he then applied to practical politics. The first chapters deal with Mill’s doctrine of improvement and what impact the improvement of man has on the social organisation of society. The third chapter deals with Mill’s theory of economic development. The second part of the book deals with policy issues such as the question of the optimal constitution and Mill’s policy proposals for England.
Jürgen Habermas (Sammlung Metzler)
by Detlef HorsterIst das Habermas'sche Werk eine Ethik der Moderne? Mit seiner Darstellung der Habermas'schen Philosophie will Detlef Horster diese Frage beantworten. Die Analyse reicht von der ersten Auseinandersetzung mit Heidegger über "Moralbewusstsein und kommunikatives Handeln" bis zu der nationalen Einheit 1990. Dabei betont der Autor besonders die enge Verbindung von Theorie und gesellschaftlicher Praxis.
Kant: Political Writings (PDF)
by Immanuel Kant H. S. Reiss H. B. Nisbet Raymond Geuss Quentin Skinner Donna M. Brinton Janet M. GoodwinThe original edition of Kant: Political Writings was first published in 1970, and has long been established as the principal English-language edition of this important body of writing. In this new, expanded edition, two important texts illustrating Kants's view of history are included for the first time: his reviews of Herder's Ideas on the Philosophy of The History of Mankind and Conjectures on the Beginning of Human History; as well as the essay What is Orientation in Thinking. In addition to a general introduction assessing Kant's political thought in terms of his fundamental principles of politics, this edition also contains such useful student aids as notes on the texts, a comprehensive bibliography, and a new postscript, looking at some of the principal issues in Kantian scholarship that have arisen since first publication.
Key Concepts: A Guide to Aesthetics, Criticism and the Arts in Education (Routledge Library Editions: Aesthetics)
by Trevor PatemanFirst published in 1991. The arts can only thrive in a culture where there is conversation about them. This is particularly true of the arts in an education context. Yet often the discussion is poor because we do not have the necessary concepts for the elaboration of our aesthetic responses, or sufficient familiarity with the contending schools of interpretation. The aim of Key Concepts is to engender a broad and informed conversation about the arts. By means of over sixty alphabetically ordered essays, the author offers a map of aesthetics, critical theory and the arts in education. The essays are both informative and argumentative, with cross-references, a supporting bibliography and suggestions for further reading.
Key Concepts: A Guide to Aesthetics, Criticism and the Arts in Education (Routledge Library Editions: Aesthetics)
by Trevor PatemanFirst published in 1991. The arts can only thrive in a culture where there is conversation about them. This is particularly true of the arts in an education context. Yet often the discussion is poor because we do not have the necessary concepts for the elaboration of our aesthetic responses, or sufficient familiarity with the contending schools of interpretation. The aim of Key Concepts is to engender a broad and informed conversation about the arts. By means of over sixty alphabetically ordered essays, the author offers a map of aesthetics, critical theory and the arts in education. The essays are both informative and argumentative, with cross-references, a supporting bibliography and suggestions for further reading.
Kierkegaard's Writings, XXI, Volume 21: For Self-Examination / Judge For Yourself!
by Søren Kierkegaard Howard V. Hong Edna H. HongFor Self-Examination and its companion piece Judge for Yourself! are the culmination of Søren Kierkegaard's "second authorship," which followed his Concluding Unscientific Postscript. Among the simplest and most readily comprehended of Kierkegaard's books, the two works are part of the signed direct communications, as distinguished from his earlier pseudonymous writings. The lucidity and pithiness, and the earnestness and power, of For Self-Examination and Judge for Yourself! are enhanced when, as Kierkegaard requested, they are read aloud. They contain the well-known passages on Socrates' defense speech, how to read, the lover's letter, the royal coachman and the carriage team, and the painter's relation to his painting. The aim of awakening and inward deepening is signaled by the opening section on Socrates in For Self-Examination and is pursued in the context of the relations of Christian ideality, grace, and response. The secondary aim, a critique of the established order, links the works to the final polemical writings that appear later after a four-year period of silence.
Kierkegaard's Writings, XXI, Volume 21: For Self-Examination / Judge For Yourself!
by Søren Kierkegaard Howard V. Hong Edna H. HongFor Self-Examination and its companion piece Judge for Yourself! are the culmination of Søren Kierkegaard's "second authorship," which followed his Concluding Unscientific Postscript. Among the simplest and most readily comprehended of Kierkegaard's books, the two works are part of the signed direct communications, as distinguished from his earlier pseudonymous writings. The lucidity and pithiness, and the earnestness and power, of For Self-Examination and Judge for Yourself! are enhanced when, as Kierkegaard requested, they are read aloud. They contain the well-known passages on Socrates' defense speech, how to read, the lover's letter, the royal coachman and the carriage team, and the painter's relation to his painting. The aim of awakening and inward deepening is signaled by the opening section on Socrates in For Self-Examination and is pursued in the context of the relations of Christian ideality, grace, and response. The secondary aim, a critique of the established order, links the works to the final polemical writings that appear later after a four-year period of silence.
Kissinger and Brzezinski: The NSC and the Struggle for Control of US National Security Policy
by Gerry Argyris AndrianopoulosGoing beyond superficial comparisons of Kissinger and Brzezinski, this study, by comparing their views on world politics and on strategy and tactics for achieving national goals and examining the consistency of their beliefs and actions while in and out of office, finds that, despite Brzezinski's attacks on Kissinger, he shared many of his views and copied many of his actions while in office and that their policy-making behaviour was, indeed, strongly influenced by their shared beliefs.
Knowledge and the Known: Historical Perspectives in Epistemology (Synthese Historical Library #11)
by Jaakko HintikkaA word of warning concerning the aims of this volume is in order. Other wise some readers might be unpleasantly surprised by the fact that two of the chapters of an ostensibly historical book are largely topical rather than historical. They are Chapters 7 and 9, respectively entitled 'Are Logical Truths Analytic?' and 'A Priori Truths and Things-In-Them selves'. Moreover, the history dealt with in Chapter 11 is so recent as to have more critical than antiquarian interest. This mixture of materials may seem all the more surprising as I shall myself criticize (in Chapter I) too facile assimilations of earlier thinkers' concepts and problems to later ones. There is no inconsistency here, it seems to me. The aims of the present volume are historical, and for that very purpose, for the purpose of understanding and evaluating earlier thinkers it is vital to know the conceptual landscape in which they were moving. A crude analogy may be helpful here. No military historian can afford to neglect the topo graphy of the battles he is studying. If he does not know in some detail what kind of pass Thermopylae is or on what sort of ridge the battle of Bussaco was fought, he has no business of discussing these battles, even if this topographical information alone does not yet amount to historical knowledge.
Knowledge Representation and Metaphor (Studies in Cognitive Systems #7)
by E. Cornell WayThis series will include monographs and collections of studies devoted to the investigation and exploration of knowledge, information, and data processing systems of all kinds, no matter whether human, (other) animal, or machine. Its scope is intended to span the full range of interests from classical problems in the philosophy of mind and philosophical psychol ogy through issues in cognitive psychology and sociobiology (concerning the mental capabilities of other species) to ideas related to artificial intelligence and computer science. While primary emphasis will be placed upon theoretical, conceptual, and epistemological aspects of these problems and domains, empirical, experimental, and methodological studies will also appear from time to time. The problems posed by metaphor and analogy are among the most challenging that confront the field of knowledge representation. In this study, Eileen Way has drawn upon the combined resources of philosophy, psychology, and computer science in developing a systematic and illuminating theoretical framework for understanding metaphors and analogies. While her work provides solutions to difficult problems of knowledge representation, it goes much further by investigating some of the most important philosophical assumptions that prevail within artificial intelligence today. By exposing the limitations inherent in the assumption that languages are both literal and truth-functional, she has advanced our grasp of the nature of language itself. J.R.F.
Language, Subjectivity, and Freedom in Rousseau's Moral Philosophy (Routledge Library Editions: 18th Century Philosophy #10)
by Richard NobleThis book, first published in 1991, has two related goals. The first is to explicate Rousseau’s conception of subjectivity; the second is to trace the influence of that conception on his theory of freedom. It argues that Rousseau’s conception of subjectivity provides us with a basis for understanding both his analysis of the ‘social problem’ of advanced civil societies, and the solutions he proposes to this problem.
Language, Subjectivity, and Freedom in Rousseau's Moral Philosophy (Routledge Library Editions: 18th Century Philosophy #10)
by Richard NobleThis book, first published in 1991, has two related goals. The first is to explicate Rousseau’s conception of subjectivity; the second is to trace the influence of that conception on his theory of freedom. It argues that Rousseau’s conception of subjectivity provides us with a basis for understanding both his analysis of the ‘social problem’ of advanced civil societies, and the solutions he proposes to this problem.
Language, Thought and Falsehood in Ancient Greek Philosophy
by Nicholas DenyerThis book, originally published in 1991, sets forth the assumptions about thought and language that made falsehood seem so problematic to Plato and his contemporaries, and expounds the solution that Plato finally reached in the Sophist. Free from untranslated Greek, the book is accessible to all studying ancient Greek philosophy. As a well-documented case study of a definitive advance in logic, metaphysics and epistemology, the book will also appeal to philosophers generally.
Language, Thought and Falsehood in Ancient Greek Philosophy
by Nicholas DenyerThis book, originally published in 1991, sets forth the assumptions about thought and language that made falsehood seem so problematic to Plato and his contemporaries, and expounds the solution that Plato finally reached in the Sophist. Free from untranslated Greek, the book is accessible to all studying ancient Greek philosophy. As a well-documented case study of a definitive advance in logic, metaphysics and epistemology, the book will also appeal to philosophers generally.
Later Medieval Philosophy
by John MarenbonFirst published in 1991. Routledge is an imprint of Taylor & Francis, an informa company.
Later Medieval Philosophy: An Introduction
by John MarenbonFirst published in 1991. Routledge is an imprint of Taylor & Francis, an informa company.
Law, Ideology and Punishment: Retrieval and Critique of the Liberal Ideal of Criminal Justice (Law and Philosophy Library #12)
by A.W. NorrieThis book is about 'Kantianism' in both a narrow and a broad sense. In the former, it is about the tracing of the development of the retributive philosophy of punishment into and beyond its classical phase in the work of a number of philosophers, one of the most prominent of whom is Kant. In the latter, it is an exploration of the many instantiations of the 'Kantian' ideas of individual guilt, responsibility and justice within the substantive criminal law . On their face, such discussions may owe more or less explicitly to Kant, but, in their basic intellectual structure, they share a recognisably common commitment to certain ideas emerging from the liberal Enlightenment and embodied within a theory of criminal justice and punishment which is in this broader sense 'Kantian'. The work has its roots in the emergence in the 1970s and early 1980s in the United States and Britain of the 'justice model' of penal reform, a development that was as interesting in terms of the sociology of philosophical knowledge as it was in its own right. Only a few years earlier, I had been taught in undergraduate criminology (which appeared at the time to be the only discipline to have anything interesting to say about crime and punishment) that 'classical criminology' (that is, Beccaria and the other Enlightenment reformers, who had been colonised as a 'school' within criminology) had died a major death in the 19th century, from which there was no hope of resuscitation.
Law, Institution and Legal Politics: Fundamental Problems of Legal Theory and Social Philosophy (Law and Philosophy Library #14)
by Ota WeinbergerIt gives me great pleasure to offer this foreword to the present work of my admired friend and respected colleague Ota Weinberger. Apart from the essays of his which were published in our joint work An Institutional Theory of Law: New Approaches to Legal Positivism in 1986, relatively little of Wein berger's work is available in English. This is the more to be regretted, since his is work of particular interest to jurists of the English-speaking world both in view of its origins and in respect of its content As to its origins, Weinberger war reared as a student of the Pure Theory of Law, a theory which in its Kelsenian form has aroused very great interest and has had considerable influence among anglophoone scholars -perhaps even more than in the Germanic countries. Less well known is the fact that the Pure Theory itself divided into two schools, that of Vienna and that of Brno. It was in the Brno school of Frantisek Weyr that Weinberger's legal theory found its early formation, and perhaps from that early influence one can trace his continuing insistence on the dual character of legal norms -both as genuinely normative and yet at the same time having real social existence.