This volume offers a range of perspectives on addiction and responsibility and how the two are bound together. Distinguished contributors dicuss questions concerning whether or not we are responsible for our own addictions and what responsibilities others have to help.OCLC-licensed vendor bibliographic record.
This book draws on ideas from philosophical logic, computational logic, multi-agent systems, and game theory to offer a comprehensive account of logic and games viewed in two complementary ways. It examines the logic of games: the development of sophisticated modern dynamic logics that model information flow, communication, and interactive structures in games. It also examines logic as games: t…
Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic,…
A new edition of Quine's most important work.Willard Van Orman Quine begins this influential work by declaring, "Language is a social art. In acquiring it we have to depend entirely on intersubjectively available cues as to what to say and when." As Patricia Smith Churchland notes in her foreword to this new edition, with Word and Object Quine challenged the tradition of conceptual analysis as …
When have you gone into an electronics store, picked up a desirable gadget, and found that it was labeled "Made in Russia"? Probably never. Russia, despite its epic intellectual achievements in music, literature, art, and pure science, is a negligible presence in world technology. Despite its current leaders' ambitions to create a knowledge economy, Russia is economically dependent on gas and o…
Leading economists and economic historians offer case studies and theoretical perspectives that fill a longstanding gap in the existing literature on technology-driven industrial development, discussing the interaction of finance and technological innovat.OCLC-licensed vendor bibliographic record.
An overview of the methodologies and techniques of the emerging field of systems biology.The emerging field of systems biology involves the application of experimental, theoretical, and modeling techniques to the study of biological organisms at all levels, from the molecular, through the cellular, to the behavioral. Its aim is to understand biological processes as whole systems instead of as i…
The transformative effect of technological change on households and culture, seen from a macroeconomic perspective through simple economic models.In Evolving Households, Jeremy Greenwood argues that technological progress has had as significant an effect on households as it had on industry. Taking a macroeconomic perspective, Greenwood develops simple economic models to study such phenomena as …
This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains ele…
Closely linked essays examine distinctive national patterns of industrialization.This collection of essays offers new perspectives on the Industrial Revolution as a global phenomenon. The fifteen contributors go beyond the longstanding view of industrialization as a linear process marked by discrete stages. Instead, they examine a lengthy and creative period in the history of industrialization,…