This book is intended as a first introduction to the subject. It deals with questions of truth and meaning, questions which provide a basis for much of what is discussed in philosophy in general. This book should be of interest to students of philosophy.

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects , J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning , and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2 .

This second volume in the series Logic, Epistemology, and the Unity of Science brings a pragmatic perspective to the discussion of the unity of science.

Contemporary philosophy and cognitive science increasingly acknowledge the systematic interrelation of language, thought and action. The principal function of language is to enable speakers to communicate their intentions to others, to respond flexibly in a social context and to act cooperatively in the world. This book will contribute to our understanding of this dynamic process by clearly presenting and discussing the most important hypotheses, issues and theories in philosophical and logical study of language, thought and action. Among the fundamental issues discussed are the rationality and freedom of agents, theoretical and practical reasoning, individual and collective attitudes and actions, the nature of cooperation and communication, the construction and conditions of adequacy of scientific theories, propositional contents and their truth conditions, illocutionary force, time, aspect and presupposition in meaning, speech acts within dialogue, the dialogical approach to logic and the structure of dialogues and other language games, as well as formal methods needed in logic or artificial intelligence to account for choice, paradoxes, uncertainty and imprecision.

This volume contains major contributions by leading logicians, analytic philosophers, linguists and computer scientists. It will be of interest to graduate students and researchers from philosophy, logic, linguistics, cognitive science and artificial intelligence. There is no comparable survey in the existing literature.

When this book was originally published in 1957 there had been lively debates on the air and in the press about the bearing of modern philosophy upon Christianity, but there had been relatively little sustained discussion of the subject. This book of essays was the product of a small group of Oxford philosophers and theologians, who had met and talked informally for some years before writing it. It is an attempt to discuss with care and candour some of the problems raised for Christian belief by contemporary analytical philosophy. In asking the questions raised, this book makes articulate the perplexities of many intelligent people, both believers and unbelievers. The contributors concentrate on the way such concepts as God, Revelation, the Soul, Grace are actually used rather than asserting or denying some very general theory of meaning.

First published in 1974. Despite the tendency of contemporary analytic philosophy to put logic and mathematics at a central position, the author argues it failed to appreciate or account for their rich content. Through discussions of such mathematical concepts as number, the continuum, set, proof and mechanical procedure, the author provides an introduction to the philosophy of mathematics and an internal criticism of the then current academic philosophy. The material presented is also an illustration of a new, more general method of approach called substantial factualism which the author asserts allows for the development of a more comprehensive philosophical position by not trivialising or distorting substantial facts of human knowledge.

This volume is a direct result of the International Symposium on Japanese Sentence Processing held at Duke University. The symposium provided the first opportunity for researchers in three disciplinary areas from both Japan and the United States to participate in a conference where they could discuss issues concerning Japanese syntactic processing. The goals of the symposium were three-fold: * to illuminate the mechanisms of Japanese sentence processing from the viewpoints of linguistics, psycholinguistics and computer science; * to synthesize findings about the mechanisms of Japanese sentence processing by researchers in these three fields in Japan and the United States; * to lay foundations for future interdisciplinary research in Japanese sentence processing, as well as international collaborations between researchers in Japan and the United States. The chapters in this volume have been written from the points of view of three different disciplines, with various immediate objectives -- from building usable speech understanding systems to investigating the nature of competence grammars for natural languages. All of the papers share the long term goal of understanding the nature of human language processing mechanisms. The book is concerned with two central issues -- the universality of language processing mechanisms, and the nature of the relation between the components of linguistic knowledge and language processing. This volume demonstrates that interdisciplinary research can be fruitful, and provides groundwork for further research in Japanese sentence processing.

A complete introduction to logic for first-year university students with no background in logic, philosophy or mathematics. In easily understood steps it shows the mechanics of the formal analysis of arguments.

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds of linguistic context in a fully compositional and anti-contextual way.

The commentary of Alexander of Aphrodisias on Aristotle's Prior Analytics 1.8-22 is a very important text, being the main ancient commentary with chapters in which Aristotle invented modal logic - the logic of propositions about what is necessary or contingent (possible). The first volume of Ian Mueller's translation covered chapters 1.8-13, and reached as far as the chapter in which Aristotle discussed the notion of contingency. In this, the second volume, the 'greatest' commentator, Alexander, concludes his discussion of Aristotle's modal logic. Aristotle also invented the syllogism, a style of argument involving two premises and a conclusion. Modal propositions can be deployed in syllogisms, and in the chapters included in this volume Aristotle discusses all the syllogisms containing at least one contingent premiss. In each volume, Ian Mueller provides a comprehensive explanation of Alexander's commentary on modal logic as a whole.

Philosophy means 'love of wisdom,' but author Edmond Holmes fears the encroaching dominance of intellect over feeling. In this title, Holmes argues that metaphysics' reliance on intellect and pure reason undermines the study of philosophy. Rather, Holmes suggests a return to intuitional philosophy, combining thought and feeling. First published in 1930, this title will be ideal for students interested in Philosophy and Western Civilisation.

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.

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.

A long tradition, going back to Aristotle, conceives of logic in terms of necessity and possibility: a deductive argument is correct if it is not possible for the conclusion to be false when the premises are true. A relatively unknown feature of the analytic tradition in philosophy is that, at its very inception, this venerable conception of the relation between logic and necessity and possibility - the concepts of modality - was put into question. The founders of analytic philosophy, Gottlob Frege and Bertrand Russell, held that these concepts are empty: there are no genuine distinctions among the necessary, the possible, and the actual. In this book, the first of two volumes, Sanford Shieh investigates the grounds of this position and its consequences for Frege's and Russell's conceptions of logic. The grounds lie in doctrines on truth, thought, and knowledge, as well as on the relation between mind and reality, that are central to the philosophies of Frege and Russell, and are of enduring philosophical interest. The upshot of this opposition to modality is that logic is fundamental, and, to be coherent, modal concepts would have to be reconstructed in logical terms. This rejection of modality in early analytic philosophy remains of contemporary significance, though the coherence of modal concepts is rarely questioned nowadays because it is generally assumed that suspicion of modality derives from logical positivism, which has not survived philosophical scrutiny. The anti-modal arguments of Frege and Russell, however, have nothing to do with positivism and remain a challenge to the contemporary acceptance of modal notions.

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'.

David Morrow and Anthony Weston build on Weston's acclaimed A Rulebook for Arguments to offer a complete textbook for a course in critical thinking or informal logic. Features of the book include: Homework exercises adapted from a wide range of actual arguments from newspapers, philosophical texts, literature, movies, YouTube videos, and other sources. Practical advice to help students succeed when applying the Rulebook 's rules. Suggestions for further practice that outline activities students can do by themselves or with classmates to improve their critical thinking skills. Detailed instructions for in-class activities and take-home assignments designed to engage students in critical thinking. An appendix on mapping arguments, a topic not included in the Rulebook , that introduces students to this vital skill in evaluating or constructing complex and multi-step arguments. Model responses to odd-numbered exercises, including commentaries on the strengths and weaknesses of selected model responses as well as further discussion of some of the substantive intellectual, philosophical, and ethical issues raised by the exercises. The third edition of Workbook contains the entire text of the recent fifth edition of the Rulebook , supplementing this core text with extensive further explanations and exercises. Updated and improved homework exercises ensure that the examples continue to resonate with today's students. Roughly one-third of the exercises have been replaced with updated or improved examples. A new chapter on engaging constructively in public debates -including five new sets of exercises-trains students to engage respectfully and constructively on controversial topics, an increasingly important skill in our hyper-partisan age. Three new critical thinking activities offer further opportunities to practice constructive dialogue.

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 vivid and thought-provoking book by the Israeli logician Nimrod Bar-Am impels one to rethink the place of logic in Western thought. It shows that the history of logic from Aristotle to Tarski is the history of the gradual undoing of the classic conflation of logic and empirical science. It sets tomorrowa (TM)s agenda for philosophers and historians of logic and scientific method by taking as its starting point the mere fact that, curiously, ancient logic is not as formal as current literature presents it. Rather, as Bar-Am explains, modern formal logic became possible only after a series of bold criticisms of the magnificent Aristotelian system. These criticisms begin with David Humea (TM)s declaration that logic does not sanction induction, follow on with Kanta (TM)s view of logic as an extremely limited system, and culminating with Boolesa (TM) introduction of logic as an extensional system, and Russella (TM)s solution to his own paradox.

The book offers a breathtaking intellectual odyssey; presenting the development of logic as an evolving critical assessment of approaches to an impossible ideal. Bar-Am handles an extremely complex subject matter in a manner that is both accessible to the general educated reader and challenging to the learned expert, by opening to them live background ideas to dead formulas. The book will easily find its place alongside both general introductions to the history of science and advanced reading lists in the philosophy of logic.

If there is such a thing as reason, it has to be universal. Reason must reflect objective principles whose validity is independent of our point of view - principles that anyone with enough intelligence ought to be able to recognize as correct. But this universality of reason is what relativists and subjectivists deny in ever-increasing numbers. And such subjectivism is not just an inconsequential intellectual flourish or badge of theoretical chic. It is exploited to deflect argument and to belittle the pretensions of the arguments of others. The continuing spread of this relativistic way of thinking threatens to make public discourse increasingly difficult and unproductive. In The Last Word, Thomas Nagel, one of the most influential philosophers writing in English, presents a sustained defense of reason against the attacks of subjectivism, delivering systematic rebuttals of relativistic claims with respect to language, logic, science, and ethics. He shows that the last word in disputes about the objective validity of any form of thought must lie in some unqualified thoughts about how things are - thoughts that we cannot regard from outside as mere psychological dispositions. His work sets a new standard in the debate on this crucially important question and should generate intense interest both within and outside the philosophical community.

John Stuart Mill considered his A System of Logic, first published in 1843, the methodological foundation and intellectual groundwork of his later works in ethical, social, and political theory. Yet no book has attempted in the past to engage with the most important aspects of Mill's Logic. This volume brings together leading scholars to elucidate the key themes of this influential work, looking at such topics as his philosophy of language and mathematics, his view on logic, induction and deduction, free will, argumentation, ethology and psychology, as well as his account of normativity, kinds of pleasure, philosophical and political method and the "Art of Life."

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

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.

Epistemic Logic studies statements containing verbs such as 'know' and 'wish'. It is one of the most exciting areas in medieval philosophy. Neglected almost entirely after the end of the Middle Ages, it has been rediscovered by philosophers of the present century. This is the first comprehensive study of the subject. Ivan Boh explores the rules for entailment between epistemic statements, the search for the conditions of knowing contingent propositions, the problems of substitutivity in intentional contexts, the relationship between epistemic and modal logic, and the problems of composite and divided senses in authors ranging from Abelard to Frachantian.

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.