Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn what can and can't be calculated; for example the correctness of a derivation proving a given sequent can be tested mechanically, but there is no general mechanical test for the existence of a derivation proving the given sequent. The undecidability results are proved rigorously in an optional final chapter, assuming Matiyasevich's theorem characterising the computably enumerable relations. Rigorous proofs of the adequacy and completeness proofs of the relevant logics are provided, with careful attention to the languages involved. Optional sections discuss the classification of mathematical structures by first-order theories; the required theory of cardinality is developed from scratch. Throughout the book there are notes on historical aspects of the material, and connections with linguistics and computer science, and the discussion of syntax and semantics is influenced by modern linguistic approaches. Two basic themes in recent cognitive science studies of actual human reasoning are also introduced. Including extensive exercises and selected solutions, this text is ideal for students in Logic, Mathematics, Philosophy, and Computer Science.

Information Security and Ethics: Social and Organizational Issues brings together examples of the latest research from a number of international scholars addressing a wide range of issues significant to this important and growing field of study. These issues are relevant to the wider society, as well as to the individual, citizen, educator, student and industry professional. With individual chapters focusing on areas including web accessibility; the digital divide; youth protection and surveillance; Information security; education; ethics in the Information professions and Internet voting; this book provides an invaluable resource for students, scholars and professionals currently working in information Technology related areas.

The Court and the Country (1969) offers a fresh view and synthesis of the English revolution of 1640. It describes the origin and development of the revolution, and gives an account of the various factors - political, social and religious - that produced the revolution and conditioned its course. It explains the revolution primarily as a result of the breakdown of the unity of the governing class around the monarchy into the contending sides of the Court and the Country. A principal theme is the formation within the governing class of an opposition movement to the Crown. The role of Puritanism and of the towns is examined, and the resistance to Charles I is considered in relation to other European revolutions of the period.

A Nation of Change and Novelty (1990) ranges broadly over the political and literary terrain of the seventeenth century, examining the importance of the English Revolution as a decisive event in English and European history. It emphasises the historical significance of the English Revolution, exploring not only its causes but also its long term consequences, basing both in a broad social context and viewing it as a necessary condition of England's having nurtured the first Industrial Revolution.

A History of Political Thought in the English Revolution (1954) examines the large range of political doctrines which played their part in the English revolution - a period when modern democratic ideas began. The political literature of the period between 1645, when the Levellers first seized upon the revolution's wider implications, and 1660, when Charles II restored the monarchy to power, is here studied in detail.

Cromwell and Communism (1930) examines the English revolution against the absolute monarchy of Charles I. It looks at the economic and social conditions prevailing at the time, the first beginnings of dissent and the religious and political aims of the Parliamentarian side in the revolution and subsequent civil war. The various sects are examined, including the Levellers and their democratic, atheistic and communistic ideals.

Allegiance in Church and State (1928) examines the evolution of ideas and ideals, their relation to political and economic events, and their influence on friends and foes in seventeenth-century England - which witnessed the beginning of both the constitutional and the intellectual transition from the old order to the new. It takes a careful look at the religious and particularly political ideas of the Nonjurors, a sect that argued for the moral foundations of a State and the sacredness of moral obligations in public life.

Leveller Manifestoes (1944) is a collection of primary manifestoes issued by the Levellers, the group which played an active and influential role in the English revolution of 1642-49. This book collects together rare pamphlets and tracts that are seldom available, and certainly not in one place for ease of research.

Marx's early work is well known and widely available, but it usually interpreted as at best a kind of stepping-stone to the Marx of Capital. This book offers something completely different; it reconstructs, from his first writings spanning from 1835 to 1846, a coherent and well-rounded political philosophy. The influence of Engels upon the development of that philosophy is discussed. This, it is argued, was a philosophy that Marx could have presented had he put the ideas together, as he hinted was his eventual intention. Had he done so, this first Marx would have made an even greater contribution to social and political philosophy than is generally acknowledged today. Arguments regarding revolutionary change, contradiction and other topics such as production, alienation and emancipation contribute to a powerful analysis in the early works of Marx, one which is worthy of discussion on its own merits. This analysis is distributed among a range of books, papers, letters and other writings, and is gathered here for the first time. Marx's work of the period was driven by his commitment to emancipation. Moreover, as is discussed in the conclusion to this book, his emancipatory philosophy continues to have resonance today. This new book presents Marx in a unique, new light and will be indispensable reading for all studying and following his work.

In Marx and Social Justice, George E. McCarthy presents a detailed and comprehensive overview of the ethical, political, and economic foundations of Marx's theory of social justice in his early and later writings. What is distinctive about Marx's theory is that he rejects the views of justice in liberalism and reform socialism based on legal rights and fair distribution by balancing ancient Greek philosophy with nineteenth-century political economy. Relying on Aristotle's definition of social justice grounded in ethics and politics, virtue and democracy, Marx applies it to a broader range of issues, including workers' control and creativity, producer associations, human rights and human needs, fairness and reciprocity in exchange, wealth distribution, political emancipation, economic and ecological crises, and economic democracy. Each chapter in the book represents a different aspect of social justice. Unlike Locke and Hegel, Marx is able to integrate natural law and natural rights, as he constructs a classical vision of self-government 'of the people, by the people'.

Several presidents have created bioethics councils to advise their administrations on the importance, meaning and possible implementation or regulation of rapidly developing biomedical technologies. From 2001 to 2005, the President's Council on Bioethics, created by President George W. Bush, was under the leadership of Leon Kass. The Kass Council, as it was known, undertook what Adam Briggle describes as a more rich understanding of its task than that of previous councils. The council sought to understand what it means to advance human flourishing at the intersection of philosophy, politics, science, and technology within a democratic society. Briggle's survey of the history of U.S. public bioethics and advisory bioethics commissions, followed by an analysis of what constitutes a "rich" bioethics, forms the first part of the book. The second part treats the Kass Council as a case study of a federal institution that offered public, ethical advice within a highly polarized context, with the attendant charges of inappropriate politicization and policy irrelevance. The conclusion synthesizes the author's findings into a story about the possible relationships between philosophy and policy making. A Rich Bioethics: Public Policy, Biotechnology, and the Kass Council will attract students and scholars in bioethics and the fields of science, technology, and society, as well as those interested in the ethical and political dilemmas raised by modern science.

As the economic crash of 2007-8 and its sequels developed, neoliberal economists often said that economic theory can never cope with such eruptions, and left-minded economists and political economists struggled to find answers. This book documents discussions as they developed; an introduction and an afterword tell the story of the crisis, and offer syntheses and angles on some of the debated issues. What were the chief imbalances in the world economy? Is US hegemony breaking down? Were falling profit rates at the root of the crash, and if so why were they falling? How does "financialisation" reshape capitalism? Why did neoliberalism prove so resilient? How might the repercussions lead to it being subverted from the right or from the left? Contributors are Robert Brenner, Dick Bryan, Trevor Evans, Barry Finger, Daniela Gabor, Andrew Gamble, Michel Husson, Andrew Kliman, Costas Lapavitsas, Simon Mohun, Fred Moseley, Leo Panitch, Hugo Radice, and Alfredo Saad-Filho.

The Oxford Handbook of the Philosophy of Consciousness provides the most comprehensive overview of current philosophical research on consciousness. Featuring contributions from some of the most prominent experts in the field, it explores the wide range of types of consciousness there may be, the many psychological phenomena with which consciousness interacts, and the various views concerning the ultimate relationship between consciousness and physical reality. It is an essential and authoritative resource for anyone working in philosophy of mind or interested in states of consciousness.