Brian Skyrms, author of the successful Evolution of the Social Contract has written a sequel. The book is a study of ideas of cooperation and collective action. The point of departure is a prototypical story found in Rousseau's A Discourse on Inequality. Rousseau contrasts the pay-off of hunting hare where the risk of non-cooperation is small but the reward is equally small, against the pay-off of hunting the stag where maximum cooperation is required but where the reward is so much (...) greater. Thus, rational agents are pulled in one direction by considerations of risk and in another by considerations of mutual benefit. Written with Skyrms's characteristic clarity and verve, this intriguing book will be eagerly sought out by students and professionals in philosophy, political science, economics, sociology and evolutionary biology. (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 ...

Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature. Van Benthem presents the categorial processing of syntax and semantics as a central component in a more general dynamic logic (...) of information flow, in tune with computational developments in artificial intelligence and cognitive science. Using the paradigm of categorial grammar, he describes the substructural logics driving the dynamics of natural language syntax and semantics. This is a general type-theoretic approach that lends itself easily to proof-theoretic and semantic studies in tandem with standard logic. The emphasis is on a broad landscape of substructural categorial logics and their proof-theoretical and semantic peculiarities. This provides a systematic theory for natural language understanding, admitting of significant mathematical results. Moreover, the theory makes possible dynamic interpretations that view natural languages as programming formalisms for various cognitive activities. (shrink)

Specifying and implementing dynamical systems with the situation calculus.

I think, therefore I am. The legendary pronouncement of philosopher René Descartes lingers as accepted wisdom in the Western world nearly four centuries after its author's death. But does thought really come first? Who actually runs the show: we, our thoughts, or the neurons firing within our brains? Walter J. Freeman explores how we control our behavior and make sense of the world around us. Avoiding determinism both in sociobiology, which proposes that persons' genes control their brains' functioning, and in (...) neuroscience, which posits that their brains' disposition is molded by chemistry and environmental forces, Freeman charts a new course--one that gives individuals due credit and responsibility for their actions. Drawing upon his five decades of research in neuroscience, Freeman utilizes the latest advances in his field as well as perspectives from disciplines as diverse as mathematics, psychology, and philosophy to explicate how different human brains act in their chosen diverse ways. He clarifies the implications of brain imaging, by which neural activity can be observed during the course of normal movements, and shows how nonlinear dynamics reveals order within the fecund chaos of brain function. (shrink)

In 1969, John McCarthy and Pat Hayes uncovered a problem that has haunted the field of artificial intelligence ever since--the frame problem. The problem arises when logic is used to describe the effects of actions and events. Put simply, it is the problem of representing what remains unchanged as a result of an action or event. Many researchers in artificial intelligence believe that its solution is vital to the realization of the field's goals. Solving the Frame Problem presents the various (...) approaches to the frame problem that have been proposed over the years. The author presents the material chronologically--as an unfolding story rather than as a body of theory to be learned by rote. There are lessons to be learned even from the dead ends researchers have pursued, for they deepen our understanding of the issues surrounding the frame problem. In the book's concluding chapters, the author offers his own work on event calculus, which he claims comes very close to a complete solution to the frame problem. Artificial Intelligence series. (shrink)

In Mindblindness, Simon Baron-Cohen presents a model of the evolution and development of "mindreading." He argues that we mindread all the time, effortlessly, automatically, and mostly unconsciously. It is the natural way in which we interpret, predict, and participate in social behavior and communication. We ascribe mental states to people: states such as thoughts, desires, knowledge, and intentions. Building on many years of research, Baron-Cohen concludes that children with autism, suffer from "mindblindness" as a result of a selective impairment in (...) mindreading. For these children, the world is essentially devoid of mental things. Baron-Cohen develops a theory that draws on data from comparative psychology, from developmental, and from neuropsychology. He argues that specific neurocognitive mechanisms have evolved that allow us to mindread, to make sense of actions, to interpret gazes as meaningful, and to decode "the language of the eyes." A Bradford Book. (shrink)

Reasoning under uncertainty, that is, making judgements with only partial knowledge, is a major theme in artificial intelligence. Professor Paris provides here an introduction to the mathematical foundations of the subject. It is suited for readers with some knowledge of undergraduate mathematics but is otherwise self-contained, collecting together the key results on the subject, and formalising within a unified framework the main contemporary approaches and assumptions. The author has concentrated on giving clear mathematical formulations, analyses, justifications and consequences of the (...) main theories about uncertain reasoning, so the book can serve as a textbook for beginners or as a starting point for further basic research into the subject. It will be welcomed by graduate students and research workers in logic, philosophy, and computer science as a textbook for beginners, a starting point for further basic research into the subject, and not least, an account of how mathematics and artificial intelligence can complement and enrich each other. (shrink)

Using the theory of categories as a framework, this book develops a duality theory for theories in first order logic in which the dual of a theory is the category of its models with suitable additional structure. This duality theory resembles and generalizes M. H. Stone's famous duality theory for Boolean algebras. As an application, the author derives a result akin to the well-known definability theorem of E. W. Beth. This new definability theorem is related to theorems of descent in (...) category theory and algebra and can also be stated as a result in pure logic without reference to category theory. Containing novel techniques as well as applications of classical methods, this carefuly written book shows an attention to both organization and detail and will appeal to mathematicians and philosophers interested in category theory. (shrink)

Nonclassical logics have played an increasing role in recent years in disciplines ranging from mathematics and computer science to linguistics and philosophy. _Generalized Galois Logics_ develops a uniform framework of relational semantics to mediate between logical calculi and their semantics through algebra. This volume addresses normal modal logics such as K and S5, and substructural logics, including relevance logics, linear logic, and Lambek calculi. The authors also treat less-familiar and new logical systems with equal deftness.

A comprehensive examination of the interfaces of logic, computer science, and game theory, drawing on twenty years of research on logic and games.

Alex Oliver and Timothy Smiley provide a new account of plural logic. They argue that there is such a thing as genuinely plural denotation in logic, and expound a framework of ideas that includes the distinction between distributive and collective predicates, the theory of plural descriptions, multivalued functions, and lists.

Here is an important new theory of human action, a theory that assumes actions are founded on choices made by agents who face an open future.

In this pithy and highly readable book, Brian Skyrms, a recognised authority on game and decision theory, investigates traditional problems of the social contract in terms of evolutionary dynamics. Game theory is skilfully employed to offer new interpretations of a wide variety of social phenomena, including justice, mutual aid, commitment, convention and meaning. The author eschews any grand, unified theory. Rather, he presents the reader with tools drawn from evolutionary game theory for the purpose of analysing and coming to understand (...) the social contract. The book is not technical and requires no special background knowledge. As such, it could be enjoyed by students and professionals in a wide range of disciplines: political science, philosophy, decision theory, economics and biology. (shrink)

'The Probabilistic Mind' is a follow-up to the influential and highly cited 'Rational Models of Cognition'. It brings together developments in understanding how, and how far, high-level cognitive processes can be understood in rational terms, and particularly using probabilistic Bayesian methods.

This is also where we begin investigating lattices of logics and varieties, rather than particular examples.

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.

This book will be a rewarding reading for everybody who is interested in logical aspects of scientific knowledge acquisition. The presentation of the issues discussed in the book is exemplary. The author was able to present in parallel way three different perspectives under which the issues discussed in the book might be approached.

This study synthesizes current information from the various fields of cognitive science in support of a new and exciting theory of mind. Most psychologists study horizontal processes like memory and information flow; Fodor postulates a vertical and modular psychological organization underlying biologically coherent behaviors. This view of mental architecture is consistent with the historical tradition of faculty psychology while integrating a computational approach to mental processes. One of the most notable aspects of Fodor's work is that it articulates features not (...) only of speculative cognitive architectures but also of current research in artificial intelligence. (shrink)

Contents. Introduction. 1. Preliminaries. 2. Normal Form Games. 3. Extensive Games. 4. Applications of Game Theory. 5. The Methodology of Game Theory. Conclusion. Appendix. Bibliography. Index. Does game theory—the mathematical theory of strategic interaction—provide genuine explanations of human behaviour? Can game theory be used in economic consultancy or other normative contexts? Explaining Games: The Epistemic Programme in Game Theory—the first monograph on the philosophy of game theory—is an attempt to combine insights from epistemic logic and the philosophy of science to (...) investigate the applicability of game theory in such fields as economics, philosophy and strategic consultancy. I prove new mathematical theorems about the beliefs, desires and rationality principles of individual human beings, and explore in detail the logical form of game theory as it is used in explanatory and normative contexts. I argue that game theory reduces to rational choice theory if used as an explanatory device, and that game theory is nonsensical if used as a normative device. A provocative account of the history of game theory reveals that this is not bad news for all of game theory, though. Two central research programmes in game theory tried to find the ultimate characterisation of strategic interaction between rational agents. Yet, while the Nash Equilibrium Refinement Programme has done badly thanks to such research habits as overmathematisation, model-tinkering and introversion, the Epistemic Programme, I argue, has been rather successful in achieving this aim. "The 'epistemic' approach to game theory has emerged over the past twenty-five years. What is this approach? How does it differ from the conventional equilibrium-based approach to game theory? What have been its strengths and weaknesses to date? To find out, read this comprehensive and excellently written account". Adam Brandenburger, J. P. Valles Professor of Business Economics and Strategy, Stern School of Business, New York University "Reading Boudewijn de Bruin's book should be rewarding both for game theorists interested in the conceptual foundations of their discipline and for philosophers who want to learn more about formal analysis of strategic interaction. It provides an in-depth logical study of the currently dominant epistemic approaches to non-cooperative games, with an eye both to the attractions and to the serious challenges facing the Epistemic Programme". Wlodek Rabinowicz, Professor of Practical Philosophy, Department of Philosophy, Lund University . (shrink)

Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka’s independence friendly logic. Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game theoretic (...) semantics, and results about its complexity are proven. This is a graduate textbook suitable for a special course in logic in mathematics, philosophy and computer science departments, and contains over 200 exercises, many of which have a full solution at the end of the book. It is also accessible to readers, with a basic knowledge of logic, interested in new phenomena in logic. (shrink)

In Being There, Andy Clark weaves these several threads into a pleasing whole and goes on to address foundational questions concerning the new tools and..

A provocative assessment of human thought and behavior, reissued with a new afterword, explores a range of conundrums from the ability of the mind to perceive three dimensions to the nature of consciousness, in an account that draws on ...

Starting in the middle -- Epistemic possibilities and the knowledge argument -- Locating ourselves in the world -- Notes on models of self-locating belief -- Phenomenal and epistemic indistinguishability -- Acquaintance and essence -- Knowing what one is thinking -- After the fall.

Sherrilyn Roush defends a new theory of knowledge and evidence, based on the idea of "tracking" the truth, as the best approach to a wide range of questions about knowledge-related phenomena. The theory explains, for example, why scepticism is frustrating, why knowledge is power, and why better evidence makes you more likely to have knowledge. Tracking Truth provides a unification of the concepts of knowledge and evidence, and argues against traditional epistemological realist and anti-realist positions about scientific theories and for (...) a piecemeal approach based on a criterion of evidence, a position Roush calls "real anti-realism." Epistemologists and philosophers of science will recognize this as a significant original contribution. (shrink)

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. _An Introduction to Substrucural Logics_ is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered: * Proof Theory * Propositional Structures * Frames * Decidability * Coda Both (...) students and professors of philosophy, computing, linguistics, and mathematics will find this to be an important addition to their reading. (shrink)

Frank Ramsey was the greatest of the remarkable generation of Cambridge philosophers and logicians which included G. E. Moore, Bertrand Russell, Ludwig Wittgenstein and Maynard Keynes. Before his tragically early death in 1930 at the age of twenty-six, he had done seminal work in mathematics and economics as well as in logic and philosophy. This volume, with a new and extensive introduction by D. H. Mellor, contains all Ramsey's previously published writings on philosophy and the foundations of mathematics. The latter (...) gives the definitive form and defence of the reduction of mathematics to logic undertaken in Russell and Whitehead's Principia Mathematica; the former includes the most profound and original studies of universals, truth, meaning, probability, knowledge, law and causation, all of which are still constantly referred to, and still essential reading for all serious students of these subjects. (shrink)

Presenting a look at the human mind's capacity while criticizing artificial intelligence, the author makes suggestions about classical and quantum physics and ..

This book is devoted to a different proposal--that the logical structure of the scientist's method should guarantee eventual arrival at the truth given the scientist's background assumptions.

It will be an essential resource for philosophers, mathematicians, computer scientists, linguists, or any scholar who finds connectives, and the conceptual issues surrounding them, to be a source of interest.This landmark work offers both ...

Mainstream and Formal Epistemology provides the first, easily accessible, yet erudite and original analysis of the meeting point between mainstream and formal theories of knowledge. These two strands of thinking have traditionally proceeded in isolation from one another, but in this book, Vincent F. Hendricks brings them together for a systematic comparative treatment. He demonstrates how mainstream and formal epistemology may significantly benefit from one another, paving the way for a new unifying program of 'plethoric' epistemology. His book will both (...) define and further the debate between philosophers from two very different sides of the epistemological spectrum. (shrink)

Formal representations of values and norms are employed in several academic disciplines and specialties, such as economics, jurisprudence, decision theory and social choice theory. Sven Ove Hansson closely examines such foundational issues as the values of wholes and the values of their parts, the connections between values and norms, how values can be decision-guiding and the structure of normative codes with formal precision. Models of change in both preferences and norms are offered, as well as a method to base the (...) logic of norms on that of preferences. Hansson has developed a unified formal representation of values and norms that reflects both their static and their dynamic properties. This formalized treatment, carried out in terms of both informal value theory and precise logical detail, will contribute to the clarification of certain issues in the basic philosophical theory of values and norms. (shrink)

The philosophy of mind is one of the fastest-growing areas in philosophy, not least because of its connections with related areas of psychology, linguistics and computation. This _Companion_ is an alphabetically arranged reference guide to the subject, firmly rooted in the philosophy of mind, but with a number of entries that survey adjacent fields of interest. The book is introduced by the editor's substantial _Essay on the Philosophy of Mind_ which serves as an overview of the subject, and is closely (...) referenced to the entries in the Companion. Among the entries themselves are several "self-profiles" by leading philosophers in the field, including Chomsky, Davidson, Dennett, Dretske, Fodor, Lewis, Searle and Stalnaker, in which their own positions within the subject are articulated. In some more complex areas, more than one author has been invited to write on the same topic, giving a polarity of viewpoints within the book's overall coverage. All main entries have a full bibliography, and the book is indexed to the high standards set by other volumes in the Blackwell Companions to Philosophy series. (shrink)

A selective background -- Broadly classical approaches -- Paracompleteness -- More on paracomplete solutions -- Paraconsistent dialetheism.

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: _An Introduction to Modal Logic_ and _A Companion to Modal Logic_. _A New Introduction to Modal Logic_ is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes (...) readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic. (shrink)

In treating cognition as problem solving, Andy Clark suggests, we may often abstract too far from the very body and world in which our brains evolved to guide...

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)

It is often supposed that the spectacular successes of our modern mathematical sciences support a lofty vision of a world completely ordered by one single elegant theory. In this book Nancy Cartwright argues to the contrary. When we draw our image of the world from the way modern science works - as empiricism teaches us we should - we end up with a world where some features are precisely ordered, others are given to rough regularity and still others behave in (...) their own diverse ways. This patchwork makes sense when we realise that laws are very special productions of nature, requiring very special arrangements for their generation. Combining classic and newly written essays on physics and economics, The Dappled World carries important philosophical consequences and offers serious lessons for both the natural and the social sciences. (shrink)