Marx's Grundrisse is acknowledged as the vital link between Marx's early and late work. It is also a crucial text in elucidating Marx's debt to the idealist philosopher G.W.F. Hegel. This book, first published in 1988, is the first full-length study of that relationship, in a thorough textual analysis which makes the connections explicit and also the Grundrisse's relations to the works of Adam Smith and Aristotle. This book argues that Marx's critique of political economy, and his critique of Hegel, are double interrelated. Not only did Marx adapt Hegelian logic in order to analyse the economic categories crucial to modern society but it is argued that those logical categories were themselves seen as reflections of the productive processes of contemporary commercial society. Uchida reveals a conceptual structure common to the apparently rarefied world of Hegelian conceptual logic and to the supposedly common-sensical world of economic science. Demonstrating this is a considerable achievement, and it allows us to consider precisely what is valuable today in Marx's critical commentary on this conceptual structure and on the type of society in which it is manifested. Uchida's subject, like Marx's, is 'the force of capital on modern life'.

The three ancient philosophical introductions translated in this volume flesh out our picture of what it would have been like to sit in a first-year Philosophy course in ancient Alexandria. Ammonius (AD 445-517/26) set up a new teaching programme in Alexandria with up to six introductions to the philosophy curriculum, which made it far more accessible, and encouraged its spread from Greek to other cultures. This volume's three introductory texts include one by his student Olympiodorus and one each by Olympiodorus' students Elias and David. Elias' Introductions to Philosophy starts with six definitions of Philosophy, to which David adds replies to the sceptical question whether there is such a thing as Philosophy. Olympiodorus' text translated here is an Introduction to Logic, which is just one of the three introductions he wrote himself.

Kierkegaard's Concepts is a comprehensive, multi-volume survey of the key concepts and categories that inform Kierkegaard's writings. Each article is a substantial, original piece of scholarship, which discusses the etymology and lexical meaning of the relevant Danish term, traces the development of the concept over the course of the authorship, and explains how it functions in the wider context of Kierkegaard's thought. Concepts have been selected on the basis of their importance for Kierkegaard's contributions to philosophy, theology, the social sciences, literature and aesthetics, thereby making this volume an ideal reference work for students and scholars in a wide range of disciplines.

Kierkegaard's Concepts is a comprehensive, multi-volume survey of the key concepts and categories that inform Kierkegaard's writings. Each article is a substantial, original piece of scholarship, which discusses the etymology and lexical meaning of the relevant Danish term, traces the development of the concept over the course of the authorship, and explains how it functions in the wider context of Kierkegaard's thought. Concepts have been selected on the basis of their importance for Kierkegaard's contributions to philosophy, theology, the social sciences, literature and aesthetics, thereby making this volume an ideal reference work for students and scholars in a wide range of disciplines.

This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second Section contains an account of the origins and nature of type theory, and its relationship to set theory. Section 3 introduces Local Set Theory (also known as higher-order intuitionistic logic), an important form of type theory based on intuitionistic logic. In Section 4 number of contemporary forms of type theory are described, all of which are based on the so-called 'doctrine of propositions as types'. We conclude with an Appendix in which the semantics for Local Set Theory - based on category theory - is outlined.

This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape of philosophical logic since the first edition. It gives readers an idea of that landscape and its relation to computer science and formal language and artificial intelligence. It shows how the increased demand for philosophical logic from computer science and artificial intelligence and computational linguistics accelerated the development of the subject directly and indirectly. This development in turn, directly pushed research forward, stimulated by the needs of applications. New logic areas became established and old areas were enriched and expanded. At the same time, it socially provided employment for generations of logicians residing in computer science, linguistics and electrical engineering departments which of course helped keep the logic community to thrive. The many contributors to this Handbook are active in these application areas and are among the most famous leading figures of applied philosophical logic of our times. "

Stresses the importance of argumentation in everyday life Critical Thinking and Communication, 7/e, encourages students to develop skills in constructing and refuting arguments in contexts ranging from informal conversations to structured debates. The authors stress the importance of argumentation in everyday life while building student competence and critical awareness. Through exercises and examples, students learn to create arguments and develop, understand, and interpret extended cases.

This book argues for a view in which processes of dialogue and interaction are taken to be foundational to reasoning, logic, and meaning. This is both a continuation, and a substantial modification, of an inferentialist approach to logic. As such, the book not only provides a critical introduction to the inferentialist view, but it also provides an argument that this shift in perspective has deep and foundational consequences for how we understand the nature of logic and its relationship with meaning and reasoning. This has been upheld by several technical results, including, for example a novel approach to logical paradox and logical revision, and an account of the internal justification of logical rules. The book shows that inferentialism is greatly strengthened, such that it can answer the most stringent criticisms of the view. This leads to a view of logic that emphasizes the dynamics of reasoning, provides a novel account of the justification and normativity of logical rules, thus leading to a new, attractive approach to the foundations of logic. The book addresses readers interested in philosophy of language, philosophical and mathematical logic, theories of reasoning, and also those who actively engage in current debates involving, for example, logical revision, and the relationship between logic and reasoning, from advanced undergraduates, to professional philosophers, mathematicians, and linguists.

This book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics.

Originally published in 1973, this volume documents Bertrand Russell s travels in America covering the period 1896-1945. It is presented in two halves with the first a biographical account of Russell s involvement with the United States, with special reference to the seven visits he made there during this time period. Throughout this section the most representative of Russell s journalistic writings are highlighted and these are presented as full texts in the second half of the book.

This collection is assembled to provide an understanding of Russell s deep and many-sided involvement with the United States during his life. A documented account, it is supplemented with important letters, photographs and newspaper articles.

Originally published in 1984, this volume documents Bertrand Russell s travels in America covering the period 1945-1970. It is presented in two halves with the first a biographical account of Russell s involvement with the United States, with special reference to the seven visits he made there during this time period. Throughout this section the most representative of Russell s journalistic writings are highlighted and these are presented as full texts in the second half of the book.

This collection is assembled to provide an understanding of Russell s deep and many-sided involvement with the United States during his life. A documented account, it is supplemented with important letters, photographs and newspaper articles.

Although scholars from many disciplines have turned their attention to Russell s work and appraised its significance for a number of fields, and an extensive literature on him emerged, until this book, first published in 1963, no thorough study on Russell s contribution to education an area to which he devoted no small part of his energies had yet appeared. The book is based on interviews with Russell as well as diligent research in his writings and the sources of his thought and will enlighten all who think seriously about education. It addresses specifically the usefulness of Russell s thought for American educators, which was challenging as Russell dared to question traditional ends and means of education at the time.

This volume brings together a selection of Solomon Feferman's most important recent writings, covering the relation between logic and mathematics, proof theory, objectivity and intensionality in mathematics, and key issues in the work of Gödel, Hilbert, and Turing.

This book offers new critical perspectives on the relationship between the notions of speculation, logic and reality in Hegel's thought as basis for his philosophical account of nature, history, spirit and human experience. The systematic functions of logic and pure thought are explored in their concrete forms and processual progression from subjective spirit to philosophy of right, society, the notion of habit, the idea of work, art, religion and science. Engaging the relation between the Logic and its realisations, this book shows the internal tension that inhabits Hegel's philosophy at the intersection of logical (conceptual) speculation and concrete (interpretative) analysis. The investigation of this tension allows for a hermeneutical approach that demystifies the common view of Hegel's idealism as a form of abstract thought, while allowing for a new assessment of the importance of speculation for a concrete understanding of the world.

How does Russell's realist conception of the proposition and its constituents inform the techniques for analysis which he adopted in mathematics? Jolen Galaugher's book sheds light on this perplexing issue. In this book, Galaugher provides a detailed treatment of Russell's early conception of analysis in the light of the philosophical doctrines to which it answered, and the demands imposed by existing mathematics on his early logicist program. She ties together the philosophical commitments which occasioned Russell's break with idealism and the problems which guided his selection of technical apparatus in his embrace of logicism. The result is a detailed synthesis of the primary materials from the emergence of Russell's realism in 1898 to his landmark theory of descriptions in 1905. Galaugher's broad thesis is that although Russell adopted increasingly refined techniques by which to carry out his logical analyses and avoid the Contradiction, the most crucial aspects of his philosophical conception of logical analysis were retained.

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains preferential structures and abstract size. In the associated Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics. In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic.

"This is as good an introduction to propositional logic as there is. The book also brings out in a clear and engaging way the philosophical applications of logic." - Paul Snowdon, University College London "An excellent introduction to logic for all philosophy students. If you want to learn how logic works, why it is important, and how there are many live philosophical issues raised by all of this, Garrett's book is an excellent place to start." - Greg Restall, University of Melbourne Elementary Logic explains what logic is, how it is done, and why it can be exciting. The book covers the central part of logic that all students have to learn: propositional logic. It aims to provide a crystal-clear introduction to what is often regarded as the most technically difficult area in philosophy. The book opens with an explanation of what logic is and how it is constructed. Subsequent chapters take the reader step-by-step through all aspects of elementary logic. Throughout, ideas are explained simply and directly, with the chapters packed with overviews, illustrative examples, and summaries. Each chapter builds on previous explanation and example, with the final chapters presenting more advanced methods. After a discussion of meta-logic and logical systems, the book closes with an exploration of how paradoxes can exist in the world of logic. Elementary Logic's clarity and engagement make it ideal for any reader studying logic for the first time.

"This is as good an introduction to propositional logic as there is. The book also brings out in a clear and engaging way the philosophical applications of logic." - Paul Snowdon, University College London "An excellent introduction to logic for all philosophy students. If you want to learn how logic works, why it is important, and how there are many live philosophical issues raised by all of this, Garrett's book is an excellent place to start." - Greg Restall, University of Melbourne Elementary Logic explains what logic is, how it is done, and why it can be exciting. The book covers the central part of logic that all students have to learn: propositional logic. It aims to provide a crystal-clear introduction to what is often regarded as the most technically difficult area in philosophy. The book opens with an explanation of what logic is and how it is constructed. Subsequent chapters take the reader step-by-step through all aspects of elementary logic. Throughout, ideas are explained simply and directly, with the chapters packed with overviews, illustrative examples, and summaries. Each chapter builds on previous explanation and example, with the final chapters presenting more advanced methods. After a discussion of meta-logic and logical systems, the book closes with an exploration of how paradoxes can exist in the world of logic. Elementary Logic's clarity and engagement make it ideal for any reader studying logic for the first time.

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In the associated Vol. I the author explains preferential structures and abstract size. In this Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics. In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic.

One of the liveliest debates in contemporary philosophy concerns the notions of grounding and metaphysical explanation. Many consider these notions to be of prime importance for metaphysics and the philosophy of explanation, or even for philosophy in general, and lament that they had been neglected for far too long. Although the current debate about grounding is of recent origin, its central ideas have a long and rich history in Western philosophy, going back at least to the works of Plato and Aristotle. Bernard Bolzano's theory of grounding, developed in the first half of the nineteenth century, is a peak in the history of these ideas. On Bolzano's account, grounding lies at the heart of a broad conception of explanation encompassing both causal and non-causal cases. Not only does his theory exceed most earlier theories in scope, depth, and rigour, it also anticipates a range of ideas that take a prominent place in the contemporary debate. But despite the richness and modernity of his theory, it is known only by a comparatively small circle of philosophers predominantly consisting of Bolzano scholars. Bolzano's Philosophy of Grounding is meant to make Bolzano's ideas on grounding accessible to a broader audience. The book gathers translations of Bolzano's most important writings on these issues, including material that has hitherto not been available in English. Additionally, it contains a survey article on Bolzano's conception and nine research papers critically assessing elements of the theory and/or exploring its broad range of applications in Bolzano's philosophy and beyond.

This reissue, first published in 1971, provides a brief historical account of the Theory of Logical Types; and describes the problems that gave rise to it, its various different formulations (Simple and Ramified), the difficulties connected with each, and the criticisms that have been directed against it. Professor Copi seeks to make the subject accessible to the non-specialist and yet provide a sufficiently rigorous exposition for the serious student to see exactly what the theory is and how it works.

This book is designed for students to use independently to enhance their critical thinking skills. It contains advice and examples of students' writing to illustrate poor performance and demonstrate how to produce effective critical discourse. As university study requires students to demonstrate critical insight, this book shows how to develop this skill by breaking down the thinking and writing processes into steps. It also points out that critical thinking is valued in post-university employment and discusses how to prepare for professional writing.

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.