Why it matters that our relationship with nature is increasingly mediated and augmented by technology.OCLC-licensed vendor bibliographic record.
An account of conflicts within engineering in the 1960s that helped shape our dominant contemporary understanding of technological change as the driver of history. In the late 1960s an eclectic group of engineers joined the antiwar and civil rights activists of the time in agitating for change. The engineers were fighting to remake their profession, challenging their fellow engineers to embrace…
"A Bradford book.""In Human Reasoning and Cognitive Science, Keith Stenning and Michiel van Lambalgen - a cognitive scientist and a logician - argue for the indispensability of modern mathematical logic to the study of human reasoning. Logic and cognition were once closely connected, they write, but were "divorced" in the past century; the psychology of deduction went from being central to the …
The last two decades have witnessed an extraordinary growth of new models of managing and organizing the innovation process that emphasizes users over producers. Large parts of the knowledge economy now routinely rely on users, communities, and open innovation approaches to solve important technological and organizational problems. This view of innovation, pioneered by the economist Eric von Hi…
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.