"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 authors assess the influence of scientific advice in societies that increasingly question scientific authority & expertise. This paradox is explored through an ethnographic study of the scientific advisory committee, one of the key sites for the interaction of science, policy & society.OCLC-licensed vendor bibliographic record.
Holly Fernandez Lynch presents a balanced proposal that protects both a patient's access to care and a physician's ability to refuse to provide certain services for reasons of conscience.OCLC-licensed vendor bibliographic record.
The history of computing could be told as the story of hardware and software, or the story of the Internet, or the story of "smart" hand-held devices, with subplots involving IBM, Microsoft, Apple, Facebook and Twitter. In this account of the invention and development of digital technology, the author, a computer historian offers a broader and more useful perspective. He identifies four major t…
This book argues that the environmental justice movement has also begun to transform science and engineering. The chapters present case studies of technical experts' encounters with environmental justice and activists and issues.OCLC-licensed vendor bibliographic record.
"Spreadsheets are used daily by millions of people for tasks that range from organizing a list of addresses to carrying out complex economic simulations. Spreadsheet programs are easy to learn and convenient to use because they have a clear visual model and a simple efficient underlying computational model. Yet although the basic spreadsheet model could be extended, improved, or otherwise exper…
"A Bradford book.""Based on an International CNRS Summer School organized by the Association pour la Recherche Cognitive (ARC), held from 29 May to 03 June 2006, Ile d'Ol?eron, France"--Text.This book presents the framework for a new, comprehensive approach to cognitive science. The proposed paradigm, enaction, offers an alternative to cognitive science's classical, first-generation Computation…
Much of the business transacted on the Web today takes place through information exchanges made possible by using documents as interfaces. For example, what seems to be a simple purchase from an online bookstore actually involves at least three different business collaborations -- between the customer and the online catalog to select a book; between the bookstore and a credit card authorization…
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 Bradford book."Dynamical Cognitive Science makes available to the cognitive science community the analytical tools and techniques of dynamical systems science, adding the variables of change and time to the study of human cognition. The unifying theme is that human behavior is an "unfolding in time" whose study should be augmented by the application of time-sensitive tools from disciplines s…