This is the classic work upon which modern-day game theory is based. What began as a modest proposal that a mathematician and an economist write a short paper together blossomed, when Princeton University Press published Theory of Games and Economic Behavior. In it, John von Neumann and Oskar Morgenstern conceived a groundbreaking mathematical theory of economic and social organization, based on a theory of games of strategy. Not only would this revolutionize economics, but the entirely new field of scientific inquiry (...) it yielded--game theory--has since been widely used to analyze a host of real-world phenomena from arms races to optimal policy choices of presidential candidates, from vaccination policy to major league baseball salary negotiations. And it is today established throughout both the social sciences and a wide range of other sciences. (shrink)

The book "Philosophical Foundations of Neuroscience" is an engaging criticism of cognitive neuroscience from the perspective of a Wittgensteinian philosophy of ordinary language. The authors' main claim is that assertions like "the brain sees" and "the left hemisphere thinks" are integral to cognitive neuroscience but that they are meaningless because they commit the mereological fallacy—ascribing to parts of humans, properties that make sense to predicate only of whole humans. The authors claim that this fallacy is at the heart of Cartesian (...) dualism, implying that current cognitive neuroscientists are Cartesian dualists. Against this claim, we argue that the fallacy cannot be committed within Cartesian dualism either, for this doctrine does not allow for an intelligible way of asserting that a soul is part of a human being. Also, the authors' Aristotelian essentialistic outlook is at odds with their Wittgensteinian stance, and we were unconvinced by their case against explanatory reductionism. Finally, although their Wittgensteinian stance is congenial with radical behaviorism, their separation between philosophy and science seems less so because it is based on a view of philosophy as a priori. The authors' emphasis on the a priori, however, does not necessarily commit them to rationalism if it is restricted to conceptual or analytical truths. (shrink)

Russian translation of Gettier E. L. Is Justified True Belief Knowledge? // Analysis, vol. 23, 1963. Translated by Lev Lamberov with kind permission of the author.

The Aims of the Book -/- 1. To improve your skill in analyzing and evaluating arguments and presentations of the kind you find in everyday discourse (news media, discussions, advertisements), textbooks, and lectures. 2. To improve your skill in presenting arguments, reports and instructions clearly and persuasively. 3. To improve your critical instincts, that is, your immediate judgments of your attitudes toward the communications and behavior of others and yourself, so that you consistently approach them with the standards of reason (...) and the attitude of reasonableness. 4. To improve your knowledge about the facts and arguments relevant to a large number of important contemporary issues in politics, education, ethics, and several practical fields. -/- These are practical aims but not narrow practical aims: the third one, in particular, is very far-reaching and requires a whole shift of values for most of us. So this is intended to be a powerful, as well as practical, book using practical, everyday examples of the kind that a citizen, especially a citizen-student, runs into all the time. -/- The text starts with a short discussion of reasoning itself, then explores the details of this approach, and then gets down to practical procedures for improving one's reasoning skills. The discussions and examples always begin at a rather elementary level, but they get into harder material fairly quickly. If you are, or are hoping to be, a teacher or a lawyer, a scientist or an executive, what you learn here will be professional skills for you—vital professional skills. But for any citizen, they are also essential skills. (shrink)

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)

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)

L.E.J. Brouwer made a mistake in the formulation of his famous bar theorem, as was pointed out by S.C. Kleene. By repeating this mistake several times, Brouwer has caused confusion. We consider the assumption underlying his bar theorem, calling it Brouwer’s Thesis. This assumption is not refuted by Kleene’s example and we use it to obtain a conclusion different from Brouwer’s. Thus we come to support a view first expressed and defended by E. Martino and P. Giaretta in [Martino 1981]. (...) We also indicate that Brouwer’s Thesis has many more applications than Brouwer dreamt of. (shrink)

Michael Dummett's three John Dewey Lectures--"The Concept of Truth," "Statements About the Past," and "The Metaphysics of Time"--were delivered at Columbia University in the spring of 2002. Revised and expanded, the lectures are presented here along with two new essays by Dummett, "Truth: Deniers and Defenders" and "The Indispensability of the Concept of Truth." In _Truth and the Past,_ Dummett clarifies his current positions on the metaphysical issue of realism and the philosophy of language. He is best known as a (...) proponent of antirealism, which loosely characterizes truth as what we are capable of knowing. The events of the past and statements about them are critical tests of an antirealist position. These essays continue and significantly contribute to Dummett's work. (shrink)

Although fallacies have been common since Aristotle, until recently little attention has been devoted to identifying and defining them. Furthermore, the concept of fallacy itself has lacked a sufficiently clear meaning to make it a useful tool for evaluating arguments. Douglas Walton takes a new analytical look at the concept of fallacy and presents an up-to-date analysis of its usefulness for argumentation studies. Walton uses case studies illustrating familiar arguments and tricky deceptions in everyday conversation where the charge of fallaciousness (...) is at issue. The numerous case studies show in concrete terms many practical aspects of how to use textual evidence to identify and analyze fallacies and to evaluate arguments as fallacious. Walton looks at how an argument is used in the context of conversation. He defines a fallacy as a conversational move, or sequence of moves, that is supposed to be an argument that contributes to the purpose of the conversation but in reality interferes with it. The view is a pragmatic one, based on the assumption that when people argue, they do so in a context of dialogue, a conventionalized normative framework that is goal-directed. Such a contextual framework is shown to be crucial in determining whether an argument has been used correctly. Walton also shows how examples of fallacies given in the logic textbooks characteristically turn out to be variants of reasonable, even if defeasible or questionable arguments, based on presumptive reasoning. This is the essence of the evaluation problem. A key thesis of the book, which must not be taken for granted as previous textbooks have so often done, is that you can spot a fallacy from how it was used in a context of dialogue. This is an innovative and even, as Walton notes, "a radical and controversial" theory of fallacy. (shrink)

A major purpose of this book is to make the post-Hamblin work on fallacies available to a wider audience in a single, convenient volume.

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.

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

Deliberation about what to do in any context requires reasoning about what will or would happen in various alternative situations, including situations that the agent knows will never in fact be realized. In contexts that involve two or more agents who have to take account of each others' deliberation, the counterfactual reasoning may become quite complex. When I deliberate, I have to consider not only what the causal effects would be of alternative choices that I might make, but also what (...) other agents might believe about the potential effects of my choices, and how their alternative possible actions might affect my beliefs. Counterfactual possibilities are implicit in the models that game theorists and decision theorists have developed – in the alternative branches in the trees that model extensive form games and the different cells of the matrices of strategic form representations – but much of the reasoning about those possibilities remains in the informal commentary on and motivation for the models developed. Puzzlement is sometimes expressed by game theorists about the relevance of what happens in a game ‘off the equilibrium path’: of what would happen if what is both true and known by the players to be true were instead false. (shrink)

Dialogical logic is a game-theoretical approach to logic. Logic is studied with the help of certain games, which can be thought of as idealized argumentations. Two players, the Proponent, who puts forward the initial thesis and tries to defend it, and the Opponent, who tries to attack the Proponent’s thesis, alternately utter argumentative moves according to certain rules. For a long time the dialogical approach had been worked out only for classical and intuitionistic logic. The seven papers of this dissertation (...) show that this narrowness was uncalled for. The initial paper presents an overview and serves as an introduction to the other papers. Those papers are related by one central theme. As each of them presents dialogical formulations of a different non-classical logic, they show that dialogical logic constitutes a powerful and flexible general framework for the development and study of various logical formalisms and combinations thereof. As such it is especially attractive to logical pluralists that reject the idea of “the single correct logic”. The collection contains treatments of free logic, modal logic, relevance logic, connexive logic, linear logic, and multi-valued logic. (shrink)

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)

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)

In the course of the discussion, Professor Quine pinpoints the difficulties involved in translation, brings to light the anomalies and conflicts implicit in our ...

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

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

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.

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.

A definition of the concept of "Intuitionist Modal Analogue" is presented and motivated through the existence of a theorem preserving translation from MIPC to a bimodal S₄-S₅ calculus.

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

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.

Remember the story of the most-most? It’s the story of that club in New York where people are the most of every type. There is the hairiest bald man and the baldest hairy man; the shortest giant and the tallest dwarf; the smartest idiot and the stupidest wise man. They are all there, including honest thieves and crippled acrobats. On Saturday night they have a party, eat, drink, dance. Then they have a contest. “And if you can tell the hairiest (...) bald man from the baldest hairy man—we are told—you get a prize.”. (shrink)

How were reliable predictions made before Pascal and Fermat's discovery of the mathematics of probability in 1654? What methods in law, science, commerce, philosophy, and logic helped us to get at the truth in cases where certainty was not attainable? The book examines how judges, witch inquisitors, and juries evaluated evidence; how scientists weighed reasons for and against scientific theories; and how merchants counted shipwrecks to determine insurance rates. Also included are the problem of induction before Hume, design arguments for (...) the existence of God, and theories on how to evaluate scientific and historical hypotheses. It is explained how Pascal and Fermat's work on chance arose out of legal thought on aleatory contracts. The book interprets pre-Pascalian unquantified probability in a generally objective Bayesian or logical probabilist sense. (shrink)

Recently four different papers have suggested that the supervaluational solution to the Problem of the Many is flawed. Stephen Schiffer has argued that the theory cannot account for reports of speech involving vague singular terms. Vann McGee and Brian McLaughlin say that theory cannot, yet, account for vague singular beliefs. Neil McKinnon has argued that we cannot provide a plausible theory of when precisifications are acceptable, which the supervaluational theory needs. And Roy Sorensen argues that supervaluationism is inconsistent with a (...) directly referential theory of names. McGee and McLaughlin see the problem they raise as a cause for further research, but the other authors all take the problems they raise to provide sufficient reasons to jettison supervaluationism. I will argue that none of these problems provide such a reason, though the arguments are valuable critiques. In many cases, we must make some adjustments to the supervaluational theory to meet the posed challenges. The goal of this paper is to make those adjustments, and meet the challenges. (shrink)

Many of the discussions about conditionals can best be put as follows:can those conditionals that involve an entailment relation be formulatedwithin a formal system? The reasons for the failure of the classical approachto entailment have usually been that they ignore the meaning connectionbetween antecedent and consequent in a valid entailment. One of the firsttheories in the history of logic about meaning connection resulted from thestoic discussions on tightening the relation between the If- and the Then-parts of conditionals, which in this (...) context was called. This theory gave a justification for the validity of what we todayexpress through the formulae ¬ and ¬. Hugh MacColl and, more recently, Storrs McCall searched for a formal system in which the validity ofthese formulae could be expressed. Unfortunately neither of the resulting systems is very satisfactory. In this paper we introduce dialogical games with the help of a new connexive If-Then (), the structural rules of which allow the Proponent to develop winning strategies not only for the above-mentioned connexive theses but also for ¬ and ¬. Further on, we developthe corresponding tableau systems and conclude with some remarks on possibleperspectives and consequences of the dialogical approach to connexivity including the loss of uniform substitution leading to a new concept of logical form. (shrink)