In this book, which remained unfinished at his death, Husserl attempts to forge a union between phenomenology and existentialism.

Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of (...) philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gode1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Godel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.". (shrink)

Such a conception, says Dummett, will form "a base camp for an assault on the metaphysical peaks: I have no greater ambition in this book than to set up a base ...

Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than ...

A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an (...) up-to-date and reliable guide essential for the student. (shrink)

A Neurocomputationial Perspective illustrates the fertility of the concepts and data drawn from the study of the brain and of artificial networks that model the...

This volume tackles the slippery subject of 'meaning'.

Develops a logical analysis of dialogue in which two or more parties attempt to advance their own interests. It includes a classification of the major types of dialogues and a discussion of several important informal fallacies.

He further argues that it is necessary to rethink traditional conceptions of argument, and to find a position that avoids the limitations of both the highly abstract approach of formal logic and the highly contextualized approaches of rhetoric and communication theory.".

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.

This paper deals with the truth-Conditions and the logic for vague languages. The use of supervaluations and of classical logic is defended; and other approaches are criticized. The truth-Conditions are extended to a language that contains a definitely-Operator and that is subject to higher order vagueness.

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.

Sorensen here offers a unified solution to a large family of philosophical puzzles and paradoxes through a study of "blindspots": consistent propositions that cannot be rationally accepted by certain individuals even though they might by true.

There are obvious benefits to be gained from the study of logic: heightened ability to express ideas clearly and concisely, increased skill in defining one's terms, enlarged capacity to formulate arguments rigorously and to analyze them critically. But the greatest benefit, in my judgment, is the recognition that reason can be applied in every aspect of human affairs.

Thinking Without Words provides a challenging new theory of the nature of non-linguistic thought. Jose Luis Bermudez offers a conceptual framework for treating human infants and non-human animals as genuine thinkers. The book is written with an interdisciplinary readership in mind and will appeal to philosophers, psychologists, and students of animal behavior.

This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as ...

Most expressions in natural language are vague. But what is the best semantic treatment of terms like 'heap', 'red' and 'child'? And what is the logic of arguments involving this kind of vague expression? These questions are receiving increasing philosophical attention, and in this book, first published in 2000, Rosanna Keefe explores the questions of what we should want from an account of vagueness and how we should assess rival theories. Her discussion ranges widely and comprehensively over the main theories (...) of vagueness and their supporting arguments, and she offers a powerful and original defence of a form of supervaluationism, a theory that requires almost no deviation from standard logic yet can accommodate the lack of sharp boundaries to vague predicates and deal with the paradoxes of vagueness in a methodologically satisfying way. Her study will be of particular interest to readers in philosophy of language and of mind, philosophical logic, epistemology and metaphysics. (shrink)

Repeatedly and successfully, the celebrated Harvard philosopher Robert Nozick has reached out to a broad audience beyond the confines of his discipline, addressing ethical and social problems that matter to every thoughtful person. Here Nozick continues his search for the connections between philosophy and "ordinary" experience. In the lively and accessible style that his readers have come to expect, he offers a bold theory of rationality, the one characteristic deemed to fix humanity's "specialness." What are principles for? asks Nozick. We (...) could act simply on whim, or maximize our self-interest and recommend that others do the same. As Nozick explores rationality of decision and rationality of belief, he shows how principles actually function in our day-to-day thinking and in our efforts to live peacefully and productively with each other. Throughout, the book combines daring speculations with detailed investigations to portray the nature and status of rationality and the essential role that imagination plays in this singular human aptitude. (shrink)

Throughout, the book combines daring speculations with detailed investigations to portray the nature and status of rationality and the essential role that...

Russell and Strawson sparked a well known debate on the subject of Linguistic Presupposition inspiring many linguists and philosophers to follow suit, including Frege, whose work initiated the modern study in this area. Beaver begins with the most comprehensive overview and critical discussion of this burgeoning field published to date. He then goes on to motivate and develop his own account based on a Dynamic Semantics. This account is a recent line of theoretical work in which the Tarskian emphasis on (...) truth conditions is questioned. The central plank of the theory of meaning is a formal account of the change in information effected by use of language on hearers or readers. The proposal thus consolidates ideas of Stalnaker, Karttunen and Heim, all of whom had suggested that such an account was needed. At the same time it provides a new impulse and motivation to Dynamic Semantics itself. (shrink)

For the uninitiated, there are two major tendencies in the modeling of human cognition. The older, tradtional school believes, in essence, that full human cognition can be modeled by dividing the world up into distinct entities -- called __symbol s__-- such as “dog”, “cat”, “run”, “bite”, “happy”, “tumbleweed”, and so on, and then manipulating this vast set of symbols by a very complex and very subtle set of rules. The opposing school claims that this system, while it might be good (...) at concluding that Paris is the capital of France or that there must be blood flowing in the left-rear leg of a cow, can never capture the full measure -- indeed, the essence -- of human cognition. For them, the essential features of cognition emerge from the combined effects of myriad, tiny actions far below the surface of consciousness. This is the camp to which Paul Churchland belongs. (shrink)

Collected here in a single volume for the first time, On Liberty, Utilitarianism, Considerations on Representative Government, and The Subjection of Women show Mill applying his liberal utilitarian philosophy to a range of issues that remain vital today - issues of the nature of ethics, the scope and limits of individual liberty, the merits of and costs of democratic government, and the place of women in society. In his Introduction John Gray describes these essays as applications of Mill's doctrine of (...) the Art of Life, as set out in A System of Logic. Using the resources of recent revisionist scholarship, he shows Mill's work to be far richer and subtler than traditional interpretations allow. (shrink)

This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of first-order predicate logic. The resulting system, which will be referred to as ‘dynamic predicate logic’, is intended as a first step towards a compositional, non-representational theory of discourse semantics. In the last decade, various theories of discourse semantics have emerged within the paradigm of model-theoretic semantics. A common feature of these theories is a tendency to do away with the principle of compositionality, (...) a principle which, implicitly or explicitly, has dominated semantics since the days of Frege. Therefore the question naturally arises whether non-compositionality is in any way a necessary feature of discourse semantics. Since we subscribe to the interpretation of compositionality as constituting primarily a methodological principle, we consider this to be a methodological rather than an empirical question. As a consequence, the emphasis in the present paper lies on developing an alternative compositional semantics of discourse, which is empirically equivalent to its non-compositional brethren, but which differs from them in a principled methodological way. Hence, no attempts are made to improve on existing theories empirically. Nevertheless, as we indicate in section 5, the development of a compositional alternative may in the end have empirical consequences, too. First of all, it can be argued that the dynamic view on interpretation developed in this paper suggests natural and relatively easy to formulate extensions which enable one to deal with a wider range of phenomena than can be dealt with in existing theories. Moreover, the various approaches to the model-theoretic semantics of discourse that have been developed during the last decade, have constituted a ‘fresh start’ in the sense that much of what had been accomplished before was ignored, at least for a start. Of course, this is a justified strategy if one feels one is trying to develop a radically different approach to recalcitrant problems. However, there comes a time when such new approaches have to be compared with the older one, and when an assessment of the pros and cons of each has to be made. One of the main problems in semantics today, we feel, is that a semantic theory such as Montague grammar, and an approach like Kamp’s discourse representation theory, are hard to compare, let alone that it is possible to unify their insights and results.. (shrink)

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a (...) position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

I LOGIC IN PHILOSOPHY— PHILOSOPHY OF LOGIC i. On the relation of logic to philosophy I n this book, the consequences of certain logical insights for ...